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

The Open Brand -- Problem Reporting and Interpretations System

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

Report 1367 Actions

    Problem Report Number 1367
    Submitter's Classification Test Suite problem
    State Resolved
    Resolution Test Suite Deficiency (TSD)
    Problem Resolution ID TSD.X.0649
    Raised 1970-01-01 08:00
    Updated 2003-03-13 08:00
    Published 1996-11-22 08:00
    Product Standard Internationalised System Calls and Libraries Extended (UNIX 95)
    Certification Program The Open Brand certification program
    Test Suite VSU version 4.1.1
    Test Identification base/mmap 16
    Problem Summary TSD4U.00168 This test may fail on implementations which do not make changes in shared mappings visible in private mappings.
    Problem Text
    The test fails, because modifications of child1 and child2 in the
    shared mapping are not reported to the private mapping of child3.
    In our implementation the data of a private mapping is read directly
    from the file and not from an existing and corresponding shared
    mapping.

    The specification states:
    "It is unspecified whether write references by processes that have
    mapped the memory using MAP_SHARED are visible to processes that have
    mapped the same portion of the file using MAP_PRIVATE."

    So in our opinion this is a TSD, because the test is based on a behavior,
    which is explicitely unspecified.

    By the way:
    the message "PREP: Child2: mmap with MAP_PRIVATE" must be
    changed to "PREP: Child3: mmap with MAP_PRIVATE".
    Test Output
    TEST CASE: mmap

    TEST PURPOSE #16
    VSU Results:
    15|0 1.10 1|TCM Start
    400|0 16 1 10:58:57|IC Start
    200|0 1 10:58:57|TP Start
    520|0 1 3279 1 1|SPEC1170TESTSUITE CASE 16
    520|0 1 3279 1 2|A call to void *mmap(void *addr, size_t len, int prot,
    520|0 1 3279 1 3|int flags, int fildes, off_t off) when MAP_PRIVATE is
    520|0 1 3279 1 4|set in flags and write references are made to the
    520|0 1 3279 1 5|memory region shall not be visible to any process in
    520|0 1 3279 1 6|other mappings of the same portion of the file.
    520|0 1 3280 1 1|PREP: Obtain the system page size by call to
    520|0 1 3280 1 2| sysconf(_SC_PAGESIZE)
    520|0 1 3280 1 3|PREP: Establish signal handlers for SIGSEGV and SIGBUS
    520|0 1 3280 1 4|PREP: Open a file and initialize it
    520|0 1 3280 1 5|PREP: Allocate memory for buffer
    520|0 1 3280 1 6|PREP: Now set proper permissions and re-open file
    520|0 1 3281 1 1|PREP: Child1: mmap with MAP_SHARED
    520|0 1 3281 1 2|PREP: Child1: mapped page at that address may be written
    520|0 1 3281 1 3|TEST: Child1: wait for child2, modify page, tell child2
    520|0 1 3282 1 1|PREP: Child2: mmap with MAP_SHARED
    520|0 1 3282 1 2|PREP: Mapped page at that address may be written
    520|0 1 3282 1 3|TEST: Child2: Inform child1 we initialized & wait
    520|0 1 3282 1 4| for its write
    520|0 1 3283 1 1|PREP: Child2: mmap with MAP_PRIVATE
    520|0 1 3283 1 2|TEST: Child3: wait for child 1 & 2 and check their changes
    520|0 1 3283 1 3|ERROR: Child1's change not communicated to child3
    520|0 1 3280 4 1|ERROR: wait_for: Timed-out waiting for child to exit.
    520|0 1 3280 4 2|ERROR: wait_for: Timed-out waiting for child to exit.
    220|0 1 1 11:03:13|FAIL
    410|0 16 1 11:03:13|IC End

    Review Information

    Review Type TSMA Review
    Start Date null
    Completed null
    Status Complete
    Review Recommendation No Resolution Given
    Review Response
    We agree this is a test suite deficiency in the test
    suite version(s) listed.

    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