diff options
| author | Alex AUVOLAT <alex.auvolat@ens.fr> | 2014-05-25 01:00:44 +0200 |
|---|---|---|
| committer | Alex AUVOLAT <alex.auvolat@ens.fr> | 2014-05-25 01:00:44 +0200 |
| commit | 4a5ca97b0970e191332fb6fb4684a397b93390f5 (patch) | |
| tree | b833cd9bf8f21514f5c0ae2ece473ac398aff251 /src/proto.ml | |
| parent | 6e750a757ef6fb1f41cf4c2fe39edba834b76858 (diff) | |
| download | SystemeReseaux-Projet-4a5ca97b0970e191332fb6fb4684a397b93390f5.tar.gz SystemeReseaux-Projet-4a5ca97b0970e191332fb6fb4684a397b93390f5.zip | |
./manager -pool-addr mypool -pool-count 16 -my-addr my_addr ./example.native
Diffstat (limited to 'src/proto.ml')
| -rw-r--r-- | src/proto.ml | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/src/proto.ml b/src/proto.ml index f0517d4..1f6d8e6 100644 --- a/src/proto.ml +++ b/src/proto.ml @@ -11,6 +11,7 @@ exception ProtocolError of string type message = | Hello + | Output of string | Get of id * msg_task_descr | Put of id * string | RequestTask @@ -19,3 +20,10 @@ type message = | FinalResult of string +(* Protocol for pooling *) + +type pool_message = + | PoolHello + | PoolProvide of int + | PoolRequest of string * (string * int) * int + |