Currently, fairness test reads then writes to contended switch variables. This means that can have cases where after an event completes all other events that were waiting on the read lock get scheduled. However, only one acquires the write lock and all others get preempted. This can cause some slipping in fairness results. Instead, for test all should assume write lock before reading.
Currently, fairness test reads then writes to contended switch variables. This means that can have cases where after an event completes all other events that were waiting on the read lock get scheduled. However, only one acquires the write lock and all others get preempted. This can cause some slipping in fairness results. Instead, for test all should assume write lock before reading.