Using Kilim's isolation types for multicore efficiency

Kilim qualifiers
UNIVERSITYOF
CAMBRIDGE
Kilim enforces Messages to be tree-like. Qualifiers further restrict
this:
@free forbids an object to have heap-pointers to it (a tree root).
[Not if-and-only-if for static analysis reasons.]
@cuttable a value which is @free if its parent’s pointer is nullified
@safe forbids structural modification of the Message recursively
@readonly forbids any modification of the Message recursively.
Note these are deep qualifiers, unlike const in C.
• Only @free Message types can be transferred between actors.
(And, more subtly, as method return types!)
Using Kilim’s isolation types for multicore efficiency 35 FoVeOOS’2011