Operating System Transactions

No abstract is available for this paper.

• Publication year

  2009

• Venue

  Symposium on Operating Systems Principles

• Publication date

  2009-10-11

• Fields of study

  Computer Science

• Identifiers
  DOI 10.1145/1629575.1629591
• 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
• Exploiting Unix File-System Races via Algorithmic Complexity Attacks

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

  2009influential reference
• xCalls: safe I/O in memory transactions

  2009cited by this paper
• Transactional boosting: a methodology for highly-concurrent transactional objects

  2008cited by this paper
• Parallelizing security checks on commodity hardware

  2008cited by this paper
• STAMP: Stanford Transactional Applications for Multi-Processing

  2008cited by this paper
• Portably Preventing File Race Attacks with User-Mode Path Resolution IBM Research

  2008cited by this paper
• Portably Solving File TOCTTOU Races with Hardness Amplification

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

  2007influential reference
• Sinfonia: a new paradigm for building scalable distributed systems

  2007cited by this paper
• Transactional Memory

  2007cited by this paper
• An effective hybrid transactional memory system with strong isolation guarantees

  2007cited by this paper
• Some thoughts on security after ten years of qmail 1.0

  2007cited by this paper
• Optimistic parallelism requires abstractions

  2007cited by this paper
• MetaTM/TxLinux: Transactional Memory for an Operating System

  2007influential reference
• AutoBash: improving configuration management with operating system causality analysis

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

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

  2006influential reference
• Hybrid transactional memory

  2006cited by this paper
• Stasis: flexible transactional storage

  2006influential reference
• Transactional Locking II

  2006influential reference
• Supporting nested transactional memory in logTM

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

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

  2005influential reference
• A Transactional Flash File System for Microcontrollers

  2005cited by this paper
• Deconstructing transactions: The subtleties of atomicity

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

  2005cited by this paper
• Exploiting deferred destruction: an analysis of read-copy-update techniques in operating system kernels

  2004influential reference
• Fixing Races for Fun and Profit: How to Use access(2)

  2004cited by this paper
• Transactional memory coherence and consistency

  2004influential reference
• Software transactional memory for dynamic-sized data structures

  2003cited by this paper
• The Google file system

  2003cited by this paper
• Dynamic Detection and Prevention of Race Conditions in File Accesses

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

  2002cited by this paper
• Simics: A Full System Simulation Platform

  2002cited by this paper
• The Design and Implementation of the Database File System

  2001cited by this paper
• I and i

  2001cited by this paper
• RaceGuard: Kernel Protection From Temporary File Race Vulnerabilities

  2001cited by this paper
• OdeFS: A File System Interface to an Object-Oriented Database

  1994cited by this paper
• Transaction support in a log-structured file system

  1993cited by this paper
• The Design and Implementation of the Inversion File System

  1993cited by this paper
• Transaction Processing: Concepts and Techniques

  1992cited by this paper
• Experience with transactions in QuickSilver

  1991influential reference
• Linearizability: a correctness condition for concurrent objects

  1990cited by this paper
• Skip lists: a probabilistic alternative to balanced trees

  1989cited by this paper
• Recovery management in QuickSilver

  1988influential reference
• Implementation of Argus

  1987cited by this paper
• Distributed transactions for reliable systems

  1985influential reference
• Transactions and synchronization in a distributed operating system

  1985cited by this paper
• Operating Systems, An Advanced Course

  1978cited by this paper
• Notes on Data Base Operating Systems

  1978cited by this paper

• Fork, Explore, Commit: OS Primitives for Agentic Exploration

  2026cites this paper
• CheriMore: On-Demand Vertical Memory Expansion for Capability Serverless Runtime

  2026cites this paper
• A Secure, Fast, and Resource-Efficient Serverless Platform with Function REWIND

  2024cites this paper
• MemSnap μCheckpoints: A Data Single Level Store for Fearless Persistence

  2024cites this paper
• The Hitchhiker's Guide to Operating Systems

  2023cites this paper
