Parry-0.1.0.0: A proven synchronization server for high performance computing.

PortabilityAll
Stabilityexperimental
Maintainerpierre-etienne.meunier@lif.univ-mrs.fr
Safe HaskellNone

Parry.Protocol

Description

This module contains all data types exchanged between the client and the server, except for the initial "Hello" message, and is mostly exposed for full disclosure of the protocol's proof.

Synopsis

Documentation

data ClientMessage j Source

The type of messages sent by the client, exposed here for full disclosure of the protocol's proof.

Constructors

GetJob Integer PublicKey 
JobDone 

Fields

clientId :: Integer
 
jobResults :: [j]
 
currentJob :: j
 
NewJobs 

Fields

clientId :: Integer
 
jobResults :: [j]
 
currentJob :: j
 
nextJob :: j
 
newJobs :: [j]
 
Alive Integer 

Instances

Show j => Show (ClientMessage j) 
Generic (ClientMessage j) 
Binary j => Binary (ClientMessage j) 

data ServerMessage j Source

The type of messages sent by the server, exposed here for full disclosure of the protocol's proof.

Constructors

Job Bool j 
Finished 
Ack 
Die 

Instances

Show j => Show (ServerMessage j) 
Generic (ServerMessage j) 
Binary j => Binary (ServerMessage j)