Topic
Transactional memory
About: Transactional memory is a research topic. Over the lifetime, 2365 publications have been published within this topic receiving 60818 citations.
Papers published on a yearly basis
Papers
More filters
Posted Content•
TL;DR: Open Transactional Memory (OTM) is presented, a programming abstraction supporting safe, data-driven interactions between composable memory transactions, by relaxing isolation between transactions, still ensuring atomicity.
Abstract: Software Transactional memory (STM) is an emerging abstraction for concurrent programming alternative to lock-based synchronizations. Most STM models admit only isolated transactions, which are not adequate in multithreaded programming where transactions need to interact via shared data before committing. To overcome this limitation, in this paper we present Open Transactional Memory (OTM), a programming abstraction supporting safe, data-driven interactions between composable memory transactions. This is achieved by relaxing isolation between transactions, still ensuring atomicity. This model allows for loosely-coupled interactions since transaction merging is driven only by accesses to shared data, with no need to specify participants beforehand.
01 Jan 2011
TL;DR: PNTM demonstrates a new concurrent programming model, providing explicit concurrency among cooperative transactions with correctness, that integrates a special Petri net and transactional memory and improves the performance of transactions by decreasing the rate of conflicts.
Abstract: PNTM demonstrates a new concurrent programming model, providing explicit concurrency among cooperative transactions with correctness. It integrates a special Petri net and transactional memory, and improves the performance of transactions by decreasing the rate of conflicts. The GUI part of PNTM environment is based on PNK [1], the compiler is a modified GJC [2], and the runtime is based on DSTM2 [3].
15 Oct 2013
TL;DR: This paper describes how the concept of monads was used to implement CMTJava, a Domains Specific Language (DSL) for composable memory transactions in Java.
Abstract: This paper describes how the concept of monads was used to implement CMTJava, a Domains Specific Language (DSL) for composable memory transactions in Java. Furthermore, the paper also proposes DCMTJava, a DSL that supports transactions using distributed objects.
Patent•
12 Oct 2016TL;DR: In this article, the authors present a method and an apparatus for implementing virtual machine introspection, so as to resolve a problem that a VMI system cannot accurately perform security check on in-memory data in a VM.
Abstract: The present invention relates to the field of information technologies and discloses a method and an apparatus for implementing virtual machine introspection, so as to resolve a problem that a VMI system cannot accurately perform security check on in-memory data in a VM The method provided in the present invention may specifically include: determining to-be-checked data in a virtual machine; starting to read the to-be-checked data, saving a copy of the read to-be-checked data, and storing a storage address of the read to-be-checked data in a hardware transactional memory, so that the hardware transactional memory is capable of monitoring the read to-be-checked data according to the storage address; when it is detected that the read to-be-checked data is modified, stopping reading the to-be-checked data, and deleting the copy; and when reading the to-be-checked data is completed and it is not detected that the read to-be-checked data is modified, performing security check on the copy The method can be applied to virtual machine introspection