Calculating statically maximum log memory used by multi-threaded transactional programs

DOI10.1007/978-3-319-46750-4_6MaRDI QIDQ3179394zbMATH OpenOpenAlexDBLPWikidataFDO

Authors Anh-Hoang Truong, Ngoc-Khai Nguyen, Dang Van Hung, Duc-Hanh Dang

Publication date 21 December 2016

Published in Theoretical Aspects of Computing – ICTAC 2016 (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-319-46750-4_6

zbMATH Keywords

memory boundstatic analysistransactional memory

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• Static Analysis Via Abstract Interpretation of the Happens-Before Memory Model
• scientific article; zbMATH DE number 1834570
• scientific article; zbMATH DE number 7075928
• Multithreaded transactions in scientific computing. The GROWTH06\_v2 program
• A shared-variable concurrency analysis of multi-threaded object-oriented programs

Cites work

• A transactional object calculus
• A type system for counting instances of software components
• Automatic Static Cost Analysis for Parallel Programs
• Mechanical program analysis
• Recursion and dynamic data-structures in bounded space: towards embedded ML programming
• Static Analysis
• Static prediction of heap space usage for first-order functional programs

This page was built for publication: Calculating statically maximum log memory used by multi-threaded transactional programs

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