Index of values


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]