gregado listas de Prioridad, y resuelto el problema en lock con las prioridades... Se proponen dos modelos, dependiendo que se define, uno asumiendo que el scheduler se comporta como un FIFO, y un modelo que invierte las dos prioridades, para un scheduler que no se comporte como un FIFO.