HomeAbout Us A-Z IndexSearch * Contact Us Register LoginPress Shop

The Open Brand -- Problem Reporting and Interpretations System


Problem Report 2590 Details

Help Show help | Quick Search | Submit a Test Suite Support Request | Click here to view your privileges

This page provides all information on Problem Report 2590.


Report 2590 Actions


    Problem Report Number 2590
    Submitter's Classification Test Suite problem
    State Resolved
    Resolution Rejected (REJ)
    Problem Resolution ID REJ.X.0688
    Raised 2013-05-06 08:10
    Updated 2013-05-07 11:15
    Published 2013-05-07 11:15
    Product Standard Internationalised System Calls and Libraries Extended V3 (UNIX 03)
    Certification Program The Open Brand certification program
    Test Suite VSTH version 5.5.6
    Test Identification PTHR.os/thread/pthread_join/T.pthread_join 6
    Specification Base Definitions Issue 6
    Location in Spec http://pubs.opengroup.org/onlinepubs/009695399/functions/pthread_join.html
    Problem Summary T.pthread_join requires implementations support EDEADLK
    Problem Text T.pthread_join 6 tests for an EDEADLK return code from pthread_join(). However, pthread_join()
    is documented such that implementations 'may' fail (not 'shall' fail) with the EDEADLK condition if
    a deadlock condition is detected. The assertion does not account for implementations which do
    not detect a non-trivial deadlock condition.
    Test Output ---
    Testing the pthread_self() deadlock case
    Testing the deadly embrace case
    Testing the deadly ring case
    |pthread_join() for thread 0 did not complete (or was not called)
    pthread_join() for thread 1 did not complete (or was not called)
    pthread_join() for thread 2 did not complete (or was not called)
    tet_fork, expected 0, got 1
    ---

    Review Information

    Review Type TSMA Review
    Start Date 2013-05-06 08:10
    Last Updated 2013-05-07 10:40
    Completed 2013-05-07 10:40
    Status Complete
    Review Recommendation Rejected (REJ)
    Review Response This failure is caused by incorrect configuration of the test suite.
    If the system detects simple "self" deadlock case but does not detect
    the more complex cases, the relevant parameters in tetexec.cfg should
    be set as follows:

    VSTH_SELF_EDEADLK_DETECTED=Y
    VSTH_REFERENTIAL_EDEADLK_DETECTED=N

    Review Type SA Review
    Start Date 2013-05-07 18:40
    Last Updated 2013-05-07 11:15
    Completed 2013-05-07 11:15
    Status Complete
    Review Resolution Rejected (REJ)
    Review Conclusion This request has been rejected

    According to the TSMA:
    This failure is caused by incorrect configuration of the test suite.
    If the system detects simple "self" deadlock case but does not detect
    the more complex cases, the relevant parameters in tetexec.cfg should
    be set as follows:

    VSTH_SELF_EDEADLK_DETECTED=Y
    VSTH_REFERENTIAL_EDEADLK_DETECTED=N

    Problem Reporting System Options:

     

    Back   


Contact the Certification Authority