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

Prevent manually using RESOURCE_MUTEX

    XMLWordPrintableJSON

Details

    • Icon: Improvement Improvement
    • Resolution: Fixed
    • Icon: Major - P3 Major - P3
    • 6.3.0-rc0
    • None
    • None
    • None
    • Storage Execution
    • Fully Compatible
    • Execution Team 2023-01-23

    Description

      RESOURCE_MUTEX should not be used manually when constructing a ResourceId. Instead, ResourceMutex should be used which goes through the ResourceIdFactory. We should enforce this to prevent misuses.

      Attachments

        Activity

          People

            daniel.gomezferro@mongodb.com Daniel Gomez Ferro
            gregory.noma@mongodb.com Gregory Noma
            Votes:
            1 Vote for this issue
            Watchers:
            3 Start watching this issue

            Dates

              Created:
              Updated:
              Resolved: