Al comenzar a hacer los ejercicios de mailbox del práctico me surgió la duda conceptual de como manejan los mailbox con resolución FIFO en el curso. Si tengo 3 procesos que hacen recibir de un mailbox sin mensajes o vacío en orden primero proceso P1, luego P2 y por último P3.
P1 P2 P3
recibir(mb,NIL) recibir(mb,NIL) recibir(mb,NIL)
Luego de esto tengo un proceso P4 que hace 3 send(mb,NIL), como se despiertan o desbloquean los procesos? primero P1, después P2 y por último P3 o no garantizan los mailbox FIFO el orden en que se despiertan o desbloquean los procesos.