Acerca de primitivas de sincronização e deadlocks, julgue o próximo item.

No ambiente de programação, um semáforo é um sinal emitido pelo hardware para que o sistema operacional possa executar um laço com o objetivo de evitar um deadlock.