Title
Redundant Mutex requirement?
Status
nad editorial
Section
[thread.mutex.requirements.mutex]
Submitter
Pete Becker

Created on 2012-03-05.00:00:00 last changed 147 months ago

Messages

Date: 2012-11-02.22:48:46

[ 2012, Portland: move to Tentatively NAD Editorial ]

Agree that third note should be non-normative and adds nothing.

Seems An Editorial change, but does changing a normative to non-normative wording makes it a non-editorial change?

Ask the editor. If not editorial, then we will agree on the fix as removal of the third point, then we will put it in ready state for Bristol.

Date: 2012-03-05.00:00:00

[thread.mutex.requirements.mutex]/11 says that prior unlock operations synchronize with m.lock().

[thread.mutex.requirements.mutex]/19 says that if m.try_lock() succeeds, prior unlock operations synchronize with the operation.

[thread.mutex.requirements.mutex]/25 says that m.unlock() synchronizes with subsequent successful lock operations.

Does the third requirement add anything to the first two? If not, it should probably be a non-normative note.

History
Date User Action Args
2012-11-02 22:48:46adminsetmessages: + msg6247
2012-11-02 22:48:46adminsetstatus: new -> nad editorial
2012-03-05 00:00:00admincreate