Open main menu

CRIU β

Changes

Restorer v2

3 bytes added, 18:49, 10 September 2015
m
Concept
* fork() — <code>({(*),task,[(*)]}) -> \1,{$new,task,([parent=\2,\3])}</code> which means that any task can create a copy of itself having it as parent (link) and the rest of objects shared
* open() — <code>{(*),task,(*)} -> {-\1,task,[file=$new,\2]},{$new,file,[]}</code> which means that any task can create a new object of type file linked to it
The restoring process then is: given a final graph or string and the set of generating rules find out what sequence of the latter can produce the former.