Lifecycles and namespaces

2 files changed, 41 insertions, 0 deletions

diff --git a/lib/kernel/Lifecycle.ml b/lib/kernel/Lifecycle.ml
new file mode 100644
index 0000000..ff67ecf
--- /dev/null
+++ b/lib/kernel/Lifecycle.ml
@@ -0,0 +1,29 @@
+class type lifecycle = object
+  method reference : bool
+  method release : unit
+end
+
+class type virtual controlled_lifecycle = object
+  inherit lifecycle
+  method virtual destroy : unit
+end
+
+class null = object
+  method reference = true
+  method release = ()
+end
+
+class virtual counted = object (self)
+  val references = Atomic.make 1
+
+  method virtual destroy : unit
+
+  method reference =
+    Atomic.incr references;
+    true
+
+  method release =
+    Atomic.decr references;
+    if Atomic.get references <= 0 then
+      self#destroy
+end
diff --git a/lib/kernel/Lifecycle.mli b/lib/kernel/Lifecycle.mli
new file mode 100644
index 0000000..f110768
--- /dev/null
+++ b/lib/kernel/Lifecycle.mli
@@ -0,0 +1,12 @@
+class type lifecycle = object
+  method reference : bool
+  method release : unit
+end
+
+class type virtual controlled_lifecycle = object
+  inherit lifecycle
+  method virtual destroy : unit
+end
+
+class null : lifecycle
+class virtual counted : controlled_lifecycle