An efficient approach to achieve compositionality using optimized multi-version object based transactional systems

DOI10.1016/J.IC.2021.104696OpenAlexW3123748638MaRDI QIDQ2139092FDOQ2139092

Authors Chirag Juyal, Sandeep S. Kulkarni, Sweta Kumari, Sathya Peri, Archit Somani

Publication date 17 May 2022

Published in Information and Computation (Search for Journal in Brave)

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

zbMATH Keywords

listkeyscompositionalityopacityhash-tablelazyrb-listmulti-versionobject based software transactional memory systemsoptimized

Mathematics Subject Classification ID

Theory of computing (68Qxx)

Recommendations

• A transactional object calculus
• Transactional Reduction of Component Compositions
• Transaction management in n-version programmed database systems

Cites work

• scientific article; zbMATH DE number 2006660 (Why is no real title available?)
• Non-interference and local correctness in transactional memory
• SMV: selective multi-versioning STM
• The serializability of concurrent database updates
• Versioned boxes as the basis for memory transactions

Cited in

(2)

• scientific article; zbMATH DE number 1983227 (Why is no real title available?)
• Achieving starvation-freedom with greater concurrency in multi-version object-based transactional memory systems

Describes a project that uses

Uses Software

• NOrec

This page was built for publication: An efficient approach to achieve compositionality using optimized multi-version object based transactional systems

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