oskr 1.0.0-rc.5

High performance distributed works collection
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70

use crate::common::{
    ClientId, Digest, OpNumber, Opaque, ReplicaId, RequestNumber, SignedMessage, ViewNumber,
};

pub enum ToReplica {
    Request(Request),
    OrderRequest(SignedMessage<OrderRequest>), // + request message
    // is this really good design
    Commit(Commit),
    ConfirmRequest(SignedMessage<ConfirmRequest>),
    Checkpoint(SignedMessage<Checkpoint>),
}

pub enum ToClient {
    SpeculativeResponse(
        SignedMessage<SpeculativeResponse>,
        ReplicaId,
        Opaque,
        SignedMessage<OrderRequest>,
    ),
    LocalCommit(SignedMessage<LocalCommit>),
}

pub struct Request {
    pub op: Opaque,
    pub request_number: RequestNumber,
    pub client_id: ClientId,
}

pub struct OrderRequest {
    pub view_number: ViewNumber,
    pub op_number: OpNumber,
    pub history: Digest,
    pub digest: Digest,
    // non-deterministic field omitted
}

pub struct SpeculativeResponse {
    pub view_number: ViewNumber,
    pub op_number: OpNumber,
    pub history: Digest,
    pub digest: Digest,
    pub client_id: ClientId,
    pub request_number: RequestNumber,
}

pub struct Commit {
    pub client_id: ClientId,
    pub certification: Vec<(ReplicaId, SignedMessage<SpeculativeResponse>)>,
}

pub struct LocalCommit {
    pub view_number: ViewNumber,
    pub digest: Digest,
    pub history: Digest,
    pub replica_id: ReplicaId,
    pub client_id: ClientId,
}

pub struct ConfirmRequest {
    pub view_number: ViewNumber,
    pub request: Request,
    pub replica_id: ReplicaId,
}

pub struct Checkpoint {
    pub op_number: OpNumber,
    pub digest: Digest,
    // omit application snapshot, we don't have application support this
}