Главная
Study mode:
on
You
History
Saved
In progress 0 courses
compleat 0 courses
#Art & Design #Adobe #ChatGPT #GitHub

#OSDI (Operating Systems Design and Implementation)

Showing: 73 courses
Anyscale

Dynamic Scheduling for Large Language Model Serving

0 rewiews
Discover how Llumnix optimizes large language model serving through dynamic request scheduling, cross-instance defragmentation, and innovative KV cache migration techniques for improved performance.
Add to list
1 Lesons
32 minutes
On-Demand
Free-Video
USENIX

Immortal Threads - Multithreaded Event-driven Intermittent Computing on Ultra-Low-Power Microcontrollers

0 rewiews
Explore a novel programming model for intermittent computing on ultra-low-power microcontrollers, enabling efficient multithreaded processing and event handling with minimal progress loss during power failures.
Add to list
11 Lesons
15 minutes
On-Demand
Free-Video
USENIX

SparTA - Deep-Learning Model Sparsity via Tensor-with-Sparsity-Attribute

0 rewiews
Explores deep learning model sparsity via Tensor-with-Sparsity-Attribute, enabling efficient sparse models across various patterns and optimization techniques, delivering significant speedups compared to state-of-the-art solutions.
Add to list
18 Lesons
16 minutes
On-Demand
Free-Video
USENIX

Carbink - Fault-Tolerant Far Memory

0 rewiews
Fault-tolerant far memory system using erasure-coding and remote memory compaction for efficient datacenter applications, offering improved latency and performance over existing solutions.
Add to list
10 Lesons
15 minutes
On-Demand
Free-Video
USENIX

CAP-VMs - Capability-Based Isolation and Sharing in the Cloud

0 rewiews
Explore capability-based isolation and efficient data sharing in cloud environments using cVMs, a novel VM-like abstraction leveraging memory capabilities for enhanced security and performance.
Add to list
15 Lesons
14 minutes
On-Demand
Free-Video
USENIX

Orca - A Distributed Serving System for Transformer-Based Generative Models

0 rewiews
Explore Orca, a distributed serving system for transformer-based generative models, featuring iteration-level scheduling and selective batching to enhance performance and efficiency in large-scale language model inference.
Add to list
10 Lesons
16 minutes
On-Demand
Free-Video
USENIX

MemLiner - Lining up Tracing and Application for a Far-Memory-Friendly Runtime

0 rewiews
MemLiner: Runtime technique improving far-memory systems by aligning application and garbage collection memory accesses, reducing local-memory working set and enhancing remote-memory prefetching for better performance.
Add to list
18 Lesons
17 minutes
On-Demand
Free-Video
USENIX

Owl - Scale and Flexibility in Distribution of Hot Content

0 rewiews
Explore Owl, Meta's high-scale content distribution system combining centralized control with peer-to-peer data transfer, offering improved speed and flexibility over traditional methods.
Add to list
17 Lesons
16 minutes
On-Demand
Free-Video
USENIX

Unity - Accelerating DNN Training Through Joint Optimization of Algebraic Transformations and Parallelization

0 rewiews
Explore Unity, a system optimizing distributed DNN training through joint algebraic transformations and parallelization. Learn about its unified parallel computation graph and hierarchical search algorithm for improved performance.
Add to list
9 Lesons
16 minutes
On-Demand
Free-Video
USENIX

Metastable Failures in the Wild

0 rewiews
Explores metastable failures in distributed systems, analyzing real-world incidents to categorize triggers and amplification mechanisms, aiding understanding and potential solutions for this prevalent issue.
Add to list
12 Lesons
16 minutes
On-Demand
Free-Video
USENIX

KSplit - Automating Device Driver Isolation

0 rewiews
Automating device driver isolation to protect kernels from vulnerabilities, using CPU extensions for low-overhead implementation and advanced analyses to identify shared state and synchronization requirements.
Add to list
23 Lesons
18 minutes
On-Demand
Free-Video
USENIX

ROLLER - Fast and Efficient Tensor Compilation for Deep Learning

