create global lock manager in a mongo static initializer

XMLWordPrintableJSON

    • Type: Bug
    • Resolution: Done
    • Priority: Major - P3
    • None
    • Affects Version/s: None
    • Component/s: Concurrency
    • None
    • Fully Compatible
    • ALL
    • Quint Iteration 3.1.2
    • 0
    • None
    • 3
    • None
    • None
    • None
    • None
    • None
    • None

      The destructor logs the unused locks at process exit which may lead to undefined behavior.

            Assignee:
            Geert Bosch
            Reporter:
            Benety Goh
            Votes:
            0 Vote for this issue
            Watchers:
            3 Start watching this issue

              Created:
              Updated:
              Resolved: