Uploaded image for project: 'WiredTiger'
  1. WiredTiger
  2. WT-7515

Coverity: Potential deadlock in local_store.c

    • Type: Icon: Bug Bug
    • Resolution: Gone away
    • Priority: Icon: Major - P3 Major - P3
    • None
    • Affects Version/s: None
    • Component/s: None
    • Labels:
      None

      Coverity has picked up a potential deadlock in the local_flush codepath. The issue is that local_flush acquires the flush_lock and we apparently acquire it again in local_flush_one.

      From looking at the Coverity issue, it looked like an entirely different lock (it's complaining that we're locking something in the in-memory file system). But I'd like someone more familiar with this code to take a look at it and verify that it's a false positive.

      CC: donald.anderson

            Assignee:
            donald.anderson@mongodb.com Donald Anderson
            Reporter:
            alex.cameron@mongodb.com Alex Cameron (Inactive)
            Votes:
            0 Vote for this issue
            Watchers:
            3 Start watching this issue

              Created:
              Updated:
              Resolved: