RedLeaf: Isolation and Communication in a Safe Operating System

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:USENIX Symposium on Operating Systems Design and Implementation (14. : 2020 : Online) 14th USENIX Symposium on Operating Systems Design and Implementation (OSDI'20) ; Volume 1 of 2
1. Verfasser: Narayanan, Vikram (VerfasserIn)
Weitere Verfasser: Huang, Tianjiao (VerfasserIn), Detweiler, David (VerfasserIn), Appel, Dan (VerfasserIn), Li, Zhaofeng (VerfasserIn), Zellweger, Gerd (VerfasserIn), Burtsev, Anton (VerfasserIn)
Pages:14
Format: UnknownFormat
Sprache:eng
Veröffentlicht: 2020
Schlagworte:
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Titel Jahr Verfasser
Specification and verification in the field: Applying formal methods to BPF just-in-time compilers in the Linux kernel 2020 Nelson, Luke
Determinizing Crash Behavior with a Verified Snapshot-Consistent Flash Translation Layer 2020 Chang, Yun-Sheng
Caladan: Mitigating Interference at Microsecond Timescales 2020 Fried, Joshua
Performance-Optimal Read-Only Transactions 2020 Lu, Haonan
FlightTracker: Consistency across Read-Optimized Online Stores at Facebook 2020 Shi, Xiao
Serving DNNs like Clockwork: Performance Predictability from the Bottom Up 2020 Gujarati, Arpan
Virtual Consensus in Delos 2020 Balakrishnan, Mahesh
Theseus: an Experiment in Operating System Structure and State Management 2020 Boos, Kevin
Fast RDMA-based Ordered Key-Value Store using Remote Learned Cache 2020 Wei, Xingda
Generalized Sub-Query Fusion for Eliminating Redundant I/O from Big-Data Queries 2020 Sarthi, Partho
Overload Control for ps-scale RPCs with Breakwater 2020 Cho, Inho
AIFM: High-Performance, Application-Integrated Far Memory 2020 Ruan, Zhenyuan
KVell+: Snapshot Isolation without Snapshots 2020 Lepers, Baptiste
Blockene: A High-throughput Blockchain Over Mobile Devices 2020 Satija, Sambhav
Storage Systems are Distributed Systems (So Verify Them That Way!) 2020 Hance, Travis
LinnOS: Predictability on Unpredictable Flash Storage with a Light Neural Network 2020 Hao, Mingzhe
A Simpler and Faster NIC Driver Model for Network Functions 2020 Pirelli, Solal
Toward a Generic Fault Tolerance Technique for Partial Network Partitioning 2020 Alfatafta, Mohammed
PACEMAKER: Avoiding HeART attacks in storage clusters with disk-adaptive redundancy 2020 Kadekodi, Saurabh
Pegasus: Tolerating Skewed Workloads in Distributed Storage with In-Network Coherence Directories 2020 Li, Jialin
Alle Artikel auflisten