1 files changed, 59 insertions, 0 deletions
diff --git a/starts/meaning-vm/level-0/memorystore.cpp b/starts/meaning-vm/level-0/memorystore.cpp
new file mode 100644
index 0000000..6cf71df
--- /dev/null
+++ b/starts/meaning-vm/level-0/memorystore.cpp
@@ -0,0 +1,59 @@
+#include "memorystore.hpp"
+#include "concept.hpp"
+#include "errors.hpp"
+
+#include <unordered_set>
+
+namespace intellect {
+namespace level0 {
+
+static auto & concepts()
+{
+	static std::unordered_set<ref, std::hash<concept*>> concepts;
+	return concepts;
+}
+
+ref alloc(concept * moved) {
+	ref r = moved ? moved : new concept();
+	concepts().insert(r);
+	return r;
+}
+
+static concept* referenced(ref r) {
+	for (ref r2 : concepts()) {
+		if (r2 == r) {
+			continue;
+		}
+		for (auto & l : r2->links) {
+			if (ref(l.first) == r) {
+				return r2.ptr;
+			}
+			if (ref(l.second) == r) {
+				return r2.ptr;
+			}
+		}
+	}
+	return 0;
+}
+
+void dealloc(ref r) {
+	concept * referenced = intellect::level0::referenced(r);
+	if (referenced) {
+		throw still_referenced_by(r, referenced);
+	}
+	for (
+		auto it = concepts().begin();
+		it != concepts().end();
+		++ it)
+	{
+		if (ref(*it) == r) {
+			concepts().erase(it);
+			delete r.ptr;
+			return;
+		}
+	}
+	throw no_such_concept(r);
+}
+
+}
+}