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

Create specializations of AtomicWord<T> that are lock-free for eligible user define dtypes

    XMLWordPrintableJSON

Details

    • Icon: Task Task
    • Resolution: Fixed
    • Icon: Major - P3 Major - P3
    • 3.5.12
    • None
    • Internal Code
    • None
    • Fully Compatible
    • Platforms 2017-09-11

    Description

      AtomicWord<T> is implemented in terms of std::atomic<T>. However, until C++17, there is no way to determine at compile time if std::atomic<T> has a lock-free implementation. This task is to provide a specialization of AtomicWord<T> for user-defined types T that is definitely lock free when the correspondingly sized integer type's atomic is also lock free.

      It should be a compile-time error to create an AtomicWord<T> for a user-defined type whose implementation would otherwise require locks. As part of this task, the implementer should also write runtime tests that confirm that the AtomicWord instantiations for integer types are actually lock free by using std::atomic::is_lock_free().

      Attachments

        Activity

          People

            mira.carey@mongodb.com Mira Carey
            schwerin@mongodb.com Andy Schwerin
            Votes:
            0 Vote for this issue
            Watchers:
            5 Start watching this issue

            Dates

              Created:
              Updated:
              Resolved: