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

The Open Brand -- Problem Reporting and Interpretations System

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

Report 1183 Actions

    Problem Report Number 1183
    Submitter's Classification Test Suite problem
    State Resolved
    Resolution Rejected (REJ)
    Problem Resolution ID REJ.X.0385
    Raised 1970-01-01 08:00
    Updated 2003-03-13 08:00
    Published null
    Product Standard Internationalised System Calls and Libraries Extended (UNIX 95)
    Certification Program The Open Brand certification program
    Test Suite VSU version 4.1.0
    Test Identification base/munmap 2
    Problem Summary PG4U.00082 This IR claims that an improper array index may cause the test to fail on IUTs with less than 8 byte integers.
    Problem Text
    The test fails due to a typo in funmap2.c [line 150]
    the index of adr1[len+1] is multiplied with sizeof(int) and
    the adress pointed N O T to start of second half of page.
    Change the index to adr1[ipgsz/2+1].
    Test Output
    TEST CASE: munmap

    TEST PURPOSE #2
    A successful call to int munmap(void *addr, size_t
    len) shall round len up to the next multiple of the
    page size returned by a call to sysconf(_SC_PAGESIZE).
    PREP: Obtain the system page size by call to
    sysconf(_SC_PAGESIZE)
    PREP: Open a file and initialize it
    PREP: Allocate memory for buffer
    PREP: Now set proper permissions and re-open file
    PREP: Map three pages
    TEST: Unmap half a page
    TEST: Access start of page
    TEST: Access start of second half of page
    ERROR: The length of the unmap was not rounded to the
    nearest multiple of page size
    At offset 8193 (len+1) expected no mapping but was mapped
    2 FAIL

    Review Information

    Review Type TSMA Review
    Start Date null
    Completed null
    Status Complete
    Review Recommendation No Resolution Given
    Review Response
    We recommend this request be refused.

    We agree that there is an error in the test suite. But we do not
    believe the error can cause the failure shown by the journal
    provided on an IUT with less than 8 byte integers (which the
    submitter has stated is the case for this IUT).

    The test creates a 2 page file, then mmap()s it into a 3 page
    memory region. The erroneous adr1[(pgsz/2)+1] references memory
    at the beginning of the third page. This is an invalid access
    since there is no corresponding file memory for that mapped page.
    The IUT should still generate a signal.

    Review Type SA Review
    Start Date null
    Completed null
    Status Complete
    Review Resolution Rejected (REJ)
    Review Conclusion
    This request is refused.

    Problem Reporting System Options:

     

    Back   

Contact the Certification Authority