From dc59ac38010eda5d474bd26ff5e8d190489e919f Mon Sep 17 00:00:00 2001 From: Brian Norris Date: Fri, 25 May 2012 18:44:23 -0700 Subject: [PATCH] clockvector: add snapshotting new/delete operators --- clockvector.h | 3 +++ 1 file changed, 3 insertions(+) diff --git a/clockvector.h b/clockvector.h index 615dfeb7..c4aabeb1 100644 --- a/clockvector.h +++ b/clockvector.h @@ -2,6 +2,7 @@ #define __CLOCKVECTOR_H__ #include "threads.h" +#include "mymemory.h" /* Forward declaration */ class ModelAction; @@ -12,6 +13,8 @@ public: ~ClockVector(); void merge(ClockVector *cv); bool happens_before(ModelAction *act, thread_id_t id); + + MEMALLOC private: int *clock; int num_threads; -- 2.34.1