Exclusión mutua (informática)

Se trata de un problema de vital importancia porque, si no se toman las precauciones debidas, una interrupción puede ocurrir entre dos instrucciones cualesquiera del código normal y esto puede provocar graves fallos.

En un sistema multiprocesador de memoria compartida, se usa la operación indivisible test-and-set sobre una bandera, para esperar hasta que el otro procesador la despeje.

Algunos sistemas tienen instrucciones multioperación indivisibles similares a las anteriormente descritas para manipular las listas enlazadas que se utilizan para las colas de eventos y otras estructuras de datos que los sistemas operativos usan comúnmente.

Los requisitos esenciales para la exclusión mutua son: • [EM1] (seguridad): A lo sumo un proceso puede estar ejecutándose una vez en la SC.

La mayor parte de la investigación actual en este campo, pretende eliminar los efectos anteriormente descritos.