0 rewiews
Introduces ROLLER, a fast tensor compilation approach for deep learning using rTile abstraction and recursive construction, generating efficient kernels in seconds for various accelerators.
Add to list
11 Lesons
15 minutes
On-Demand
Free-Video
USENIX

Verifying Hardware Security Modules with Information-Preserving Refinement

0 rewiews
Explore Knox, a framework for building verified hardware security modules (HSMs) that eliminates bugs and side channels through formal verification and information-preserving refinement.
Add to list
15 Lesons
17 minutes
On-Demand
Free-Video
USENIX

Addra - Metadata-Private Voice Communication Over Fully Untrusted Infrastructure

0 rewiews
Innovative system for metadata-private voice communication, scaling to 32K users with low latency. Utilizes untrusted infrastructure and novel mailbox assignment, improving on existing solutions for secure communication.
Add to list
9 Lesons
15 minutes
On-Demand
Free-Video
USENIX

Beyond Malloc Efficiency to Fleet Efficiency - A Hugepage-Aware Memory Allocator

0 rewiews
Explore TEMERAIRE, a hugepage-aware memory allocator enhancing TCMALLOC to reduce CPU overheads, improve application performance, and optimize fleet efficiency in warehouse-scale computing.
Add to list
24 Lesons
14 minutes
On-Demand
Free-Video
USENIX

Oort - Efficient Federated Learning via Guided Participant Selection

0 rewiews
Efficient federated learning system that improves model training and testing by intelligently selecting participants based on data utility and device capabilities, enhancing accuracy and performance.
Add to list
14 Lesons
16 minutes
On-Demand
Free-Video
USENIX

PET - Optimizing Tensor Programs with Partially Equivalent Transformations and Automated Corrections

0 rewiews
Optimizing tensor programs with partially equivalent transformations, improving DNN efficiency by up to 2.5×. Introduces PET framework for automated corrections and theoretical foundations for equivalence examination.
Add to list
13 Lesons
15 minutes
On-Demand
Free-Video
USENIX

Rearchitecting Linux Storage Stack for µs Latency and High Throughput

0 rewiews
Explore a novel Linux kernel storage stack architecture achieving microsecond-scale latency and high throughput, adapting network switch techniques for improved performance without application modifications.
Add to list
13 Lesons
15 minutes
On-Demand
Free-Video
USENIX

Scalable Memory Protection in the PENGLAI Enclave

0 rewiews
Innovative hardware-software design for scalable, dynamic secure memory in enclaves, featuring Guarded Page Tables and Mountable Merkle Trees to enhance protection, performance, and resource utilization.
Add to list
17 Lesons
14 minutes
On-Demand
Free-Video
USENIX

MAGE - Nearly Zero-Cost Virtual Memory for Secure Computation

0 rewiews
MAGE: An execution engine for secure computation, enabling efficient processing of large-scale encrypted data by leveraging oblivious memory access patterns to optimize virtual memory management.
Add to list
18 Lesons
15 minutes
On-Demand
Free-Video
USENIX

The nanoPU - A Nanosecond Network Stack for Datacenters

0 rewiews
Innovative NIC-CPU co-design accelerating datacenter applications with μs-scale RPCs. Features fast network-to-CPU path, hardware-supported transport and load balancing, achieving 69ns wire-to-wire response time and improved performance.
Add to list
7 Lesons
15 minutes
On-Demand
Free-Video
USENIX

Privacy Budget Scheduling

0 rewiews
Explores privacy budget scheduling in machine learning, introducing PrivateKube for managing differential privacy as a resource. Presents DPF algorithm for fair allocation of non-replenishable privacy budgets in ML workloads.
Add to list
17 Lesons
14 minutes
On-Demand
Free-Video
USENIX

Pollux - Co-adaptive Cluster Scheduling for Goodput-Optimized Deep Learning

0 rewiews
Innovative deep learning cluster scheduler optimizing resource allocation and job performance through adaptive co-optimization, resulting in reduced completion times and improved fairness among competing jobs.
Add to list
19 Lesons
14 minutes
On-Demand
Free-Video
USENIX

Finding Consensus Bugs in Ethereum via Multi-transaction Differential Fuzzing