• Defense and Attack Techniques Against File-Based TOCTOU Vulnerabilities: A Systematic Review

  2022influential citation
• Unsafe at Any Copy: Name Collisions from Mixing Case Sensitivities

  2022cites this paper
• Efficient Crash Consistency for NVMe over PCIe and RDMA

  2022cites this paper
• Stackable Transactional File System Using Kernel-Level WAL

  2022cites this paper
• HTMFS: Strong Consistency Comes for Free with Hardware Transactional Memory in Persistent Memory File Systems

  2022cites this paper
• Verifying Filesystems for Abstract Separation Logic-based Program Verification in the ACL 2 Theorem Prover by Mihir

  2021cites this paper
• Crash Consistent Non-Volatile Memory Express

  2021cites this paper
• A FaaS File System for Serverless Computing

  2020influential citation
• The Case for Custom Storage Backends in Distributed Storage Systems

  2020cites this paper
• File systems unfit as distributed storage backends: lessons from 10 years of Ceph evolution

  2019cites this paper
• Broad-based side-channel defenses for modern microprocessors

  2019cites this paper
• TxFS

  2019cites this paper
• Deferred Runtime Pipelining for contentious multicore software transactions

  2019cites this paper
• LDJ

  2019cites this paper
• Safe Asynchronous System Calls - extended abstract

  2018cites this paper
• The Full Path to Full-Path Indexing

  2018cites this paper
• When Good Turns Evil: Using Intel SGX to Stealthily Steal Bitcoins

  2018cites this paper
• Efficient Directory Mutations in a Full-Path-Indexed File System

  2018cites this paper
• From Crash Consistency to Transactions

  2017cites this paper
• Automated Detection, Exploitation, and Elimination of Double-Fetch Bugs using Modern CPU Features

  2017cites this paper
• The Advantages of a Transactional Interface : Porting Applications to TxFS

  2017cites this paper
• Isotope

  2017cites this paper
• Isolation in cloud storage

  2017cites this paper
• Application Crash Consistency and Performance with CCFS

  2017cites this paper
• Isotope: Transactional Isolation for Block Storage

  2016cites this paper
• Implementing a parallel world model using Linux containers for efficient system administration ( Paper )

  2016cites this paper
• Specifying and Checking File System Crash-Consistency Models

  2016cites this paper
• Failure-Atomic Persistent Memory Updates via JUSTDO Logging

  2016cites this paper
• Crash consistency validation made easy

  2016cites this paper
• Building a Reliable Storage Stack

  2016cites this paper
• Extending the applicability of deterministic multithreading

  2016cites this paper
• A study of modern Linux API usage and compatibility: what to support when you're supporting

  2016cites this paper
• In-memory write-ahead logging for mobile smart devices with NVRAM

  2015cites this paper
• Safe Exception Handling with Transactional Memory

  2015cites this paper
• Raccoon: Closing Digital Side-Channels through Obfuscated Execution

  2015cites this paper
• Fixing Races For Good: Portable and Reliable UNIX File-System Race Detection

  2015cites this paper
• Failure-Atomic Updates of Application Data in a Linux File System

  2015cites this paper
• Transactional IPC in Fiasco . OC Can we get the multicore case verified for free ?

  2015cites this paper
• You Shouldn't Collect My Secrets: Thwarting Sensitive Keystroke Leakage in Mobile IME Apps

  2015cites this paper
• Self-tuning Intel Restricted Transactional Memory

  2015cites this paper
• Orderless and Eventually Durable File Systems

  2015cites this paper
• Lightweight Application-Level Crash Consistency on Transactional Flash Storage

  2015influential citation
• Journaling of journal is (almost) free

  2014cites this paper
• Application-Defined Decentralized Access Control

  2014cites this paper
• Consistent Online Backup in Transactional File Systems

  2014cites this paper
• JIGSAW: Protecting Resource Access by Inferring Programmer Expectations

  2014influential citation
