Dead code elimination based pointer analysis for multithreaded programs

DOI10.1016/J.JOEMS.2011.12.011MaRDI QIDQ1939745zbMATH OpenOpenAlexFDO

Authors Mohamed A. El-Zawawy

Publication date 5 March 2013

Published in Journal of the Egyptian Mathematical Society (Search for Journal in Brave)

Copyright license Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International

Full work available at URL https://arxiv.org/abs/1212.5089

zbMATH Keywords

flow-sensitive pointer analysis of multithreaded programsmultitheaded programs with pointer constructs

Mathematics Subject Classification ID

Theory of programming languages (68N15)

Abstract: This paper presents a new approach for optimizing multitheaded programs with pointer constructs. The approach has applications in the area of certified code (proof-carrying code) where a justification or a proof for the correctness of each optimization is required. The optimization meant here is that of dead code elimination. Towards optimizing multithreaded programs the paper presents a new operational semantics for parallel constructs like join-fork constructs, parallel loops, and conditionally spawned threads. The paper also presents a novel type system for flow-sensitive pointer analysis of multithreaded programs. This type system is extended to obtain a new type system for live-variables analysis of multithreaded programs. The live-variables type system is extended to build the third novel type system, proposed in this paper, which carries the optimization of dead code elimination. The justification mentioned above takes the form of type derivation in our approach.

Recommendations

• Scientific article; zbMATH DE number 1834570
• Eliminating partially dead code in explicitly parallel programs
• Program and proof optimizations with type systems
• A shared-variable concurrency analysis of multi-threaded object-oriented programs
• Context-Bounded Analysis of Multithreaded Programs with Dynamic Linked Structures

Cites work

• scientific article; zbMATH DE number 1948399 (Why is no real title available?)
• scientific article; zbMATH DE number 1953280 (Why is no real title available?)
• An axiomatic basis for computer programming
• From flow logic to static type systems for coordination languages
• Program and proof optimizations with type systems
• Programming Languages and Systems
• Semi-sparse flow-sensitive pointer analysis
• Simple relational correctness proofs for static analyses and program transformations
• Type systems equivalent to data-flow analyses for imperative languages

Cited in

(2)

• scientific article; zbMATH DE number 1301731 (Why is no real title available?)
• Eliminating dead code on recursive data.

This page was built for publication: Dead code elimination based pointer analysis for multithreaded programs

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1939745)