/** Must be called by all machines simultaneously */ void clear() { rpc.barrier(); storage.clear(); }
void reset() { cont_.clear(); }
/** Must be called by all machines simultaneously */ void clear() { rpc.barrier(); storage.clear(); }
void reset() { cont_.clear(); }