La seguridad de subprocesos es un concepto de programación aplicable a programas de subprocesos múltiples . El código es seguro para subprocesos si funciona correctamente cuando se usa desde varios subprocesos al mismo tiempo. En particular, debe garantizar que varios subprocesos accedan correctamente a los datos compartidos.
En general, la seguridad de los hilos es difícil de lograr. Pero hay varias fuentes para detectar violaciones de seguridad de subprocesos:
Hay varias formas de lograr la seguridad de subprocesos:
reentrada Escribir código de tal manera que pueda ser ejecutado parcialmente por un subproceso, luego por otro y continuar por el primero. Esto requiere guardar el estado en variables locales, generalmente en la pila, en lugar de variables globales o estáticas . linealizabilidad Escribir el código de procedimientos (operaciones) de tal manera que el resultado de cualquiera de sus ejecuciones paralelas sea equivalente a alguna ejecución secuencial.