Files
@ a6f53f74e58c
Branch filter:
Location: CSY/reowolf/examples/6_amy_log.txt - annotation
a6f53f74e58c
5.4 KiB
text/plain
fixed bug: failed to restore !sync_batches.is_empty() invariant when the native is immediately inconsistent
a6f53f74e58c a6f53f74e58c a6f53f74e58c a6f53f74e58c a6f53f74e58c a6f53f74e58c a6f53f74e58c a6f53f74e58c a6f53f74e58c a6f53f74e58c a6f53f74e58c a6f53f74e58c a6f53f74e58c a6f53f74e58c a6f53f74e58c a6f53f74e58c 63f3efc9c886 63f3efc9c886 63f3efc9c886 63f3efc9c886 63f3efc9c886 a6f53f74e58c a6f53f74e58c 63f3efc9c886 63f3efc9c886 a6f53f74e58c a6f53f74e58c 63f3efc9c886 63f3efc9c886 a6f53f74e58c 63f3efc9c886 63f3efc9c886 a6f53f74e58c 63f3efc9c886 63f3efc9c886 63f3efc9c886 63f3efc9c886 63f3efc9c886 63f3efc9c886 63f3efc9c886 a6f53f74e58c a6f53f74e58c a6f53f74e58c a6f53f74e58c a6f53f74e58c a6f53f74e58c a6f53f74e58c a6f53f74e58c a6f53f74e58c a6f53f74e58c a6f53f74e58c a6f53f74e58c a6f53f74e58c a6f53f74e58c a6f53f74e58c a6f53f74e58c a6f53f74e58c a6f53f74e58c a6f53f74e58c a6f53f74e58c a6f53f74e58c a6f53f74e58c a6f53f74e58c a6f53f74e58c a6f53f74e58c a6f53f74e58c a6f53f74e58c a6f53f74e58c a6f53f74e58c a6f53f74e58c a6f53f74e58c a6f53f74e58c a6f53f74e58c a6f53f74e58c a6f53f74e58c a6f53f74e58c a6f53f74e58c | CID(1463643093): Created with connector_id 1463643093
CID(1463643093): Added port pair (out->in) ptID(1463643093'0) -> ptID(1463643093'1)
CID(1463643093): ~~~ CONNECT called timeout None
CID(1463643093): Successfully connected 0 endpoints
CID(1463643093): beginning neighborhood construction
CID(1463643093): Edge case of no neighbors! No parent an no children!
CID(1463643093): Successfully created neighborhood Neighborhood { parent: None, children: {} }
CID(1463643093): Beginning session optimization
CID(1463643093): Gathered all children's maps. ConnectorId set is... []
CID(1463643093): Inserting my own info. Unoptimized subtree map is {1463643093: SessionInfo { serde_proto_description: SerdeProtocolDescription((A big honkin' protocol description)), port_info: PortInfo { polarities: {ptID(1463643093'0): Putter, ptID(1463643093'1): Getter}, peers: {ptID(1463643093'1): ptID(1463643093'0), ptID(1463643093'0): ptID(1463643093'1)}, routes: {ptID(1463643093'1): LocalComponent(Native), ptID(1463643093'0): LocalComponent(Native)} }, proto_components: {} }}
CID(1463643093): I am the leader! I will optimize this session
CID(1463643093): Session map optimize START
CID(1463643093): Session map optimize END
CID(1463643093): Optimized info map is {1463643093: SessionInfo { serde_proto_description: SerdeProtocolDescription((A big honkin' protocol description)), port_info: PortInfo { polarities: {ptID(1463643093'0): Putter, ptID(1463643093'1): Getter}, peers: {ptID(1463643093'1): ptID(1463643093'0), ptID(1463643093'0): ptID(1463643093'1)}, routes: {ptID(1463643093'1): LocalComponent(Native), ptID(1463643093'0): LocalComponent(Native)} }, proto_components: {} }}. Sending to children Iter([])
CID(1463643093): All session info dumped!: {
1463643093: SessionInfo {
serde_proto_description: SerdeProtocolDescription(
(A big honkin' protocol description),
),
port_info: PortInfo {
polarities: {
ptID(1463643093'0): Putter,
ptID(1463643093'1): Getter,
},
peers: {
ptID(1463643093'1): ptID(1463643093'0),
ptID(1463643093'0): ptID(1463643093'1),
},
routes: {
ptID(1463643093'1): LocalComponent(
Native,
),
ptID(1463643093'0): LocalComponent(
Native,
),
},
},
proto_components: {},
},
}
CID(1463643093): Session optimizations applied
CID(1463643093): connect() finished. setup phase complete
CID(1463643093): ~~~ SYNC called with timeout Some(5s); starting round 0
CID(1463643093): Nonsync running 0 proto components...
CID(1463643093): All 0 proto components are now done with Nonsync phase
CID(1463643093): Solution storage initialized
CID(1463643093): Translating 1 native batches into branches...
CID(1463643093): Native branch index=0 contains internal inconsistency wrt. fvID(1463643093'1). Skipping
CID(1463643093): Native starts with no branches! Failure!
CID(1463643093): No parent. Deciding on failure
CID(1463643093): Committing to decision Failure!
CID(1463643093): Announcing decision CommMsg(CommMsg { round_index: 0, contents: Announce { decision: Failure } }) through child endpoints {}
CID(1463643093): Sync round ending! Cleaning up
CID(1463643093): ~~~ SYNC called with timeout Some(5s); starting round 0
CID(1463643093): Nonsync running 0 proto components...
CID(1463643093): All 0 proto components are now done with Nonsync phase
CID(1463643093): Solution storage initialized
CID(1463643093): Translating 1 native batches into branches...
CID(1463643093): Native branch index=0 has consistent Predicate { Trues: {fvID(1463643093'1)}, Falses: {} }
CID(1463643093): Native branch 0 sending msg SendPayloadMsg { predicate: Predicate { Trues: {fvID(1463643093'1)}, Falses: {} }, payload: Payload([104, 101, 108, 108, 111]) }
CID(1463643093): Done translating native batches into branches
CID(1463643093): Running all 0 proto components to their sync blocker...
CID(1463643093): All proto components are blocked
CID(1463643093): Entering decision loop...
CID(1463643093): feeding native getter ptID(1463643093'1) SendPayloadMsg { predicate: Predicate { Trues: {fvID(1463643093'1)}, Falses: {} }, payload: Payload([104, 101, 108, 108, 111]) }
CID(1463643093): visiting native branch NativeBranch { index: 0, gotten: {}, to_get: {ptID(1463643093'1)} } with Predicate { Trues: {fvID(1463643093'1)}, Falses: {} }
CID(1463643093): NEW COMPONENT SOLUTION LocalComponent(Native) Predicate { Trues: {fvID(1463643093'1)}, Falses: {} }
CID(1463643093): storing NEW LOCAL SOLUTION Predicate { Trues: {fvID(1463643093'1)}, Falses: {} }
CID(1463643093): branch pred covers it! Accept the msg
CID(1463643093): Check if we have any local decisions...
CID(1463643093): New local decision with solution Predicate { Trues: {fvID(1463643093'1)}, Falses: {} }...
CID(1463643093): No parent. Deciding on solution Predicate { Trues: {fvID(1463643093'1)}, Falses: {} }
CID(1463643093): Committing to decision Success(Predicate { Trues: {fvID(1463643093'1)}, Falses: {} })!
CID(1463643093): Announcing decision CommMsg(CommMsg { round_index: 0, contents: Announce { decision: Success(Predicate { Trues: {fvID(1463643093'1)}, Falses: {} }) } }) through child endpoints {}
CID(1463643093): End round with (updated) component states []
CID(1463643093): Sync round ending! Cleaning up
CID(1463643093): Connector dropping. Goodbye!
|