Los semáforos sólo pueden ser manipulados usando las siguientes operaciones ("éste es el código con espera activa"):