0 rewiews
Explore multi-transaction differential fuzzing for detecting Ethereum consensus bugs, improving security and reliability in blockchain networks.
Add to list
16 Lesons
15 minutes
On-Demand
Free-Video
USENIX

Distributed Deep Graph Learning at Scale

0 rewiews
Explores a novel system for scaling Graph Neural Network training to large real-world graphs, introducing pipelined push-pull parallelism for faster and more efficient distributed processing.
Add to list
6 Lesons
14 minutes
On-Demand
Free-Video
USENIX

Dorylus - Affordable, Scalable, and Accurate GNN Training with Distributed CPU Servers and Serverless Threads

0 rewiews
Distributed system for training Graph Neural Networks using serverless computing, offering affordable scalability for billion-edge graphs with improved performance-per-dollar compared to GPU servers.
Add to list
27 Lesons
15 minutes
On-Demand
Free-Video
USENIX

GoJournal - A Verified, Concurrent, Crash-Safe Journaling System

0 rewiews
Explore GoJournal, a verified concurrent journaling system for storage applications. Learn about its implementation, performance, and the challenges overcome in its development and verification process.
Add to list
25 Lesons
14 minutes
On-Demand
Free-Video
USENIX

SANRAZOR - Reducing Redundant Sanitizer Checks in C-C++ Programs

0 rewiews
Optimizing sanitizer performance in C/C++ programs by identifying and removing redundant checks, reducing runtime overhead while maintaining bug detection capabilities.
Add to list
16 Lesons
14 minutes
On-Demand
Free-Video
USENIX

Zeph - Cryptographic Enforcement of End-to-End Data Privacy

0 rewiews
Cryptographic system for enforcing user-defined privacy policies in real-time data analytics, ensuring compliance and protection against breaches while maintaining scalability and low latency.
Add to list
16 Lesons
15 minutes
On-Demand
Free-Video
USENIX

Cobra - Making Transactional Key-Value Stores Verifiably Serializable

0 rewiews
Explore techniques for verifying serializability in transactional key-value stores, focusing on Cobra's innovative approach to handling real-world workloads and improving verification efficiency.
Add to list
21 Lesons
18 minutes
On-Demand
Free-Video
USENIX

Fast RDMA-based Ordered Key-Value Store Using Remote Learned Cache

0 rewiews
Explores XSTORE, an RDMA-based key-value store using machine learning models as cache for tree-based indexes, improving performance and scalability while efficiently handling dynamic workloads and reducing client-side memory usage.
Add to list
20 Lesons
19 minutes
On-Demand
Free-Video
USENIX

Semeru - A Memory-Disaggregated Managed Runtime

0 rewiews
Innovative distributed JVM for memory-disaggregated environments, featuring a universal Java heap, distributed garbage collection, and efficient swap system to enhance managed cloud application performance.
Add to list
14 Lesons
18 minutes
On-Demand
Free-Video
USENIX

Thunderbolt - Throughput-Optimized, Quality-of-Service-Aware Power Capping at Scale

0 rewiews
Explore power capping in data centers with Thunderbolt, a system optimizing throughput and quality of service. Learn about hardware-agnostic solutions for safe power oversubscription and task-level QoS differentiation.
Add to list
15 Lesons
20 minutes
On-Demand
Free-Video
USENIX

Twine - A Unified Cluster Management System for Shared Infrastructure

0 rewiews
Explore Facebook's Twine, a unified cluster management system for shared infrastructure, scaling to manage one million machines across data centers with innovative approaches to workload customization and resource allocation.
Add to list
24 Lesons
19 minutes
On-Demand
Free-Video
USENIX

AntMan - Dynamic Scaling on GPU Cluster for Deep Learning

0 rewiews
Dynamic scaling system for efficient GPU utilization in deep learning, improving memory and computation usage without compromising fairness or performance in large-scale clusters.
Add to list
13 Lesons
18 minutes
On-Demand
Free-Video
USENIX

Blockene - A High-throughput Blockchain Over Mobile Devices

0 rewiews
Innovative blockchain system enabling smartphone participation in validation and consensus, offering high throughput and scalability while minimizing resource usage through a novel split-trust design.
Add to list
8 Lesons
19 minutes
On-Demand
Free-Video
USENIX

