Problemas de programación en la función WaitForSingleObject de subprocesos múltiples después de esperar la señal

Estoy estudiando la sección "Uso de objetos Mutex para realizar la sincronización de subprocesos" del profesor Sun Xin. El libro de texto dice: WaitForSingleObject(hMutex, hMutex es el identificador del objeto mutex creado una vez). está en el estado señalado, la función regresa. Si el objeto mutex siempre está en estado no señalizado, es decir, no notificado, la función sigue esperando. Mi pregunta es: ¿Qué es un "estado de señal" y qué es un "estado sin señal"? ¿Qué pueden tener los dos estados anteriores? ¿Para qué se utiliza exactamente WaiForSingleObject? ¿Para qué se utilizan los objetos mutuamente excluyentes? ¿El mismo objeto mutex solo puede ser utilizado por un hilo en un momento determinado? Muchas dudas. . . . Por favor responda en lenguaje sencillo y no pegue. Ya he leído la mayor parte de la información en Internet. Cuanto más leo, más confundido estoy y todavía no entiendo. . . .