typo
[model-checker-benchmarks.git] / read-copy-update / rcu.h
1 #ifndef _RCU_H
2 #define _RCU_H
3
4 #include <atomic>
5 #include <threads.h>
6 #include <stdatomic.h>
7 #include <stdlib.h>
8 #include <stdio.h>
9
10 #include "librace.h"
11
12 struct Data {
13         /** Declare atomic just to expose them to CDSChecker */
14         atomic_int data1;
15         atomic_int data2;
16 };
17
18
19 extern atomic<Data*> dataPtr;
20
21 void read(int *data1, int *data2);
22
23 void write(int data1, int data2);
24
25 #endif