GraphX - Graph Processing in a Distributed Dataflow Framework

0 rewiews
Explore GraphX, a graph processing framework built on Apache Spark, offering performance comparable to specialized systems while enabling broader computational capabilities and fault tolerance.
Add to list
13 Lesons
26 minutes
On-Demand
Free-Video
USENIX

Theseus - An Experiment in Operating System Structure and State Management

0 rewiews
Redesigning OS modularity using Rust, Theseus reduces inter-component state dependencies, enabling live evolution and fault recovery for core components beyond existing systems.
Add to list
14 Lesons
20 minutes
On-Demand
Free-Video
USENIX

RedLeaf - Isolation and Communication in a Safe Operating System

0 rewiews
Explore RedLeaf, a Rust-based OS leveraging language safety for fine-grained isolation. Learn about innovative approaches to fault isolation, driver recovery, and performance in operating system design.
Add to list
24 Lesons
22 minutes
On-Demand
Free-Video
USENIX

Microsecond Consensus for Microsecond Applications

0 rewiews
Innovative consensus protocol leveraging RDMA for microsecond-scale replication and rapid fail-over in latency-sensitive applications, significantly outperforming existing systems.
Add to list
15 Lesons
20 minutes
On-Demand
Free-Video
USENIX

KungFu - Making Training in Distributed Machine Learning Adaptive

0 rewiews
KungFu: adaptive distributed machine learning library for TensorFlow. Enables real-time parameter tuning using high-level policies, efficient monitoring, and asynchronous communication for improved training performance.
Add to list
17 Lesons
20 minutes
On-Demand
Free-Video
USENIX

Caladan - Mitigating Interference at Microsecond Timescales

0 rewiews
Explore a new CPU scheduler that achieves better quality of service through fast core allocation, outperforming resource partitioning systems in managing microsecond-scale interference between tasks.
Add to list
19 Lesons
20 minutes
On-Demand
Free-Video
USENIX

PANIC - A High-Performance Programmable NIC for Multi-tenant Networks

0 rewiews
Explores Frenzy, a novel programmable NIC design with high-performance switching interconnect and hybrid push/pull packet scheduler, addressing limitations in multi-tenant networks and diverse offloads.
Add to list
18 Lesons
20 minutes
On-Demand
Free-Video
USENIX

AIFM - High-Performance, Application-Integrated Far Memory

0 rewiews
Explore AIFM, a high-performance system enabling efficient use of remote memory in datacenters. Learn about its API, runtime, and benefits for applications facing memory constraints.
Add to list
21 Lesons
20 minutes
On-Demand
Free-Video
USENIX

Ansor - Generating High-Performance Tensor Programs for Deep Learning

0 rewiews
Ansor: A framework for generating high-performance tensor programs in deep learning, improving execution speed across various hardware platforms through innovative search strategies and optimization techniques.
Add to list
17 Lesons
20 minutes
On-Demand
Free-Video
USENIX

Tolerating Slowdowns in Replicated State Machines Using Copilots

0 rewiews
Innovative consensus protocol for replicated state machines that maintains normal latency despite slowdown of any single replica, using pilot and copilot for redundancy and fast takeovers.
Add to list
20 Lesons
20 minutes
On-Demand
Free-Video
USENIX

LinnOS - Predictability on Unpredictable Flash Storage with a Light Neural Network

0 rewiews
Explore LinnOS, an OS using neural networks to predict SSD performance, enhancing storage application efficiency and outperforming industrial mechanisms with minimal overhead.
Add to list
6 Lesons
20 minutes
On-Demand
Free-Video
USENIX

Performance-Optimal Read-Only Transactions

0 rewiews
Explores performance-optimal read-only transactions in distributed storage systems, introducing PORT design with version clocks for improved consistency and efficiency in applications like Scylla-PORT and Eiger-PORT.
Add to list
20 Lesons
20 minutes
On-Demand
Free-Video
USENIX

Overload Control for µs-scale RPCs with Breakwater

