Uploaded image for project: 'Core Server'
  1. Core Server
  2. SERVER-56768

Race in atomic compareAndSwap can make FailPoint::enableFailPoint() to spin forever

    • Type: Icon: Bug Bug
    • Resolution: Unresolved
    • Priority: Icon: Major - P3 Major - P3
    • 4.0 Required
    • Affects Version/s: 4.0.24
    • Component/s: None
    • Labels:
      None
    • Service Arch
    • ALL

      This is not a production bug so threat it accordingly.

      The race:
      Initially, _fpInfo was ( 1 << 31 ).
      1. Thread 1 enters FailPoint::slowShouldFailOpenBlock() and increments the _fpInfo to ( 1 << 31 + 1)
      2. Thread 2 enters disableFailPoint() and reads _fpInfo into currentVal
      3. Thread 1 enters FailPoint::shouldFailCloseBlock() and decrements _fpInfo to ( 1 << 31 )
      4. Thread 2 spins forever

      Even though this is not production failure, someone may copy-paste this pattern into production code. Atomics are subtle and must be treated with care.

      Fix: load _fpInfo each time inside loop. Same for enableFailPoint().

            Assignee:
            backlog-server-servicearch [DO NOT USE] Backlog - Service Architecture
            Reporter:
            andrew.shuvalov@mongodb.com Andrew Shuvalov (Inactive)
            Votes:
            0 Vote for this issue
            Watchers:
            2 Start watching this issue

              Created:
              Updated: