Se dice que un programa es seguro cuando no genera nunca resultados incorrectos.

Se dice que un programa concurrente viola el principio de seguridad cuando se generan datos incorrectos.

Dado que los diferentes threads pueden ejecutarse concurrentemente de muchas maneras, se dice que un programa es seguro cuando ninguna de las maneras genera resultados erróneos.

Ver “thread-safe”.

Ver “race conditions”.

En programación concurrente se estudian muchos mecanismos para evitar comportamientos incorrectos:

—     cerrojos [locks]

—     zonas de exclusión mutua

—     semáforos [semaphores]

—     monitores [monitors]