diff --git a/src/ds/aba.h b/src/ds/aba.h index 4b8f071..c9a5d20 100644 --- a/src/ds/aba.h +++ b/src/ds/aba.h @@ -157,6 +157,12 @@ namespace snmalloc std::atomic_flag lock = ATOMIC_FLAG_INIT; public: + // This method is used in Verona + void init(Ptr x) + { + ptr.store(x, std::memory_order_relaxed); + } + struct Cmp; Cmp read()