include/librace.h

   1 /** @file librace.h
   2  *  @brief Interface to check normal memory operations for data races.
   3  */
   4
   5 #ifndef __LIBRACE_H__
   6 #define __LIBRACE_H__
   7
   8 #include <stdint.h>
   9
  10 #ifdef __cplusplus
  11 extern "C" {
  12 #endif
  13
  14 void cds_store8(void *addr);
  15 void cds_store16(void *addr);
  16 void cds_store32(void *addr);
  17 void cds_store64(void *addr);
  18
  19 void cds_load8(const void *addr);
  20 void cds_load16(const void *addr);
  21 void cds_load32(const void *addr);
  22 void cds_load64(const void *addr);
  23
  24 #ifdef __cplusplus
  25 }
  26 #endif
  27
  28 #endif  /* __LIBRACE_H__ */