Operating Systems Should Provide Transactions

No abstract is available for this paper.

• Publication year

  2009

• Venue

  USENIX Workshop on Hot Topics in Operating Systems

• Publication date

  2009-05-18

• Fields of study

  Computer Science

• Identifiers

  No identifiers available.

• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• Transactional memory

  2010cited by this paper
• Committing conflicting transactions in an STM

  2009cited by this paper
• Enabling Transactional File Access via Lightweight Kernel Extensions

  2009cited by this paper
• Operating System Transactions

  2009cited by this paper
• xCalls: safe I/O in memory transactions

  2009cited by this paper
• Single global lock semantics in a weakly atomic STM

  2008influential reference
• Portably Solving File TOCTTOU Races with Hardness Amplification

  2008influential reference
• Transactional boosting: a methodology for highly-concurrent transactional objects

  2008cited by this paper
• Corey: An Operating System for Many Cores

  2008influential reference
• Transactional Memory

  2007cited by this paper
• Solving Difficult HTM Problems Without Difficult Hardware

  2007cited by this paper
• Sinfonia: a new paradigm for building scalable distributed systems

  2007cited by this paper
• TxLinux: using and managing hardware transactional memory in an operating system

  2007cited by this paper
• AutoBash: improving configuration management with operating system causality analysis

  2007cited by this paper
• Extending ACID semantics to the file system

  2007cited by this paper
• Enforcing isolation and ordering in STM

  2007cited by this paper
• Lowering the Overhead of Nonblocking Software Transactional Memory

  2006cited by this paper
• Extending Hardware Transactional Memory to Support Non-busy Waiting and Non-transactional Actions

  2006cited by this paper
• Stasis: flexible transactional storage

  2006cited by this paper
• SafeDrive: safe and recoverable extensions using language-based techniques

  2006cited by this paper
• LogTM: log-based transactional memory

  2006cited by this paper
• Supporting nested transactional memory in logTM

  2006cited by this paper
• Hybrid transactional memory

  2006cited by this paper
• Transactional Locking II

  2006cited by this paper
• Compiler and runtime support for efficient software transactional memory

  2006cited by this paper
• Rethink the sync

  2006cited by this paper
• Speculative execution in a distributed file system

  2005influential reference
• Rx: treating bugs as allergies---a safe method to survive software failures

  2005cited by this paper
• Hardware Acceleration of Software Transactional Memory

  2005cited by this paper
• Fixing Races for Fun and Profit: How to Abuse atime

  2005cited by this paper
• Fixing Races for Fun and Profit: How to Use access(2)

  2004cited by this paper
• Model Checking One Million Lines of C Code

  2004cited by this paper
• Recovering device drivers

  2004cited by this paper
• Transactional memory coherence and consistency

  2004cited by this paper
• Software transactional memory for dynamic-sized data structures

  2003cited by this paper
• Transactional lock-free execution of lock-based programs

  2002cited by this paper
• I and i

  2001cited by this paper
• Understanding the Linux Kernel

  2000cited by this paper
• Checking for Race Conditions in File Accesses

  1996cited by this paper
• Dealing with disaster: surviving misbehaved kernel extensions

  1996cited by this paper
• Lightweight recoverable virtual memory

  1993cited by this paper
• Transactional Memory: Architectural Support For Lock-free Data Structures

  1993cited by this paper
• Experience with transactions in QuickSilver

  1991influential reference
• Recovery management in QuickSilver

  1988cited by this paper
• Distributed programming in Argus

  1988cited by this paper
• Implementation of Argus

  1987cited by this paper
• Transactions and synchronization in a distributed operating system

  1985cited by this paper
• Distributed transactions for reliable systems

  1985influential reference
• Notes on Data Base Operating Systems

  1978cited by this paper

• Contention Management Policy in Software Transactional Memory in Parallel and Distributed Systems

  2014cites this paper
• Transactional system calls on Linux

  2010cites this paper
• Transactional Memory, 2nd edition

  2010cites this paper