C++ (Cpp) __VERIFIER_atomic_index_malloc 예제들

예제 #1

파일: 36_stack_cas_p0_vs_concur_true-unreach-call.c 프로젝트: oliverstth/sv-benchmarks

inline void push(int d) {
	int oldTop, newTop,ret;
	__VERIFIER_atomic_index_malloc(&newTop);
	if(newTop == 0)
		exit(-1);
	INDIR(newTop,0) = d;
	while (1) {
		oldTop = top;
		INDIR(newTop,1) = oldTop;
		__VERIFIER_atomic_CAS(&top,oldTop,newTop,&ret);
		if(ret)	return;
	}
}

예제 #2

파일: 36_stack_cas_p0_vs_concur_true-unreach-call.c 프로젝트: flammel/vvt

void push(int d) {
  int oldTop, newTop;
  __VERIFIER_atomic_index_malloc(&newTop);
  if(newTop == 0)
    exit(-1);
  INDIR(newTop,0) = d;
  while (1) {
    oldTop = top;
    INDIR(newTop,1) = oldTop;
    if(__sync_bool_compare_and_swap(&top,oldTop,newTop))
      return;
  }
}

예제 #3

파일: 37_stack_lock_p0_vs_concur_true-unreach-call.c 프로젝트: oliverstth/sv-benchmarks

inline void push(int d) {
	int oldTop = -1, newTop = -1;

	__VERIFIER_atomic_index_malloc(&newTop);
	if(newTop == 0)
		exit(-1);
	else{
		INDIR(newTop,0) = d;
		__VERIFIER_atomic_acquire();
		oldTop = top;
		INDIR(newTop,1) = oldTop;
		top = newTop; 
		__VERIFIER_atomic_release();
	}
}