#
# 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