Using Kilim's isolation types for multicore efficiency

Type Systems – weakness
UNIVERSITYOF
CAMBRIDGE
Variables keeping the same type throughout a block means that the
two errors in the following program can’t be detected by the type
system:
{ char *x = malloc(10); // x has type char *
foo(x); // x has type char *
free(x); // x has type char * (but should not??)
foo(x); // a well-known disaster...
x = malloc(20); // x has type char * (and should)
// problem: a memory leak now occurs
} // as x goes out-of-scope
Replacing free(x) with pass_ownership(x,task42) shows the
weakness of classical types at controlling sharing of data.
Using Kilim’s isolation types for multicore efficiency 23 FoVeOOS’2011