unsigned int sync_size=synced_thread.size();
int promise_tid=id_to_int(read->get_tid());
for(unsigned int i=1;i<model->get_num_threads();i++) {
unsigned int sync_size=synced_thread.size();
int promise_tid=id_to_int(read->get_tid());
for(unsigned int i=1;i<model->get_num_threads();i++) {