nptl.BullOpenSource.Org

[tHeDoc]

POSIX

POSIX is a registered trademark from the IEEE. The following assertions are derived from copyrighted material. Original text and copyright information can be found at http://www.opengroup.org.

Here is what POSIX requires for this function:

1. The pthread_cancel() function requests that thread be canceled. The cancelation takes effect according to the thread's cancelability state and type.
   
2. When cancelation starts, the cancelation cleanups are called, ...
   
3. ... then the TSD destructors, ...
   
4. ... then the thread is terminated.
   
5. The cancelation is not synchronized with the pthread_cancel execution.
   
6. pthread_cancel returns 0 when success.
   
7. pthread_cancel does not return EINTR.
   

[tHeDoc]

Conformance Status

• Assertion 1 is already tested in OPTS and does not need more testing.
  
• Assertion 2 is already tested in OPTS and does not need more testing.
  
• Assertion 3 is already tested in OPTS and does not need more testing.
  
• Assertion 4 is already tested in OPTS and does not need more testing.
  
• Assertion 5 is already tested in OPTS and does not need more testing.
  
• Assertion 6 is already tested in OPTS and does not need more testing.
  
• Assertion 7 is not tested yet. A new testcase will be written.
  

[tHeDoc]

Scalability Status

There is no need for a scalability test in this routine.

[tHeDoc]

Stress Status

A stress test will be written to check that cancelation does not break the system, and also that there is no race condition with thread termination (when canceling a dying thread).

[tHeDoc]

Conformance Tests

The following testcase has been added to the OPTS.

• 5-2.c
  

[tHeDoc]

Stress Test

A new stress test has been written for this function, and can be found here:

• stress.c