Home • About Us • A-Z Index • Search * Contact Us • Register • Login • Press • Shop

The Open Brand -- Problem Reporting and Interpretations System

Problem Report 1087 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 1087.

Report 1087 Actions

    Problem Report Number 1087
    Submitter's Classification Test Suite problem
    State Resolved
    Resolution Test Suite Deficiency (TSD)
    Problem Resolution ID TSD.X.0543
    Raised 2001-07-20 08:00
    Updated 2003-03-13 08:00
    Published 2001-08-07 08:00
    Product Standard Internationalised System Calls and Libraries Extended V2 (UNIX 98)
    Certification Program The Open Brand certification program
    Test Suite VSRT version 5.1.1
    Test Identification rt.os/semaphores/sem_init 3
    Linked Problem Reports TIN4R.00004, (in, old, system)
    Problem Summary TSD4R.00015 The test does not allow for implementations which always return a semaphore value of 0 from sem_getvalue() if the semaphore is locked.
    Problem Text

    The sem_init test case 3 forks three children to verify that
    the three children are blocking and sharing the same semaphore.
    The verification is done by use of the sem_getvalue() function.
    In XSH5, page 751, the following is stated for sem_getvalue()

    If sem is locked, then the value returned by sem_getvalue()
    is either zero or a negative number whose absolute value
    represents the number of processes waiting for the semaphores
    at some unspecified time during the call.

    The test case only provides a condition to accept and verifiy that
    a negative number is returned. The implemenation under test conforms
    to the other condition of returning zero if the semaphore is locked.
    The test case needs to test for both conditions either a zero return
    or a negative number returned.
    Test Output
    ***********************************************************************************
    /tset/rt.os/semaphores/sem_init/T.sem_init 3 Failed

    Test Description:
    If _POSIX_SEMAPHORES is defined or the implementation supports the
    sem_init() function as described in System Interfaces and Headers,
    Issue 5:
    After a successful call to sem_init() when pshared has a non-zero
    value the semaphore shall be shared between processes.

    Test Information:
    Before post 1 expected semaphore value to be -3, is 0
    Before post 2 expected semaphore value to be -2, is 0
    Before post 3 expected semaphore value to be -1, is 0

    ***********************************************************************************

    Review Information

    Review Type TSMA Review
    Start Date null
    Completed null
    Status Complete
    Review Recommendation No Resolution Given
    Review Response
    The temporary interpretation TIN4R.00004 was issued because a POSIX.1
    interpretation was needed to resolve this issue. Since the necessary
    interpretation now exists (PASC 1003.1 #90), TIN4R.00004 should be
    expired and a TSD should be granted in its place.

    Therefore this is accepted as a fault in the test suite.

    Review Type SA Review
    Start Date null
    Completed null
    Status Complete
    Review Resolution Test Suite Deficiency (TSD)
    Review Conclusion
    This is an agreed Test Suite Deficiency.

    Problem Reporting System Options:

     

    Back   

Contact the Certification Authority