Cuando dos o mas procesos secuenciales en cooperación ejecutan todos ellos asíncronamente y comparten datos comunes se produce el problema de la sección crítica.
Un proceso productor genera información que es utilizada por un proceso consumidor. Para que los procesos productores y consumidores ejecuten concurrentemente, tenemos que creer un conjunto de buffers que puedan ser alimentados por el productor y vaciados por el consumidor.
El consumidor tiene que esperar si todos los buffers se encuentran vacios, y el productor tiene que esperar si todos los buffers estan llenos.
Una solución simple al problema de la sección crítica nos la proporciona Peterson. Esta solución es básicamente una combinación del Algoritmo que asocia cada proceso con su variable de cerradura y de una pequeña modificación del Algoritmo de Alternancia Estricta.