Details
-
Bug
-
Resolution: Fixed
-
Major - P3
-
None
-
None
-
Fully Compatible
-
ALL
-
Repl 2019-12-30
-
48
Description
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)
|
|