diff options
Diffstat (limited to 'module/grid/demo')
| -rw-r--r-- | module/grid/demo/block.m | 14 | ||||
| -rw-r--r-- | module/grid/demo/exproc.m | 7 |
2 files changed, 21 insertions, 0 deletions
diff --git a/module/grid/demo/block.m b/module/grid/demo/block.m new file mode 100644 index 00000000..a20ab87a --- /dev/null +++ b/module/grid/demo/block.m @@ -0,0 +1,14 @@ +Block : module +{ + PATH: con "/dis/grid/demo/block.dis"; + + init : fn (pathname: string, ep: Exproc); + slave : fn (); + writedata : fn (s: string); + masterinit : fn (noblocks: int); + reader : fn (noblocks: int, chanout: chan of string, sync: chan of int); + makefile : fn (block: int, let: string): string; + err : fn (s: string); + cleanfiles : fn (delpath: string); + isin : fn (l: list of string, s: string): int; +};
\ No newline at end of file diff --git a/module/grid/demo/exproc.m b/module/grid/demo/exproc.m new file mode 100644 index 00000000..f4b7ec04 --- /dev/null +++ b/module/grid/demo/exproc.m @@ -0,0 +1,7 @@ +Exproc : module +{ + getslavedata : fn (lst: list of string); + doblock : fn (block: int, bpath: string); + readblock : fn (block: int, dir: string, chanout: chan of string): int; + finish : fn (waittime: int, tkchan: chan of string); +};
\ No newline at end of file |