MpiUtils.hpp

#pragma once
 
#include "ErrorCodes.hpp"
#include "containers/ClauseUtils.hpp"
#include <vector>
 
#define MY_MPI_END 2012
#define MYMPI_CLAUSES 1
#define MYMPI_BITSET 1
#define MYMPI_OK 2
#define MYMPI_NOTOK 3
#define MYMPI_MODEL 4
 
#define COLOR_YES 10
 
#define TESTRUNMPI(func)                                                                                               \
    do {                                                                                                               \
        int result = (func);                                                                                           \
        if (dist && result != MPI_SUCCESS) {                                                                           \
            LOGERROR("MPI ERROR: %d in function %s", result, #func);                                                   \
            exit(PERR_MPI);                                                                                            \
        }                                                                                                              \
    } while (0)
 
extern int mpi_rank;
 
extern int mpi_world_size;
 
extern int mpi_winner;
 
namespace mpiutils {
 
bool
sendFormula(std::vector<simpleClause>& clauses, unsigned int* varCount, int rootRank);
 
bool
serializeClauses(const std::vector<simpleClause>& clauses, std::vector<int>& serializedClauses);
 
bool
deserializeClauses(const std::vector<int>& serializedClauses, std::vector<simpleClause>& clauses);
 
void
sendModelToRoot();
 
}