0 rewiews
Overload control scheme for microsecond-scale RPCs, using server-driven admission control with credits based on queueing delay. Employs demand speculation and piggybacking to optimize performance.
Add to list
24 Lesons
20 minutes
On-Demand
Free-Video
USENIX

Serving DNNs like Clockwork - Performance Predictability from the Bottom Up

0 rewiews
Explore a novel approach to machine learning inference systems that achieves predictable end-to-end performance, supporting thousands of models while meeting strict latency targets and request-level SLOs.
Add to list
6 Lesons
20 minutes
On-Demand
Free-Video
USENIX

Efficiently Mitigating Transient Execution Attacks Using the Unmapped Speculation Contract

0 rewiews
Explores efficient mitigation of transient execution attacks using the unmapped speculation contract, presenting Ward kernel design for improved performance without compromising security.
Add to list
19 Lesons
20 minutes
On-Demand
Free-Video
USENIX

Heterogeneity-Aware Cluster Scheduling Policies for Deep Learning Workloads

0 rewiews
Explores heterogeneity-aware scheduling for deep learning workloads, introducing Gavel to optimize resource allocation in clusters with diverse accelerators, improving efficiency and performance.
Add to list
20 Lesons
20 minutes
On-Demand
Free-Video
USENIX

Scaling Distributed Machine Learning with the Parameter Server

0 rewiews
Explore a framework for distributed machine learning using parameter servers, enabling scalable processing of petabyte-scale data with billions of examples and parameters across various algorithms.
Add to list
1 Lesons
24 minutes
On-Demand
Free-Video
USENIX

Design and Verification of the Arm Confidential Compute Architecture

0 rewiews
Explores Realms, a new confidential computing abstraction protecting data privacy in virtual machines. Introduces novel verification techniques for secure firmware in complex, concurrent systems.
Add to list
1 Lesons
19 minutes
On-Demand
Free-Video
USENIX

BlockFlex - Enabling Storage Harvesting with Software-Defined Flash in Modern Cloud Platforms

0 rewiews
Explore BlockFlex, a learning-based framework for efficient storage harvesting in cloud platforms, enabling fine-grained resource utilization while ensuring performance and security isolation.
Add to list
1 Lesons
16 minutes
On-Demand
Free-Video
USENIX

Alpa - Automating Inter- and Intra-Operator Parallelism for Distributed Deep Learning

0 rewiews
Automating model-parallel training for large deep learning models through a hierarchical approach, unifying data, operator, and pipeline parallelism for efficient distributed execution.
Add to list
1 Lesons
18 minutes
On-Demand
Free-Video
USENIX

BlackBox - A Container Security Monitor for Protecting Containers on Untrusted Operating Systems

0 rewiews
Innovative container security architecture using a trusted monitor to protect data confidentiality and integrity from untrusted operating systems, with minimal performance impact.
Add to list
15 Lesons
16 minutes
On-Demand
Free-Video
USENIX

Tiger - Disk-Adaptive Redundancy Without Placement Restrictions

0 rewiews
Innovative storage system that tailors redundancy to disk failure rates, offering space savings and improved robustness without placement constraints. Introduces eclectic striping for efficient data management.
Add to list
1 Lesons
16 minutes
On-Demand
Free-Video
USENIX

Microsecond-scale Preemption for Concurrent GPU-accelerated DNN Inferences

0 rewiews
Innovative GPU scheduling system enabling microsecond-scale preemption for DNN inferences, improving real-time task latency and overall throughput in intelligent applications like autonomous driving and virtual reality.
Add to list
1 Lesons
16 minutes
On-Demand
Free-Video
USENIX

ListDB - Union of Write-Ahead Logs and Persistent SkipLists for Incremental Checkpointing on Persistent Memory

0 rewiews
Explore innovative techniques for optimizing key-value stores on non-volatile main memory, addressing write stalls and improving performance through novel data structures and compaction methods.
Add to list
1 Lesons
15 minutes
On-Demand
Free-Video
USENIX

zIO - Accelerating IO-Intensive Applications with Transparent Zero-Copy IO

