[ 2017-03-01, Kona ]

SG1: Agreement that we need a paper.

[ 2009-10 Santa Cruz: ]

Would be OK to leave it as is for time constraints, could loosen later.

Mark as NAD Future.

[ Summit: ]

Move to open. Related to conceptualization and should probably be tackled as part of that.

[thread.mutex.requirements] describes required member functions of mutex types, and requires that they throw exceptions under certain circumstances. This is overspecified. User-defined types can abort on such errors without affecting the operation of templates supplied by standard-library.