[Bug manual/23955] New: Document the memory model

["fweimer at redhat dot com" <sourceware-bugzilla at sourceware dot org>]

https://sourceware.org/bugzilla/show_bug.cgi?id=23955

            Bug ID: 23955
           Summary: Document the memory model
           Product: glibc
           Version: unspecified
            Status: NEW
          Severity: normal
          Priority: P2
         Component: manual
          Assignee: unassigned at sourceware dot org
          Reporter: fweimer at redhat dot com
                CC: mtk.manpages at gmail dot com
  Target Milestone: ---
             Flags: security-

The manual currently lacks documentation of the C/C++ memory and how glibc
interfaces interact with it.

Particularly noteworthy are:

* The behavior of synchronization primitives, including those that may operate
across processes.

* The interaction of the memory model with system calls used for communication
(e.g., sockets) and synchronization (e.g., advisory locking).

* Commonly accepted and supported behavior of signal handlers which are not
specified by the language standards.

* The GCC extension that certain plain memory accesses act as if they had
relaxed memory order.

* The behavior of functions which imply some sort of fence, such as the
cacheflush function, the fork function, and the upcoming membarrier function.

-- 
You are receiving this mail because:
You are on the CC list for the bug.