On improving the ease of use of the software transactional memory abstraction
type: Dataset
description: Multicore architectures are changing the way we write programs. Writing concurrent programs is well known to be difficult task. Traditionally, the use of locks allowing code to execute in mutual exclusion has been the most widely used abstraction to write concurrent programs. Unfortunately, using locks it is difficult to write correct concurrent programs that perform efficiently. Additionally, locks present other problems such as scalability issues. Transactional memory has been proposed as a possible promising solution to these difficulties of writing concurrent programs. Transactions can be viewed as a high level abstraction or methodology for writing concurrent programs, allowing the programmer to be able to declare what sections of his code should be executed atomically, without having to worry about synchronization details. Unfortunately, although arguably easier to use then locks, transactional memory still suffers from performance and ease of use problems. In fact many concepts surrounding the usage and semantics of transactions have no widely agreed upon standards. This thesis specifically focuses on these ease of use problems by discussing how previous research has dealt with them and proposing new solutions putting ease of use first. The thesis starts with a chapter giving a brief overview of software transactional memory (STM) as well as a discussion of the problem of ease of use that is focused on in the later chapters. The research contributions are then divided into four main chapters, each looking at different approaches working towards making transactional memory easier to use.
landing page: https://theses.hal.science/tel-00861274
identifier: NNT: 2013REN1S022
keyword: concurrent-programming
keyword: data-structures
keyword: infoeu-reposemanticsdoctoralthesis
keyword: infoinfo-ohcomputer-science-csother-csoh
keyword: memoire-transactionnelle-logicielle
keyword: programmation-concurrente
keyword: software-transactional-memory
keyword: stm
keyword: structures-de-donnees
keyword: theses
issued: 2026-05-09T18:35:29.543500
modified: 2026-05-09T18:35:29.543505
language: en
contact point: Organization
  fn: CCSD

test_moissonnage_selune
type: Agent

On improving the ease of use of the software transactional memory abstraction
type: Distribution
format: HTML
access URL: https://theses.hal.science/tel-00861274
issued: 2026-05-09T18:35:29.544924
modified: 2026-05-09T18:35:29.532840