source: tests/unified_locking/mcs.cfa @ 7f62b708

ADTast-experimentalenumforall-pointer-decayjacob/cs343-translationnew-ast-unique-exprpthread-emulationqualifiedEnum
Last change on this file since 7f62b708 was c51124b, checked in by Thierry Delisle <tdelisle@…>, 4 years ago

Added tests for:

  • the "0nary" Semaphore, a.k.a. spinaphore.
  • the mcs lock
  • Property mode set to 100644
File size: 968 bytes
Line 
1#include <fstream.hfa>
2#include <locks.hfa>
3#include <thread.hfa>
4
5const unsigned int num_times = 50000;
6
7struct MutexObj {
8        mcs_lock l;
9        $thread * id;
10        size_t sum;
11};
12
13MutexObj mo;
14
15void trash() {
16        unsigned t[100];
17        for(i; 100) {
18                t[i] = 0xDEADBEEF;
19        }
20}
21
22unsigned cs() {
23        $thread * me = active_thread();
24        unsigned value = (unsigned)me;
25        mcs_node n;
26        lock(mo.l, n);
27        {
28                size_t tsum = mo.sum;
29                mo.id = me;
30                yield(random(5));
31                if(mo.id != me) sout | "Intruder!";
32                mo.sum = tsum + value;
33        }
34        unlock(mo.l, n);
35        return value;
36}
37
38thread LockCheck {
39        size_t sum;
40};
41
42void main(LockCheck & this) {
43        this.sum = 0;
44        for(num_times) {
45                trash();
46                this.sum += cs();
47                trash();
48                yield(random(10));
49        }
50}
51
52int main() {
53        size_t sum = -32;
54        mo.sum = -32;
55        processor p[2];
56        sout | "Starting";
57        {
58                LockCheck checkers[13];
59                for(i;13) {
60                        sum += join(checkers[i]).sum;
61                }
62        }
63        sout | "Done!";
64        if(sum == mo.sum) sout | "Match!";
65        else sout | "No Match!" | sum | "vs" | mo.sum;
66}
Note: See TracBrowser for help on using the repository browser.