Skip to content

Instantly share code, notes, and snippets.

@lemmy

lemmy/bad_network.ndjson

Created April 21, 2023 17:20
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save lemmy/4fc2da4cf93fc1c8a5d5506d9a7a7231 to your computer and use it in GitHub Desktop.
Save lemmy/4fc2da4cf93fc1c8a5d5506d9a7a7231 to your computer and use it in GitHub Desktop.
Download ZIP
Raw
bad_network.ndjson
{"h_ts":"4","thread_id":"100","level":"info","tag":"tla","file":"../src/consensus/aft/raft.h","number":"494","msg":{"configurations":[{"idx":0,"nodes":{"0":{"address":":"},"1":{"address":":"},"2":{"address":":"}},"rid":0}],"event":{"component":"raft","function":"add_configuration"},"leadership":"none","membership":"Active","node":"0","state":{"cft_watermark_idx":0,"commit_idx":0,"current_view":0,"last_idx":0,"my_node_id":"0"}}}
{"h_ts":"8","thread_id":"100","level":"info","tag":"tla","file":"../src/consensus/aft/raft.h","number":"494","msg":{"configurations":[{"idx":0,"nodes":{"0":{"address":":"},"1":{"address":":"},"2":{"address":":"}},"rid":0}],"event":{"component":"raft","function":"add_configuration"},"leadership":"none","membership":"Active","node":"1","state":{"cft_watermark_idx":0,"commit_idx":0,"current_view":0,"last_idx":0,"my_node_id":"1"}}}
{"h_ts":"12","thread_id":"100","level":"info","tag":"tla","file":"../src/consensus/aft/raft.h","number":"494","msg":{"configurations":[{"idx":0,"nodes":{"0":{"address":":"},"1":{"address":":"},"2":{"address":":"}},"rid":0}],"event":{"component":"raft","function":"add_configuration"},"leadership":"none","membership":"Active","node":"2","state":{"cft_watermark_idx":0,"commit_idx":0,"current_view":0,"last_idx":0,"my_node_id":"2"}}}
{"h_ts":"16","thread_id":"100","level":"info","tag":"tla","file":"../src/consensus/aft/raft.h","number":"1809","msg":{"configurations":[{"idx":0,"nodes":{"0":{"address":":"},"1":{"address":":"},"2":{"address":":"}},"rid":0}],"event":{"component":"raft","function":"become_candidate"},"leadership":"Candidate","membership":"Active","node":"0","state":{"cft_watermark_idx":0,"commit_idx":0,"current_view":1,"last_idx":0,"my_node_id":"0"}}}
{"h_ts":"19","thread_id":"100","level":"info","tag":"tla","file":"../src/consensus/aft/raft.h","number":"1571","msg":{"event":{"component":"raft","function":"send_request_vote"},"leadership":"Candidate","membership":"Active","node":"0","paket":{"last_committable_idx":0,"msg":3,"term":1,"term_of_last_committable_idx":0},"state":{"cft_watermark_idx":0,"commit_idx":0,"current_view":1,"last_idx":0,"my_node_id":"0"},"to":"2","type":1}}
{"h_ts":"21","thread_id":"100","level":"info","tag":"tla","file":"../src/consensus/aft/raft.h","number":"1571","msg":{"event":{"component":"raft","function":"send_request_vote"},"leadership":"Candidate","membership":"Active","node":"0","paket":{"last_committable_idx":0,"msg":3,"term":1,"term_of_last_committable_idx":0},"state":{"cft_watermark_idx":0,"commit_idx":0,"current_view":1,"last_idx":0,"my_node_id":"0"},"to":"1","type":1}}
{"h_ts":"22","thread_id":"100","level":"info","tag":"tla","file":"../src/consensus/aft/raft.h","number":"740","msg":{"event":{"component":"raft","function":"recv_request_vote"},"from":"0","leadership":"none","membership":"Active","node":"2","paket":{"last_committable_idx":0,"msg":3,"term":1,"term_of_last_committable_idx":0},"state":{"cft_watermark_idx":0,"commit_idx":0,"current_view":0,"last_idx":0,"my_node_id":"2"},"type":3}}
{"h_ts":"28","thread_id":"100","level":"info","tag":"tla","file":"../src/consensus/aft/raft.h","number":"1943","msg":{"configurations":[{"idx":0,"nodes":{"0":{"address":":"},"1":{"address":":"},"2":{"address":":"}},"rid":0}],"event":{"component":"raft","function":"become_follower"},"leadership":"Follower","membership":"Active","node":"2","oldleadership":"none","state":{"cft_watermark_idx":0,"commit_idx":0,"current_view":1,"last_idx":0,"my_node_id":"2"}}}
{"h_ts":"30","thread_id":"100","level":"info","tag":"tla","file":"../src/consensus/aft/raft.h","number":"1688","msg":{"event":{"component":"raft","function":"send_request_vote_response"},"leadership":"Follower","membership":"Active","node":"2","paket":{"msg":4,"term":1,"vote_granted":true},"state":{"cft_watermark_idx":0,"commit_idx":0,"current_view":1,"last_idx":0,"my_node_id":"2"},"to":"0","type":1}}
{"h_ts":"31","thread_id":"100","level":"info","tag":"tla","file":"../src/consensus/aft/raft.h","number":"740","msg":{"event":{"component":"raft","function":"recv_request_vote"},"from":"0","leadership":"none","membership":"Active","node":"1","paket":{"last_committable_idx":0,"msg":3,"term":1,"term_of_last_committable_idx":0},"state":{"cft_watermark_idx":0,"commit_idx":0,"current_view":0,"last_idx":0,"my_node_id":"1"},"type":3}}
{"h_ts":"37","thread_id":"100","level":"info","tag":"tla","file":"../src/consensus/aft/raft.h","number":"1943","msg":{"configurations":[{"idx":0,"nodes":{"0":{"address":":"},"1":{"address":":"},"2":{"address":":"}},"rid":0}],"event":{"component":"raft","function":"become_follower"},"leadership":"Follower","membership":"Active","node":"1","oldleadership":"none","state":{"cft_watermark_idx":0,"commit_idx":0,"current_view":1,"last_idx":0,"my_node_id":"1"}}}
{"h_ts":"39","thread_id":"100","level":"info","tag":"tla","file":"../src/consensus/aft/raft.h","number":"1688","msg":{"event":{"component":"raft","function":"send_request_vote_response"},"leadership":"Follower","membership":"Active","node":"1","paket":{"msg":4,"term":1,"vote_granted":true},"state":{"cft_watermark_idx":0,"commit_idx":0,"current_view":1,"last_idx":0,"my_node_id":"1"},"to":"0","type":1}}
{"h_ts":"40","thread_id":"100","level":"info","tag":"tla","file":"../src/consensus/aft/raft.h","number":"759","msg":{"event":{"component":"raft","function":"recv_request_vote_response"},"from":"1","leadership":"Candidate","membership":"Active","node":"0","paket":{"msg":4,"term":1,"vote_granted":true},"state":{"cft_watermark_idx":0,"commit_idx":0,"current_view":1,"last_idx":0,"my_node_id":"0"},"type":4}}
{"h_ts":"45","thread_id":"100","level":"info","tag":"tla","file":"../src/consensus/aft/raft.h","number":"1877","msg":{"configurations":[{"idx":0,"nodes":{"0":{"address":":"},"1":{"address":":"},"2":{"address":":"}},"rid":0}],"event":{"component":"raft","function":"become_leader"},"leadership":"Leader","membership":"Active","node":"0","state":{"cft_watermark_idx":0,"commit_idx":0,"current_view":1,"last_idx":0,"my_node_id":"0"}}}
{"h_ts":"47","thread_id":"100","level":"info","tag":"tla","file":"../src/consensus/aft/raft.h","number":"1034","msg":{"event":{"component":"raft","function":"send_authenticated"},"leadership":"Leader","membership":"Active","node":"0","paket":{"contains_new_view":false,"idx":0,"leader_commit_idx":0,"msg":0,"prev_idx":0,"prev_term":0,"term":1,"term_of_idx":0},"state":{"cft_watermark_idx":0,"commit_idx":0,"current_view":1,"last_idx":0,"my_node_id":"0"},"to":"2","type":1}}
{"h_ts":"49","thread_id":"100","level":"info","tag":"tla","file":"../src/consensus/aft/raft.h","number":"1034","msg":{"event":{"component":"raft","function":"send_authenticated"},"leadership":"Leader","membership":"Active","node":"0","paket":{"contains_new_view":false,"idx":0,"leader_commit_idx":0,"msg":0,"prev_idx":0,"prev_term":0,"term":1,"term_of_idx":0},"state":{"cft_watermark_idx":0,"commit_idx":0,"current_view":1,"last_idx":0,"my_node_id":"0"},"to":"1","type":1}}
{"h_ts":"50","thread_id":"100","level":"info","tag":"tla","file":"../src/consensus/aft/raft.h","number":"759","msg":{"event":{"component":"raft","function":"recv_request_vote_response"},"from":"2","leadership":"Leader","membership":"Active","node":"0","paket":{"msg":4,"term":1,"vote_granted":true},"state":{"cft_watermark_idx":0,"commit_idx":0,"current_view":1,"last_idx":0,"my_node_id":"0"},"type":4}}
{"h_ts":"52","thread_id":"100","level":"info","tag":"tla","file":"../src/consensus/aft/raft.h","number":"703","msg":{"event":{"component":"raft","function":"recv_append_entries"},"from":"0","leadership":"Follower","membership":"Active","node":"2","paket":{"contains_new_view":false,"idx":0,"leader_commit_idx":0,"msg":0,"prev_idx":0,"prev_term":0,"term":1,"term_of_idx":0},"state":{"cft_watermark_idx":0,"commit_idx":0,"current_view":1,"last_idx":0,"my_node_id":"2"},"type":0}}
{"h_ts":"59","thread_id":"100","level":"info","tag":"tla","file":"../src/consensus/aft/raft.h","number":"1426","msg":{"event":{"component":"raft","function":"send_append_entries_response"},"leadership":"Follower","membership":"Active","node":"2","paket":{"last_log_idx":0,"msg":1,"success":0,"term":1},"state":{"cft_watermark_idx":0,"commit_idx":0,"current_view":1,"last_idx":0,"my_node_id":"2"},"to":"0","type":1}}
{"h_ts":"60","thread_id":"100","level":"info","tag":"tla","file":"../src/consensus/aft/raft.h","number":"703","msg":{"event":{"component":"raft","function":"recv_append_entries"},"from":"0","leadership":"Follower","membership":"Active","node":"1","paket":{"contains_new_view":false,"idx":0,"leader_commit_idx":0,"msg":0,"prev_idx":0,"prev_term":0,"term":1,"term_of_idx":0},"state":{"cft_watermark_idx":0,"commit_idx":0,"current_view":1,"last_idx":0,"my_node_id":"1"},"type":0}}
{"h_ts":"67","thread_id":"100","level":"info","tag":"tla","file":"../src/consensus/aft/raft.h","number":"1426","msg":{"event":{"component":"raft","function":"send_append_entries_response"},"leadership":"Follower","membership":"Active","node":"1","paket":{"last_log_idx":0,"msg":1,"success":0,"term":1},"state":{"cft_watermark_idx":0,"commit_idx":0,"current_view":1,"last_idx":0,"my_node_id":"1"},"to":"0","type":1}}
{"h_ts":"68","thread_id":"100","level":"info","tag":"tla","file":"../src/consensus/aft/raft.h","number":"722","msg":{"event":{"component":"raft","function":"recv_append_entries_response"},"from":"1","leadership":"Leader","membership":"Active","node":"0","paket":{"last_log_idx":0,"msg":1,"success":0,"term":1},"state":{"cft_watermark_idx":0,"commit_idx":0,"current_view":1,"last_idx":0,"my_node_id":"0"},"type":1}}
{"h_ts":"72","thread_id":"100","level":"info","tag":"tla","file":"../src/consensus/aft/raft.h","number":"722","msg":{"event":{"component":"raft","function":"recv_append_entries_response"},"from":"2","leadership":"Leader","membership":"Active","node":"0","paket":{"last_log_idx":0,"msg":1,"success":0,"term":1},"state":{"cft_watermark_idx":0,"commit_idx":0,"current_view":1,"last_idx":0,"my_node_id":"0"},"type":1}}
{"h_ts":"77","thread_id":"100","level":"info","tag":"tla","file":"../src/consensus/aft/raft.h","number":"1034","msg":{"event":{"component":"raft","function":"send_authenticated"},"leadership":"Leader","membership":"Active","node":"0","paket":{"contains_new_view":false,"idx":0,"leader_commit_idx":0,"msg":0,"prev_idx":0,"prev_term":0,"term":1,"term_of_idx":0},"state":{"cft_watermark_idx":0,"commit_idx":0,"current_view":1,"last_idx":0,"my_node_id":"0"},"to":"2","type":1}}
{"h_ts":"79","thread_id":"100","level":"info","tag":"tla","file":"../src/consensus/aft/raft.h","number":"1034","msg":{"event":{"component":"raft","function":"send_authenticated"},"leadership":"Leader","membership":"Active","node":"0","paket":{"contains_new_view":false,"idx":0,"leader_commit_idx":0,"msg":0,"prev_idx":0,"prev_term":0,"term":1,"term_of_idx":0},"state":{"cft_watermark_idx":0,"commit_idx":0,"current_view":1,"last_idx":0,"my_node_id":"0"},"to":"1","type":1}}
{"h_ts":"80","thread_id":"100","level":"info","tag":"tla","file":"../src/consensus/aft/raft.h","number":"703","msg":{"event":{"component":"raft","function":"recv_append_entries"},"from":"0","leadership":"Follower","membership":"Active","node":"2","paket":{"contains_new_view":false,"idx":0,"leader_commit_idx":0,"msg":0,"prev_idx":0,"prev_term":0,"term":1,"term_of_idx":0},"state":{"cft_watermark_idx":0,"commit_idx":0,"current_view":1,"last_idx":0,"my_node_id":"2"},"type":0}}
{"h_ts":"85","thread_id":"100","level":"info","tag":"tla","file":"../src/consensus/aft/raft.h","number":"1426","msg":{"event":{"component":"raft","function":"send_append_entries_response"},"leadership":"Follower","membership":"Active","node":"2","paket":{"last_log_idx":0,"msg":1,"success":0,"term":1},"state":{"cft_watermark_idx":0,"commit_idx":0,"current_view":1,"last_idx":0,"my_node_id":"2"},"to":"0","type":1}}
{"h_ts":"86","thread_id":"100","level":"info","tag":"tla","file":"../src/consensus/aft/raft.h","number":"703","msg":{"event":{"component":"raft","function":"recv_append_entries"},"from":"0","leadership":"Follower","membership":"Active","node":"1","paket":{"contains_new_view":false,"idx":0,"leader_commit_idx":0,"msg":0,"prev_idx":0,"prev_term":0,"term":1,"term_of_idx":0},"state":{"cft_watermark_idx":0,"commit_idx":0,"current_view":1,"last_idx":0,"my_node_id":"1"},"type":0}}
{"h_ts":"91","thread_id":"100","level":"info","tag":"tla","file":"../src/consensus/aft/raft.h","number":"1426","msg":{"event":{"component":"raft","function":"send_append_entries_response"},"leadership":"Follower","membership":"Active","node":"1","paket":{"last_log_idx":0,"msg":1,"success":0,"term":1},"state":{"cft_watermark_idx":0,"commit_idx":0,"current_view":1,"last_idx":0,"my_node_id":"1"},"to":"0","type":1}}
{"h_ts":"92","thread_id":"100","level":"info","tag":"tla","file":"../src/consensus/aft/raft.h","number":"722","msg":{"event":{"component":"raft","function":"recv_append_entries_response"},"from":"1","leadership":"Leader","membership":"Active","node":"0","paket":{"last_log_idx":0,"msg":1,"success":0,"term":1},"state":{"cft_watermark_idx":0,"commit_idx":0,"current_view":1,"last_idx":0,"my_node_id":"0"},"type":1}}
{"h_ts":"96","thread_id":"100","level":"info","tag":"tla","file":"../src/consensus/aft/raft.h","number":"722","msg":{"event":{"component":"raft","function":"recv_append_entries_response"},"from":"2","leadership":"Leader","membership":"Active","node":"0","paket":{"last_log_idx":0,"msg":1,"success":0,"term":1},"state":{"cft_watermark_idx":0,"commit_idx":0,"current_view":1,"last_idx":0,"my_node_id":"0"},"type":1}}
{"h_ts":"102","thread_id":"100","level":"info","tag":"tla","file":"../src/consensus/aft/test/driver.h","number":"62","msg":{"data":"eyJkYXRhIjoiYUdWc2JHOTNiM0pzWkE9PSIsInR5cGUiOiJyYXcifQ==","event":{"component":"ledger","function":"append"},"index":1,"node":"0","state":{"cft_watermark_idx":0,"commit_idx":0,"current_view":0,"last_idx":0,"my_node_id":"0"},"term":1}}
{"h_ts":"106","thread_id":"100","level":"info","tag":"tla","file":"../src/consensus/aft/test/driver.h","number":"62","msg":{"data":"eyJkYXRhIjoiYzJsbmJtRjBkWEpsIiwidHlwZSI6InJhdyJ9","event":{"component":"ledger","function":"append"},"index":2,"node":"0","state":{"cft_watermark_idx":0,"commit_idx":0,"current_view":0,"last_idx":0,"my_node_id":"0"},"term":1}}
{"h_ts":"108","thread_id":"100","level":"info","tag":"tla","file":"../src/consensus/aft/raft.h","number":"1034","msg":{"event":{"component":"raft","function":"send_authenticated"},"leadership":"Leader","membership":"Active","node":"0","paket":{"contains_new_view":false,"idx":2,"leader_commit_idx":0,"msg":0,"prev_idx":0,"prev_term":0,"term":1,"term_of_idx":1},"state":{"cft_watermark_idx":0,"commit_idx":0,"current_view":1,"last_idx":2,"my_node_id":"0"},"to":"2","type":1}}
{"h_ts":"110","thread_id":"100","level":"info","tag":"tla","file":"../src/consensus/aft/raft.h","number":"1034","msg":{"event":{"component":"raft","function":"send_authenticated"},"leadership":"Leader","membership":"Active","node":"0","paket":{"contains_new_view":false,"idx":2,"leader_commit_idx":0,"msg":0,"prev_idx":0,"prev_term":0,"term":1,"term_of_idx":1},"state":{"cft_watermark_idx":0,"commit_idx":0,"current_view":1,"last_idx":2,"my_node_id":"0"},"to":"1","type":1}}
{"h_ts":"111","thread_id":"100","level":"info","tag":"tla","file":"../src/consensus/aft/raft.h","number":"703","msg":{"event":{"component":"raft","function":"recv_append_entries"},"from":"0","leadership":"Follower","membership":"Active","node":"2","paket":{"contains_new_view":false,"idx":2,"leader_commit_idx":0,"msg":0,"prev_idx":0,"prev_term":0,"term":1,"term_of_idx":1},"state":{"cft_watermark_idx":0,"commit_idx":0,"current_view":1,"last_idx":0,"my_node_id":"2"},"type":0}}
{"h_ts":"115","thread_id":"100","level":"info","tag":"tla","file":"../src/consensus/aft/test/driver.h","number":"62","msg":{"data":"eyJkYXRhIjoiYUdWc2JHOTNiM0pzWkE9PSIsInR5cGUiOiJyYXcifQ==","event":{"component":"ledger","function":"append"},"index":1,"node":"2","state":{"cft_watermark_idx":0,"commit_idx":0,"current_view":0,"last_idx":0,"my_node_id":"2"},"term":1}}
{"h_ts":"119","thread_id":"100","level":"info","tag":"tla","file":"../src/consensus/aft/test/driver.h","number":"62","msg":{"data":"eyJkYXRhIjoiYzJsbmJtRjBkWEpsIiwidHlwZSI6InJhdyJ9","event":{"component":"ledger","function":"append"},"index":2,"node":"2","state":{"cft_watermark_idx":0,"commit_idx":0,"current_view":0,"last_idx":0,"my_node_id":"2"},"term":1}}
{"h_ts":"124","thread_id":"100","level":"info","tag":"tla","file":"../src/consensus/aft/raft.h","number":"1426","msg":{"event":{"component":"raft","function":"send_append_entries_response"},"leadership":"Follower","membership":"Active","node":"2","paket":{"last_log_idx":2,"msg":1,"success":0,"term":1},"state":{"cft_watermark_idx":0,"commit_idx":0,"current_view":1,"last_idx":2,"my_node_id":"2"},"to":"0","type":1}}
{"h_ts":"125","thread_id":"100","level":"info","tag":"tla","file":"../src/consensus/aft/raft.h","number":"703","msg":{"event":{"component":"raft","function":"recv_append_entries"},"from":"0","leadership":"Follower","membership":"Active","node":"1","paket":{"contains_new_view":false,"idx":2,"leader_commit_idx":0,"msg":0,"prev_idx":0,"prev_term":0,"term":1,"term_of_idx":1},"state":{"cft_watermark_idx":0,"commit_idx":0,"current_view":1,"last_idx":0,"my_node_id":"1"},"type":0}}
{"h_ts":"129","thread_id":"100","level":"info","tag":"tla","file":"../src/consensus/aft/test/driver.h","number":"62","msg":{"data":"eyJkYXRhIjoiYUdWc2JHOTNiM0pzWkE9PSIsInR5cGUiOiJyYXcifQ==","event":{"component":"ledger","function":"append"},"index":1,"node":"1","state":{"cft_watermark_idx":0,"commit_idx":0,"current_view":0,"last_idx":0,"my_node_id":"1"},"term":1}}
{"h_ts":"133","thread_id":"100","level":"info","tag":"tla","file":"../src/consensus/aft/test/driver.h","number":"62","msg":{"data":"eyJkYXRhIjoiYzJsbmJtRjBkWEpsIiwidHlwZSI6InJhdyJ9","event":{"component":"ledger","function":"append"},"index":2,"node":"1","state":{"cft_watermark_idx":0,"commit_idx":0,"current_view":0,"last_idx":0,"my_node_id":"1"},"term":1}}
{"h_ts":"138","thread_id":"100","level":"info","tag":"tla","file":"../src/consensus/aft/raft.h","number":"1426","msg":{"event":{"component":"raft","function":"send_append_entries_response"},"leadership":"Follower","membership":"Active","node":"1","paket":{"last_log_idx":2,"msg":1,"success":0,"term":1},"state":{"cft_watermark_idx":0,"commit_idx":0,"current_view":1,"last_idx":2,"my_node_id":"1"},"to":"0","type":1}}
{"h_ts":"139","thread_id":"100","level":"info","tag":"tla","file":"../src/consensus/aft/raft.h","number":"722","msg":{"event":{"component":"raft","function":"recv_append_entries_response"},"from":"1","leadership":"Leader","membership":"Active","node":"0","paket":{"last_log_idx":2,"msg":1,"success":0,"term":1},"state":{"cft_watermark_idx":0,"commit_idx":0,"current_view":1,"last_idx":2,"my_node_id":"0"},"type":1}}
{"h_ts":"146","thread_id":"100","level":"info","tag":"tla","file":"../src/consensus/aft/raft.h","number":"2263","msg":{"configurations":[{"idx":0,"nodes":{"0":{"address":":"},"1":{"address":":"},"2":{"address":":"}},"rid":0}],"event":{"component":"raft","function":"commit"},"leadership":"Leader","membership":"Active","node":"0","state":{"cft_watermark_idx":2,"commit_idx":2,"current_view":1,"last_idx":2,"my_node_id":"0"}}}
{"h_ts":"147","thread_id":"100","level":"info","tag":"tla","file":"../src/consensus/aft/raft.h","number":"722","msg":{"event":{"component":"raft","function":"recv_append_entries_response"},"from":"2","leadership":"Leader","membership":"Active","node":"0","paket":{"last_log_idx":2,"msg":1,"success":0,"term":1},"state":{"cft_watermark_idx":2,"commit_idx":2,"current_view":1,"last_idx":2,"my_node_id":"0"},"type":1}}
{"h_ts":"152","thread_id":"100","level":"info","tag":"tla","file":"../src/consensus/aft/raft.h","number":"1034","msg":{"event":{"component":"raft","function":"send_authenticated"},"leadership":"Leader","membership":"Active","node":"0","paket":{"contains_new_view":false,"idx":2,"leader_commit_idx":2,"msg":0,"prev_idx":2,"prev_term":1,"term":1,"term_of_idx":1},"state":{"cft_watermark_idx":2,"commit_idx":2,"current_view":1,"last_idx":2,"my_node_id":"0"},"to":"2","type":1}}
{"h_ts":"154","thread_id":"100","level":"info","tag":"tla","file":"../src/consensus/aft/raft.h","number":"1034","msg":{"event":{"component":"raft","function":"send_authenticated"},"leadership":"Leader","membership":"Active","node":"0","paket":{"contains_new_view":false,"idx":2,"leader_commit_idx":2,"msg":0,"prev_idx":2,"prev_term":1,"term":1,"term_of_idx":1},"state":{"cft_watermark_idx":2,"commit_idx":2,"current_view":1,"last_idx":2,"my_node_id":"0"},"to":"1","type":1}}
{"h_ts":"155","thread_id":"100","level":"info","tag":"tla","file":"../src/consensus/aft/raft.h","number":"703","msg":{"event":{"component":"raft","function":"recv_append_entries"},"from":"0","leadership":"Follower","membership":"Active","node":"2","paket":{"contains_new_view":false,"idx":2,"leader_commit_idx":2,"msg":0,"prev_idx":2,"prev_term":1,"term":1,"term_of_idx":1},"state":{"cft_watermark_idx":0,"commit_idx":0,"current_view":1,"last_idx":2,"my_node_id":"2"},"type":0}}
{"h_ts":"162","thread_id":"100","level":"info","tag":"tla","file":"../src/consensus/aft/raft.h","number":"2263","msg":{"configurations":[{"idx":0,"nodes":{"0":{"address":":"},"1":{"address":":"},"2":{"address":":"}},"rid":0}],"event":{"component":"raft","function":"commit"},"leadership":"Follower","membership":"Active","node":"2","state":{"cft_watermark_idx":0,"commit_idx":2,"current_view":1,"last_idx":2,"my_node_id":"2"}}}
{"h_ts":"164","thread_id":"100","level":"info","tag":"tla","file":"../src/consensus/aft/raft.h","number":"1426","msg":{"event":{"component":"raft","function":"send_append_entries_response"},"leadership":"Follower","membership":"Active","node":"2","paket":{"last_log_idx":2,"msg":1,"success":0,"term":1},"state":{"cft_watermark_idx":0,"commit_idx":2,"current_view":1,"last_idx":2,"my_node_id":"2"},"to":"0","type":1}}
{"h_ts":"165","thread_id":"100","level":"info","tag":"tla","file":"../src/consensus/aft/raft.h","number":"703","msg":{"event":{"component":"raft","function":"recv_append_entries"},"from":"0","leadership":"Follower","membership":"Active","node":"1","paket":{"contains_new_view":false,"idx":2,"leader_commit_idx":2,"msg":0,"prev_idx":2,"prev_term":1,"term":1,"term_of_idx":1},"state":{"cft_watermark_idx":0,"commit_idx":0,"current_view":1,"last_idx":2,"my_node_id":"1"},"type":0}}
{"h_ts":"172","thread_id":"100","level":"info","tag":"tla","file":"../src/consensus/aft/raft.h","number":"2263","msg":{"configurations":[{"idx":0,"nodes":{"0":{"address":":"},"1":{"address":":"},"2":{"address":":"}},"rid":0}],"event":{"component":"raft","function":"commit"},"leadership":"Follower","membership":"Active","node":"1","state":{"cft_watermark_idx":0,"commit_idx":2,"current_view":1,"last_idx":2,"my_node_id":"1"}}}
{"h_ts":"174","thread_id":"100","level":"info","tag":"tla","file":"../src/consensus/aft/raft.h","number":"1426","msg":{"event":{"component":"raft","function":"send_append_entries_response"},"leadership":"Follower","membership":"Active","node":"1","paket":{"last_log_idx":2,"msg":1,"success":0,"term":1},"state":{"cft_watermark_idx":0,"commit_idx":2,"current_view":1,"last_idx":2,"my_node_id":"1"},"to":"0","type":1}}
{"h_ts":"175","thread_id":"100","level":"info","tag":"tla","file":"../src/consensus/aft/raft.h","number":"722","msg":{"event":{"component":"raft","function":"recv_append_entries_response"},"from":"1","leadership":"Leader","membership":"Active","node":"0","paket":{"last_log_idx":2,"msg":1,"success":0,"term":1},"state":{"cft_watermark_idx":2,"commit_idx":2,"current_view":1,"last_idx":2,"my_node_id":"0"},"type":1}}
{"h_ts":"179","thread_id":"100","level":"info","tag":"tla","file":"../src/consensus/aft/raft.h","number":"722","msg":{"event":{"component":"raft","function":"recv_append_entries_response"},"from":"2","leadership":"Leader","membership":"Active","node":"0","paket":{"last_log_idx":2,"msg":1,"success":0,"term":1},"state":{"cft_watermark_idx":2,"commit_idx":2,"current_view":1,"last_idx":2,"my_node_id":"0"},"type":1}}
{"h_ts":"185","thread_id":"100","level":"info","tag":"tla","file":"../src/consensus/aft/test/driver.h","number":"62","msg":{"data":"eyJkYXRhIjoiYzJGc2RYUnZibTF2Ym1SdiIsInR5cGUiOiJyYXcifQ==","event":{"component":"ledger","function":"append"},"index":3,"node":"0","state":{"cft_watermark_idx":0,"commit_idx":0,"current_view":0,"last_idx":0,"my_node_id":"0"},"term":1}}
{"h_ts":"189","thread_id":"100","level":"info","tag":"tla","file":"../src/consensus/aft/test/driver.h","number":"62","msg":{"data":"eyJkYXRhIjoiYzJsbmJtRjBkWEpsIiwidHlwZSI6InJhdyJ9","event":{"component":"ledger","function":"append"},"index":4,"node":"0","state":{"cft_watermark_idx":0,"commit_idx":0,"current_view":0,"last_idx":0,"my_node_id":"0"},"term":1}}
{"h_ts":"191","thread_id":"100","level":"info","tag":"tla","file":"../src/consensus/aft/raft.h","number":"1034","msg":{"event":{"component":"raft","function":"send_authenticated"},"leadership":"Leader","membership":"Active","node":"0","paket":{"contains_new_view":false,"idx":4,"leader_commit_idx":2,"msg":0,"prev_idx":2,"prev_term":1,"term":1,"term_of_idx":1},"state":{"cft_watermark_idx":2,"commit_idx":2,"current_view":1,"last_idx":4,"my_node_id":"0"},"to":"2","type":1}}
{"h_ts":"193","thread_id":"100","level":"info","tag":"tla","file":"../src/consensus/aft/raft.h","number":"1034","msg":{"event":{"component":"raft","function":"send_authenticated"},"leadership":"Leader","membership":"Active","node":"0","paket":{"contains_new_view":false,"idx":4,"leader_commit_idx":2,"msg":0,"prev_idx":2,"prev_term":1,"term":1,"term_of_idx":1},"state":{"cft_watermark_idx":2,"commit_idx":2,"current_view":1,"last_idx":4,"my_node_id":"0"},"to":"1","type":1}}
{"h_ts":"195","thread_id":"100","level":"info","tag":"tla","file":"../src/consensus/aft/raft.h","number":"1034","msg":{"event":{"component":"raft","function":"send_authenticated"},"leadership":"Leader","membership":"Active","node":"0","paket":{"contains_new_view":false,"idx":4,"leader_commit_idx":2,"msg":0,"prev_idx":4,"prev_term":1,"term":1,"term_of_idx":1},"state":{"cft_watermark_idx":2,"commit_idx":2,"current_view":1,"last_idx":4,"my_node_id":"0"},"to":"2","type":1}}
{"h_ts":"197","thread_id":"100","level":"info","tag":"tla","file":"../src/consensus/aft/raft.h","number":"1034","msg":{"event":{"component":"raft","function":"send_authenticated"},"leadership":"Leader","membership":"Active","node":"0","paket":{"contains_new_view":false,"idx":4,"leader_commit_idx":2,"msg":0,"prev_idx":4,"prev_term":1,"term":1,"term_of_idx":1},"state":{"cft_watermark_idx":2,"commit_idx":2,"current_view":1,"last_idx":4,"my_node_id":"0"},"to":"1","type":1}}
{"h_ts":"199","thread_id":"100","level":"info","tag":"tla","file":"../src/consensus/aft/raft.h","number":"1034","msg":{"event":{"component":"raft","function":"send_authenticated"},"leadership":"Leader","membership":"Active","node":"0","paket":{"contains_new_view":false,"idx":4,"leader_commit_idx":2,"msg":0,"prev_idx":4,"prev_term":1,"term":1,"term_of_idx":1},"state":{"cft_watermark_idx":2,"commit_idx":2,"current_view":1,"last_idx":4,"my_node_id":"0"},"to":"2","type":1}}
{"h_ts":"201","thread_id":"100","level":"info","tag":"tla","file":"../src/consensus/aft/raft.h","number":"1034","msg":{"event":{"component":"raft","function":"send_authenticated"},"leadership":"Leader","membership":"Active","node":"0","paket":{"contains_new_view":false,"idx":4,"leader_commit_idx":2,"msg":0,"prev_idx":4,"prev_term":1,"term":1,"term_of_idx":1},"state":{"cft_watermark_idx":2,"commit_idx":2,"current_view":1,"last_idx":4,"my_node_id":"0"},"to":"1","type":1}}
{"h_ts":"203","thread_id":"100","level":"info","tag":"tla","file":"../src/consensus/aft/raft.h","number":"1034","msg":{"event":{"component":"raft","function":"send_authenticated"},"leadership":"Leader","membership":"Active","node":"0","paket":{"contains_new_view":false,"idx":4,"leader_commit_idx":2,"msg":0,"prev_idx":4,"prev_term":1,"term":1,"term_of_idx":1},"state":{"cft_watermark_idx":2,"commit_idx":2,"current_view":1,"last_idx":4,"my_node_id":"0"},"to":"2","type":1}}
{"h_ts":"205","thread_id":"100","level":"info","tag":"tla","file":"../src/consensus/aft/raft.h","number":"1034","msg":{"event":{"component":"raft","function":"send_authenticated"},"leadership":"Leader","membership":"Active","node":"0","paket":{"contains_new_view":false,"idx":4,"leader_commit_idx":2,"msg":0,"prev_idx":4,"prev_term":1,"term":1,"term_of_idx":1},"state":{"cft_watermark_idx":2,"commit_idx":2,"current_view":1,"last_idx":4,"my_node_id":"0"},"to":"1","type":1}}
{"h_ts":"206","thread_id":"100","level":"info","tag":"tla","file":"../src/consensus/aft/raft.h","number":"703","msg":{"event":{"component":"raft","function":"recv_append_entries"},"from":"0","leadership":"Follower","membership":"Active","node":"1","paket":{"contains_new_view":false,"idx":4,"leader_commit_idx":2,"msg":0,"prev_idx":4,"prev_term":1,"term":1,"term_of_idx":1},"state":{"cft_watermark_idx":0,"commit_idx":2,"current_view":1,"last_idx":2,"my_node_id":"1"},"type":0}}
{"h_ts":"211","thread_id":"100","level":"info","tag":"tla","file":"../src/consensus/aft/raft.h","number":"1426","msg":{"event":{"component":"raft","function":"send_append_entries_response"},"leadership":"Follower","membership":"Active","node":"1","paket":{"last_log_idx":2,"msg":1,"success":1,"term":1},"state":{"cft_watermark_idx":0,"commit_idx":2,"current_view":1,"last_idx":2,"my_node_id":"1"},"to":"0","type":1}}
{"h_ts":"212","thread_id":"100","level":"info","tag":"tla","file":"../src/consensus/aft/raft.h","number":"722","msg":{"event":{"component":"raft","function":"recv_append_entries_response"},"from":"1","leadership":"Leader","membership":"Active","node":"0","paket":{"last_log_idx":2,"msg":1,"success":1,"term":1},"state":{"cft_watermark_idx":2,"commit_idx":2,"current_view":1,"last_idx":4,"my_node_id":"0"},"type":1}}
{"h_ts":"215","thread_id":"100","level":"info","tag":"tla","file":"../src/consensus/aft/raft.h","number":"1809","msg":{"configurations":[{"idx":0,"nodes":{"0":{"address":":"},"1":{"address":":"},"2":{"address":":"}},"rid":0}],"event":{"component":"raft","function":"become_candidate"},"leadership":"Candidate","membership":"Active","node":"2","state":{"cft_watermark_idx":0,"commit_idx":2,"current_view":2,"last_idx":2,"my_node_id":"2"}}}
{"h_ts":"218","thread_id":"100","level":"info","tag":"tla","file":"../src/consensus/aft/raft.h","number":"1571","msg":{"event":{"component":"raft","function":"send_request_vote"},"leadership":"Candidate","membership":"Active","node":"2","paket":{"last_committable_idx":2,"msg":3,"term":2,"term_of_last_committable_idx":1},"state":{"cft_watermark_idx":0,"commit_idx":2,"current_view":2,"last_idx":2,"my_node_id":"2"},"to":"1","type":1}}
{"h_ts":"220","thread_id":"100","level":"info","tag":"tla","file":"../src/consensus/aft/raft.h","number":"1571","msg":{"event":{"component":"raft","function":"send_request_vote"},"leadership":"Candidate","membership":"Active","node":"2","paket":{"last_committable_idx":2,"msg":3,"term":2,"term_of_last_committable_idx":1},"state":{"cft_watermark_idx":0,"commit_idx":2,"current_view":2,"last_idx":2,"my_node_id":"2"},"to":"0","type":1}}
{"h_ts":"222","thread_id":"100","level":"info","tag":"tla","file":"../src/consensus/aft/raft.h","number":"1034","msg":{"event":{"component":"raft","function":"send_authenticated"},"leadership":"Leader","membership":"Active","node":"0","paket":{"contains_new_view":false,"idx":4,"leader_commit_idx":2,"msg":0,"prev_idx":4,"prev_term":1,"term":1,"term_of_idx":1},"state":{"cft_watermark_idx":2,"commit_idx":2,"current_view":1,"last_idx":4,"my_node_id":"0"},"to":"2","type":1}}
{"h_ts":"224","thread_id":"100","level":"info","tag":"tla","file":"../src/consensus/aft/raft.h","number":"1034","msg":{"event":{"component":"raft","function":"send_authenticated"},"leadership":"Leader","membership":"Active","node":"0","paket":{"contains_new_view":false,"idx":4,"leader_commit_idx":2,"msg":0,"prev_idx":2,"prev_term":1,"term":1,"term_of_idx":1},"state":{"cft_watermark_idx":2,"commit_idx":2,"current_view":1,"last_idx":4,"my_node_id":"0"},"to":"1","type":1}}
{"h_ts":"225","thread_id":"100","level":"info","tag":"tla","file":"../src/consensus/aft/raft.h","number":"703","msg":{"event":{"component":"raft","function":"recv_append_entries"},"from":"0","leadership":"Candidate","membership":"Active","node":"2","paket":{"contains_new_view":false,"idx":4,"leader_commit_idx":2,"msg":0,"prev_idx":4,"prev_term":1,"term":1,"term_of_idx":1},"state":{"cft_watermark_idx":0,"commit_idx":2,"current_view":2,"last_idx":2,"my_node_id":"2"},"type":0}}
{"h_ts":"229","thread_id":"100","level":"info","tag":"tla","file":"../src/consensus/aft/raft.h","number":"1426","msg":{"event":{"component":"raft","function":"send_append_entries_response"},"leadership":"Candidate","membership":"Active","node":"2","paket":{"last_log_idx":2,"msg":1,"success":1,"term":2},"state":{"cft_watermark_idx":0,"commit_idx":2,"current_view":2,"last_idx":2,"my_node_id":"2"},"to":"0","type":1}}
{"h_ts":"230","thread_id":"100","level":"info","tag":"tla","file":"../src/consensus/aft/raft.h","number":"703","msg":{"event":{"component":"raft","function":"recv_append_entries"},"from":"0","leadership":"Follower","membership":"Active","node":"1","paket":{"contains_new_view":false,"idx":4,"leader_commit_idx":2,"msg":0,"prev_idx":2,"prev_term":1,"term":1,"term_of_idx":1},"state":{"cft_watermark_idx":0,"commit_idx":2,"current_view":1,"last_idx":2,"my_node_id":"1"},"type":0}}
{"h_ts":"234","thread_id":"100","level":"info","tag":"tla","file":"../src/consensus/aft/test/driver.h","number":"62","msg":{"data":"eyJkYXRhIjoiYzJGc2RYUnZibTF2Ym1SdiIsInR5cGUiOiJyYXcifQ==","event":{"component":"ledger","function":"append"},"index":3,"node":"1","state":{"cft_watermark_idx":0,"commit_idx":0,"current_view":0,"last_idx":0,"my_node_id":"1"},"term":1}}
{"h_ts":"238","thread_id":"100","level":"info","tag":"tla","file":"../src/consensus/aft/test/driver.h","number":"62","msg":{"data":"eyJkYXRhIjoiYzJsbmJtRjBkWEpsIiwidHlwZSI6InJhdyJ9","event":{"component":"ledger","function":"append"},"index":4,"node":"1","state":{"cft_watermark_idx":0,"commit_idx":0,"current_view":0,"last_idx":0,"my_node_id":"1"},"term":1}}
{"h_ts":"243","thread_id":"100","level":"info","tag":"tla","file":"../src/consensus/aft/raft.h","number":"1426","msg":{"event":{"component":"raft","function":"send_append_entries_response"},"leadership":"Follower","membership":"Active","node":"1","paket":{"last_log_idx":4,"msg":1,"success":0,"term":1},"state":{"cft_watermark_idx":0,"commit_idx":2,"current_view":1,"last_idx":4,"my_node_id":"1"},"to":"0","type":1}}
{"h_ts":"245","thread_id":"100","level":"info","tag":"tla","file":"../src/consensus/aft/raft.h","number":"1034","msg":{"event":{"component":"raft","function":"send_authenticated"},"leadership":"Leader","membership":"Active","node":"0","paket":{"contains_new_view":false,"idx":4,"leader_commit_idx":2,"msg":0,"prev_idx":4,"prev_term":1,"term":1,"term_of_idx":1},"state":{"cft_watermark_idx":2,"commit_idx":2,"current_view":1,"last_idx":4,"my_node_id":"0"},"to":"2","type":1}}
{"h_ts":"247","thread_id":"100","level":"info","tag":"tla","file":"../src/consensus/aft/raft.h","number":"1034","msg":{"event":{"component":"raft","function":"send_authenticated"},"leadership":"Leader","membership":"Active","node":"0","paket":{"contains_new_view":false,"idx":4,"leader_commit_idx":2,"msg":0,"prev_idx":4,"prev_term":1,"term":1,"term_of_idx":1},"state":{"cft_watermark_idx":2,"commit_idx":2,"current_view":1,"last_idx":4,"my_node_id":"0"},"to":"1","type":1}}
{"h_ts":"248","thread_id":"100","level":"info","tag":"tla","file":"../src/consensus/aft/raft.h","number":"703","msg":{"event":{"component":"raft","function":"recv_append_entries"},"from":"0","leadership":"Candidate","membership":"Active","node":"2","paket":{"contains_new_view":false,"idx":4,"leader_commit_idx":2,"msg":0,"prev_idx":4,"prev_term":1,"term":1,"term_of_idx":1},"state":{"cft_watermark_idx":0,"commit_idx":2,"current_view":2,"last_idx":2,"my_node_id":"2"},"type":0}}
{"h_ts":"252","thread_id":"100","level":"info","tag":"tla","file":"../src/consensus/aft/raft.h","number":"1426","msg":{"event":{"component":"raft","function":"send_append_entries_response"},"leadership":"Candidate","membership":"Active","node":"2","paket":{"last_log_idx":2,"msg":1,"success":1,"term":2},"state":{"cft_watermark_idx":0,"commit_idx":2,"current_view":2,"last_idx":2,"my_node_id":"2"},"to":"0","type":1}}
{"h_ts":"253","thread_id":"100","level":"info","tag":"tla","file":"../src/consensus/aft/raft.h","number":"703","msg":{"event":{"component":"raft","function":"recv_append_entries"},"from":"0","leadership":"Follower","membership":"Active","node":"1","paket":{"contains_new_view":false,"idx":4,"leader_commit_idx":2,"msg":0,"prev_idx":4,"prev_term":1,"term":1,"term_of_idx":1},"state":{"cft_watermark_idx":0,"commit_idx":2,"current_view":1,"last_idx":4,"my_node_id":"1"},"type":0}}
{"h_ts":"258","thread_id":"100","level":"info","tag":"tla","file":"../src/consensus/aft/raft.h","number":"1426","msg":{"event":{"component":"raft","function":"send_append_entries_response"},"leadership":"Follower","membership":"Active","node":"1","paket":{"last_log_idx":4,"msg":1,"success":0,"term":1},"state":{"cft_watermark_idx":0,"commit_idx":2,"current_view":1,"last_idx":4,"my_node_id":"1"},"to":"0","type":1}}
{"h_ts":"260","thread_id":"100","level":"info","tag":"tla","file":"../src/consensus/aft/raft.h","number":"1809","msg":{"configurations":[{"idx":0,"nodes":{"0":{"address":":"},"1":{"address":":"},"2":{"address":":"}},"rid":0}],"event":{"component":"raft","function":"become_candidate"},"leadership":"Candidate","membership":"Active","node":"2","state":{"cft_watermark_idx":0,"commit_idx":2,"current_view":3,"last_idx":2,"my_node_id":"2"}}}
{"h_ts":"263","thread_id":"100","level":"info","tag":"tla","file":"../src/consensus/aft/raft.h","number":"1571","msg":{"event":{"component":"raft","function":"send_request_vote"},"leadership":"Candidate","membership":"Active","node":"2","paket":{"last_committable_idx":2,"msg":3,"term":3,"term_of_last_committable_idx":1},"state":{"cft_watermark_idx":0,"commit_idx":2,"current_view":3,"last_idx":2,"my_node_id":"2"},"to":"1","type":1}}
{"h_ts":"265","thread_id":"100","level":"info","tag":"tla","file":"../src/consensus/aft/raft.h","number":"1571","msg":{"event":{"component":"raft","function":"send_request_vote"},"leadership":"Candidate","membership":"Active","node":"2","paket":{"last_committable_idx":2,"msg":3,"term":3,"term_of_last_committable_idx":1},"state":{"cft_watermark_idx":0,"commit_idx":2,"current_view":3,"last_idx":2,"my_node_id":"2"},"to":"0","type":1}}
{"h_ts":"267","thread_id":"100","level":"info","tag":"tla","file":"../src/consensus/aft/raft.h","number":"1809","msg":{"configurations":[{"idx":0,"nodes":{"0":{"address":":"},"1":{"address":":"},"2":{"address":":"}},"rid":0}],"event":{"component":"raft","function":"become_candidate"},"leadership":"Candidate","membership":"Active","node":"2","state":{"cft_watermark_idx":0,"commit_idx":2,"current_view":4,"last_idx":2,"my_node_id":"2"}}}
{"h_ts":"270","thread_id":"100","level":"info","tag":"tla","file":"../src/consensus/aft/raft.h","number":"1571","msg":{"event":{"component":"raft","function":"send_request_vote"},"leadership":"Candidate","membership":"Active","node":"2","paket":{"last_committable_idx":2,"msg":3,"term":4,"term_of_last_committable_idx":1},"state":{"cft_watermark_idx":0,"commit_idx":2,"current_view":4,"last_idx":2,"my_node_id":"2"},"to":"1","type":1}}
{"h_ts":"272","thread_id":"100","level":"info","tag":"tla","file":"../src/consensus/aft/raft.h","number":"1571","msg":{"event":{"component":"raft","function":"send_request_vote"},"leadership":"Candidate","membership":"Active","node":"2","paket":{"last_committable_idx":2,"msg":3,"term":4,"term_of_last_committable_idx":1},"state":{"cft_watermark_idx":0,"commit_idx":2,"current_view":4,"last_idx":2,"my_node_id":"2"},"to":"0","type":1}}
{"h_ts":"274","thread_id":"100","level":"info","tag":"tla","file":"../src/consensus/aft/raft.h","number":"1809","msg":{"configurations":[{"idx":0,"nodes":{"0":{"address":":"},"1":{"address":":"},"2":{"address":":"}},"rid":0}],"event":{"component":"raft","function":"become_candidate"},"leadership":"Candidate","membership":"Active","node":"2","state":{"cft_watermark_idx":0,"commit_idx":2,"current_view":5,"last_idx":2,"my_node_id":"2"}}}
{"h_ts":"277","thread_id":"100","level":"info","tag":"tla","file":"../src/consensus/aft/raft.h","number":"1571","msg":{"event":{"component":"raft","function":"send_request_vote"},"leadership":"Candidate","membership":"Active","node":"2","paket":{"last_committable_idx":2,"msg":3,"term":5,"term_of_last_committable_idx":1},"state":{"cft_watermark_idx":0,"commit_idx":2,"current_view":5,"last_idx":2,"my_node_id":"2"},"to":"1","type":1}}
{"h_ts":"279","thread_id":"100","level":"info","tag":"tla","file":"../src/consensus/aft/raft.h","number":"1571","msg":{"event":{"component":"raft","function":"send_request_vote"},"leadership":"Candidate","membership":"Active","node":"2","paket":{"last_committable_idx":2,"msg":3,"term":5,"term_of_last_committable_idx":1},"state":{"cft_watermark_idx":0,"commit_idx":2,"current_view":5,"last_idx":2,"my_node_id":"2"},"to":"0","type":1}}
{"h_ts":"281","thread_id":"100","level":"info","tag":"tla","file":"../src/consensus/aft/raft.h","number":"1809","msg":{"configurations":[{"idx":0,"nodes":{"0":{"address":":"},"1":{"address":":"},"2":{"address":":"}},"rid":0}],"event":{"component":"raft","function":"become_candidate"},"leadership":"Candidate","membership":"Active","node":"1","state":{"cft_watermark_idx":0,"commit_idx":2,"current_view":2,"last_idx":4,"my_node_id":"1"}}}
{"h_ts":"284","thread_id":"100","level":"info","tag":"tla","file":"../src/consensus/aft/raft.h","number":"1571","msg":{"event":{"component":"raft","function":"send_request_vote"},"leadership":"Candidate","membership":"Active","node":"1","paket":{"last_committable_idx":4,"msg":3,"term":2,"term_of_last_committable_idx":1},"state":{"cft_watermark_idx":0,"commit_idx":2,"current_view":2,"last_idx":4,"my_node_id":"1"},"to":"2","type":1}}
{"h_ts":"286","thread_id":"100","level":"info","tag":"tla","file":"../src/consensus/aft/raft.h","number":"1571","msg":{"event":{"component":"raft","function":"send_request_vote"},"leadership":"Candidate","membership":"Active","node":"1","paket":{"last_committable_idx":4,"msg":3,"term":2,"term_of_last_committable_idx":1},"state":{"cft_watermark_idx":0,"commit_idx":2,"current_view":2,"last_idx":4,"my_node_id":"1"},"to":"0","type":1}}
{"h_ts":"287","thread_id":"100","level":"info","tag":"tla","file":"../src/consensus/aft/raft.h","number":"740","msg":{"event":{"component":"raft","function":"recv_request_vote"},"from":"1","leadership":"Candidate","membership":"Active","node":"2","paket":{"last_committable_idx":4,"msg":3,"term":2,"term_of_last_committable_idx":1},"state":{"cft_watermark_idx":0,"commit_idx":2,"current_view":5,"last_idx":2,"my_node_id":"2"},"type":3}}
{"h_ts":"290","thread_id":"100","level":"info","tag":"tla","file":"../src/consensus/aft/raft.h","number":"1688","msg":{"event":{"component":"raft","function":"send_request_vote_response"},"leadership":"Candidate","membership":"Active","node":"2","paket":{"msg":4,"term":5,"vote_granted":false},"state":{"cft_watermark_idx":0,"commit_idx":2,"current_view":5,"last_idx":2,"my_node_id":"2"},"to":"1","type":1}}
{"h_ts":"291","thread_id":"100","level":"info","tag":"tla","file":"../src/consensus/aft/raft.h","number":"740","msg":{"event":{"component":"raft","function":"recv_request_vote"},"from":"1","leadership":"Leader","membership":"Active","node":"0","paket":{"last_committable_idx":4,"msg":3,"term":2,"term_of_last_committable_idx":1},"state":{"cft_watermark_idx":2,"commit_idx":2,"current_view":1,"last_idx":4,"my_node_id":"0"},"type":3}}
{"h_ts":"297","thread_id":"100","level":"info","tag":"tla","file":"../src/consensus/aft/raft.h","number":"1943","msg":{"configurations":[{"idx":0,"nodes":{"0":{"address":":"},"1":{"address":":"},"2":{"address":":"}},"rid":0}],"event":{"component":"raft","function":"become_follower"},"leadership":"Follower","membership":"Active","node":"0","oldleadership":"Leader","state":{"cft_watermark_idx":2,"commit_idx":2,"current_view":2,"last_idx":4,"my_node_id":"0"}}}
{"h_ts":"299","thread_id":"100","level":"info","tag":"tla","file":"../src/consensus/aft/raft.h","number":"1688","msg":{"event":{"component":"raft","function":"send_request_vote_response"},"leadership":"Follower","membership":"Active","node":"0","paket":{"msg":4,"term":2,"vote_granted":true},"state":{"cft_watermark_idx":2,"commit_idx":2,"current_view":2,"last_idx":4,"my_node_id":"0"},"to":"1","type":1}}
{"h_ts":"300","thread_id":"100","level":"info","tag":"tla","file":"../src/consensus/aft/raft.h","number":"759","msg":{"event":{"component":"raft","function":"recv_request_vote_response"},"from":"2","leadership":"Candidate","membership":"Active","node":"1","paket":{"msg":4,"term":5,"vote_granted":false},"state":{"cft_watermark_idx":0,"commit_idx":2,"current_view":2,"last_idx":4,"my_node_id":"1"},"type":4}}
{"h_ts":"306","thread_id":"100","level":"info","tag":"tla","file":"../src/consensus/aft/raft.h","number":"1943","msg":{"configurations":[{"idx":0,"nodes":{"0":{"address":":"},"1":{"address":":"},"2":{"address":":"}},"rid":0}],"event":{"component":"raft","function":"become_follower"},"leadership":"Follower","membership":"Active","node":"1","oldleadership":"Candidate","state":{"cft_watermark_idx":0,"commit_idx":2,"current_view":5,"last_idx":4,"my_node_id":"1"}}}
{"h_ts":"308","thread_id":"100","level":"info","tag":"tla","file":"../src/consensus/aft/raft.h","number":"1809","msg":{"configurations":[{"idx":0,"nodes":{"0":{"address":":"},"1":{"address":":"},"2":{"address":":"}},"rid":0}],"event":{"component":"raft","function":"become_candidate"},"leadership":"Candidate","membership":"Active","node":"2","state":{"cft_watermark_idx":0,"commit_idx":2,"current_view":6,"last_idx":2,"my_node_id":"2"}}}
{"h_ts":"311","thread_id":"100","level":"info","tag":"tla","file":"../src/consensus/aft/raft.h","number":"1571","msg":{"event":{"component":"raft","function":"send_request_vote"},"leadership":"Candidate","membership":"Active","node":"2","paket":{"last_committable_idx":2,"msg":3,"term":6,"term_of_last_committable_idx":1},"state":{"cft_watermark_idx":0,"commit_idx":2,"current_view":6,"last_idx":2,"my_node_id":"2"},"to":"1","type":1}}
{"h_ts":"313","thread_id":"100","level":"info","tag":"tla","file":"../src/consensus/aft/raft.h","number":"1571","msg":{"event":{"component":"raft","function":"send_request_vote"},"leadership":"Candidate","membership":"Active","node":"2","paket":{"last_committable_idx":2,"msg":3,"term":6,"term_of_last_committable_idx":1},"state":{"cft_watermark_idx":0,"commit_idx":2,"current_view":6,"last_idx":2,"my_node_id":"2"},"to":"0","type":1}}
{"h_ts":"314","thread_id":"100","level":"info","tag":"tla","file":"../src/consensus/aft/raft.h","number":"740","msg":{"event":{"component":"raft","function":"recv_request_vote"},"from":"2","leadership":"Follower","membership":"Active","node":"1","paket":{"last_committable_idx":2,"msg":3,"term":6,"term_of_last_committable_idx":1},"state":{"cft_watermark_idx":0,"commit_idx":2,"current_view":5,"last_idx":4,"my_node_id":"1"},"type":3}}
{"h_ts":"320","thread_id":"100","level":"info","tag":"tla","file":"../src/consensus/aft/raft.h","number":"1943","msg":{"configurations":[{"idx":0,"nodes":{"0":{"address":":"},"1":{"address":":"},"2":{"address":":"}},"rid":0}],"event":{"component":"raft","function":"become_follower"},"leadership":"Follower","membership":"Active","node":"1","oldleadership":"Follower","state":{"cft_watermark_idx":0,"commit_idx":2,"current_view":6,"last_idx":4,"my_node_id":"1"}}}
{"h_ts":"323","thread_id":"100","level":"info","tag":"tla","file":"../src/consensus/aft/raft.h","number":"1688","msg":{"event":{"component":"raft","function":"send_request_vote_response"},"leadership":"Follower","membership":"Active","node":"1","paket":{"msg":4,"term":6,"vote_granted":false},"state":{"cft_watermark_idx":0,"commit_idx":2,"current_view":6,"last_idx":4,"my_node_id":"1"},"to":"2","type":1}}
{"h_ts":"324","thread_id":"100","level":"info","tag":"tla","file":"../src/consensus/aft/raft.h","number":"759","msg":{"event":{"component":"raft","function":"recv_request_vote_response"},"from":"1","leadership":"Candidate","membership":"Active","node":"2","paket":{"msg":4,"term":6,"vote_granted":false},"state":{"cft_watermark_idx":0,"commit_idx":2,"current_view":6,"last_idx":2,"my_node_id":"2"},"type":4}}
{"h_ts":"327","thread_id":"100","level":"info","tag":"tla","file":"../src/consensus/aft/raft.h","number":"1809","msg":{"configurations":[{"idx":0,"nodes":{"0":{"address":":"},"1":{"address":":"},"2":{"address":":"}},"rid":0}],"event":{"component":"raft","function":"become_candidate"},"leadership":"Candidate","membership":"Active","node":"1","state":{"cft_watermark_idx":0,"commit_idx":2,"current_view":7,"last_idx":4,"my_node_id":"1"}}}
{"h_ts":"330","thread_id":"100","level":"info","tag":"tla","file":"../src/consensus/aft/raft.h","number":"1571","msg":{"event":{"component":"raft","function":"send_request_vote"},"leadership":"Candidate","membership":"Active","node":"1","paket":{"last_committable_idx":4,"msg":3,"term":7,"term_of_last_committable_idx":1},"state":{"cft_watermark_idx":0,"commit_idx":2,"current_view":7,"last_idx":4,"my_node_id":"1"},"to":"2","type":1}}
{"h_ts":"332","thread_id":"100","level":"info","tag":"tla","file":"../src/consensus/aft/raft.h","number":"1571","msg":{"event":{"component":"raft","function":"send_request_vote"},"leadership":"Candidate","membership":"Active","node":"1","paket":{"last_committable_idx":4,"msg":3,"term":7,"term_of_last_committable_idx":1},"state":{"cft_watermark_idx":0,"commit_idx":2,"current_view":7,"last_idx":4,"my_node_id":"1"},"to":"0","type":1}}
{"h_ts":"333","thread_id":"100","level":"info","tag":"tla","file":"../src/consensus/aft/raft.h","number":"740","msg":{"event":{"component":"raft","function":"recv_request_vote"},"from":"1","leadership":"Candidate","membership":"Active","node":"2","paket":{"last_committable_idx":4,"msg":3,"term":7,"term_of_last_committable_idx":1},"state":{"cft_watermark_idx":0,"commit_idx":2,"current_view":6,"last_idx":2,"my_node_id":"2"},"type":3}}
{"h_ts":"339","thread_id":"100","level":"info","tag":"tla","file":"../src/consensus/aft/raft.h","number":"1943","msg":{"configurations":[{"idx":0,"nodes":{"0":{"address":":"},"1":{"address":":"},"2":{"address":":"}},"rid":0}],"event":{"component":"raft","function":"become_follower"},"leadership":"Follower","membership":"Active","node":"2","oldleadership":"Candidate","state":{"cft_watermark_idx":0,"commit_idx":2,"current_view":7,"last_idx":2,"my_node_id":"2"}}}
{"h_ts":"341","thread_id":"100","level":"info","tag":"tla","file":"../src/consensus/aft/raft.h","number":"1688","msg":{"event":{"component":"raft","function":"send_request_vote_response"},"leadership":"Follower","membership":"Active","node":"2","paket":{"msg":4,"term":7,"vote_granted":true},"state":{"cft_watermark_idx":0,"commit_idx":2,"current_view":7,"last_idx":2,"my_node_id":"2"},"to":"1","type":1}}
{"h_ts":"342","thread_id":"100","level":"info","tag":"tla","file":"../src/consensus/aft/raft.h","number":"740","msg":{"event":{"component":"raft","function":"recv_request_vote"},"from":"1","leadership":"Follower","membership":"Active","node":"0","paket":{"last_committable_idx":4,"msg":3,"term":7,"term_of_last_committable_idx":1},"state":{"cft_watermark_idx":2,"commit_idx":2,"current_view":2,"last_idx":4,"my_node_id":"0"},"type":3}}
{"h_ts":"348","thread_id":"100","level":"info","tag":"tla","file":"../src/consensus/aft/raft.h","number":"1943","msg":{"configurations":[{"idx":0,"nodes":{"0":{"address":":"},"1":{"address":":"},"2":{"address":":"}},"rid":0}],"event":{"component":"raft","function":"become_follower"},"leadership":"Follower","membership":"Active","node":"0","oldleadership":"Follower","state":{"cft_watermark_idx":2,"commit_idx":2,"current_view":7,"last_idx":4,"my_node_id":"0"}}}
{"h_ts":"350","thread_id":"100","level":"info","tag":"tla","file":"../src/consensus/aft/raft.h","number":"1688","msg":{"event":{"component":"raft","function":"send_request_vote_response"},"leadership":"Follower","membership":"Active","node":"0","paket":{"msg":4,"term":7,"vote_granted":true},"state":{"cft_watermark_idx":2,"commit_idx":2,"current_view":7,"last_idx":4,"my_node_id":"0"},"to":"1","type":1}}
{"h_ts":"351","thread_id":"100","level":"info","tag":"tla","file":"../src/consensus/aft/raft.h","number":"759","msg":{"event":{"component":"raft","function":"recv_request_vote_response"},"from":"2","leadership":"Candidate","membership":"Active","node":"1","paket":{"msg":4,"term":7,"vote_granted":true},"state":{"cft_watermark_idx":0,"commit_idx":2,"current_view":7,"last_idx":4,"my_node_id":"1"},"type":4}}
{"h_ts":"358","thread_id":"100","level":"info","tag":"tla","file":"../src/consensus/aft/raft.h","number":"1877","msg":{"configurations":[{"idx":0,"nodes":{"0":{"address":":"},"1":{"address":":"},"2":{"address":":"}},"rid":0}],"event":{"component":"raft","function":"become_leader"},"leadership":"Leader","membership":"Active","node":"1","state":{"cft_watermark_idx":0,"commit_idx":2,"current_view":7,"last_idx":4,"my_node_id":"1"}}}
{"h_ts":"360","thread_id":"100","level":"info","tag":"tla","file":"../src/consensus/aft/raft.h","number":"1034","msg":{"event":{"component":"raft","function":"send_authenticated"},"leadership":"Leader","membership":"Active","node":"1","paket":{"contains_new_view":false,"idx":4,"leader_commit_idx":2,"msg":0,"prev_idx":4,"prev_term":1,"term":7,"term_of_idx":1},"state":{"cft_watermark_idx":0,"commit_idx":2,"current_view":7,"last_idx":4,"my_node_id":"1"},"to":"2","type":1}}
{"h_ts":"362","thread_id":"100","level":"info","tag":"tla","file":"../src/consensus/aft/raft.h","number":"1034","msg":{"event":{"component":"raft","function":"send_authenticated"},"leadership":"Leader","membership":"Active","node":"1","paket":{"contains_new_view":false,"idx":4,"leader_commit_idx":2,"msg":0,"prev_idx":4,"prev_term":1,"term":7,"term_of_idx":1},"state":{"cft_watermark_idx":0,"commit_idx":2,"current_view":7,"last_idx":4,"my_node_id":"1"},"to":"0","type":1}}
{"h_ts":"364","thread_id":"100","level":"info","tag":"tla","file":"../src/consensus/aft/raft.h","number":"1034","msg":{"event":{"component":"raft","function":"send_authenticated"},"leadership":"Leader","membership":"Active","node":"1","paket":{"contains_new_view":false,"idx":4,"leader_commit_idx":2,"msg":0,"prev_idx":4,"prev_term":1,"term":7,"term_of_idx":1},"state":{"cft_watermark_idx":0,"commit_idx":2,"current_view":7,"last_idx":4,"my_node_id":"1"},"to":"2","type":1}}
{"h_ts":"366","thread_id":"100","level":"info","tag":"tla","file":"../src/consensus/aft/raft.h","number":"1034","msg":{"event":{"component":"raft","function":"send_authenticated"},"leadership":"Leader","membership":"Active","node":"1","paket":{"contains_new_view":false,"idx":4,"leader_commit_idx":2,"msg":0,"prev_idx":4,"prev_term":1,"term":7,"term_of_idx":1},"state":{"cft_watermark_idx":0,"commit_idx":2,"current_view":7,"last_idx":4,"my_node_id":"1"},"to":"0","type":1}}
{"h_ts":"367","thread_id":"100","level":"info","tag":"tla","file":"../src/consensus/aft/raft.h","number":"703","msg":{"event":{"component":"raft","function":"recv_append_entries"},"from":"1","leadership":"Follower","membership":"Active","node":"2","paket":{"contains_new_view":false,"idx":4,"leader_commit_idx":2,"msg":0,"prev_idx":4,"prev_term":1,"term":7,"term_of_idx":1},"state":{"cft_watermark_idx":0,"commit_idx":2,"current_view":7,"last_idx":2,"my_node_id":"2"},"type":0}}
{"h_ts":"372","thread_id":"100","level":"info","tag":"tla","file":"../src/consensus/aft/raft.h","number":"1426","msg":{"event":{"component":"raft","function":"send_append_entries_response"},"leadership":"Follower","membership":"Active","node":"2","paket":{"last_log_idx":2,"msg":1,"success":1,"term":7},"state":{"cft_watermark_idx":0,"commit_idx":2,"current_view":7,"last_idx":2,"my_node_id":"2"},"to":"1","type":1}}
{"h_ts":"373","thread_id":"100","level":"info","tag":"tla","file":"../src/consensus/aft/raft.h","number":"703","msg":{"event":{"component":"raft","function":"recv_append_entries"},"from":"1","leadership":"Follower","membership":"Active","node":"0","paket":{"contains_new_view":false,"idx":4,"leader_commit_idx":2,"msg":0,"prev_idx":4,"prev_term":1,"term":7,"term_of_idx":1},"state":{"cft_watermark_idx":2,"commit_idx":2,"current_view":7,"last_idx":4,"my_node_id":"0"},"type":0}}
{"h_ts":"380","thread_id":"100","level":"info","tag":"tla","file":"../src/consensus/aft/raft.h","number":"1426","msg":{"event":{"component":"raft","function":"send_append_entries_response"},"leadership":"Follower","membership":"Active","node":"0","paket":{"last_log_idx":4,"msg":1,"success":0,"term":7},"state":{"cft_watermark_idx":2,"commit_idx":2,"current_view":7,"last_idx":4,"my_node_id":"0"},"to":"1","type":1}}
{"h_ts":"381","thread_id":"100","level":"info","tag":"tla","file":"../src/consensus/aft/raft.h","number":"703","msg":{"event":{"component":"raft","function":"recv_append_entries"},"from":"1","leadership":"Follower","membership":"Active","node":"2","paket":{"contains_new_view":false,"idx":4,"leader_commit_idx":2,"msg":0,"prev_idx":4,"prev_term":1,"term":7,"term_of_idx":1},"state":{"cft_watermark_idx":0,"commit_idx":2,"current_view":7,"last_idx":2,"my_node_id":"2"},"type":0}}
{"h_ts":"386","thread_id":"100","level":"info","tag":"tla","file":"../src/consensus/aft/raft.h","number":"1426","msg":{"event":{"component":"raft","function":"send_append_entries_response"},"leadership":"Follower","membership":"Active","node":"2","paket":{"last_log_idx":2,"msg":1,"success":1,"term":7},"state":{"cft_watermark_idx":0,"commit_idx":2,"current_view":7,"last_idx":2,"my_node_id":"2"},"to":"1","type":1}}
{"h_ts":"387","thread_id":"100","level":"info","tag":"tla","file":"../src/consensus/aft/raft.h","number":"703","msg":{"event":{"component":"raft","function":"recv_append_entries"},"from":"1","leadership":"Follower","membership":"Active","node":"0","paket":{"contains_new_view":false,"idx":4,"leader_commit_idx":2,"msg":0,"prev_idx":4,"prev_term":1,"term":7,"term_of_idx":1},"state":{"cft_watermark_idx":2,"commit_idx":2,"current_view":7,"last_idx":4,"my_node_id":"0"},"type":0}}
{"h_ts":"392","thread_id":"100","level":"info","tag":"tla","file":"../src/consensus/aft/raft.h","number":"1426","msg":{"event":{"component":"raft","function":"send_append_entries_response"},"leadership":"Follower","membership":"Active","node":"0","paket":{"last_log_idx":4,"msg":1,"success":0,"term":7},"state":{"cft_watermark_idx":2,"commit_idx":2,"current_view":7,"last_idx":4,"my_node_id":"0"},"to":"1","type":1}}
{"h_ts":"394","thread_id":"100","level":"info","tag":"tla","file":"../src/consensus/aft/raft.h","number":"1034","msg":{"event":{"component":"raft","function":"send_authenticated"},"leadership":"Leader","membership":"Active","node":"1","paket":{"contains_new_view":false,"idx":4,"leader_commit_idx":2,"msg":0,"prev_idx":4,"prev_term":1,"term":7,"term_of_idx":1},"state":{"cft_watermark_idx":0,"commit_idx":2,"current_view":7,"last_idx":4,"my_node_id":"1"},"to":"2","type":1}}
{"h_ts":"396","thread_id":"100","level":"info","tag":"tla","file":"../src/consensus/aft/raft.h","number":"1034","msg":{"event":{"component":"raft","function":"send_authenticated"},"leadership":"Leader","membership":"Active","node":"1","paket":{"contains_new_view":false,"idx":4,"leader_commit_idx":2,"msg":0,"prev_idx":4,"prev_term":1,"term":7,"term_of_idx":1},"state":{"cft_watermark_idx":0,"commit_idx":2,"current_view":7,"last_idx":4,"my_node_id":"1"},"to":"0","type":1}}
{"h_ts":"397","thread_id":"100","level":"info","tag":"tla","file":"../src/consensus/aft/raft.h","number":"722","msg":{"event":{"component":"raft","function":"recv_append_entries_response"},"from":"0","leadership":"Leader","membership":"Active","node":"1","paket":{"last_log_idx":4,"msg":1,"success":0,"term":7},"state":{"cft_watermark_idx":0,"commit_idx":2,"current_view":7,"last_idx":4,"my_node_id":"1"},"type":1}}
{"h_ts":"401","thread_id":"100","level":"info","tag":"tla","file":"../src/consensus/aft/raft.h","number":"722","msg":{"event":{"component":"raft","function":"recv_append_entries_response"},"from":"0","leadership":"Leader","membership":"Active","node":"1","paket":{"last_log_idx":4,"msg":1,"success":0,"term":7},"state":{"cft_watermark_idx":4,"commit_idx":2,"current_view":7,"last_idx":4,"my_node_id":"1"},"type":1}}
{"h_ts":"405","thread_id":"100","level":"info","tag":"tla","file":"../src/consensus/aft/raft.h","number":"703","msg":{"event":{"component":"raft","function":"recv_append_entries"},"from":"1","leadership":"Follower","membership":"Active","node":"2","paket":{"contains_new_view":false,"idx":4,"leader_commit_idx":2,"msg":0,"prev_idx":4,"prev_term":1,"term":7,"term_of_idx":1},"state":{"cft_watermark_idx":0,"commit_idx":2,"current_view":7,"last_idx":2,"my_node_id":"2"},"type":0}}
{"h_ts":"410","thread_id":"100","level":"info","tag":"tla","file":"../src/consensus/aft/raft.h","number":"1426","msg":{"event":{"component":"raft","function":"send_append_entries_response"},"leadership":"Follower","membership":"Active","node":"2","paket":{"last_log_idx":2,"msg":1,"success":1,"term":7},"state":{"cft_watermark_idx":0,"commit_idx":2,"current_view":7,"last_idx":2,"my_node_id":"2"},"to":"1","type":1}}
{"h_ts":"411","thread_id":"100","level":"info","tag":"tla","file":"../src/consensus/aft/raft.h","number":"703","msg":{"event":{"component":"raft","function":"recv_append_entries"},"from":"1","leadership":"Follower","membership":"Active","node":"0","paket":{"contains_new_view":false,"idx":4,"leader_commit_idx":2,"msg":0,"prev_idx":4,"prev_term":1,"term":7,"term_of_idx":1},"state":{"cft_watermark_idx":2,"commit_idx":2,"current_view":7,"last_idx":4,"my_node_id":"0"},"type":0}}
{"h_ts":"416","thread_id":"100","level":"info","tag":"tla","file":"../src/consensus/aft/raft.h","number":"1426","msg":{"event":{"component":"raft","function":"send_append_entries_response"},"leadership":"Follower","membership":"Active","node":"0","paket":{"last_log_idx":4,"msg":1,"success":0,"term":7},"state":{"cft_watermark_idx":2,"commit_idx":2,"current_view":7,"last_idx":4,"my_node_id":"0"},"to":"1","type":1}}
{"h_ts":"417","thread_id":"100","level":"info","tag":"tla","file":"../src/consensus/aft/raft.h","number":"722","msg":{"event":{"component":"raft","function":"recv_append_entries_response"},"from":"2","leadership":"Leader","membership":"Active","node":"1","paket":{"last_log_idx":2,"msg":1,"success":1,"term":7},"state":{"cft_watermark_idx":4,"commit_idx":2,"current_view":7,"last_idx":4,"my_node_id":"1"},"type":1}}
{"h_ts":"419","thread_id":"100","level":"info","tag":"tla","file":"../src/consensus/aft/raft.h","number":"722","msg":{"event":{"component":"raft","function":"recv_append_entries_response"},"from":"2","leadership":"Leader","membership":"Active","node":"1","paket":{"last_log_idx":2,"msg":1,"success":1,"term":7},"state":{"cft_watermark_idx":4,"commit_idx":2,"current_view":7,"last_idx":4,"my_node_id":"1"},"type":1}}
{"h_ts":"422","thread_id":"100","level":"info","tag":"tla","file":"../src/consensus/aft/raft.h","number":"1034","msg":{"event":{"component":"raft","function":"send_authenticated"},"leadership":"Leader","membership":"Active","node":"1","paket":{"contains_new_view":false,"idx":3,"leader_commit_idx":2,"msg":0,"prev_idx":2,"prev_term":1,"term":7,"term_of_idx":1},"state":{"cft_watermark_idx":4,"commit_idx":2,"current_view":7,"last_idx":4,"my_node_id":"1"},"to":"2","type":1}}
{"h_ts":"424","thread_id":"100","level":"info","tag":"tla","file":"../src/consensus/aft/raft.h","number":"1034","msg":{"event":{"component":"raft","function":"send_authenticated"},"leadership":"Leader","membership":"Active","node":"1","paket":{"contains_new_view":false,"idx":4,"leader_commit_idx":2,"msg":0,"prev_idx":3,"prev_term":1,"term":7,"term_of_idx":1},"state":{"cft_watermark_idx":4,"commit_idx":2,"current_view":7,"last_idx":4,"my_node_id":"1"},"to":"2","type":1}}
{"h_ts":"426","thread_id":"100","level":"info","tag":"tla","file":"../src/consensus/aft/raft.h","number":"1034","msg":{"event":{"component":"raft","function":"send_authenticated"},"leadership":"Leader","membership":"Active","node":"1","paket":{"contains_new_view":false,"idx":4,"leader_commit_idx":2,"msg":0,"prev_idx":4,"prev_term":1,"term":7,"term_of_idx":1},"state":{"cft_watermark_idx":4,"commit_idx":2,"current_view":7,"last_idx":4,"my_node_id":"1"},"to":"0","type":1}}
{"h_ts":"427","thread_id":"100","level":"info","tag":"tla","file":"../src/consensus/aft/raft.h","number":"722","msg":{"event":{"component":"raft","function":"recv_append_entries_response"},"from":"0","leadership":"Leader","membership":"Active","node":"1","paket":{"last_log_idx":4,"msg":1,"success":0,"term":7},"state":{"cft_watermark_idx":4,"commit_idx":2,"current_view":7,"last_idx":4,"my_node_id":"1"},"type":1}}
{"h_ts":"431","thread_id":"100","level":"info","tag":"tla","file":"../src/consensus/aft/raft.h","number":"703","msg":{"event":{"component":"raft","function":"recv_append_entries"},"from":"1","leadership":"Follower","membership":"Active","node":"2","paket":{"contains_new_view":false,"idx":3,"leader_commit_idx":2,"msg":0,"prev_idx":2,"prev_term":1,"term":7,"term_of_idx":1},"state":{"cft_watermark_idx":0,"commit_idx":2,"current_view":7,"last_idx":2,"my_node_id":"2"},"type":0}}
{"h_ts":"437","thread_id":"100","level":"info","tag":"tla","file":"../src/consensus/aft/test/driver.h","number":"62","msg":{"data":"eyJkYXRhIjoiYzJGc2RYUnZibTF2Ym1SdiIsInR5cGUiOiJyYXcifQ==","event":{"component":"ledger","function":"append"},"index":3,"node":"2","state":{"cft_watermark_idx":0,"commit_idx":0,"current_view":0,"last_idx":0,"my_node_id":"2"},"term":1}}
{"h_ts":"442","thread_id":"100","level":"info","tag":"tla","file":"../src/consensus/aft/raft.h","number":"1426","msg":{"event":{"component":"raft","function":"send_append_entries_response"},"leadership":"Follower","membership":"Active","node":"2","paket":{"last_log_idx":3,"msg":1,"success":0,"term":7},"state":{"cft_watermark_idx":0,"commit_idx":2,"current_view":7,"last_idx":3,"my_node_id":"2"},"to":"1","type":1}}
{"h_ts":"443","thread_id":"100","level":"info","tag":"tla","file":"../src/consensus/aft/raft.h","number":"703","msg":{"event":{"component":"raft","function":"recv_append_entries"},"from":"1","leadership":"Follower","membership":"Active","node":"2","paket":{"contains_new_view":false,"idx":4,"leader_commit_idx":2,"msg":0,"prev_idx":3,"prev_term":1,"term":7,"term_of_idx":1},"state":{"cft_watermark_idx":0,"commit_idx":2,"current_view":7,"last_idx":3,"my_node_id":"2"},"type":0}}
{"h_ts":"447","thread_id":"100","level":"info","tag":"tla","file":"../src/consensus/aft/test/driver.h","number":"62","msg":{"data":"eyJkYXRhIjoiYzJsbmJtRjBkWEpsIiwidHlwZSI6InJhdyJ9","event":{"component":"ledger","function":"append"},"index":4,"node":"2","state":{"cft_watermark_idx":0,"commit_idx":0,"current_view":0,"last_idx":0,"my_node_id":"2"},"term":1}}
{"h_ts":"452","thread_id":"100","level":"info","tag":"tla","file":"../src/consensus/aft/raft.h","number":"1426","msg":{"event":{"component":"raft","function":"send_append_entries_response"},"leadership":"Follower","membership":"Active","node":"2","paket":{"last_log_idx":4,"msg":1,"success":0,"term":7},"state":{"cft_watermark_idx":0,"commit_idx":2,"current_view":7,"last_idx":4,"my_node_id":"2"},"to":"1","type":1}}
{"h_ts":"453","thread_id":"100","level":"info","tag":"tla","file":"../src/consensus/aft/raft.h","number":"703","msg":{"event":{"component":"raft","function":"recv_append_entries"},"from":"1","leadership":"Follower","membership":"Active","node":"0","paket":{"contains_new_view":false,"idx":4,"leader_commit_idx":2,"msg":0,"prev_idx":4,"prev_term":1,"term":7,"term_of_idx":1},"state":{"cft_watermark_idx":2,"commit_idx":2,"current_view":7,"last_idx":4,"my_node_id":"0"},"type":0}}
{"h_ts":"458","thread_id":"100","level":"info","tag":"tla","file":"../src/consensus/aft/raft.h","number":"1426","msg":{"event":{"component":"raft","function":"send_append_entries_response"},"leadership":"Follower","membership":"Active","node":"0","paket":{"last_log_idx":4,"msg":1,"success":0,"term":7},"state":{"cft_watermark_idx":2,"commit_idx":2,"current_view":7,"last_idx":4,"my_node_id":"0"},"to":"1","type":1}}
{"h_ts":"459","thread_id":"100","level":"info","tag":"tla","file":"../src/consensus/aft/raft.h","number":"722","msg":{"event":{"component":"raft","function":"recv_append_entries_response"},"from":"2","leadership":"Leader","membership":"Active","node":"1","paket":{"last_log_idx":2,"msg":1,"success":1,"term":7},"state":{"cft_watermark_idx":4,"commit_idx":2,"current_view":7,"last_idx":4,"my_node_id":"1"},"type":1}}
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment