C++ (Cpp) acquire_thread_id 예제들

예제 #1

파일: spin2003-tid.c 프로젝트: cao2/usf.1

void thr1() {
q0: acquire_thread_id(1, m); // m=0 /\ m'=1
q1:  x = 0;
q2:  x = 1;
q3:  assert(x>=1);
q4:  release(m);
}

예제 #2

파일: spin2003-tid.c 프로젝트: cao2/usf.1

void thr2() {
  acquire_thread_id(2, m); // m=0 /\ m'=2
  x = 0;
  x = 1;
  assert(x>=1);
  release(m);
}

예제 #3

파일: main.c 프로젝트: ssvlab/esbmc-gpu

void thr1() {
  acquire_thread_id(1, m); // m=0 /\ m'=1
  x = 0;
  x = 1;
  assert(x>=1);
  release(m);
}

예제 #4

파일: scull.c 프로젝트: ssvlab/esbmc-gpu

inline int down_interruptible(int tid) {
  acquire_thread_id(tid, lock);
  return 0; // lock is held
}