Primitivas de sincronização: mutex, semáforos, monitores. Diferenças e Conceito. Por que existem esses diferentes mecanismos?

a. Mutex: Mutex deixam somente uma thread por vez entrar na seção crítica e somente essa thread pode liberar o mutex. No semáforo, pode ser sinalizado de qualquer outra thread ou processo a liberação. Por esse motivo semáforos são mais adequados para problemas de sincronização como produtor-consumidor. O mesmo mutex pode ser compartilhado entre vários processos, consequentemente várias threads entre esses processos.
b. Semáforos: O semáforo faz o mesmo com o mutex com a diferença de que podem entrar X processos dentro dessa seção crítica. Assim como mutex, podem ser utilizados por vários processo e threads, lembrando que os semáforos podem liberar ou alocar recursos de qualquer outra thread/processo.
c. Monitores: Monitores, assim como mutex só deixam uma thread/processo executar a seção crítica, são feitos para multi-thread dentro de um único processo.