I think we could go in one of two directions. We could use a red-black tree, or we could enforce that priorities are a power-of-two and we could use the bitmap priority structure from the deterministic priority scheduler.
I think we could go in one of two directions. We could use a red-black tree, or we could enforce that priorities are a power-of-two and we could use the bitmap priority structure from the deterministic priority scheduler.