• Code profiling and optimization in transactional memory systems

  2014cites this paper
• Rosie -a Recovery-oriented Security System Rosie -a Recovery-oriented Security System

  2013cites this paper
• Virtualize Storage, Not Disks

  2013cites this paper
• Failure-atomic msync(): a simple and efficient mechanism for preserving the integrity of durable data

  2013cites this paper
• Building workload-independent storage with VT-trees

  2013cites this paper
• Transaction-Based Process Crash Recovery of File System Namespace Modules

  2013cites this paper
• Fine-grained fault tolerance using device checkpoints

  2013cites this paper
• TM-dietlibc: A TM-aware Real-World System Library

  2013cites this paper
• Implementation and evaluation of consistent online backup in transactional file systems

  2013cites this paper
• Rethinking web platform extensibility

  2013cites this paper
• Finding and Tolerating Concurrency Bugs

  2013cites this paper
• ROSIE - A RECOVERY-ORIENTED SECURITY SYSTEM

  2013cites this paper
• Understanding and Improving Device Access Complexity

  2013cites this paper
• TROPIC: Transactional Resource Orchestration Platform in the Cloud

  2012influential citation
• Runtime verification of kernel-level concurrency using compiler-based instrumentation

  2012cites this paper
• Efficient, scalable, and versatile application and system transaction management for direct storage layers

  2012influential citation
• Improving server applications with system transactions

  2012cites this paper
• Applying transactional memory to concurrency bugs

  2012cites this paper
• Speculative Execution Across Layers

  2012cites this paper
• Holographic vulnerability studies: vulnerabilities as fractures in interpretation as information flows across abstraction boundaries

  2012cites this paper
• Automated cloud resource orchestration

  2012cites this paper
• Semantics, Performance and Language Support for Transactional Memory

  2012cites this paper
• From Tuples to Files: a Fast Transactional System Store and File System

  2012cites this paper
• Architectural techniques for memory oversight in multiprocessors

  2011cites this paper
• Millisecond Rollbacks to Recover from Software Failures

  2011cites this paper
• Recovery techniques to improve file system reliability

  2011cites this paper
• Generalized Construction of Scalable Concurrent Data Structures via Relativistic Programming

  2011cites this paper
• Suporte Transaccional para o Sistema de Ficheiros Btrfs

  2011cites this paper
• Pervasive detection of process races in deployed systems

  2011cites this paper
• Ensuring operating system kernel integrity with OSck

  2011influential citation
• Beyond block I/O: Rethinking traditional storage primitives

  2011cites this paper
• Operating system support for application-specific speculation

  2011cites this paper
• Cloud Resource Orchestration: A Data-Centric Approach

  2011cites this paper
• Atomic Boxes: Coordinated Exception Handling with Transactional Memory

  2011cites this paper
• TxBox: Building Secure, Efficient Sandboxes with System Transactions

  2011cites this paper
• Transcript : Speculative Execution of Untrusted JavaScript Code

  2011cites this paper
• Position Paper: The Case for JavaScript Transactions

  2010cites this paper
• The case for JavaScript transactions: position paper

  2010cites this paper
• Supporting Application-Specific Speculation with Competitive Parallel Execution

  2010cites this paper
• Intrusion Recovery Using Selective Re-execution Citation

  2010cites this paper
• Copy On Write Based File Systems Performance Analysis And Implementation

  2010cites this paper
• Efficient system-enforced deterministic parallelism

  2010influential citation
• Transactional system calls on Linux

  2010cites this paper
• Intrusion Recovery Using Selective Re-execution

  2010cites this paper
• On-line consistent backup in transactional file systems

  2010cites this paper
• Transactional Memory, 2nd edition

  2010cites this paper
• Modeling and preventing TOCTTOU vulnerabilities in Unix-style file systems

  2010cites this paper
• Mechanisms for unbounded, conflict-robust hardware transactional memory

  2010cites this paper
• Understanding transactional memory performance

  2010cites this paper