Changeset bae0d35 for tests/unified_locking/timeout_lock.cfa
- Timestamp:
- Jun 7, 2021, 2:09:12 PM (3 years ago)
- Branches:
- ADT, ast-experimental, enum, forall-pointer-decay, jacob/cs343-translation, master, new-ast-unique-expr, pthread-emulation, qualifiedEnum
- Children:
- 5a46e09
- Parents:
- 82f4063 (diff), 53692b3 (diff)
Note: this is a merge changeset, the changes displayed below correspond to the merge itself.
Use the(diff)
links above to see all the changes relative to each parent. - File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
tests/unified_locking/timeout_lock.cfa
r82f4063 rbae0d35 1 1 #include <stdio.h> 2 #include "locks.hfa"3 #include "alarm.hfa"2 #include <locks.hfa> 3 #include <alarm.hfa> 4 4 #include <stdlib.hfa> 5 5 #include <thread.hfa> 6 #include "kernel.cfa"6 #include <kernel.hfa> 7 7 8 8 multiple_acquisition_lock m, n; … … 33 33 34 34 for ( unsigned int i = 0; i < NoOfTimes + 3; i += 1 ) { 35 if ( wait( c_m, m, 1000000`ns ) ) { 35 if ( wait( c_m, m, 1000000`ns ) ) { 36 36 // printf("Thread: %p signalled\n", active_thread()); // removed since can't expect non deterministic output 37 37 } else { … … 73 73 processor p[2]; 74 74 printf("Start Test 1: surface testing condition variable timeout routines\n"); 75 wait( c_m, 1`ns ); // bool wait( condition_variable(L) & this, Duration duration ); 75 wait( c_m, 1`ns ); // bool wait( condition_variable(L) & this, Duration duration ); 76 76 wait( c_m, 10, 1`ns ); // bool wait( condition_variable(L) & this, uintptr_t info, Duration duration ); 77 77 lock(m); wait( c_m, m, 1`ns ); unlock(m); // bool wait( condition_variable(L) & this, L & l, Duration duration );
Note: See TracChangeset
for help on using the changeset viewer.