spec:/score/tq/val/tq

Tests special thread queue behaviour. More...

Files
file	testsuites/validation/tc-score-tq.c

Data Structures
struct	ScoreTqValTq_Context
	Test context for spec:/score/tq/val/tq test case. More...

Functions
	T_TEST_CASE_FIXTURE (ScoreTqValTq, &ScoreTqValTq_Fixture)

Detailed Description

Tests special thread queue behaviour.

This test case performs the following actions:

• Use two worker threads to provoke a deadlock detection involving a thread queue with no owner.
  • Let blocker A obtain mutex A.
  • Let blocker A block on a counting semaphore.
  • Let blocker B block on mutex A. The deadlock detection will stop since blocker A blocks on the counting semaphore which has no owner.
  • Clean up all used resources.