t4-l2-pi-deboost.tst 2.1 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123
  1. #
  2. # rt-mutex test
  3. #
  4. # Op: C(ommand)/T(est)/W(ait)
  5. # | opcode
  6. # | | threadid: 0-7
  7. # | | | opcode argument
  8. # | | | |
  9. # C: lock: 0: 0
  10. #
  11. # Commands
  12. #
  13. # opcode opcode argument
  14. # schedother nice value
  15. # schedfifo priority
  16. # lock lock nr (0-7)
  17. # locknowait lock nr (0-7)
  18. # lockint lock nr (0-7)
  19. # lockintnowait lock nr (0-7)
  20. # lockcont lock nr (0-7)
  21. # unlock lock nr (0-7)
  22. # lockbkl lock nr (0-7)
  23. # unlockbkl lock nr (0-7)
  24. # signal thread to signal (0-7)
  25. # reset 0
  26. # resetevent 0
  27. #
  28. # Tests / Wait
  29. #
  30. # opcode opcode argument
  31. #
  32. # prioeq priority
  33. # priolt priority
  34. # priogt priority
  35. # nprioeq normal priority
  36. # npriolt normal priority
  37. # npriogt normal priority
  38. # locked lock nr (0-7)
  39. # blocked lock nr (0-7)
  40. # blockedwake lock nr (0-7)
  41. # unlocked lock nr (0-7)
  42. # lockedbkl dont care
  43. # blockedbkl dont care
  44. # unlockedbkl dont care
  45. # opcodeeq command opcode or number
  46. # opcodelt number
  47. # opcodegt number
  48. # eventeq number
  49. # eventgt number
  50. # eventlt number
  51. #
  52. # 4 threads 2 lock PI
  53. #
  54. C: resetevent: 0: 0
  55. W: opcodeeq: 0: 0
  56. # Set schedulers
  57. C: schedother: 0: 0
  58. C: schedother: 1: 0
  59. C: schedfifo: 2: 82
  60. C: schedfifo: 3: 83
  61. # T0 lock L0
  62. C: locknowait: 0: 0
  63. W: locked: 0: 0
  64. # T1 lock L1
  65. C: locknowait: 1: 1
  66. W: locked: 1: 1
  67. # T3 lock L0
  68. C: lockintnowait: 3: 0
  69. W: blocked: 3: 0
  70. T: prioeq: 0: 83
  71. # T0 lock L1
  72. C: lock: 0: 1
  73. W: blocked: 0: 1
  74. T: prioeq: 1: 83
  75. # T1 unlock L1
  76. C: unlock: 1: 1
  77. # Wait until T0 is in the wakeup code
  78. W: blockedwake: 0: 1
  79. # Verify that T1 is unboosted
  80. W: unlocked: 1: 1
  81. T: priolt: 1: 1
  82. # T2 lock L1 (T0 is boosted and pending owner !)
  83. C: locknowait: 2: 1
  84. W: blocked: 2: 1
  85. T: prioeq: 0: 83
  86. # Interrupt T3 and wait until T3 returned
  87. C: signal: 3: 0
  88. W: unlocked: 3: 0
  89. # Verify prio of T0 (still pending owner,
  90. # but T2 is enqueued due to the previous boost by T3
  91. T: prioeq: 0: 82
  92. # Let T0 continue
  93. C: lockcont: 0: 1
  94. W: locked: 0: 1
  95. # Unlock L1 and let T2 get L1
  96. C: unlock: 0: 1
  97. W: locked: 2: 1
  98. # Verify that T0 is unboosted
  99. W: unlocked: 0: 1
  100. T: priolt: 0: 1
  101. # Unlock everything and exit
  102. C: unlock: 2: 1
  103. W: unlocked: 2: 1
  104. C: unlock: 0: 0
  105. W: unlocked: 0: 0