Extracting permission-based specifications from a sequential Java program

Ayesha Sadiq, Yuan-Fang Li, Sea Ling, Ijaz Ahmad

    Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

    1 Citation (Scopus)

    Abstract

    It is expected that muti-core systems will become the dominant computing platform in the next few years. However, the current programming models (such as Java, .Net etc.) do not scale well to exploit the computing power of such multi-core systems. In primitive programming paradigms there exist implicit dependencies between code and program states, and compilers cannot exploit the potential concurrency present in the program unless the programmer introduces concurrency manually using multi-threading, which is prone to errors such as race conditions and deadlocks. The goal of this research is to help programmers achieve concurrency without mastering the intricacies of this domain. We propose a formal technique and a high-level algorithm to extract implicit dependencies from a sequential Java program in the form of access permission rights. The proposed technique performs static analysis of the source code on a modular basis. The inferred permissions can potentially be used by runtime engines such as Java Virtual Machine (JVM) to automatically parallelize sequential programs on multi-core systems and to reason about concurrency.
    Original languageEnglish
    Title of host publication21st International Conference on Engineering of Complex Computer Systems (ICECCS 2016)
    Subtitle of host publicationDubai, United Arab Emirates, 6-8 November 2016, Proceedings
    EditorsHai Wang, Mounir Mokhtari
    Place of PublicationLos Alamitos, CA
    PublisherIEEE Computer Society
    Pages215-218
    Number of pages4
    ISBN (Electronic)9781509055272
    ISBN (Print)9781509055265
    DOIs
    Publication statusPublished - 12 Jan 2017
    EventIEEE International Conference on Engineering of Complex Computer Systems 2016 - Dubai, United Arab Emirates
    Duration: 6 Nov 20168 Nov 2016
    Conference number: 21st

    Conference

    ConferenceIEEE International Conference on Engineering of Complex Computer Systems 2016
    Abbreviated titleICECCS 2016
    CountryUnited Arab Emirates
    CityDubai
    Period6/11/168/11/16

    Keywords

    • Access permissions
    • Static analysis
    • Concurrency
    • Permission inference

    Cite this

    Sadiq, A., Li, Y-F., Ling, S., & Ahmad, I. (2017). Extracting permission-based specifications from a sequential Java program. In H. Wang, & M. Mokhtari (Eds.), 21st International Conference on Engineering of Complex Computer Systems (ICECCS 2016): Dubai, United Arab Emirates, 6-8 November 2016, Proceedings (pp. 215-218). [7816590] IEEE Computer Society. https://doi.org/10.1109/ICECCS.2016.037