simplify FIFO
In the recent edit to EDF RTA, a lemma relating priority inversion bound and cumulative priority inversion bound was generalized. Using this, the proof for bound on cumulative priority inversion was simplified.
In the recent edit to EDF RTA, a lemma relating priority inversion bound and cumulative priority inversion bound was generalized. Using this, the proof for bound on cumulative priority inversion was simplified.