Changeset d2afe17 for tests/unified_locking
- Timestamp:
- May 17, 2021, 9:20:21 PM (4 years ago)
- Branches:
- ADT, arm-eh, ast-experimental, enum, forall-pointer-decay, jacob/cs343-translation, master, new-ast-unique-expr, pthread-emulation, qualifiedEnum
- Children:
- afd7faf
- Parents:
- 7fca832
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
tests/unified_locking/timeout_lock.cfa
r7fca832 rd2afe17 33 33 34 34 for ( unsigned int i = 0; i < NoOfTimes + 3; i += 1 ) { 35 if ( wait( c_m, m, 1`s ) ) { 35 if ( wait( c_m, m, 1`s ) ) { 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 wait( c_m, __kernel_get_time() + 1`ns ); // bool wait( condition_variable(L) & this, Time time );78 wait( c_m, 10, __kernel_get_time() + 1`ns ); // bool wait( condition_variable(L) & this, uintptr_t info, Time time );79 77 lock(m); wait( c_m, m, 1`ns ); unlock(m); // bool wait( condition_variable(L) & this, L & l, Duration duration ); 80 78 lock(m); wait( c_m, m, 10, 1`ns ); unlock(m); // bool wait( condition_variable(L) & this, L & l, uintptr_t info, Duration duration ); 81 lock(m); wait( c_m, m, __kernel_get_time() + 1`ns ); unlock(m); // bool wait( condition_variable(L) & this, L & l, Time time );82 lock(m); wait( c_m, m, 10, __kernel_get_time() + 1`ns ); unlock(m); // bool wait( condition_variable(L) & this, L & l, uintptr_t info, Time time );83 79 printf("Done Test 1\n"); 84 80
Note: See TracChangeset
for help on using the changeset viewer.