module type Job =
Job representation. This type will be communicated between clients.
Representation of the "result state" in the server. Clients are not
supposed to manipulate instances of this type, see
val add_result :
result -> job -> result
val depth :
job -> int
To avoid network and server congestion, least deep (i.e. hardest) tasks
are distributed first. This function should give as precisely as possible
the depth of jobs.
val signature_size :
Signature size in bits. This means that all keys for a given instance of Parry
must have the same length.
val timeout :
Time after which a job is considered dead, if it has not sent any ping
probe during that interval.
val ping :
Delay between ping probes.
val html_result :
Buffer.t -> result -> unit
Used for the web UI. This function takes a buffer and a result, and should
clear the buffer, and write an HTML representation of the current result
state in the server.
val html_job :
Buffer.t -> job -> unit
Used for the web UI. This function takes a buffer and a job, and should
clear the buffer and write an HTML representation of the given job.