Ignore:
Timestamp:
May 26, 2021, 10:15:14 PM (8 months ago)
Author:
Thierry Delisle <tdelisle@…>
Branches:
arm-eh, jacob/cs343-translation, master, new-ast-unique-expr
Children:
03c0e44, 7bd23ce
Parents:
8c28967
Message:

alarm.hfa is now a public header
Fixed include of timeout_lock.cfa.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • tests/unified_locking/timeout_lock.cfa

    r8c28967 rab388c5  
    11#include <stdio.h>
    2 #include "locks.hfa"
    3 #include "alarm.hfa"
     2#include <locks.hfa>
     3#include <alarm.hfa>
    44#include <stdlib.hfa>
    55#include <thread.hfa>
    6 #include "kernel.cfa"
     6#include <kernel.hfa>
    77
    88multiple_acquisition_lock m, n;
     
    3333
    3434        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 ) ) {
    3636                        // printf("Thread: %p signalled\n", active_thread()); // removed since can't expect non deterministic output
    3737            } else {
     
    7373        processor p[2];
    7474        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 );
    7676        wait( c_m, 10, 1`ns );                                                                                                  // bool wait( condition_variable(L) & this, uintptr_t info, Duration duration );
    7777        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.