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);
98 * Helper functions used by CDSPass
99 * The CDSPass implementation does not replace normal load/stores with cds load/stores,
100 * but inserts cds load/stores to check dataraces. Thus, the cds load/stores do not
104 void cds_store8(void *addr)
106 //DEBUG("addr = %p, val = %" PRIu8 "\n", addr, val);
109 thread_id_t tid = thread_current()->get_id();
110 raceCheckWrite(tid, addr);
113 void cds_store16(void *addr)
115 //DEBUG("addr = %p, val = %" PRIu16 "\n", addr, val);
118 thread_id_t tid = thread_current()->get_id();
119 raceCheckWrite(tid, addr);
120 raceCheckWrite(tid, (void *)(((uintptr_t)addr) + 1));
123 void cds_store32(void *addr)
125 //DEBUG("addr = %p, val = %" PRIu32 "\n", addr, val);
128 thread_id_t tid = thread_current()->get_id();
129 raceCheckWrite(tid, addr);
130 raceCheckWrite(tid, (void *)(((uintptr_t)addr) + 1));
131 raceCheckWrite(tid, (void *)(((uintptr_t)addr) + 2));
132 raceCheckWrite(tid, (void *)(((uintptr_t)addr) + 3));
135 void cds_store64(void *addr)
137 //DEBUG("addr = %p, val = %" PRIu64 "\n", addr, val);
140 thread_id_t tid = thread_current()->get_id();
141 raceCheckWrite(tid, addr);
142 raceCheckWrite(tid, (void *)(((uintptr_t)addr) + 1));
143 raceCheckWrite(tid, (void *)(((uintptr_t)addr) + 2));
144 raceCheckWrite(tid, (void *)(((uintptr_t)addr) + 3));
145 raceCheckWrite(tid, (void *)(((uintptr_t)addr) + 4));
146 raceCheckWrite(tid, (void *)(((uintptr_t)addr) + 5));
147 raceCheckWrite(tid, (void *)(((uintptr_t)addr) + 6));
148 raceCheckWrite(tid, (void *)(((uintptr_t)addr) + 7));
151 void cds_load8(const void *addr) {
154 thread_id_t tid = thread_current()->get_id();
155 raceCheckRead(tid, addr);
158 void cds_load16(const void *addr) {
161 thread_id_t tid = thread_current()->get_id();
162 raceCheckRead(tid, addr);
163 raceCheckRead(tid, (const void *)(((uintptr_t)addr) + 1));
166 void cds_load32(const void *addr) {
169 thread_id_t tid = thread_current()->get_id();
170 raceCheckRead(tid, addr);
171 raceCheckRead(tid, (const void *)(((uintptr_t)addr) + 1));
172 raceCheckRead(tid, (const void *)(((uintptr_t)addr) + 2));
173 raceCheckRead(tid, (const void *)(((uintptr_t)addr) + 3));
176 void cds_load64(const void *addr) {
179 thread_id_t tid = thread_current()->get_id();
180 raceCheckRead(tid, addr);
181 raceCheckRead(tid, (const void *)(((uintptr_t)addr) + 1));
182 raceCheckRead(tid, (const void *)(((uintptr_t)addr) + 2));
183 raceCheckRead(tid, (const void *)(((uintptr_t)addr) + 3));
184 raceCheckRead(tid, (const void *)(((uintptr_t)addr) + 4));
185 raceCheckRead(tid, (const void *)(((uintptr_t)addr) + 5));
186 raceCheckRead(tid, (const void *)(((uintptr_t)addr) + 6));
187 raceCheckRead(tid, (const void *)(((uintptr_t)addr) + 7));