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