Correções nos semáforos
No caso de vários semáforos se usarem em simultâneo, a ordem de unlock
tem de ser inversa à de lock, senão, na pior das hipoteses, não evitam
race conditions.