Flexible scheduling of transactional memory on trees

C Busch, BS Chlebus, M Herlihy, M Popovic… - Theoretical Computer …, 2023 - Elsevier
We study the efficiency of executing transactions in a distributed transactional memory
system. The system is modeled as a static network with the topology of a tree. Contrary to …

Last-use opacity: a strong safety property for transactional memory with prerelease support

K Siek, PT Wojciechowski - Proceedings of the 2024 ACM Workshop on …, 2024 - dl.acm.org
Transaction Memory (TM) is a concurrency control abstraction that allows the programmer to
specify blocks of code to be executed atomically as transactions. However, since …

Investigating the semantics of futures in transactional memory systems

J Zeng, S Issa, P Romano, L Rodrigues… - Proceedings of the 26th …, 2021 - dl.acm.org
This paper investigates the problem of integrating two powerful abstractions for concurrent
programming, namely futures and transactional memory. Our focus is on specifying the …

Brief announcement: Relaxing opacity in pessimistic transactional memory

K Siek, PT Wojciechowski - DISC, 2014 - Springer
Since in the Transactional Memory (TM) abstraction transactional code can contain any
operation (rather than just reads and writes), greater attention must be paid to the state of …

Obstruction-Free Distributed Transactional Memory

J Ramos, AR Du Bois, G Cavalheiro - Proceedings of the XXVII Brazilian …, 2023 - dl.acm.org
Transactional Memory (TM) is a high-level concurrency abstraction that has been
investigated in different architectures including distributed systems. In Distributed Software …

Atomic RMI 2: Highly parallel pessimistic distributed transactional memory

K Siek, PT Wojciechowski - arXiv preprint arXiv:1606.03928, 2016 - arxiv.org
Distributed Transactional Memory (DTM) is an emerging approach to distributed
synchronization based on the application of the transaction abstraction to distributed …

[PDF][PDF] Specifying and Verifying Persistent Transactional Memory

EV Bila - 2023 - openresearch.surrey.ac.uk
Persistent memory is a novel memory paradigm that retains its contents even in the event of
power loss. It is widely expected to become ubiquitous, and hardware architectures are …

A call center system based on Expert systems for the acquisition of agricultural knowledge transferred from text-to-speech in China

Y Dong, Z Fu, S Stankovski, Y Peng… - The Computer Journal, 2021 - academic.oup.com
There is rich knowledge in expert systems that can be used to solve practical problems, but
its promotion and application must rely on information facilities. The application of both …

Hybrid transactional replication: State-machine and deferred-update replication combined

T Kobus, M Kokociński… - IEEE Transactions on …, 2018 - ieeexplore.ieee.org
We propose Hybrid Transactional Replication (HTR), a novel replication scheme for highly
dependable services. It combines two schemes: a transaction is executed either …

Helenos: A realistic benchmark for distributed transactional memory

P Kobyliński, K Siek, J Baranowski… - Software: Practice …, 2018 - Wiley Online Library
Transactional memory (TM) is an approach to concurrency control that aims to make writing
parallel programs both effective and simple. The approach has been initially proposed for …