Determinizing Crash Behavior with a Verified Snapshot-Consistent Flash Translation Layer

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: Chang, Yun-Sheng (VerfasserIn)
Weitere Verfasser: Hsiao, Yao (VerfasserIn), Lin, Tzu-Chi (VerfasserIn), Tsao, Che-Wei (VerfasserIn), Wu, Chun-Feng (VerfasserIn), Chang, Yuan-Hao (VerfasserIn), Ko, Hsiang-Shang (VerfasserIn), Chen, Yu-Fang (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
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
Heterogeneity-Aware Cluster Scheduling Policies for Deep Learning Workloads 2020 Narayanan, Deepak
A Unified Architecture for Accelerating Distributed DNN Training in Heterogeneous GPU/CPU Clusters 2020 Jiang, Yimin
HiveD: Sharing a GPU Cluster for Deep Learning with Guarantees 2020 Zhao, Hanyu
AntMan: Dynamic Scaling on GPU Clusters for Deep Learning 2020 Xiao, Wencong
Write Dependency Disentanglement with Horak 2020 Liao, Xiaojian
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
Alle Artikel auflisten