2 * @brief C interface to the model checker.
8 #include "memoryorder.h"
11 using std::memory_order;
15 uint64_t model_read_action(void * obj, memory_order ord);
16 void model_write_action(void * obj, memory_order ord, uint64_t val);
17 void model_init_action(void * obj, uint64_t val);
18 uint64_t model_rmwr_action(void *obj, memory_order ord);
19 void model_rmw_action(void *obj, memory_order ord, uint64_t val);
20 void model_rmwc_action(void *obj, memory_order ord);
21 void model_fence_action(memory_order ord);
23 // void model_init_action_helper(void * obj, uint64_t val);
24 uint64_t model_rmwr_action_helper(void *obj, int atomic_index);
25 void model_rmw_action_helper(void *obj, int atomic_index, uint64_t val);
26 void model_rmwc_action_helper(void *obj, int atomic_index);
27 void model_fence_action_helper(int atomic_index);
30 uint8_t cds_atomic_load8(void * obj, int atomic_index);
31 uint16_t cds_atomic_load16(void * obj, int atomic_index);
32 uint32_t cds_atomic_load32(void * obj, int atomic_index);
33 uint64_t cds_atomic_load64(void * obj, int atomic_index);
35 void cds_atomic_store8(void * obj, int atomic_index, uint8_t val);
36 void cds_atomic_store16(void * obj, int atomic_index, uint16_t val);
37 void cds_atomic_store32(void * obj, int atomic_index, uint32_t val);
38 void cds_atomic_store64(void * obj, int atomic_index, uint64_t val);
41 // cds atomic exchange
42 uint8_t cds_atomic_exchange8(void* addr, int atomic_index, uint8_t val);
43 uint16_t cds_atomic_exchange16(void* addr, int atomic_index, uint16_t val);
44 uint32_t cds_atomic_exchange32(void* addr, int atomic_index, uint32_t val);
45 uint64_t cds_atomic_exchange64(void* addr, int atomic_index, uint64_t val);
46 // cds atomic fetch add
47 uint8_t cds_atomic_fetch_add8(void* addr, int atomic_index, uint8_t val);
48 uint16_t cds_atomic_fetch_add16(void* addr, int atomic_index, uint16_t val);
49 uint32_t cds_atomic_fetch_add32(void* addr, int atomic_index, uint32_t val);
50 uint64_t cds_atomic_fetch_add64(void* addr, int atomic_index, uint64_t val);
51 // cds atomic fetch sub
52 uint8_t cds_atomic_fetch_sub8(void* addr, int atomic_index, uint8_t val);
53 uint16_t cds_atomic_fetch_sub16(void* addr, int atomic_index, uint16_t val);
54 uint32_t cds_atomic_fetch_sub32(void* addr, int atomic_index, uint32_t val);
55 uint64_t cds_atomic_fetch_sub64(void* addr, int atomic_index, uint64_t val);
56 // cds atomic fetch and
57 uint8_t cds_atomic_fetch_and8(void* addr, int atomic_index, uint8_t val);
58 uint16_t cds_atomic_fetch_and16(void* addr, int atomic_index, uint16_t val);
59 uint32_t cds_atomic_fetch_and32(void* addr, int atomic_index, uint32_t val);
60 uint64_t cds_atomic_fetch_and64(void* addr, int atomic_index, uint64_t val);
61 // cds atomic fetch or
62 uint8_t cds_atomic_fetch_or8(void* addr, int atomic_index, uint8_t val);
63 uint16_t cds_atomic_fetch_or16(void* addr, int atomic_index, uint16_t val);
64 uint32_t cds_atomic_fetch_or32(void* addr, int atomic_index, uint32_t val);
65 uint64_t cds_atomic_fetch_or64(void* addr, int atomic_index, uint64_t val);
66 // cds atomic fetch xor
67 uint8_t cds_atomic_fetch_xor8(void* addr, int atomic_index, uint8_t val);
68 uint16_t cds_atomic_fetch_xor16(void* addr, int atomic_index, uint16_t val);
69 uint32_t cds_atomic_fetch_xor32(void* addr, int atomic_index, uint32_t val);
70 uint64_t cds_atomic_fetch_xor64(void* addr, int atomic_index, uint64_t val);
72 // cds atomic compare and exchange (strong)
74 uint8_t cds_atomic_compare_exchange8(void* addr, uint8_t expected,
75 uint8_t desire, int atomic_index_succ, int atomic_index_fail );
76 uint16_t cds_atomic_compare_exchange16(void* addr, uint16_t expected,
77 uint16_t desire, int atomic_index_succ, int atomic_index_fail );
78 uint32_t cds_atomic_compare_exchange32(void* addr, uint32_t expected,
79 uint32_t desire, int atomic_index_succ, int atomic_index_fail );
80 uint64_t cds_atomic_compare_exchange64(void* addr, uint64_t expected,
81 uint64_t desire, int atomic_index_succ, int atomic_index_fail );
83 // cds atomic thread fence
84 void cds_atomic_thread_fence(int atomic_index);