Cover Image

SquirrelFS: using the Rust compiler to check file-system crash consistency

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	LeBlanc, Hayley, Taylor, Nathan, Bornholt, James, Chidambaram, Vijay
Format:	Preprint
Published:	2024
Subjects:	Operating Systems
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Ariel OS: An Embedded Rust Operating System for Networked Sensors & Multi-Core Microcontrollers
by: Frank, Elena, et al.
Published: (2025)

Embedded Rust or C Firmware? Lessons from an Industrial Microcontroller Use Case with Ariel OS
by: Thapa, Bipin, et al.
Published: (2026)

treVM: Tiny Rust Embedded Virtual Machines with WASM on Variable Resource-Constrained Hardware
by: Lavandier, Antoine, et al.
Published: (2026)

Asterinas: A Linux ABI-Compatible, Rust-Based Framekernel OS with a Small and Sound TCB
by: Peng, Yuke, et al.
Published: (2025)

Design and Reliability of a User Space Write-Ahead Log in Rust
by: Pellegatti, Vitor K. F., et al.
Published: (2025)

Rusty Linux: Advances in Rust for Linux Kernel Development
by: Panter, Shane K., et al.
Published: (2024)

CrashFixer: A crash resolution agent for the Linux kernel
by: Mathai, Alex, et al.
Published: (2025)

ByteFS: System Support for (CXL-based) Memory-Semantic Solid-State Drives
by: Li, Shaobo, et al.
Published: (2025)

Exact schedulability test for sporadic mixed-criticality real-time systems using antichains and oracles
by: Picard, Simon, et al.
Published: (2024)

Evolution of Android's Permission-based Security Model and Challenges
by: Solanki, Rajendra Kumar, et al.
Published: (2026)

RUISA Operational Ecosystem Architecture
by: AL Mohtar, Mouayad
Published: (2026)

Zero-consistency root emulation for unprivileged container image build
by: Priedhorsky, Reid, et al.
Published: (2024)

Holistic Heterogeneous Scheduling for Autonomous Applications using Fine-grained, Multi-XPU Abstraction
by: Han, Mingcong, et al.
Published: (2025)

Global Scheduling of Weakly-Hard Real-Time Tasks using Job-Level Priority Classes
by: Moyano, V. Gabriel, et al.
Published: (2024)

SoK: Software Compartmentalization
by: Lefeuvre, Hugo, et al.
Published: (2024)

Coach: Exploiting Temporal Patterns for All-Resource Oversubscription in Cloud Platforms
by: Reidys, Benjamin, et al.
Published: (2025)

SwitchFS: Asynchronous Metadata Updates for Distributed Filesystems with In-Network Coordination
by: Xu, Jingwei, et al.
Published: (2024)

VeruSAGE: A Study of Agent-Based Verification for Rust Systems
by: Yang, Chenyuan, et al.
Published: (2025)

A System-Level Dynamic Binary Translator using Automatically-Learned Translation Rules
by: Jiang, Jinhu, et al.
Published: (2024)

Survive the economic downturn: Operating flexibility, productivity, and stock crash
by: Yang Li, et al.
Published: (2024)

Inspection of I/O Operations from System Call Traces using Directly-Follows-Graph
by: Sankaran, Aravind, et al.
Published: (2024)

Adaptive and Efficient Dynamic Memory Management for Hardware Enclaves
by: Dhanraj, Vijay, et al.
Published: (2025)

Non-commutative skew-product extension dynamical systems
by: Crismale, Vitonofrio, et al.
Published: (2024)

The cohomological equation and cyclic cocycles for renormalizable minimal Cantor systems
by: Treviño, Rodrigo
Published: (2024)

Scheduling Analysis of UAV Flight Control Workloads using Raspberry Pi 5 Using PREEMPT_RT Linux
by: Giacomossi, Luiz, et al.
Published: (2026)

Securing Monolithic Kernels using Compartmentalization
by: Lim, Soo Yee, et al.
Published: (2024)

Foreactor: Exploiting Storage I/O Parallelism with Explicit Speculation
by: Hu, Guanzhou, et al.
Published: (2024)

Next4: Snapshots in Ext4 File System
by: Dani, Aditya, et al.
Published: (2024)

numaPTE: Managing Page-Tables and TLBs on NUMA Systems
by: Gao, Bin, et al.
Published: (2024)

LLM as a System Service on Mobile Devices
by: Yin, Wangsong, et al.
Published: (2024)

FRAP: A Flexible Resource Accessing Protocol for Multiprocessor Real-Time Systems
by: Zhao, Shuai, et al.
Published: (2024)

MVVM: Deploy Your AI Agents-Securely, Efficiently, Everywhere
by: Yang, Yiwei, et al.
Published: (2024)

SVFF: An Automated Framework for SR-IOV Virtual Function Management in FPGA Accelerated Virtualized Environments
by: Cirici, Stefano, et al.
Published: (2024)

Interference-free Operating System: A 6 Years' Experience in Mitigating Cross-Core Interference in Linux
by: Deng, Zhaomeng, et al.
Published: (2024)

Nomad: Non-Exclusive Memory Tiering via Transactional Page Migration
by: Xiang, Lingfeng, et al.
Published: (2024)

Squeezy: Rapid VM Memory Reclamation for Serverless Functions
by: Nikolos, Orestis Lagkas, et al.
Published: (2024)

Crash Consistency in DRAM-NVM-Disk Hybrid Storage System
by: Wang, Guoyu, et al.
Published: (2024)

E-Mapper: Energy-Efficient Resource Allocation for Traditional Operating Systems on Heterogeneous Processors
by: Smejkal, Till, et al.
Published: (2024)

Wave: Offloading Resource Management to SmartNIC Cores
by: Humphries, Jack Tigar, et al.
Published: (2024)

Wasm-bpf: Streamlining eBPF Deployment in Cloud Environments with WebAssembly
by: Zheng, Yusheng, et al.
Published: (2024)