Probabilistic Dangling References of Imperative and Object-Oriented Multi-Core Programs

Authors

Mohamed A. El-Zawawy, College of Computer and Information Sciences, Al Imam Mohammad Ibn Saud Islamic University (IMSIU), Riyadh, Kingdom of Saudi Arabia.\\ Department of Mathematics, Faculty of Science, Cairo University, Giza 12613, Egypt.Follow

Author Country (or Countries)

Egypt.

Abstract

Speculative optimizers of modern compilers are designed on techniques for probabilistic static analyses of programs. For imperative and object-oriented multi-core programs, this paper focuses on the problem of revealing probabilistic dangling references. This important problem is treated in this paper via type systems. Besides being simply structured, the type systems provide suitable frameworks for proof-carrying code applications. One class of such applications is that ofmobile codes having limited resources.Using the proposed technique, each analysis case is supported by a correctness proof in the form of a type derivation. Most important concurrent constructs such as fork-join constructs, conditionally spawned cores, and parallel loops are treated in this paper. This is done for both of imperative and objectoriented parallel programs. The paper proves the soundness of presented techniques using a probabilistic operational semantics for the language models.

Recommended Citation

A. El-Zawawy, Mohamed (2015) "Probabilistic Dangling References of Imperative and Object-Oriented Multi-Core Programs," Applied Mathematics & Information Sciences: Vol. 09: Iss. 5, Article 60.
Available at: https://digitalcommons.aaru.edu.jo/amis/vol09/iss5/60