|
CS 3510: Advanced Topics in Operating Systems
| Instructor: |
Jack Lange, Associate Professor |
|
Sennott Square, Office #5407
|
|
jacklange@cs.pitt.edu
|
| Office Hours: |
Tues. 2:30-4:30PM |
|
| Lectures: |
Mon/Weds 11:00 - 12:15 PM |
| Room: |
Sennott Square, Rm. 6516 |
|
Announcements
- Timothy Roscoe's guide for reviewing systems papers (pdf)
Grading
- 50% Project
- 25% Presentations
- 15% Paper reviews
- 10% Discussion
Schedule
| Date |
Paper |
Presenter |
| Mon. 8/26 |
Introduction |
J. Lange |
| Weds, 8/28 |
The Case of the Missing Supercomputer Performance |
J. Lange |
| Mon, 9/2 |
No Class |
|
| Weds, 9/4 |
Experiences with a Lightweight Supercomputer Kernel: Lessons Learned from Blue Gene's CNK |
B. Whitehead |
| Mon, 9/9 |
The Design, Deployment, and Evaluation of the CORAL Pre-Exascale Systems
|
D. Schetley |
| Weds, 9/11 |
Siena: Exploring the Design Space of Heterogeneous Memory Systems |
N. Ackerman |
| Mon, 9/16 |
GPU Triggered Networking for Intra-Kernel Communications |
D. Schetley |
| Weds, 9/18 |
LITE Kernel RDMA Support for Datacenter Applications |
N. Gordon |
| Mon, 9/23 |
MANA for MPI: MPI-Agnostic Network-Agnostic Transparent Checkpointing |
E. Karageorgos |
| Weds, 9/25 |
Process-in-Process: Techniques for Practical Address-Space Sharing |
Y. Guo |
| Mon, 9/30 |
Singularity: Scientific containers for mobility of compute |
R. Singh |
| Weds, 10/2 |
My VM is Lighter (and Safer) than your Container |
N. Ackerman |
| Mon, 10/7 |
Taming Performance Variability
Multi-Level Analysis of Compiler-Induced Variability and Performance Tradeoffs |
A. Zigerelli
N. Gordon |
| Weds, 10/9 |
Multi-Level Analysis of Compiler-Induced Variability and Performance Tradeoffs
Taming Performance Variability |
N. Gordon
A. Zigerelli |
| Mon, 10/14 |
An Analysis of Network-Partitioning Failures in Cloud Systems |
E. Karageorgos |
| Weds, 10/16 |
MittOS: Supporting Millisecond Tail Tolerance with Fast Rejecting SLO-Aware OS Interface |
B. Whitehead |
| Mon, 10/21 |
Existential Consistency: Measuring and Understanding Consistency at Facebook |
M. Boby |
| Weds, 10/23 |
In Search of an Understandable Consensus Algorithm |
R. Singh |
| Mon, 10/28 |
Graviton: Trusted Execution Environments on GPUs |
A. Zigerelli |
| Weds, 10/30 |
SCONE: Secure Linux Containers with Intel SGX |
Y. Guo |
| Mon, 11/4 |
The Multikernel: A new OS architecture for scalable multicore systems |
N. Ackerman |
| Weds, 11/6 |
LegoOS: A Disseminated, Distributed OS for Hardware Resource Disaggregation |
R. Singh |
| Mon, 11/11 |
EbbRT: A Framework for Building Per-Application Library Operating Systems |
B. Whitehead |
| Weds, 11/13 |
Xen and the Art of Virtualization |
M Boby |
| Mon, 11/18 |
NEVE: Nested Virtualization Extensions for ARM |
E. Karageorgos |
| Weds, 11/20 |
The Turtles Project: Design and Implementation of Nested Virtualization |
N. Gordon |
| Mon, 11/25 |
No Class |
|
| Weds, 11/27 |
No Class |
|
| Mon, 12/2 |
The benefits and costs of writing a POSIX kernel in a high-level language |
A. Zigerelli |
| Weds, 12/4 |
Final Presentations |
Disability Resources and Services
If you have a disability for which you are or may be requesting an accommodation, you are encouraged to contact the instructor and Disability Resources and Services, 216 William Pitt Union, 412-648-7890 or 412-383-7355 (TTY), as early as possible in the term.
|