Hola Danila, el enunciado dice "Cada átomo de oxigeno puede comenzar la unión solo si hay dos átomos de hidrógeno disponibles...", por lo tanto, pone 2 wait(Esperar_Hidrogeno) porque el hilo Oxigeno debe esperar que se ejecuten 2 signal(Esperar_Hidrogeno) para seguir su ejecución.

En el 4 del verdadero o falso,

El enunciado dice que eligió la biblioteca de hilos de usuarios porque genera poco overhead, no sería entonces verdadera?
Porque como justifican todos, la biblioteca de usuario tiene menos overhead porque crear un hilo de usuario es mucho menos costoso que uno de kernel.

Saludos.