COMPILE-TIME DATA DEPENDENCY VERIFICATION

    公开(公告)号:CA2240584C

    公开(公告)日:2002-02-12

    申请号:CA2240584

    申请日:1998-06-12

    Applicant: IBM CANADA

    Abstract: A compiler extension for the compile-time verification of programmer-defined data dependencies. The compiler extension provides for a check statement which takes as an argument a data-verification expression. The data-verification expression has a predetermined value when the programmer-defined data dependency is conformed to in the program. A compile - time error is generated if the data-verification expression does not have the predetermine d value on the compilation of the check statement. The successful compilation of the check statement does not result in run-time code or run-time data allocation occurring.

    METHOD FOR HEAP MANAGEMENT OF FIXED SIZED OBJECTS USING PAGES

    公开(公告)号:CA2212354C

    公开(公告)日:2000-07-11

    申请号:CA2212354

    申请日:1997-07-31

    Applicant: IBM CANADA

    Abstract: A method for managing storage for allocation and de-allocation requests of fixed size data objects. Fixed size data objects are allocated and de-allocated from a page list comprising a pool of memory pages and each page includes a reserved area for storing object information in common to all the objects in that page. A pool of pages, i.e. page list, is provided for each specific object size. A recycle page list is also provided for recycling pages in which all the objects have been returned.

    COMPILE-TIME DATA DEPENDENCY VERIFICATION

    公开(公告)号:CA2240584A1

    公开(公告)日:1999-12-12

    申请号:CA2240584

    申请日:1998-06-12

    Applicant: IBM CANADA

    Abstract: A compiler extension for the compile-time verification of programmer-defined data dependencies. The compiler extension provides for a check statement which takes as an argument a data-verification expression. The data-verification expression has a predetermined value when the programmer-defined data dependency is conformed to in the program. A compiletime error is generated if the data-verification expression does not have the predetermined value on the compilation of the check statement. The successful compilation of the check statement does not result in run-time code or run-time data allocation occurring.

Patent Agency Ranking