0 rewiews
Explore zIO, a transparent zero-copy IO mechanism that enhances performance of IO-intensive applications by eliminating unnecessary data copies and optimizing data consistency management.
Add to list
1 Lesons
16 minutes
On-Demand
Free-Video
USENIX

XRP - In-Kernel Storage Functions with eBPF

0 rewiews
Explore XRP, a framework enabling user-defined storage functions in the NVMe driver using eBPF, bypassing kernel overhead for improved throughput and latency in microsecond-scale storage devices.
Add to list
1 Lesons
15 minutes
On-Demand
Free-Video
USENIX

NrOS - Effective Replication and Sharing in an Operating System

0 rewiews
Explores NrOS, a novel OS kernel using node replication for improved scalability and simplified development, outperforming Linux while maintaining sequential kernel simplicity.
Add to list
1 Lesons
15 minutes
On-Demand
Free-Video
USENIX

Optimizing Storage Performance with Calibrated Interrupts

0 rewiews
Innovative approach to optimize storage device performance by allowing software to specify latency-sensitive requests, enabling devices to calibrate interrupts and balance latency and throughput effectively.
Add to list
1 Lesons
15 minutes
On-Demand
Free-Video
USENIX

CLP - Efficient and Scalable Search on Compressed Text Logs

0 rewiews
Innovative tool for lossless log compression with fast search capabilities, outperforming existing solutions in compression ratio, search speed, and ingestion performance for petabyte-scale log management.
Add to list
1 Lesons
15 minutes
On-Demand
Free-Video
USENIX

STORM - Refinement Types for Secure Web Applications

0 rewiews
STORM: A web framework for building MVC applications with compile-time enforcement of security policies, reducing trusted code to under 1% and providing static security enforcement with minimal overhead.
Add to list
1 Lesons
15 minutes
On-Demand
Free-Video
USENIX

Generalized Sub-Query Fusion for Eliminating Redundant I-O from Big-Data Queries

0 rewiews
Explores RESIN optimizer extension for SQL queries, introducing Generalized Sub-Query Fusion to eliminate redundant I/O and improve performance in big-data analytics, with significant speedups demonstrated on TPCDS benchmark.
Add to list
1 Lesons
19 minutes
On-Demand
Free-Video
USENIX

A Tensor Compiler Approach for One-size-fits-all ML Prediction Serving

0 rewiews
Innovative tensor compiler approach for efficient ML model scoring, simplifying infrastructure and leveraging neural network compilers for CPU and GPU acceleration.
Add to list
1 Lesons
20 minutes
On-Demand
Free-Video
USENIX

Virtual Consensus in Delos

0 rewiews
Explores virtualizing consensus in replicated systems, enabling dynamic protocol changes without downtime. Introduces VirtualLog and Loglets for simplified, diverse, and composable consensus implementations, showcasing benefits in the Delos database.
Add to list
15 Lesons
18 minutes
On-Demand
Free-Video
USENIX

Rammer - Enabling Holistic Deep Learning Compiler Optimizations with rTasks

0 rewiews
Optimizing DNN computation on hardware accelerators through novel abstractions and holistic scheduling, achieving significant performance improvements over existing compilers and libraries.
Add to list
1 Lesons
17 minutes
On-Demand
Free-Video
USENIX

Testing Database Engines via Pivoted Query Synthesis

0 rewiews
Innovative approach to detect logic bugs in database systems using Pivoted Query Synthesis, demonstrating high effectiveness in finding and fixing issues in major DBMSs.
Add to list
1 Lesons
20 minutes
On-Demand
Free-Video
USENIX

Assise - Performance and Availability via NVM Colocation in a Distributed File System

0 rewiews
Explores a novel distributed file system leveraging persistent memory modules for enhanced IO performance, rapid failover, and strong consistency, outperforming traditional remote storage models.
Add to list
1 Lesons
21 minutes
On-Demand
Free-Video
USENIX

Gauntlet - Finding Bugs in Compilers for Programmable Packet Processing

0 rewiews
Explores techniques for detecting bugs in P4 compilers, presenting Gauntlet tool that found 96 new bugs across platforms, leading to fixes and P4 specification changes.
Add to list
1 Lesons
20 minutes
On-Demand
Free-Video