This file describes the directives and concepts tested by this test set.

test set name: spsyslock01

directives:

  - _Mutex_Initialize()
  - _Mutex_Acquire()
  - _Mutex_Try_acquire()
  - _Mutex_Release()
  - _Mutex_Destroy()
  - _Mutex_recursive_Initialize()
  - _Mutex_recursive_Acquire()
  - _Mutex_recursive_Try_acquire()
  - _Mutex_recursive_Release()
  - _Mutex_recursive_Destroy()
  - _Semaphore_Initialize()
  - _Semaphore_Wait()
  - _Semaphore_Post()
  - _Semaphore_Destroy()
  - _Futex_Initialize()
  - _Futex_Wait()
  - _Futex_Wake()
  - _Futex_Destroy()

concepts:

  - Ensure that self-contained mutexes and recursive mutexes work.
  - Ensure that self-contained semaphores work.
  - Ensure that self-contained futexes work.