1 #define __STDC_FORMAT_MACROS
8 #include "threads-model.h"
9 #include "snapshot-interface.h"
11 void store_8(void *addr, uint8_t val)
13 DEBUG("addr = %p, val = %" PRIu8 "\n", addr, val);
14 thread_id_t tid = thread_current()->get_id();
15 raceCheckWrite(tid, addr);
16 (*(uint8_t *)addr) = val;
19 void store_16(void *addr, uint16_t val)
21 DEBUG("addr = %p, val = %" PRIu16 "\n", addr, val);
22 thread_id_t tid = thread_current()->get_id();
23 raceCheckWrite(tid, addr);
24 raceCheckWrite(tid, (void *)(((uintptr_t)addr) + 1));
25 (*(uint16_t *)addr) = val;
28 void store_32(void *addr, uint32_t val)
30 DEBUG("addr = %p, val = %" PRIu32 "\n", addr, val);
31 thread_id_t tid = thread_current()->get_id();
32 raceCheckWrite(tid, addr);
33 raceCheckWrite(tid, (void *)(((uintptr_t)addr) + 1));
34 raceCheckWrite(tid, (void *)(((uintptr_t)addr) + 2));
35 raceCheckWrite(tid, (void *)(((uintptr_t)addr) + 3));
36 (*(uint32_t *)addr) = val;
39 void store_64(void *addr, uint64_t val)
41 DEBUG("addr = %p, val = %" PRIu64 "\n", addr, val);
42 thread_id_t tid = thread_current()->get_id();
43 raceCheckWrite(tid, addr);
44 raceCheckWrite(tid, (void *)(((uintptr_t)addr) + 1));
45 raceCheckWrite(tid, (void *)(((uintptr_t)addr) + 2));
46 raceCheckWrite(tid, (void *)(((uintptr_t)addr) + 3));
47 raceCheckWrite(tid, (void *)(((uintptr_t)addr) + 4));
48 raceCheckWrite(tid, (void *)(((uintptr_t)addr) + 5));
49 raceCheckWrite(tid, (void *)(((uintptr_t)addr) + 6));
50 raceCheckWrite(tid, (void *)(((uintptr_t)addr) + 7));
51 (*(uint64_t *)addr) = val;
54 uint8_t load_8(const void *addr)
56 DEBUG("addr = %p\n", addr);
57 thread_id_t tid = thread_current()->get_id();
58 raceCheckRead(tid, addr);
59 return *((uint8_t *)addr);
62 uint16_t load_16(const void *addr)
64 DEBUG("addr = %p\n", addr);
65 thread_id_t tid = thread_current()->get_id();
66 raceCheckRead(tid, addr);
67 raceCheckRead(tid, (const void *)(((uintptr_t)addr) + 1));
68 return *((uint16_t *)addr);
71 uint32_t load_32(const void *addr)
73 DEBUG("addr = %p\n", addr);
74 thread_id_t tid = thread_current()->get_id();
75 raceCheckRead(tid, addr);
76 raceCheckRead(tid, (const void *)(((uintptr_t)addr) + 1));
77 raceCheckRead(tid, (const void *)(((uintptr_t)addr) + 2));
78 raceCheckRead(tid, (const void *)(((uintptr_t)addr) + 3));
79 return *((uint32_t *)addr);
82 uint64_t load_64(const void *addr)
84 DEBUG("addr = %p\n", addr);
85 thread_id_t tid = thread_current()->get_id();
86 raceCheckRead(tid, addr);
87 raceCheckRead(tid, (const void *)(((uintptr_t)addr) + 1));
88 raceCheckRead(tid, (const void *)(((uintptr_t)addr) + 2));
89 raceCheckRead(tid, (const void *)(((uintptr_t)addr) + 3));
90 raceCheckRead(tid, (const void *)(((uintptr_t)addr) + 4));
91 raceCheckRead(tid, (const void *)(((uintptr_t)addr) + 5));
92 raceCheckRead(tid, (const void *)(((uintptr_t)addr) + 6));
93 raceCheckRead(tid, (const void *)(((uintptr_t)addr) + 7));
94 return *((uint64_t *)addr);
97 // helper functions used by CdsPass
98 // The CdsPass implementation does not replace normal load/stores with cds load/stores,
99 // but inserts cds load/stores to check dataraces. Thus, the cds load/stores do not
102 void cds_store8(void *addr)
104 //DEBUG("addr = %p, val = %" PRIu8 "\n", addr, val);
107 thread_id_t tid = thread_current()->get_id();
108 raceCheckWrite(tid, addr);
111 void cds_store16(void *addr)
113 //DEBUG("addr = %p, val = %" PRIu16 "\n", addr, val);
116 thread_id_t tid = thread_current()->get_id();
117 raceCheckWrite(tid, addr);
118 raceCheckWrite(tid, (void *)(((uintptr_t)addr) + 1));
121 void cds_store32(void *addr)
123 //DEBUG("addr = %p, val = %" PRIu32 "\n", addr, val);
126 thread_id_t tid = thread_current()->get_id();
127 raceCheckWrite(tid, addr);
128 raceCheckWrite(tid, (void *)(((uintptr_t)addr) + 1));
129 raceCheckWrite(tid, (void *)(((uintptr_t)addr) + 2));
130 raceCheckWrite(tid, (void *)(((uintptr_t)addr) + 3));
133 void cds_store64(void *addr)
135 //DEBUG("addr = %p, val = %" PRIu64 "\n", addr, val);
138 thread_id_t tid = thread_current()->get_id();
139 raceCheckWrite(tid, addr);
140 raceCheckWrite(tid, (void *)(((uintptr_t)addr) + 1));
141 raceCheckWrite(tid, (void *)(((uintptr_t)addr) + 2));
142 raceCheckWrite(tid, (void *)(((uintptr_t)addr) + 3));
143 raceCheckWrite(tid, (void *)(((uintptr_t)addr) + 4));
144 raceCheckWrite(tid, (void *)(((uintptr_t)addr) + 5));
145 raceCheckWrite(tid, (void *)(((uintptr_t)addr) + 6));
146 raceCheckWrite(tid, (void *)(((uintptr_t)addr) + 7));
149 void cds_load8(const void *addr) {
152 thread_id_t tid = thread_current()->get_id();
153 raceCheckRead(tid, addr);
156 void cds_load16(const void *addr) {
159 thread_id_t tid = thread_current()->get_id();
160 raceCheckRead(tid, addr);
161 raceCheckRead(tid, (const void *)(((uintptr_t)addr) + 1));
164 void cds_load32(const void *addr) {
167 thread_id_t tid = thread_current()->get_id();
168 raceCheckRead(tid, addr);
169 raceCheckRead(tid, (const void *)(((uintptr_t)addr) + 1));
170 raceCheckRead(tid, (const void *)(((uintptr_t)addr) + 2));
171 raceCheckRead(tid, (const void *)(((uintptr_t)addr) + 3));
174 void cds_load64(const void *addr) {
177 thread_id_t tid = thread_current()->get_id();
178 raceCheckRead(tid, addr);
179 raceCheckRead(tid, (const void *)(((uintptr_t)addr) + 1));
180 raceCheckRead(tid, (const void *)(((uintptr_t)addr) + 2));
181 raceCheckRead(tid, (const void *)(((uintptr_t)addr) + 3));
182 raceCheckRead(tid, (const void *)(((uintptr_t)addr) + 4));
183 raceCheckRead(tid, (const void *)(((uintptr_t)addr) + 5));
184 raceCheckRead(tid, (const void *)(((uintptr_t)addr) + 6));
185 raceCheckRead(tid, (const void *)(((uintptr_t)addr) + 7));