Cómo puedo evitar la preferencia de mi hilo en el modo de usuario

Question

Tengo un pedazo simple de trabajo determinista que solo necesita trece instrucciones de máquina para completar. Debido a que la primera instrucción toma un semáforo hecho en casa (spinlock) y la última instrucción lo libera, estoy a salvo de todos los otros hilos que se ejecutan en los otros núcleos, ya que están tratando de tomar y dar el mismo semáforo.

El problema surge cuando un hilo interrumpe un hilo que sostiene el semáforo antes de que pueda terminar su "sección crítica". En el peor de los casos, la interrupción mata el hilo mientras se mantiene el semáforo o, como puede suceder, uno de los hilos que normalmente compite por el semáforo se bifurca en un código que puede generar la interrupción y provocar un punto muerto.

No tengo manera de sincronizar con estos otros hilos cuando se ramifican en aquellas partes del código que no puedo controlar. Creo que necesito deshabilitar las interrupciones como solía hacer en mis viejos días VxWorks cuando estaba ejecutando en modo kernel. Siempre hay trece instrucciones y siempre estoy completamente seguro si puedo completar las trece instrucciones antes de tener que aceptar una interrupción. Ah, y es todo mi propio dato interno, aparte de que el semáforo hecho en casa no es nada que bloquee cualquier otra cosa.

He leído varias respuestas que creo que están cerca. La mayoría tiene que ver con las llamadas de Sección crítica en la API de Windows (sistema operativo incorrecto, pero tal vez el concepto correcto). La mayoría de las soluciones incorrectas suponen que puedo obtener todos los subprocesos ofensivos para usar un mutex que creo con las bibliotecas pthread.

Necesito esta solución en C/C++ en Linux y Solaris. La pregunta de

Johnny Crash está muy cerca prevent linux thread from being interrupted by scheduler

KermitG también Can I prevent a Linux user space pthread yielding in critical code?

Gracias por su consideración.

Answer 1

Es posible que no impida la preferencia de un subproceso de modo de usuario. Las secciones críticas (y todos los demás objetos de sincronización) evitan las colisiones de tus hilos, sin embargo, de ninguna manera impiden que el sistema operativo pueda precederlos.

Si su otra rama hilos en algo de tiempo de espera, mientras que algo puede conducir a un callejón sin salida - que tiene un problema de diseño.

Un diseño correcto debería ser el más pesimista: la preferencia puede ocurrir en todas partes por tiempo indeterminado.