Exemplo n.º 1
0
 /**
    Must be called by all machines simultaneously
 */
 void clear() {
     rpc.barrier();
     storage.clear();
 }
Exemplo n.º 2
0
 void reset()
 {
   cont_.clear();
 }