Un semáforo también puede ser considerado un recurso del SO aunque sea solo software. En cualquier caso el SO tiene que saber quienes están esperando por un semáforo para saber a quien despertar cuando se libera así que lo más razonable es tener una lista por semáforo también (aunque podría haber alguna otra implementación)
Por otro lado los monitores usualmente no están implementados a nivel del sistema operativo sino que los implementa una biblioteca de más alto nivel que usa los recursos del SO (ej. semáforos)