C Interface

int DistObj_minDynamicId;

Flag DistObj_freshId(int *idPtr, Counter *ctr);

Flag DistObj_all_allocate(int id, int size, Counter *ctr);

Flag DistObj_all_destroy(int id, Counter *ctr);

void* DistObj_localAddr(int id);

Flag DistObj_all_barrier(int id, Counter *ctr);

Flag DistObj_all_reduceInt(int id, int (*combiner)(), Counter *ctr);

void DistObj_broadcast(void (*f)(), void *arg1, void *arg2);