ETISS 0.8.0
Extendable Translating Instruction Set Simulator (version 0.8.0)
Functions | Variables
tsan_interface.h File Reference
#include <sanitizer/common_interface_defs.h>
Include dependency graph for tsan_interface.h:

Go to the source code of this file.

Functions

void __tsan_acquire (void *addr)
 
void __tsan_release (void *addr)
 
void __tsan_mutex_create (void *addr, unsigned flags)
 
void __tsan_mutex_destroy (void *addr, unsigned flags)
 
void __tsan_mutex_pre_lock (void *addr, unsigned flags)
 
void __tsan_mutex_post_lock (void *addr, unsigned flags, int recursion)
 
int __tsan_mutex_pre_unlock (void *addr, unsigned flags)
 
void __tsan_mutex_post_unlock (void *addr, unsigned flags)
 
void __tsan_mutex_pre_signal (void *addr, unsigned flags)
 
void __tsan_mutex_post_signal (void *addr, unsigned flags)
 
void __tsan_mutex_pre_divert (void *addr, unsigned flags)
 
void __tsan_mutex_post_divert (void *addr, unsigned flags)
 
void * __tsan_external_register_tag (const char *object_type)
 
void __tsan_external_register_header (void *tag, const char *header)
 
void __tsan_external_assign_tag (void *addr, void *tag)
 
void __tsan_external_read (void *addr, void *caller_pc, void *tag)
 
void __tsan_external_write (void *addr, void *caller_pc, void *tag)
 
void * __tsan_get_current_fiber (void)
 
void * __tsan_create_fiber (unsigned flags)
 
void __tsan_destroy_fiber (void *fiber)
 
void __tsan_switch_to_fiber (void *fiber, unsigned flags)
 
void __tsan_set_fiber_name (void *fiber, const char *name)
 

Variables

static const unsigned __tsan_mutex_linker_init = 1 << 0
 
static const unsigned __tsan_mutex_write_reentrant = 1 << 1
 
static const unsigned __tsan_mutex_read_reentrant = 1 << 2
 
static const unsigned __tsan_mutex_not_static = 1 << 8
 
static const unsigned __tsan_mutex_read_lock = 1 << 3
 
static const unsigned __tsan_mutex_try_lock = 1 << 4
 
static const unsigned __tsan_mutex_try_lock_failed = 1 << 5
 
static const unsigned __tsan_mutex_recursive_lock = 1 << 6
 
static const unsigned __tsan_mutex_recursive_unlock = 1 << 7
 
static const unsigned __tsan_switch_to_fiber_no_sync = 1 << 0
 

Function Documentation

◆ __tsan_acquire()

void __tsan_acquire ( void *  addr)

◆ __tsan_create_fiber()

void* __tsan_create_fiber ( unsigned  flags)

◆ __tsan_destroy_fiber()

void __tsan_destroy_fiber ( void *  fiber)

◆ __tsan_external_assign_tag()

void __tsan_external_assign_tag ( void *  addr,
void *  tag 
)

◆ __tsan_external_read()

void __tsan_external_read ( void *  addr,
void *  caller_pc,
void *  tag 
)

◆ __tsan_external_register_header()

void __tsan_external_register_header ( void *  tag,
const char *  header 
)

◆ __tsan_external_register_tag()

void* __tsan_external_register_tag ( const char *  object_type)

◆ __tsan_external_write()

void __tsan_external_write ( void *  addr,
void *  caller_pc,
void *  tag 
)

◆ __tsan_get_current_fiber()

void* __tsan_get_current_fiber ( void  )

◆ __tsan_mutex_create()

void __tsan_mutex_create ( void *  addr,
unsigned  flags 
)

◆ __tsan_mutex_destroy()

void __tsan_mutex_destroy ( void *  addr,
unsigned  flags 
)

◆ __tsan_mutex_post_divert()

void __tsan_mutex_post_divert ( void *  addr,
unsigned  flags 
)

◆ __tsan_mutex_post_lock()

void __tsan_mutex_post_lock ( void *  addr,
unsigned  flags,
int  recursion 
)

◆ __tsan_mutex_post_signal()

void __tsan_mutex_post_signal ( void *  addr,
unsigned  flags 
)

◆ __tsan_mutex_post_unlock()

void __tsan_mutex_post_unlock ( void *  addr,
unsigned  flags 
)

◆ __tsan_mutex_pre_divert()

void __tsan_mutex_pre_divert ( void *  addr,
unsigned  flags 
)

◆ __tsan_mutex_pre_lock()

void __tsan_mutex_pre_lock ( void *  addr,
unsigned  flags 
)

◆ __tsan_mutex_pre_signal()

void __tsan_mutex_pre_signal ( void *  addr,
unsigned  flags 
)

◆ __tsan_mutex_pre_unlock()

int __tsan_mutex_pre_unlock ( void *  addr,
unsigned  flags 
)

◆ __tsan_release()

void __tsan_release ( void *  addr)

◆ __tsan_set_fiber_name()

void __tsan_set_fiber_name ( void *  fiber,
const char *  name 
)

◆ __tsan_switch_to_fiber()

void __tsan_switch_to_fiber ( void *  fiber,
unsigned  flags 
)

Variable Documentation

◆ __tsan_mutex_linker_init

const unsigned __tsan_mutex_linker_init = 1 << 0
static

Definition at line 41 of file tsan_interface.h.

◆ __tsan_mutex_not_static

const unsigned __tsan_mutex_not_static = 1 << 8
static

Definition at line 50 of file tsan_interface.h.

◆ __tsan_mutex_read_lock

const unsigned __tsan_mutex_read_lock = 1 << 3
static

Definition at line 55 of file tsan_interface.h.

◆ __tsan_mutex_read_reentrant

const unsigned __tsan_mutex_read_reentrant = 1 << 2
static

Definition at line 45 of file tsan_interface.h.

◆ __tsan_mutex_recursive_lock

const unsigned __tsan_mutex_recursive_lock = 1 << 6
static

Definition at line 64 of file tsan_interface.h.

◆ __tsan_mutex_recursive_unlock

const unsigned __tsan_mutex_recursive_unlock = 1 << 7
static

Definition at line 68 of file tsan_interface.h.

◆ __tsan_mutex_try_lock

const unsigned __tsan_mutex_try_lock = 1 << 4
static

Definition at line 57 of file tsan_interface.h.

◆ __tsan_mutex_try_lock_failed

const unsigned __tsan_mutex_try_lock_failed = 1 << 5
static

Definition at line 59 of file tsan_interface.h.

◆ __tsan_mutex_write_reentrant

const unsigned __tsan_mutex_write_reentrant = 1 << 1
static

Definition at line 43 of file tsan_interface.h.

◆ __tsan_switch_to_fiber_no_sync

const unsigned __tsan_switch_to_fiber_no_sync = 1 << 0
static

Definition at line 155 of file tsan_interface.h.