void incR(unsigned long i) { LockClaimRecursive(lock); if (i < 100) { while(i--) { tmp = shared; shared = tmp + 1; } } else { incR(i >> 1); incR( (i+1) >> 1); } LockReleaseRecursive(lock); }
void LockReleaseGlobalRecursive(void) { LockReleaseRecursive(globalRecLock); }
void (LockReleaseGlobalRecursive)(void) { AVER(globalLockInit); LockReleaseRecursive(globalRecLock); }