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

Coverity analysis defect 138895: Data race condition

    • Type: Icon: Bug Bug
    • Resolution: Unresolved
    • Priority: Icon: Major - P3 Major - P3
    • None
    • Affects Version/s: None
    • Component/s: None
    • Storage Engines
    • StorEng - Defined Pipeline

      Data race condition

      This thread does not re-check the wait condition upon wakeup, which may cause it to continue prematurely. A thread does not re-check its wait condition after waking up from a wait.
      /test/cppsuite/src/util/barrier.cpp:41: BAD_CHECK_OF_WAIT_COND 138895 Calling "unique_lock" acquires lock "test_harness::barrier._mutex". [Note: The source code implementation of the function has been overridden by a builtin model.]
      /test/cppsuite/src/util/barrier.cpp:47: BAD_CHECK_OF_WAIT_COND 138895 A wait is performed without a loop. If there is a spurious wakeup, the condition may not be satisfied. [Note: The source code implementation of the function has been overridden by a builtin model.]

            Assignee:
            backlog-server-storage-engines [DO NOT USE] Backlog - Storage Engines Team
            Reporter:
            xgen-internal-coverity Coverity Collector User
            Votes:
            0 Vote for this issue
            Watchers:
            1 Start watching this issue

              Created:
              Updated: