Buenas, tengo una duda teorica sobre el problema de lector-escritor.
En el caso del mailbox cantlect cuando hace recibir(cantlect, cant) y luego evalua el if cant = 0.
Mi duda es porque no se utiliza un mailbox mutex para la variable cant que recibe del mailbox? No puede pasar el caso de que antes de evaluar el if cant = 0 alguien haga un send al mailbox cant y este usando un valor desactualizado?
