Requisitos denominados de C++:SharedMutex(desde C++17)

 

C++

Apoyo de compiladores

Implementaciones independientes y albergadas

Lenguaje

Biblioteca estándar

Encabezados de la biblioteca estándar

Requisitos denominados

Macros de prueba de característica (C++20)

Biblioteca de apoyo del lenguaje

Biblioteca de conceptos(C++20)

Biblioteca de diagnósticos

Biblioteca de gestión de memoria

Biblioteca de metaprogramación(C++11)

Biblioteca de servicios generales

Biblioteca de contenedores

Biblioteca de iteradores

Biblioteca de rangos(C++20)

Biblioteca de algoritmos

Biblioteca de cadenas

Biblioteca de procesamiento de texto

Biblioteca numérica

Biblioteca de fecha y hora

Biblioteca de entrada/salida

Biblioteca del sistema de archivos(C++17)

Biblioteca de apoyo de concurrencia(C++11)

Biblioteca de apoyo de ejecución(C++26)

Especificaciones técnicas

Índice de símbolos

Bibliotecas externas

 

Requisitos denominados de C++

Básicos ConstruiblePorDefecto ConstruiblePorMovimiento (C++11) ConstruiblePorCopia AsignablePorCopia AsignablePorMovimiento (C++11) Destructible Props. de Tipos TipoEscalar TipoPOD TrivialmenteCopiable (C++11) TipoTrivial (C++11) TipoDeDiseñoEstándar (C++11)   TipoDeTiempoDeVidaImplícito Toda la biblioteca ComprobableBooleano ComparableEnIgualdad ComparableEnMenorQue Intercambiable IntercambiableEnValor (C++11) NullablePointer (C++11) Hash (C++11) Asignador ObjetoFunción Invocable Predicado PredicadoBinario Comparar

Contenedores Contenedor ContenedorReversible ContenedorConscienteDeAsignador ContenedorDeSecuencia ContenedorContiguo (C++17) ContenedorAsociativo ContenedorAsociativoNoOrdenado (C++11)   Elementos de contenedores InsertablePorDefecto (C++11) InsertablePorCopia (C++11) InsertablePorMovimiento (C++11) ConstruiblePorEmplazamiento (C++11) Borrable (C++11) Iteradores IteradorLegado IteradorDeEntradaLegado IteradorDeSalidaLegado IteradorDeAvanceLegado IteradorBidireccionalLegado IteradorDeAccesoAleatorioLegado IteradorContiguoLegado (C++17) IteradorConstexpr (C++20) E/S de flujos FunciónDeEntradaConFormato FunciónDeEntradaSinFormato FunciónDeSalidaConFormato FunciónDeSalidaSinFormato Formateadores FormateadorBásico (C++20) Formateador (C++20)

Números aleatorios SeedSequence (C++11) MotorDeNúmerosAleatorios (C++11) DistribuciónDeNúmerosAleatorios (C++11) GeneradorDeBitsAleatorioUniforme (C++11) AdaptadorDeMotorDeNúmerosAleatorios (C++11) Concurrencia BloqueableBásico (C++11) Bloqueable (C++11) BloqueableTemporizado (C++11) BloqueableCompartido (C++14) BloqueableTemporizadoCompartido (C++14) Mutex (C++11) MutexTemporizado (C++11) MutexCompartido (C++17) MutexTemporizadoCompartido (C++14) Rangos ObjetoAdaptadorDeRango (C++20) ObjetoCierreAdaptadorDeRango (C++20) Vista multidimensional LayoutMapping (C++23) LayoutMappingPolicy (C++23) AccessorPolicy (C++23) Otros RasgosDeCarácter RasgosDeExpresiónRegular (C++11)   TipoMáscaraDeBits TipoLiteral (C++11) TipoNumérico RasgoDeTipoUnario (C++11) RasgoDeTipoBinario (C++11) RasgoDeTransformación (C++11) Reloj (C++11) RelojTrivial (C++11)

 

Los requisitos de MutexCompartido extienden los requisitos de Mutex para incluir la modalidad de posesión compartida de un cerrojo.

Requisitos

• Mutex

Adicionalmente, un objeto m de tipo MutexCompartido admite otro tipo de posesión: compartida. Varios hilos (o, más generalmente, agentes de ejecución) pueden poseer simultáneamente este mutex en modalidad compartida, pero ningún hilo puede tomar posesión compartida si hay un hilo que lo posee en modalidad exclusiva, y ningún hilo puede tomar posesión exclusiva si hay un hilo que lo posee en modalidad compartida. Si más del número de hilos definido por la implementación (no menos de 10000) mantienen un cerrojo compartido, otro intento de adquirir el mutex en modalidad compartida se bloquea hasta que el número de propietarios compartidos descienda por debajo de ese umbral.

• La expresión m.lock_shared() tiene las siguientes propiedades:

• Se comporta como una operación atómica.
• Bloquea al hilo llamante hasta que se pueda tomar posesión compartida del mutex.
• Las operaciones m.unlock() anteriores en el mismo mutex se sincronizan-con esta operación de bloqueo (equivalente a liberar-tomarstd::memory_order ).
• El comportamiento no está definido si el hilo llamante ya posee el mutex en cualquier modalidad.
• Si se lanza una excepción, no se toma posesión del cerrojo compartido.

• La expresión m.try_lock_shared() tiene las siguientes propiedades:

• Se comporta como una operación atómica.
• Intenta tomar posesión compartida del mutex para el hilo llamante sin bloquearse. Si no se obtiene la posesión compartida, regresa inmediatamente. Se permite que la función falle falsamente (spuriously) y regrese incluso si el mutex no es propiedad de ningún hilo en ninguna modalidad.
• Si try_lock_shared() tiene éxito, las operaciones unlock() anteriores en el mismo objeto se sincronizan-con esta operación (equivalente a liberar-tomarstd::memory_order ).
• El comportamiento no está definido si el hilo llamante ya posee el mutex en cualquier modalidad.

• La expresión m.unlock_shared() tiene las siguientes propiedades:

• Se comporta como una operación atómica.
• Libera la posesión del mutex del hilo llamante y se sincroniza-con las siguientes operaciones de bloqueo exitosas en el mismo objeto.
• El comportamiento no está definido si el hilo llamante no posee el mutex.

• Todas las operaciones de bloqueo y desbloqueo en un solo mutex ocurren en un solo orden total.

Biblioteca estándar

Los siguientes tipos de la biblioteca estándar satisfacen los requisitos de MutexCompartido:

shared_mutex (C++17)	Proporciona un servicio de exclusión mutua compartida. (clase)
shared_timed_mutex (C++14)	Proporciona un servicio de exclusión mutua compartida e implementa bloqueo con un tiempo de espera. (clase)

Véase también

• Biblioteca de apoyo de hilos/subprocesos
• Mutex
• MutexTemporizado
• MutexTemporizadoCompartido