You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
124 lines
2.1 KiB
124 lines
2.1 KiB
19 years ago
|
#
|
||
|
|
# 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
|
||
|
|
|