5 #include "modeltypes.h"
12 thread_id_t get_tid() { return tid; }
14 void add_waiting_for(thread_id_t other, int dist);
15 void add_waited_by(thread_id_t other);
16 void remove_waiting_for(thread_id_t other);
17 void remove_waited_by(thread_id_t other);
19 thrd_id_set_t * getWaitingFor() { return &waiting_for; }
20 thrd_id_set_t * getWaitingBy() { return &waited_by; }
21 int lookup_dist(thread_id_t other_tid);
25 void print_waiting_for();
26 void print_waited_by();
32 /* The set of threads this thread (tid) is waiting for */
33 thrd_id_set_t waiting_for;
35 /* The set of threads waiting for this thread */
36 thrd_id_set_t waited_by;
38 HashTable<thread_id_t, int, int, 0> dist_table;