Scheduler
p1
p2
pn
f1
f2
fn
1. fi _ pi
2. p1 _ p2 _ .... _ pn _ f1 _ f2 _ .... _ fn
3. One-rule-a-time _ at most one fi is true