From 540689657f4b080b1c1b49d6e654d9761b16e67b Mon Sep 17 00:00:00 2001
From: Andreas Stöckel <astoecke@techfak.uni-bielefeld.de>
Date: Wed, 17 Dec 2014 02:37:03 +0100
Subject: made deletion order in Manager class (more) deterministic

---
 src/core/managed/Manager.hpp | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

(limited to 'src/core/managed/Manager.hpp')

diff --git a/src/core/managed/Manager.hpp b/src/core/managed/Manager.hpp
index ae0d130..303e591 100644
--- a/src/core/managed/Manager.hpp
+++ b/src/core/managed/Manager.hpp
@@ -155,6 +155,11 @@ private:
 	 */
 	std::unordered_set<Managed *> deleted;
 
+	/**
+	 * Vector containing the objects marked for deletion in an ordered fashion.
+	 */
+	std::vector<Managed *> orderedDeleted;
+
 	/**
 	 * Map storing the data attached to managed objects.
 	 */
@@ -163,7 +168,7 @@ private:
 	/**
 	 * Map for storing the tagged memory regions.
 	 */
-	std::map<uintptr_t, std::pair<uintptr_t, void*>> tags;
+	std::map<uintptr_t, std::pair<uintptr_t, void *>> tags;
 
 	/**
 	 * Recursion depth while performing deletion. This variable is needed
-- 
cgit v1.2.3