Por lo tanto, debe verificar el Invariante del monitor antes de que pueda ejecutarse.