package specpaxos.spec.proto

Get desktop application:
View/edit binary Protocol Buffers messages

• required uint64 view = 1

• required uint64 lastNormalView = 2

• required uint64 lastSpeculative = 3

• required uint64 lastCommitted = 4

• repeated DoViewChangeMessage.LogEntry entries = 5

• required uint32 replicaIdx = 6

Used in: DoViewChangeMessage

• required uint64 view = 1

• required uint64 opnum = 2

• required Request request = 3

• required uint32 state = 4

• optional bytes hash = 5

• required uint64 view = 1

• required uint64 lastCommitted = 2

• required uint64 view = 1

• required uint64 lastCommitted = 2

• required uint64 view = 1

• required uint64 lastSpeculative = 2

• required uint32 replicaIdx = 3

• required Request req = 1

This is from a client to server.

• required uint64 view = 1

  Note that this is the view the client saw an operation fail in, not the desired new view. (It's not really the client's place to specify what the new view should be!)

• required uint64 clientreqid = 1

• required uint32 replicaidx = 2

• required uint64 view = 3

• required uint64 opnum = 4

• required bytes loghash = 5

• required bytes reply = 6

• required bool committed = 7

• required uint64 view = 1

• required uint32 replicaIdx = 2

• required uint64 lastCommitted = 3

• required uint64 view = 1

• required uint64 lastSpeculative = 2

• required uint64 lastCommitted = 3

• repeated StartViewMessage.LogEntry entries = 4

Used in: StartViewMessage

• required uint64 view = 1

• required uint64 opnum = 2

• required Request request = 3

• required uint32 state = 4

• required bytes hash = 5

• required uint64 view = 1

• optional uint64 lastCommitted = 2

• optional bytes lastCommittedHash = 3

• optional uint64 lastSpeculative = 4

• required uint64 view = 1

• required uint64 lastSpeculative = 2

• required bytes lastSpeculativeHash = 3

• required uint32 replicaidx = 4

• required bytes reply = 1

• required UnloggedRequest req = 1