Skip to content

[thread.mutex.requirements] Remove normative duplication and refine cross-reference #8938

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Open
timsong-cpp wants to merge 1 commit into
base: main
Choose a base branch
from
Open

[thread.mutex.requirements] Remove normative duplication and refine cross-reference #8938

Changes from all commits
Commits
Show all changes
1 commit
Select commit
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
34 changes: 11 additions & 23 deletions source/threads.tex
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -7301,7 +7301,7 @@
The \defn{mutex types} are the standard library types \tcode{mutex},
\tcode{recursive_mutex}, \tcode{timed_mutex}, \tcode{recursive_timed_mutex},
\tcode{shared_mutex}, and \tcode{shared_timed_mutex}.
They meet the requirements set out in \ref{thread.mutex.requirements.mutex}.
They meet the requirements set out in \ref{thread.mutex.requirements.mutex.general}.
In this description, \tcode{m} denotes an object of a mutex type.
\begin{note}
The mutex types meet the \oldconcept{Lockable} requirements\iref{thread.req.lockable.req}.
Expand Down Expand Up @@ -7497,9 +7497,7 @@
\end{note}

\pnum
The class \tcode{mutex} meets
all of the mutex requirements\iref{thread.mutex.requirements}.
It is a standard-layout class\iref{class.prop}.
The class \tcode{mutex} is a standard-layout class\iref{class.prop}.

\pnum
\begin{note}
Expand Down Expand Up @@ -7544,9 +7542,7 @@
(for \tcode{lock()}) until the first thread has completely released ownership.

\pnum
The class \tcode{recursive_mutex} meets
all of the mutex requirements\iref{thread.mutex.requirements}.
It is a standard-layout class\iref{class.prop}.
The class \tcode{recursive_mutex} is a standard-layout class\iref{class.prop}.

\pnum
A thread that owns a \tcode{recursive_mutex} object may acquire additional levels of
Expand Down Expand Up @@ -7706,9 +7702,7 @@
failed to obtain ownership).

\pnum
The class \tcode{timed_mutex} meets
all of the timed mutex requirements\iref{thread.timedmutex.requirements}.
It is a standard-layout class\iref{class.prop}.
The class \tcode{timed_mutex} is a standard-layout class\iref{class.prop}.

\pnum
The behavior of a program is undefined if
Expand Down Expand Up @@ -7757,9 +7751,7 @@
times out (having failed to obtain ownership).

\pnum
The class \tcode{recursive_timed_mutex} meets
all of the timed mutex requirements\iref{thread.timedmutex.requirements}.
It is a standard-layout class\iref{class.prop}.
The class \tcode{recursive_timed_mutex} is a standard-layout class\iref{class.prop}.

\pnum
A thread that owns a \tcode{recursive_timed_mutex} object may acquire additional
Expand Down Expand Up @@ -7790,7 +7782,7 @@
\pnum
The standard library types \tcode{shared_mutex} and \tcode{shared_timed_mutex}
are \defn{shared mutex types}. Shared mutex types meet the requirements of
mutex types\iref{thread.mutex.requirements.mutex} and additionally
mutex types\iref{thread.mutex.requirements.mutex.general} and additionally
meet the requirements set out below. In this description,
\tcode{m} denotes an object of a shared mutex type.
\begin{note}
Expand All @@ -7801,7 +7793,7 @@
\pnum
\indextext{block (execution)}%
In addition to the exclusive lock ownership mode specified
in~\ref{thread.mutex.requirements.mutex}, shared mutex types provide a
in~\ref{thread.mutex.requirements.mutex.general}, shared mutex types provide a
\defn{shared lock} ownership mode. Multiple execution agents can
simultaneously hold a shared lock ownership of a shared mutex type. But no
execution agent holds a shared lock while another execution agent holds an
Expand Down Expand Up @@ -7943,9 +7935,7 @@
with shared ownership semantics.

\pnum
The class \tcode{shared_mutex} meets
all of the shared mutex requirements\iref{thread.sharedmutex.requirements}.
It is a standard-layout class\iref{class.prop}.
The class \tcode{shared_mutex} is a standard-layout class\iref{class.prop}.

\pnum
The behavior of a program is undefined if
Expand All @@ -7965,8 +7955,8 @@
\pnum
The standard library type \tcode{shared_timed_mutex} is a
\defn{shared timed mutex type}. Shared timed mutex types meet the requirements of
timed mutex types\iref{thread.timedmutex.requirements},
shared mutex types\iref{thread.sharedmutex.requirements}, and additionally
timed mutex types\iref{thread.timedmutex.requirements.general},
shared mutex types\iref{thread.sharedmutex.requirements.general}, and additionally
meet the requirements set out below. In this description,
\tcode{m} denotes an object of a shared timed mutex type,
\tcode{rel_time} denotes an object of a specialization of
Expand Down Expand Up @@ -8105,9 +8095,7 @@
ownership semantics.

\pnum
The class \tcode{shared_timed_mutex} meets
all of the shared timed mutex requirements\iref{thread.sharedtimedmutex.requirements}.
It is a standard-layout class\iref{class.prop}.
The class \tcode{shared_timed_mutex} is a standard-layout class\iref{class.prop}.

\pnum
The behavior of a program is undefined if
Expand Down
Loading