4 * Created on: August 13, 2009
8 #ifdef BOWTIE_SHARED_MEM
20 * Notify other users of a shared-memory chunk that the leader has
21 * finished initializing it.
23 void notifySharedMem(void *mem, size_t len) {
24 ((volatile uint32_t*)((char*)mem + len))[0] = SHMEM_INIT;
28 * Wait until the leader of a shared-memory chunk has finished
31 void waitSharedMem(void *mem, size_t len) {
32 while(((volatile uint32_t*)((char*)mem + len))[0] != SHMEM_INIT) {