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

Recommendations

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

zbMATH Keywords

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

Mathematics Subject Classification ID

Theory of computing (68Qxx)

Cites Work

• The serializability of concurrent database updates
• Non-interference and local correctness in transactional memory
• Title not available (Why is that?)
• SMV: selective multi-versioning STM
• Versioned boxes as the basis for memory transactions

Cited In (1)

• Title not available (Why is that?)

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)