File memory_clearing.hpp

namespace o80

Functions

void clear_shared_memory(std::string segment_id)

clear all the shared memory segments corresponding to the specified segment id. The destructor of BackEnd calls this function, but user code may call it in case a program has been abruptly terminated (i.e. the BackEnd ‘s destructor has not been called). Starting a BackEnd using a segment id that has not been properly cleared will result in the program hanging.