C | |
computer [Migrate] |
Reference to the current computer
|
create [Migrate] |
Creates a migrating fair thread Migrate.create (fun home -> ...) comp launch the thread (fun home -> ...) on the computer comp (home = comp)
|
E | |
exit [Migrate] |
This function HAS to be the last function call of the program.
|
L | |
last_comp [Migrate] |
Reference to !nbr_comp-1
|
M | |
migrate [Migrate] |
a call to Migrate.migrate x makes the current fair thread continue his execution on the computer x.
|
N | |
nbr_comp [Migrate] |
Reference to the number of computer connected
|
R | |
read_line [Migrate] | |
S | |
safe_read [Migrate] |
IO primitives to use with migrating fthreads
|
safe_write [Migrate] |