# | |
# rt-mutex test | |
# | |
# Op: C(ommand)/T(est)/W(ait) | |
# | opcode | |
# | | threadid: 0-7 | |
# | | | opcode argument | |
# | | | | | |
# C: lock: 0: 0 | |
# | |
# Commands | |
# | |
# opcode opcode argument | |
# schedother nice value | |
# schedfifo priority | |
# lock lock nr (0-7) | |
# locknowait lock nr (0-7) | |
# lockint lock nr (0-7) | |
# lockintnowait lock nr (0-7) | |
# lockcont lock nr (0-7) | |
# unlock lock nr (0-7) | |
# lockbkl lock nr (0-7) | |
# unlockbkl lock nr (0-7) | |
# signal thread to signal (0-7) | |
# reset 0 | |
# resetevent 0 | |
# | |
# Tests / Wait | |
# | |
# opcode opcode argument | |
# | |
# prioeq priority | |
# priolt priority | |
# priogt priority | |
# nprioeq normal priority | |
# npriolt normal priority | |
# npriogt normal priority | |
# locked lock nr (0-7) | |
# blocked lock nr (0-7) | |
# blockedwake lock nr (0-7) | |
# unlocked lock nr (0-7) | |
# lockedbkl dont care | |
# blockedbkl dont care | |
# unlockedbkl dont care | |
# opcodeeq command opcode or number | |
# opcodelt number | |
# opcodegt number | |
# eventeq number | |
# eventgt number | |
# eventlt number | |
# | |
# 4 threads 2 lock PI | |
# | |
C: resetevent: 0: 0 | |
W: opcodeeq: 0: 0 | |
# Set schedulers | |
C: schedother: 0: 0 | |
C: schedother: 1: 0 | |
C: schedfifo: 2: 82 | |
C: schedfifo: 3: 83 | |
# T0 lock L0 | |
C: locknowait: 0: 0 | |
W: locked: 0: 0 | |
# T1 lock L1 | |
C: locknowait: 1: 1 | |
W: locked: 1: 1 | |
# T3 lock L0 | |
C: lockintnowait: 3: 0 | |
W: blocked: 3: 0 | |
T: prioeq: 0: 83 | |
# T0 lock L1 | |
C: lock: 0: 1 | |
W: blocked: 0: 1 | |
T: prioeq: 1: 83 | |
# T1 unlock L1 | |
C: unlock: 1: 1 | |
# Wait until T0 is in the wakeup code | |
W: blockedwake: 0: 1 | |
# Verify that T1 is unboosted | |
W: unlocked: 1: 1 | |
T: priolt: 1: 1 | |
# T2 lock L1 (T0 is boosted and pending owner !) | |
C: locknowait: 2: 1 | |
W: blocked: 2: 1 | |
T: prioeq: 0: 83 | |
# Interrupt T3 and wait until T3 returned | |
C: signal: 3: 0 | |
W: unlocked: 3: 0 | |
# Verify prio of T0 (still pending owner, | |
# but T2 is enqueued due to the previous boost by T3 | |
T: prioeq: 0: 82 | |
# Let T0 continue | |
C: lockcont: 0: 1 | |
W: locked: 0: 1 | |
# Unlock L1 and let T2 get L1 | |
C: unlock: 0: 1 | |
W: locked: 2: 1 | |
# Verify that T0 is unboosted | |
W: unlocked: 0: 1 | |
T: priolt: 0: 1 | |
# Unlock everything and exit | |
C: unlock: 2: 1 | |
W: unlocked: 2: 1 | |
C: unlock: 0: 0 | |
W: unlocked: 0: 0 | |