[SERVER-45287] Implement LearnTermViaHeartbeat trace logging Created: 22/Dec/19  Updated: 13/Jan/20  Resolved: 13/Jan/20

Status: Closed
Project: Core Server
Component/s: Replication
Affects Version/s: None
Fix Version/s: None

Type: New Feature Priority: Major - P3
Reporter: A. Jesse Jiryu Davis Assignee: A. Jesse Jiryu Davis
Resolution: Won't Fix Votes: 0
Labels: None
Remaining Estimate: Not Specified
Time Spent: Not Specified
Original Estimate: Not Specified

Participants:

 Description   

I updated RaftMongo.tla in  SERVER-44458 to include a LearnTermViaHeartbeat action. This is necessary to bring the spec close enough to the implementation for trace checking to succeed. The action represents a node "i" processing heartbeat metadata from node "j" and updating its view of the current term. Add trace logging somewhere around ReplicationCoordinatorImpl::processReplSetMetadata for this action.



 Comments   
Comment by A. Jesse Jiryu Davis [ 13/Jan/20 ]

We've decided to stop implementation and write the paper describing how far we got.

Generated at Thu Feb 08 05:08:24 UTC 2024 using Jira 9.7.1#970001-sha1:2222b88b221c4928ef0de3161136cc90c8356a66.