/* RR with a fixed quantum for every process */ scheduler RRFixedSched = { states = { RUNNING running : process; READY ready : select queue; READY yield : process; BLOCKED blocked : queue; TERMINATED terminated; } modules {CommonRTM (running, ready, yield, blocked, terminated), RR(running,ready), RRFixed()} process { RR.initial_quantum reads RRFixed.initial_quantum, RRFixed.quantum reads RR.quantum } ordering_criteria {RRFixed} handler { process.new : RR, CommonRTM; } interface { attach : RRFixed, RR, CommonRTM; } }