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

The Open Brand -- Problem Reporting and Interpretations System

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

Report 0176 Actions

    Problem Report Number 0176
    Submitter's Classification Test Suite problem
    State Resolved
    Resolution Test Suite Deficiency (TSD)
    Problem Resolution ID TSD.X.0176
    Raised 1994-07-14 08:00
    Updated 2003-03-13 08:00
    Published 1994-07-22 08:00
    Product Standard Internationalised System Calls and Libraries (XPG4)
    Certification Program The Open Brand certification program
    Test Suite VSX4 version 4.3.2
    Test Identification ANSI.os/genuts/free 1
    Linked Problem Reports TSD4.125, (in, old, system)
    Problem Summary TSD4.176 This waiver was granted with TSD4.125 under VSX4.2.4, but the failure still occurs under VSX4.3.2. A new TSD is been requested. The strategy in test 1 seems flawed based on the XPG4 and ANSI C specifi...
    Problem Text
    <<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>

    This waiver was granted with TSD4.125 under VSX4.2.4, but the
    failure still occurs under VSX4.3.2. A new TSD is been requested.

    <<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>

    The strategy in test 1 seems flawed based on the XPG4 and ANSI C
    specifications. The basic assumption that the same memory area is
    allocated on the subsequent malloc() after a free(), is not specified
    in XPG4 or ANSI. This assumption would require that an implementation
    follow a specified algorithm for allocation of memory. Since no such
    algorithm is specified by XPG4 or ANSI, the assumption made in the
    test strategy is in error.

    The algorithm/strategy used in our implementation is based on our
    performance analysis and advanced algorithms for memory allocation
    and dispersement. When smaller blocks are free'd, they are coalesced
    into larger blocks, effectively removing the "individuality" of the
    smaller block. Therefore, acquiring the exact same memory region in
    a subsequent malloc is not guaranteed.

    The following test program successfully demonstrates that our
    implementation does indeed make free'd memory "availabe for further
    allocation". Please feel free to review this test program.

    In general, there needs to be a way to test the functionality as
    specified for free(), without infringing on the ability of an
    implementation to utilize unique algorithms for memory allocation.

    <<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>
    Test Output
    <<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>
    /tset/ANSI.os/genuts/free/T.free 1 Failed

    Test Description:
    free() frees the block pointed to by ptr and makes it available for
    further allocation.
    Posix Ref: Component FREE Assertion 8.1-04(A)

    Test Strategy:
    CREATE child process
    CHILD process will
    CALL malloc() to allocate a range of memory sizes
    INITIALISE area of memory last allocated to contain NULL characters
    CALL free() to free the area of memory last allocated
    CALL malloc() to allocate same size of memory as that just freed
    INITIALISE area of memory last allocated to contain non-NULL
    characters
    VERIFY that area of memory previously allocated contains non-NULL
    characters (malloc() re-used freed memory)

    Test Information:
    failed to reuse freed memory for next malloc()

    <<<<<<<<<<<<<<<<<<<<<<<<<<<<<<<>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>>

    Review Information

    Review Type TSMA Review
    Start Date null
    Completed null
    Status Complete
    Review Recommendation No Resolution Given
    Review Response
    It is accepted that this is a test suite fault and it is recommended
    that a waiver be granted because of this test suite deficiency.

    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