Концепции C++: BasicLockable

 

C++

Поддержка компилятором

Автономные и размещённые реализации

Язык

Стандартная библиотека

Заголовки стандартной библиотеки

Требования к именованию

Макросы тестирования функциональности (C++20)

Поддержка языка

Библиотека концептов (C++20)

Библиотека метапрограммирования (C++11)

Библиотека диагностики

Библиотека общих утилит

Библиотека строк

Библиотека контейнеров

Библиотека итераторов

Библиотека диапазонов (C++20)

Библиотека алгоритмов

Библиотека численных данных

Библиотека ввода/вывода

Библиотека локализаций

Регулярные выражения (C++11)

Атомарные операции (C++11)

Библиотека поддержки конкуренции (C++11)

Библиотека файловой системы (C++17)

Технические спецификации

Указатель символов

Внешние библиотеки

 

Концепции C++

Общие
DefaultConstructible CopyAssignable CopyConstructible	MoveAssignable (C++11) MoveConstructible (C++11) Destructible
По всей библиотеке
EqualityComparable LessThanComparable Swappable (C++11) ValueSwappable (C++11)	NullablePointer (C++11) Hash (C++11) Allocator
Контейнеры
Container SequenceContainer ReversibleContainer	AssociativeContainer AllocatorAwareContainer UnorderedAssociativeContainer (C++11)
Элементы контейнеров
CopyInsertable (C++11) MoveInsertable (C++11)	EmplaceConstructible (C++11)
Итераторы
Iterator OutputIterator InputIterator	ForwardIterator BidirectionalIterator RandomAccessIterator
Случайные числа
SeedSequence (C++11) RandomNumberEngine (C++11)	RandomNumberDistribution (C++11) UniformRandomNumberGenerator (C++11) RandomNumberEngineAdaptor (C++11)
Параллелизм
BasicLockable (C++11) Lockable (C++11) TimedLockable (C++11)	Mutex (C++11) TimedMutex (C++11)
Прочие
CharTraits pos_type off_type Clock (C++11)	UnaryTypeTrait (C++11) BinaryTypeTrait (C++11) TransformationTrait (C++11) TrivialClock (C++11)

 

Концепция BasicLockable описывает минимальные характеристики типов, которые обеспечивают семантику эксклюзивных блокировок для выполняющихся агентов (т.е. потоков).

Требования

Для того, чтобы тип L являлся BasicLockable, для объекта m типа L должны выполняться следующие условия:

Выражение	Требования	Эффекты
m.lock()		Выполнение останавливается пока для текущего объекта не будет получена блокировка. Если выбрасывается исключение, то блокировка не устанавливается.
m.unlock()	Текущий агент должен владеть блокировкой m.	Освобождает блокировку, которой владеет агент. Исключения не выбрасываются.

См. также

• Библиотека поддержки потоков
• Lockable
• TimedLockable