¿Cómo alterar el comportamiento de bloqueo recursivo de Windows Mutex?

Question

Windows Mutex parece permitir que se vuelva a adquirir un bloqueo adquirido (recursivamente) si el hilo que actualmente posee el bloqueo intenta adquirirlo.

Pero, los bloqueos pthread basados ​​en posix no permiten este tipo de comportamiento.

¿Hay alguna macro de tiempo de compilación o cualquier configuración que pueda hacer que las ventanas mutex se comporten de la misma manera que pthread mutex?

Answer 1

Mientras se programa en Windows, evitar reimplementar el comportamiento de su objeto mutex. Ser reentrante por el mismo hilo es absolutamente esencial para su comportamiento definido.

Un objeto de sincronización sin afinidad de hilos es un semáforo que cuenta para 1. Use CreateSemaphore().

Fwiw, es muy curioso que necesite este tipo de comportamiento. Parece que estás intentando utilizar el mismo objeto de sincronización en varios lugares de forma inapropiada. Puedes usar el semáforo pero perderás el potencial de concurrencia. Considere usar más de un mutex en su lugar.

Answer 2

Echa un vistazo a este artículo en 'fast mutex'.

Este tipo de mutelas no se pueden adquirir recursivamente.

¡Por supuesto, usted tendría que mirar en la forma de implementarlos en C.

Answer 3

No se puede modificar el hecho de que los Mutexes de Windows son recursivos. Y aunque los hilos de Posix no son recursivos por defecto, puede puede usar pthread_mutexattr_settype() con el indicador PTHREAD_MUTEX_RECURSIVE para hacer uno.

El bloqueo de un mutex en Windows es en realidad una operación bastante costosa, y se adapta mejor a la sincronización entre procesos. Para un mutex utilizado solo dentro de un proceso único, normalmente se utiliza una sección crítica, sin embargo, estos también son reentrantes. Como dice nobugz, necesitarías usar un semáforo, inicializado con un conteo máximo de 1, para obtener sincronización no recursiva.

Un objeto de semáforo es como un contador especial, que puede incrementarse y decrementarse atómicamente a través de subprocesos (o procesos, si se crean compartidos). Al crear uno con un recuento máximo de 1, obtiene el comportamiento no recursivo que necesita.

• MSDN: Critical Section objects
• MSDN: Semaphore objects

Answer 4

Es mejor utilizar Read/Write locks (aka SRW). Al igual que Windows Mutex, no son recursivos. Al igual que las Secciones críticas, son livianas y no llaman al kernel si están libres (Benchmarks).