C++ (Cpp) push_loop示例

示例#1

文件： 25_stack_longest_false-unreach-call.c 项目： flammel/vvt

void* thr1(void* arg) {
  pthread_mutex_lock(&m2);
  switch(state)	{
  case 0: 
    EBStack_init();
    state = 1;
    //fall-through
  case 1:
    pthread_mutex_unlock(&m2);
    push_loop();
    break;
  }

  return 0;
}

示例#2

文件： 26_stack_cas_longest_true-unreach-call.c 项目： heryxpc/prototype

void* thr1(void* arg)
{
	__VERIFIER_atomic_acquire(&m2);
	switch(state)
	{
	case 0: 
		EBStack_init();
		state = 1;
		//fall-through
	case 1: 
		__VERIFIER_atomic_release(&m2);
		
		push_loop();
		break;
	}

  return 0;
}