Lines Matching refs:ThreadClock
17 // SyncClock and ThreadClock implement vector clocks for sync variables
19 // ThreadClock contains fixed-size vector clock for maximum number of threads.
24 // void ThreadClock::acquire(const SyncClock *src) {
29 // void ThreadClock::release(SyncClock *dst) const {
34 // void ThreadClock::ReleaseStore(SyncClock *dst) const {
39 // void ThreadClock::acq_rel(SyncClock *dst) {
61 // an exclusive lock; ThreadClock's are private to respective threads and so
64 // Description of ThreadClock state:
93 ThreadClock::ThreadClock(unsigned tid, unsigned reused)
104 void ThreadClock::acquire(ClockCache *c, const SyncClock *src) {
161 void ThreadClock::release(ClockCache *c, SyncClock *dst) const {
215 void ThreadClock::ReleaseStore(ClockCache *c, SyncClock *dst) const {
256 void ThreadClock::acq_rel(ClockCache *c, SyncClock *dst) {
263 void ThreadClock::UpdateCurrentThread(SyncClock *dst) const {
287 bool ThreadClock::IsAlreadyAcquired(const SyncClock *src) const {
349 void ThreadClock::set(unsigned tid, u64 v) {
358 void ThreadClock::DebugDump(int(*printf)(const char *s, ...)) {
