Lo que sucede en este caso, es que los programadores de Ada, para implementar semáforos (mutex), deben utilizar las primitivas «rendevouz», las que son más complejas que los semáforos (los utilizan), produciendo de esta forma la inversión de abstracción .