lib/kernel/Lifecycle.ml


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28

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 =
    if Atomic.fetch_and_add references (-1) = 1 then
      self#destroy
end