• Login
    View Item 
    •   Home
    • Office of Sponsored Research (OSR)
    • KAUST Funded Research
    • Publications Acknowledging KAUST Support
    • View Item
    •   Home
    • Office of Sponsored Research (OSR)
    • KAUST Funded Research
    • Publications Acknowledging KAUST Support
    • View Item
    JavaScript is disabled for your browser. Some features of this site may not work without it.

    Browse

    All of KAUSTCommunitiesIssue DateSubmit DateThis CollectionIssue DateSubmit Date

    My Account

    Login

    Quick Links

    Open Access PolicyORCID LibguideTheses and Dissertations LibguideSubmit an Item

    Statistics

    Display statistics

    Scalable conditional induction variables (CIV) analysis

    • CSV
    • RefMan
    • EndNote
    • BibTex
    • RefWorks
    Type
    Conference Paper
    Authors
    Oancea, Cosmin E.
    Rauchwerger, Lawrence
    KAUST Grant Number
    KUS-C1-016-04
    Date
    2015-02
    Permanent link to this record
    http://hdl.handle.net/10754/599556
    
    Metadata
    Show full item record
    Abstract
    Subscripts using induction variables that cannot be expressed as a formula in terms of the enclosing-loop indices appear in the low-level implementation of common programming abstractions such as Alter, or stack operations and pose significant challenges to automatic parallelization. Because the complexity of such induction variables is often due to their conditional evaluation across the iteration space of loops we name them Conditional Induction Variables (CIV). This paper presents a flow-sensitive technique that summarizes both such CIV-based and affine subscripts to program level, using the same representation. Our technique requires no modifications of our dependence tests, which is agnostic to the original shape of the subscripts, and is more powerful than previously reported dependence tests that rely on the pairwise disambiguation of read-write references. We have implemented the CIV analysis in our parallelizing compiler and evaluated its impact on five Fortran benchmarks. We have found that that there are many important loops using CIV subscripts and that our analysis can lead to their scalable parallelization. This in turn has led to the parallelization of the benchmark programs they appear in.
    Citation
    Oancea CE, Rauchwerger L (2015) Scalable conditional induction variables (CIV) analysis. 2015 IEEE/ACM International Symposium on Code Generation and Optimization (CGO). Available: http://dx.doi.org/10.1109/CGO.2015.7054201.
    Sponsors
    This work was supported in part by the Danish Councilfor Strategic Research under contract number 10-092299(HIPERFIT), and by NSF awards CCF 0702765, CNS-0551685, CCF-0833199, CCF-1439145, CCF-1423111, CCF-0830753, IIS-0917266, by DOE awards DE-AC02-06CH11357,DE-NA0002376, B575363, by Samsung, IBM, Intel, and byAward KUS-C1-016-04, made by King Abdullah Universityof Science and Technology (KAUST).
    Publisher
    Institute of Electrical and Electronics Engineers (IEEE)
    Journal
    2015 IEEE/ACM International Symposium on Code Generation and Optimization (CGO)
    DOI
    10.1109/CGO.2015.7054201
    ae974a485f413a2113503eed53cd6c53
    10.1109/CGO.2015.7054201
    Scopus Count
    Collections
    Publications Acknowledging KAUST Support

    entitlement

     
    DSpace software copyright © 2002-2023  DuraSpace
    Quick Guide | Contact Us | KAUST University Library
    Open Repository is a service hosted by 
    Atmire NV
     

    Export search results

    The export option will allow you to export the current search results of the entered query to a file. Different formats are available for download. To export the items, click on the button corresponding with the preferred download format.

    By default, clicking on the export buttons will result in a download of the allowed maximum amount of items. For anonymous users the allowed maximum amount is 50 search results.

    To select a subset of the search results, click "Selective Export" button and make a selection of the items you want to export. The amount of items that can be exported at once is similarly restricted as the full export.

    After making a selection, click one of the export format buttons. The amount of items that will be exported is indicated in the bubble next to export format.