-
Type: Bug
-
Resolution: Fixed
-
Priority: Major - P3
-
Affects Version/s: None
-
Component/s: Replication
-
Labels:None
-
Fully Compatible
-
ALL
-
Repl 2019-12-30
-
48
mongod crashes if TLA+ trace logging is enabled with the inMemory storage engine:
I INDEX [monitoring-keys-for-HMAC] index build: done building index _id_ on ns admin.system.keys D2 TLA_PLUS [monitoring-keys-for-HMAC] Getting global lock in IS mode to log AdvanceCommitPoint for RaftMongo.tla D2 TLA_PLUS [monitoring-keys-for-HMAC] Going to log AdvanceCommitPoint as Leader for RaftMongo.tla, reading oplog with timestamp (nothing)