//===-- tsan_vector_clock.h -------------------------------------*- C++ -*-===// // // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions. // See https://llvm.org/LICENSE.txt for license information. // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception // //===----------------------------------------------------------------------===// // // This file is a part of ThreadSanitizer (TSan), a race detector. // //===----------------------------------------------------------------------===// #ifndef TSAN_VECTOR_CLOCK_H #define TSAN_VECTOR_CLOCK_H #include "tsan_defs.h" namespace __tsan { // Fixed-size vector clock, used both for threads and sync objects. class VectorClock { … }; ALWAYS_INLINE Epoch VectorClock::Get(Sid sid) const { … } ALWAYS_INLINE void VectorClock::Set(Sid sid, Epoch v) { … } } // namespace __tsan #endif // TSAN_VECTOR_CLOCK_H