ECE5658M10.Reading History
Hide minor edits - Show changes to output
Changed lines 95-96 from:
*X. Chen et.al, "[[Attach:overshadow.pdf|Overshadow: A Virtualization-Based Approach to Retrofitting Protection in Commodity Operating Systems]]", ASPLOS, 2008. http://csl.skku.edu/images/asterix_red.gif
* J. Stoess et. al, "[[Attach:stoess.pdf|Energy Management for Hypervisor-Based Virtual Machines]]", USENIX, 2007. http://csl.skku.edu/images/asterix_red.gif
* J. Stoess et
to:
*X. Chen et al., "[[Attach:overshadow.pdf|Overshadow: A Virtualization-Based Approach to Retrofitting Protection in Commodity Operating Systems]]", ASPLOS, 2008. http://csl.skku.edu/images/asterix_red.gif
* J. Stoess et al., "[[Attach:stoess.pdf|Energy Management for Hypervisor-Based Virtual Machines]]", USENIX, 2007. http://csl.skku.edu/images/asterix_red.gif
* J. Stoess et al., "[[Attach:stoess.pdf|Energy Management for Hypervisor-Based Virtual Machines]]", USENIX, 2007. http://csl.skku.edu/images/asterix_red.gif
Changed lines 23-24 from:
* Tom Anderson, "[[Attach:scheduler-activation.pdf|Scheduler Activations: Effective Kernel
Support for the User-Level Management of Parallelism]]", ACM TOCS 1992
Support for the User-Level Management of Parallelism]]", ACM TOCS 1992
to:
* Tom Anderson, "[[Attach:scheduler-activation.pdf|Scheduler Activations: Effective Kernel Support for the User-Level Management of Parallelism]]", ACM TOCS 1992
Changed line 23 from:
* Tom Anderson, "[[Attach:scheduler-activation|Scheduler Activations: Effective Kernel
to:
* Tom Anderson, "[[Attach:scheduler-activation.pdf|Scheduler Activations: Effective Kernel
Changed lines 23-24 from:
* J. Ousterhout, "[[Attach:whythreads.pdf|Why Threads Are A Bad Idea (for most purposes)]]"
to:
* Tom Anderson, "[[Attach:scheduler-activation|Scheduler Activations: Effective Kernel
Support for the User-Level Management of Parallelism]]", ACM TOCS 1992
* J. Ousterhout, "[[Attach:whythreads.pdf|Why Threads Are A Bad Idea (for most purposes)]]", talk slide
Support for the User-Level Management of Parallelism]]", ACM TOCS 1992
* J. Ousterhout, "[[Attach:whythreads.pdf|Why Threads Are A Bad Idea (for most purposes)]]", talk slide
Changed lines 5-6 from:
%rframe%''Papers marked with http://csl.skku.edu/images/asterix_red.gif will be presented by students. You should submit evaluations for those papers before each class.''\\
to:
%rframe%''Papers marked with http://csl.skku.edu/images/asterix_red.gif will be presented by students. You should submit evaluations for those papers before each class.''
'' ''
'' ''
Changed lines 5-7 from:
%rframe%''Papers marked with http://csl.skku.edu/images/asterix_red.gif will be presented by students. You should submit evaluations for those papers before each class.''
[[<<]]\\
[[<<]]
to:
%rframe%''Papers marked with http://csl.skku.edu/images/asterix_red.gif will be presented by students. You should submit evaluations for those papers before each class.''\\
Changed lines 5-6 from:
%rframe%''Papers marked with will be presented by students.
You should submit evaluations for those papers before each class.''
You
to:
%rframe%''Papers marked with http://csl.skku.edu/images/asterix_red.gif will be presented by students. You should submit evaluations for those papers before each class.''
Changed line 5 from:
%frame%''Papers marked with will be presented by students. \\
to:
%rframe%''Papers marked with will be presented by students.
Changed lines 5-6 from:
%frame%''Papers marked with will be presented by students. You should submit evaluations for those papers before each class.''
to:
%frame%''Papers marked with will be presented by students. \\
You should submit evaluations for those papers before each class.''
You should submit evaluations for those papers before each class.''
Changed line 5 from:
%frame%''Papers marked with http://csl.skku.edu/images/asterix_red.gif will be presented by students. You should submit evaluations for those papers before each class.''
to:
%frame%''Papers marked with will be presented by students. You should submit evaluations for those papers before each class.''
Added lines 4-10:
[[<<]]\\
%frame%''Papers marked with http://csl.skku.edu/images/asterix_red.gif will be presented by students. You should submit evaluations for those papers before each class.''
Changed line 17 from:
* M. Welsh, "[[Attach:SEDA|SEDA: Events are Best]]", SOSP, 2001. http://csl.skku.edu/images/asterix_red.gif
to:
* M. Welsh, "[[Attach:SEDA.pdf|SEDA: An Architecture for Well-Conditioned, Scalable Internet Services]]", SOSP, 2001. http://csl.skku.edu/images/asterix_red.gif
Changed lines 17-20 from:
* M. Welsh, "[[Attach:SEDA|SEDA: Events are Best]]", SOSP 2001. http://csl.skku.edu/images/asterix_red.gif
* R. Behren, "[[Attach:Capriccio.pdf|Capriccio: Scalable Threads for Internet Services]]", SOSP 2003. http://csl.skku.edu/images/asterix_red.gif
* R. Behren, "[[Attach:Capriccio.pdf|Capriccio: Scalable Threads for Internet Services]]", SOSP 2003. http://csl.skku.edu/images/asterix_red.gif
to:
* M. Welsh, "[[Attach:SEDA|SEDA: Events are Best]]", SOSP, 2001. http://csl.skku.edu/images/asterix_red.gif
* R. Behren, "[[Attach:Capriccio.pdf|Capriccio: Scalable Threads for Internet Services]]", SOSP, 2003. http://csl.skku.edu/images/asterix_red.gif
* R. Behren, "[[Attach:Capriccio.pdf|Capriccio: Scalable Threads for Internet Services]]", SOSP, 2003. http://csl.skku.edu/images/asterix_red.gif
Changed lines 42-47 from:
* O. Laadan, "[[Attach:laadan.pdf|Transparent Checkpoint-Restart of Multiple Processes on Commodity Operating Systems]]", USENIX 2007. http://csl.skku.edu/images/asterix_red.gif
* R. Teodorescu, "[[Attach:teodorescu.pdf|Variation-Aware Application Scheduling and Power Management for Chip Multiprocessor]]", ISCA 2008. http://csl.skku.edu/images/asterix_red.gif
* D. Porter, et. al, "[[Attach:porter.pdf|Operating Systems Transactions]]", SOSP 2009. http://csl.skku.edu/images/asterix_red.gif
* R. Teodorescu, "[[Attach:teodorescu.pdf|Variation-Aware Application Scheduling and Power Management for Chip Multiprocessor]]", ISCA 2008. http://csl.skku.edu/images/asterix_red.gif
* D. Porter, et. al, "[[Attach:porter.pdf|Operating Systems Transactions]]", SOSP 2009. http://csl.skku.edu/images/asterix_red.gif
to:
* O. Laadan, "[[Attach:laadan.pdf|Transparent Checkpoint-Restart of Multiple Processes on Commodity Operating Systems]]", USENIX, 2007. http://csl.skku.edu/images/asterix_red.gif
* R. Teodorescu, "[[Attach:teodorescu.pdf|Variation-Aware Application Scheduling and Power Management for Chip Multiprocessor]]", ISCA, 2008. http://csl.skku.edu/images/asterix_red.gif
* D. Porter, et. al, "[[Attach:porter.pdf|Operating Systems Transactions]]", SOSP, 2009. http://csl.skku.edu/images/asterix_red.gif
* R. Teodorescu, "[[Attach:teodorescu.pdf|Variation-Aware Application Scheduling and Power Management for Chip Multiprocessor]]", ISCA, 2008. http://csl.skku.edu/images/asterix_red.gif
* D. Porter, et. al, "[[Attach:porter.pdf|Operating Systems Transactions]]", SOSP, 2009. http://csl.skku.edu/images/asterix_red.gif
Changed lines 80-82 from:
* C. Waldspurger, "[[Attach:esx-mem-osdi02.pdf|Memory Resource Management in VMware ESX Server]]", OSDI 2002. http://csl.skku.edu/images/asterix_red.gif
*X. Chen et.al, "[[Attach:overshadow.pdf|Overshadow: A Virtualization-Based Approach to Retrofitting Protection in Commodity Operating Systems]]", ASPLOS 2008. http://csl.skku.edu/images/asterix_red.gif
* J. Stoess et. al, "[[Attach:stoess.pdf|Energy Management for Hypervisor-Based Virtual Machines]]", USENIX 2007. http://csl.skku.edu/images/asterix_red.gif
*X. Chen et.al, "[[Attach:overshadow.pdf|Overshadow: A Virtualization-Based Approach to Retrofitting Protection in Commodity Operating Systems]]", ASPLOS 2008. http://csl.skku.edu/images/asterix_red.gif
* J. Stoess et. al, "[[Attach:stoess.pdf|Energy Management for Hypervisor-Based Virtual Machines]]", USENIX 2007. http://csl.skku.edu/images/asterix_red.gif
to:
* C. Waldspurger, "[[Attach:esx-mem-osdi02.pdf|Memory Resource Management in VMware ESX Server]]", OSDI, 2002. http://csl.skku.edu/images/asterix_red.gif
*X. Chen et.al, "[[Attach:overshadow.pdf|Overshadow: A Virtualization-Based Approach to Retrofitting Protection in Commodity Operating Systems]]", ASPLOS, 2008. http://csl.skku.edu/images/asterix_red.gif
* J. Stoess et. al, "[[Attach:stoess.pdf|Energy Management for Hypervisor-Based Virtual Machines]]", USENIX, 2007. http://csl.skku.edu/images/asterix_red.gif
*X. Chen et.al, "[[Attach:overshadow.pdf|Overshadow: A Virtualization-Based Approach to Retrofitting Protection in Commodity Operating Systems]]", ASPLOS, 2008. http://csl.skku.edu/images/asterix_red.gif
* J. Stoess et. al, "[[Attach:stoess.pdf|Energy Management for Hypervisor-Based Virtual Machines]]", USENIX, 2007. http://csl.skku.edu/images/asterix_red.gif
Added lines 40-47:
!!! Reliability and Safety
* O. Laadan, "[[Attach:laadan.pdf|Transparent Checkpoint-Restart of Multiple Processes on Commodity Operating Systems]]", USENIX 2007. http://csl.skku.edu/images/asterix_red.gif
* R. Teodorescu, "[[Attach:teodorescu.pdf|Variation-Aware Application Scheduling and Power Management for Chip Multiprocessor]]", ISCA 2008. http://csl.skku.edu/images/asterix_red.gif
* D. Porter, et. al, "[[Attach:porter.pdf|Operating Systems Transactions]]", SOSP 2009. http://csl.skku.edu/images/asterix_red.gif
* O. Laadan, "[[Attach:laadan.pdf|Transparent Checkpoint-Restart of Multiple Processes on Commodity Operating Systems]]", USENIX 2007. http://csl.skku.edu/images/asterix_red.gif
* R. Teodorescu, "[[Attach:teodorescu.pdf|Variation-Aware Application Scheduling and Power Management for Chip Multiprocessor]]", ISCA 2008. http://csl.skku.edu/images/asterix_red.gif
* D. Porter, et. al, "[[Attach:porter.pdf|Operating Systems Transactions]]", SOSP 2009. http://csl.skku.edu/images/asterix_red.gif
Deleted lines 82-87:
!!! Reliability and Safety
* O. Laadan, "[[Attach:laadan.pdf|Transparent Checkpoint-Restart of Multiple Processes on Commodity Operating Systems]]", USENIX 2007. http://csl.skku.edu/images/asterix_red.gif
* R. Teodorescu, "[[Attach:teodorescu.pdf|Variation-Aware Application Scheduling and Power Management for Chip Multiprocessor]]", ISCA 2008. http://csl.skku.edu/images/asterix_red.gif
* D. Porter, et. al, "[[Attach:porter.pdf|Operating Systems Transactions]]", SOSP 2009. http://csl.skku.edu/images/asterix_red.gif
Added line 28:
(:if false:)
Added line 30:
(:if end:)
Added line 49:
(:if false:)
Added line 51:
(:if end:)
Changed lines 15-16 from:
* J. Ousterhout, "[[Attach:whythreads.pdf|Why Threads Are A Bad Idea (for most purposes)]]" http://csl.skku.edu/images/asterix_red.gif
to:
* J. Ousterhout, "[[Attach:whythreads.pdf|Why Threads Are A Bad Idea (for most purposes)]]"
Changed lines 15-19 from:
* J. Ousterhout, "[[Attach:whythreads.pdf|Why Threads Are A Bad Idea (for most purposes)]]"
* M. Welsh, "[[Attach:SEDA|SEDA: Events are Best]]", SOSP 2001
* R. Behren, "[[Attach:Capriccio.pdf|Capriccio: Scalable Threads for Internet Services]]", SOSP 2003
* M
* R
to:
* J. Ousterhout, "[[Attach:whythreads.pdf|Why Threads Are A Bad Idea (for most purposes)]]" http://csl.skku.edu/images/asterix_red.gif
* M. Welsh, "[[Attach:SEDA|SEDA: Events are Best]]", SOSP 2001. http://csl.skku.edu/images/asterix_red.gif
* R. Behren, "[[Attach:Capriccio.pdf|Capriccio: Scalable Threads for Internet Services]]", SOSP 2003. http://csl.skku.edu/images/asterix_red.gif
* M. Welsh, "[[Attach:SEDA|SEDA: Events are Best]]", SOSP 2001. http://csl.skku.edu/images/asterix_red.gif
* R. Behren, "[[Attach:Capriccio.pdf|Capriccio: Scalable Threads for Internet Services]]", SOSP 2003. http://csl.skku.edu/images/asterix_red.gif
Changed lines 67-70 from:
* C. Waldspurger, "[[Attach:esx-mem-osdi02.pdf|Memory Resource Management in VMware ESX Server]]" ,OSDI 2002
*X. Chen et.al, "[[Attach:overshadow.pdf|Overshadow: A Virtualization-Based Approach to Retrofitting Protection in Commodity Operating Systems]]", ASPLOS 2008
* J. Stoess et. al, "[[Attach:stoess.pdf|Energy Management for Hypervisor-Based Virtual Machines]]", USENIX 2007
to:
* C. Waldspurger, "[[Attach:esx-mem-osdi02.pdf|Memory Resource Management in VMware ESX Server]]", OSDI 2002. http://csl.skku.edu/images/asterix_red.gif
*X. Chen et.al, "[[Attach:overshadow.pdf|Overshadow: A Virtualization-Based Approach to Retrofitting Protection in Commodity Operating Systems]]", ASPLOS 2008. http://csl.skku.edu/images/asterix_red.gif
* J. Stoess et. al, "[[Attach:stoess.pdf|Energy Management for Hypervisor-Based Virtual Machines]]", USENIX 2007. http://csl.skku.edu/images/asterix_red.gif
*X. Chen et.al, "[[Attach:overshadow.pdf|Overshadow: A Virtualization-Based Approach to Retrofitting Protection in Commodity Operating Systems]]", ASPLOS 2008. http://csl.skku.edu/images/asterix_red.gif
* J. Stoess et. al, "[[Attach:stoess.pdf|Energy Management for Hypervisor-Based Virtual Machines]]", USENIX 2007. http://csl.skku.edu/images/asterix_red.gif
Changed lines 73-75 from:
* O. Laadan, "[[Attach:laadan.pdf|Transparent Checkpoint-Restart of Multiple Processes on Commodity Operating Systems]]", USENIX 2007
* R. Teodorescu, "[[Attach:teodorescu.pdf|Variation-Aware Application Scheduling and Power Management for Chip Multiprocessor]]", ISCA 2008
* D. Porter, et. al,"[[Attach:porter.pdf|Operating Systems Transactions]]", SOSP 2009
* D. Porter, et. al,
to:
* O. Laadan, "[[Attach:laadan.pdf|Transparent Checkpoint-Restart of Multiple Processes on Commodity Operating Systems]]", USENIX 2007. http://csl.skku.edu/images/asterix_red.gif
* R. Teodorescu, "[[Attach:teodorescu.pdf|Variation-Aware Application Scheduling and Power Management for Chip Multiprocessor]]", ISCA 2008. http://csl.skku.edu/images/asterix_red.gif
* D. Porter, et. al, "[[Attach:porter.pdf|Operating Systems Transactions]]", SOSP 2009. http://csl.skku.edu/images/asterix_red.gif
* R. Teodorescu, "[[Attach:teodorescu.pdf|Variation-Aware Application Scheduling and Power Management for Chip Multiprocessor]]", ISCA 2008. http://csl.skku.edu/images/asterix_red.gif
* D. Porter, et. al, "[[Attach:porter.pdf|Operating Systems Transactions]]", SOSP 2009. http://csl.skku.edu/images/asterix_red.gif
Changed line 73 from:
* O. Laadan, "[[Attach:laadan.pdf|Transparent Checkpoint-Restart of Multiple Processes on Commodity Operating Systems}}", USENIX 2007
to:
* O. Laadan, "[[Attach:laadan.pdf|Transparent Checkpoint-Restart of Multiple Processes on Commodity Operating Systems]]", USENIX 2007
Changed lines 73-75 from:
* Transparent Checkpoint-Restart of Multiple Processes on Commodity Operating Systems (USENIX 2007)
* Variation-Aware Application Scheduling and Power Management for Chip Multiprocessor (ISCA 2008)
* Operating Systems Transactions (SOSP 2009)
to:
* O. Laadan, "[[Attach:laadan.pdf|Transparent Checkpoint-Restart of Multiple Processes on Commodity Operating Systems}}", USENIX 2007
* R. Teodorescu, "[[Attach:teodorescu.pdf|Variation-Aware Application Scheduling and Power Management for Chip Multiprocessor]]", ISCA 2008
* D. Porter, et. al, "[[Attach:porter.pdf|Operating Systems Transactions]]", SOSP 2009
* R. Teodorescu, "[[Attach:teodorescu.pdf|Variation-Aware Application Scheduling and Power Management for Chip Multiprocessor]]", ISCA 2008
* D. Porter, et. al, "[[Attach:porter.pdf|Operating Systems Transactions]]", SOSP 2009
Changed lines 68-69 from:
* Overshadow: A Virtualization-Based Approach to Retrofitting Protection in Commodity Operating Systems (ASPLOS 2008)
* Energy Management for Hypervisor-Based Virtual Machines (USENIX 2007)
to:
*X. Chen et.al, "[[Attach:overshadow.pdf|Overshadow: A Virtualization-Based Approach to Retrofitting Protection in Commodity Operating Systems]]", ASPLOS 2008
* J. Stoess et. al, "[[Attach:stoess.pdf|Energy Management for Hypervisor-Based Virtual Machines]]", USENIX 2007
* J. Stoess et. al, "[[Attach:stoess.pdf|Energy Management for Hypervisor-Based Virtual Machines]]", USENIX 2007
Changed lines 17-19 from:
* R. Behren, "[[Attach:Capriccio.pdf|Capriccio: Scalable Threads for Internet Services]]", SOSP 2003 -with
to:
* R. Behren, "[[Attach:Capriccio.pdf|Capriccio: Scalable Threads for Internet Services]]", SOSP 2003
Changed line 67 from:
* Memory Resource Management in VMware ESX Server (OSDI 02)
to:
* C. Waldspurger, "[[Attach:esx-mem-osdi02.pdf|Memory Resource Management in VMware ESX Server]]" ,OSDI 2002
Changed lines 16-18 from:
* SEDA : Events are Best
* Why Events are a Bad Idea von Behren 03
* Capriccio: Scalable Threads for Internet Services 03
* Why Events are a Bad Idea von Behren 03
* Capriccio: Scalable Threads for Internet Services 03
to:
* M. Welsh, "[[Attach:SEDA|SEDA: Events are Best]]", SOSP 2001
* R. Behren, "[[Attach:Capriccio.pdf|Capriccio: Scalable Threads for Internet Services]]", SOSP 2003 -with
* R. Behren, "[[Attach:Capriccio.pdf|Capriccio: Scalable Threads for Internet Services]]", SOSP 2003 -with
Changed lines 15-16 from:
* TBD
to:
* J. Ousterhout, "[[Attach:whythreads.pdf|Why Threads Are A Bad Idea (for most purposes)]]"
* SEDA : Events are Best
* Why Events are a Bad Idea von Behren 03
* Capriccio: Scalable Threads for Internet Services 03
* SEDA : Events are Best
* Why Events are a Bad Idea von Behren 03
* Capriccio: Scalable Threads for Internet Services 03
Changed lines 68-69 from:
* TBD
to:
* Memory Resource Management in VMware ESX Server (OSDI 02)
* Overshadow: A Virtualization-Based Approach to Retrofitting Protection in Commodity Operating Systems (ASPLOS 2008)
* Energy Management for Hypervisor-Based Virtual Machines (USENIX 2007)
* Overshadow: A Virtualization-Based Approach to Retrofitting Protection in Commodity Operating Systems (ASPLOS 2008)
* Energy Management for Hypervisor-Based Virtual Machines (USENIX 2007)
Changed lines 74-76 from:
* TBD
to:
* Transparent Checkpoint-Restart of Multiple Processes on Commodity Operating Systems (USENIX 2007)
* Variation-Aware Application Scheduling and Power Management for Chip Multiprocessor (ISCA 2008)
* Operating Systems Transactions (SOSP 2009)
* Variation-Aware Application Scheduling and Power Management for Chip Multiprocessor (ISCA 2008)
* Operating Systems Transactions (SOSP 2009)
Changed line 8 from:
* R. Levin and D. Redell, "[[Attach:sosp-osr83.pdf|An Evaluation of the Ninth SOSP Submissions or How (and How Not) to Write a Good Systems Paper]]," Operating System Review, 17:3, Jul. 1983.
to:
* R. Levin and D. Redell, "[[Attach:sosp-osr83.pdf|An Evaluation of the Ninth SOSP Submissions or How (and How Not) to Write a Good Systems Paper]]," Operating System Review, 17:3, July 1983.
Changed line 19 from:
* P. Denning, "[[Attach:vm-cs70.pdf|Virtual Memory]]," ACM Computing Surveys, Sep. 1970.
to:
* P. Denning, "[[Attach:vm-cs70.pdf|Virtual Memory]]," ACM Computing Surveys, September 1970.
Changed line 44 from:
* A. Rajimwale, V. Prabhakaran, and J. Davis, "[[Attach:blockssd-usenix09.pdf|Block Management in Solid-State Devices]]," USENIX, 2009.
to:
* A. Rajimwale, V. Prabhakaran, and J. Davis, "[[Attach:blockssd-usenix09.pdf|Block Management in Solid-State Devices]]," USENIX, 2009. http://csl.skku.edu/images/asterix_red.gif
Changed line 39 from:
to:
(:if false:)
Added line 41:
(:if end:)
Added line 44:
* A. Rajimwale, V. Prabhakaran, and J. Davis, "[[Attach:blockssd-usenix09.pdf|Block Management in Solid-State Devices]]," USENIX, 2009.
Added line 54:
* B. Pawlowski, C. Juszczak, P. Staubach, C. Smith, D. Lebel, and D. Hitz, "[[Attach:nfs-usenix94.pdf|NFS Version 3 Design and Implementation]]," USENIX, 1994. http://csl.skku.edu/images/asterix_red.gif
Changed line 56 from:
* B. Pawlowski, C. Juszczak, P. Staubach, C. Smith, D. Lebel, and D. Hitz, "[[Attach:nfs-usenix94.pdf|NFS Version 3 Design and Implementation]]," USENIX, 1994. http://csl.skku.edu/images/asterix_red.gif
to:
* A. Muthitacharoen, B. Chen, and D. Mazieres, "[[Attach:lbfs-sosp01.pdf|A Low-bandwidth Network File System]], SOSP, 2001. http://csl.skku.edu/images/asterix_red.gif
Changed line 39 from:
to:
Deleted line 40:
Added line 43:
(:if false:)
Changed lines 45-46 from:
to:
(:if end:)
Added line 52:
(:if false:)
Added line 54:
(:if end:)
Added line 19:
* P. Denning, "[[Attach:vm-cs70.pdf|Virtual Memory]]," ACM Computing Surveys, Sep. 1970.
Added line 38:
* A. Gupta, Y. Kim, and B. Urgaonkar, "[[Attach:dftl-asplos09.pdf|DFTL: A Flash Translation Layer Employing Demand-based Selective Caching of Page-level Address Mappings]]," ASPLOS, 2009. http://csl.skku.edu/images/asterix_red.gif
Deleted lines 39-40:
Added line 25:
* H. Huang, P. Pillai, and K. Shin, "[[Attach:pavm-usenix03.pdf|Design and Implementation of Power-Aware Virtual Memory]]," USENIX, 2003. http://csl.skku.edu/images/asterix_red.gif
Added lines 25-26:
(:if false:)
Changed line 28 from:
to:
(:if end:)
Changed lines 34-36 from:
* S. Iyer and P. Druschel, "[[Attach:anticipatory-sosp01.pdf|Anticipatory Scheduling: A Disk Scheduling Framework to Overcome Deceptive Idleness in Synchronous I/O]]," SOSP, 2001.
* G. Gibson, D. Nagle, K. Amiri, J. Butler, F. Chang, H. Gobioff, C. Hardin, E. Riedel, D. Rochberg, and J. Zelenka, "[[Attach:nasd-asplos98.pdf|A Cost-Effective, High-Bandwidth Storage Architecture]]," ASPLOS, 1998.
*A. Gupta, Y. Kim, and B. Urgaonkar, "[[Attach:dftl-asplos09.pdf|DFTL: A Flash Translation Layer Employing Demand-based Selective Caching of Page-level Address Mappings]]," ASPLOS, 2009.
*
to:
* S. Iyer and P. Druschel, "[[Attach:anticipatory-sosp01.pdf|Anticipatory Scheduling: A Disk Scheduling Framework to Overcome Deceptive Idleness in Synchronous I/O]]," SOSP, 2001. http://csl.skku.edu/images/asterix_red.gif
* G. Gibson, D. Nagle, K. Amiri, J. Butler, F. Chang, H. Gobioff, C. Hardin, E. Riedel, D. Rochberg, and J. Zelenka, "[[Attach:nasd-asplos98.pdf|A Cost-Effective, High-Bandwidth Storage Architecture]]," ASPLOS, 1998. http://csl.skku.edu/images/asterix_red.gif
* A. Gupta, Y. Kim, and B. Urgaonkar, "[[Attach:dftl-asplos09.pdf|DFTL: A Flash Translation Layer Employing Demand-based Selective Caching of Page-level Address Mappings]]," ASPLOS, 2009. http://csl.skku.edu/images/asterix_red.gif
* G. Gibson, D. Nagle, K. Amiri, J. Butler, F. Chang, H. Gobioff, C. Hardin, E. Riedel, D. Rochberg, and J. Zelenka, "[[Attach:nasd-asplos98.pdf|A Cost-Effective, High-Bandwidth Storage Architecture]]," ASPLOS, 1998. http://csl.skku.edu/images/asterix_red.gif
* A. Gupta, Y. Kim, and B. Urgaonkar, "[[Attach:dftl-asplos09.pdf|DFTL: A Flash Translation Layer Employing Demand-based Selective Caching of Page-level Address Mappings]]," ASPLOS, 2009. http://csl.skku.edu/images/asterix_red.gif
Added lines 44-45:
* V. Prabhakaran, A. Arpaci-Dusseau, and R. Arpaci-Dusseau, "[[Attach:journaling-usenix05.pdf|Analysis and Evolution of Journaling File Systems]]," USENIX, 2005. http://csl.skku.edu/images/asterix_red.gif
* B. Pawlowski, C. Juszczak, P. Staubach, C. Smith, D. Lebel, and D. Hitz, "[[Attach:nfs-usenix94.pdf|NFS Version 3 Design and Implementation]]," USENIX, 1994. http://csl.skku.edu/images/asterix_red.gif
* B. Pawlowski, C. Juszczak, P. Staubach, C. Smith, D. Lebel, and D. Hitz, "[[Attach:nfs-usenix94.pdf|NFS Version 3 Design and Implementation]]," USENIX, 1994. http://csl.skku.edu/images/asterix_red.gif
Added line 35:
* G. Gibson, D. Nagle, K. Amiri, J. Butler, F. Chang, H. Gobioff, C. Hardin, E. Riedel, D. Rochberg, and J. Zelenka, "[[Attach:nasd-asplos98.pdf|A Cost-Effective, High-Bandwidth Storage Architecture]]," ASPLOS, 1998.
Added line 37:
Added line 35:
* A. Gupta, Y. Kim, and B. Urgaonkar, "[[Attach:dftl-asplos09.pdf|DFTL: A Flash Translation Layer Employing Demand-based Selective Caching of Page-level Address Mappings]]," ASPLOS, 2009.
Added line 34:
* S. Iyer and P. Druschel, "[[Attach:anticipatory-sosp01.pdf|Anticipatory Scheduling: A Disk Scheduling Framework to Overcome Deceptive Idleness in Synchronous I/O]]," SOSP, 2001.
Changed lines 5-6 from:
to:
!!! Computer Systems Research
Changed lines 13-16 from:
!!!! Processes and Threads
!!!! Memory Management
to:
!!! Processes and Threads
* TBD
!!! Memory Management
* TBD
!!! Memory Management
Changed lines 28-29 from:
to:
!!! Storage
Changed lines 35-36 from:
to:
!!! File Systems
Changed lines 43-45 from:
!!!! Virtual Machines
!!!! Reliability and Safety
!!!
to:
!!! Virtual Machines
* TBD
!!! Reliability and Safety
* TBD
* TBD
!!! Reliability and Safety
* TBD
Changed line 31 from:
* J. Wilkes, R. Golding, C. Staelin, and T. Sullivan, "[[Attach:autoraid-sosp95.pdf|The HP AutoRAID Hierarchical Storage System]]," SOSP, 1995. http://csl.skku.edu/images/asterix_red.gif
to:
* J. Wilkes, R. Golding, C. Staelin, and T. Sullivan, "[[Attach:autoraid-tocs96.pdf|The HP AutoRAID Hierarchical Storage System]]," TOCS, 1996. http://csl.skku.edu/images/asterix_red.gif
Changed lines 28-32 from:
* D. Patterson, G. Gibson, and R. Katz, "A Case for Redundant Arrays of Inexpensive Disks (RAID)," SIGMOD, 1988.
* E. Gal and S. Toledo, "Algorithms and Data Structures for Flash Memories," ACM Computing Surveys, 2005.
* J. Wilkes, R. Golding, C. Staelin, and T. Sullivan, "The HP AutoRAID Hierarchical Storage System," SOSP, 1995. http://csl.skku.edu/images/asterix_red.gif
* E. Gal and S. Toledo, "Algorithms and Data Structures for Flash Memories," ACM Computing Surveys, 2005.
* J. Wilkes, R. Golding, C. Staelin, and T. Sullivan, "The HP AutoRAID Hierarchical Storage System," SOSP, 1995. http://csl.skku.edu/images/asterix_red.gif
to:
* D. Patterson, G. Gibson, and R. Katz, "[[Attach:raid-sigmod88.pdf|A Case for Redundant Arrays of Inexpensive Disks (RAID)]]," SIGMOD, 1988.
* E. Gal and S. Toledo, "[[Attach:flash-cs05.pdf|Algorithms and Data Structures for Flash Memories]]," ACM Computing Surveys, 2005.
* J. Wilkes, R. Golding, C. Staelin, and T. Sullivan, "[[Attach:autoraid-sosp95.pdf|The HP AutoRAID Hierarchical Storage System]]," SOSP, 1995. http://csl.skku.edu/images/asterix_red.gif
* E. Gal and S. Toledo, "[[Attach:flash-cs05.pdf|Algorithms and Data Structures for Flash Memories]]," ACM Computing Surveys, 2005.
* J. Wilkes, R. Golding, C. Staelin, and T. Sullivan, "[[Attach:autoraid-sosp95.pdf|The HP AutoRAID Hierarchical Storage System]]," SOSP, 1995. http://csl.skku.edu/images/asterix_red.gif
Changed lines 35-38 from:
* M. McKusick, W. Joy, S. Leffler, and R. Fabry, "A Fast File System for UNIX," ACM TOCS, 1984.
* M. Rosenblum and J. Ousterhout, "The Design and Implementation of a Log-Structured File System," ACM TOCS, 1992. http://csl.skku.edu/images/asterix_red.gif
* S. Ghemawat, H. Gobioff, and S.-T. Leung, "The Google File System," SOSP, 2003. http://csl.skku.edu/images/asterix_red.gif
* M. Rosenblum and J. Ousterhout, "The Design and Implementation of a Log-Structured File System," ACM TOCS, 1992. http://csl.skku.edu/images/asterix_red.gif
* S. Ghemawat, H. Gobioff, and S.-T. Leung, "The Google File System," SOSP, 2003. http://csl.skku.edu/images/asterix_red.gif
to:
* M. McKusick, W. Joy, S. Leffler, and R. Fabry, "[[Attach:ffs-tocs84.pdf|A Fast File System for UNIX]]," ACM TOCS, 1984.
* M. Rosenblum and J. Ousterhout, "[[Attach:lfs-tocs92.pdf|The Design and Implementation of a Log-Structured File System]]," ACM TOCS, 1992. http://csl.skku.edu/images/asterix_red.gif
* S. Ghemawat, H. Gobioff, and S.-T. Leung, "[[Attach:gfs-sosp03.pdf|The Google File System]]," SOSP, 2003. http://csl.skku.edu/images/asterix_red.gif
* M. Rosenblum and J. Ousterhout, "[[Attach:lfs-tocs92.pdf|The Design and Implementation of a Log-Structured File System]]," ACM TOCS, 1992. http://csl.skku.edu/images/asterix_red.gif
* S. Ghemawat, H. Gobioff, and S.-T. Leung, "[[Attach:gfs-sosp03.pdf|The Google File System]]," SOSP, 2003. http://csl.skku.edu/images/asterix_red.gif
Changed lines 17-23 from:
* B. Jacob and T. Mudge, "Virtual Memory: Issues of Implementation," IEEE Computer, June 1998.
* B. Jacob and T. Mudge, "Virtual Memory in Contemporary Microprocessors," IEEE Micro, July-August 1998.
* J. Navarro, S. Iyer, P. Druschel, and A. Cox, "Practical, Transparent Operating System Support for Superpages," OSDI, 2002. http://csl.skku.edu/images/asterix_red.gif
* N. Megiddo and D. Modha, "ARC: A Self-Tuning, Low Overhead Replacement Cache," FAST, 2003. http://csl.skku.edu/images/asterix_red.gif
* J. Chase, H. Levy, M. Feeley, and E. Lazowska, "Sharing and Protection in a Single-Address-Space Operating System," ACM TOCS, 1994. http://csl.skku.edu/images/asterix_red.gif
* M. Satyanarayanan, H. Mashburn, P. Kumar, D. Steere, and J. Kistler, "Lightweight Recoverable Virtual Memory," ACM TOCS, 1994. http://csl.skku.edu/images/asterix_red.gif
* B. Jacob and T. Mudge, "Virtual Memory in Contemporary Microprocessors," IEEE Micro, July-August 1998.
* J. Navarro, S. Iyer, P. Druschel, and A. Cox, "Practical, Transparent Operating System Support for Superpages," OSDI, 2002. http://csl.skku.edu/images/asterix_red.gif
* N. Megiddo and D. Modha, "
* J. Chase, H. Levy, M. Feeley, and E. Lazowska, "Sharing and Protection in a Single-Address-Space Operating System," ACM TOCS, 1994. http://csl.skku.edu/images/asterix_red.gif
* M. Satyanarayanan, H. Mashburn, P. Kumar, D. Steere, and J. Kistler, "Lightweight Recoverable Virtual Memory," ACM TOCS, 1994. http://csl.skku.edu/images/asterix_red.gif
to:
* B. Jacob and T. Mudge, "[[Attach:vm-computer98.pdf|Virtual Memory: Issues of Implementation]]," IEEE Computer, June 1998.
* B. Jacob and T. Mudge, "[[Attach:vm-micro98.pdf|Virtual Memory in Contemporary Microprocessors]]," IEEE Micro, July-August 1998.
* J. Navarro, S. Iyer, P. Druschel, and A. Cox, "[[Attach:superpage-osdi02.pdf|Practical, Transparent Operating System Support for Superpages]]," OSDI, 2002. http://csl.skku.edu/images/asterix_red.gif
* N. Megiddo and D. Modha, "[[Attach:arc-fast03.pdf|ARC: A Self-Tuning, Low Overhead Replacement Cache]]," FAST, 2003. http://csl.skku.edu/images/asterix_red.gif
* J. Chase, H. Levy, M. Feeley, and E. Lazowska, "[[Attach:opal-tocs94.pdf|Sharing and Protection in a Single-Address-Space Operating System]]," ACM TOCS, 1994. http://csl.skku.edu/images/asterix_red.gif
* M. Satyanarayanan, H. Mashburn, P. Kumar, D. Steere, and J. Kistler, "[[Attach:lvm-tocs94.pdf|Lightweight Recoverable Virtual Memory]]," ACM TOCS, 1994. http://csl.skku.edu/images/asterix_red.gif
* B. Jacob and T. Mudge, "[[Attach:vm-micro98.pdf|Virtual Memory in Contemporary Microprocessors]]," IEEE Micro, July-August 1998.
* J. Navarro, S. Iyer, P. Druschel, and A. Cox, "[[Attach:superpage-osdi02.pdf|Practical, Transparent Operating System Support for Superpages]]," OSDI, 2002. http://csl.skku.edu/images/asterix_red.gif
* N. Megiddo and D. Modha, "[[Attach:arc-fast03.pdf|ARC: A Self-Tuning, Low Overhead Replacement Cache]]," FAST, 2003. http://csl.skku.edu/images/asterix_red.gif
* J. Chase, H. Levy, M. Feeley, and E. Lazowska, "[[Attach:opal-tocs94.pdf|Sharing and Protection in a Single-Address-Space Operating System]]," ACM TOCS, 1994. http://csl.skku.edu/images/asterix_red.gif
* M. Satyanarayanan, H. Mashburn, P. Kumar, D. Steere, and J. Kistler, "[[Attach:lvm-tocs94.pdf|Lightweight Recoverable Virtual Memory]]," ACM TOCS, 1994. http://csl.skku.edu/images/asterix_red.gif
Changed line 11 from:
* A. Brown, A. Chandra, R. Farrow, A. Fedorova, P. Maniatis, and M. Scott, "[[Attach:systems-hotos05|The Many Faces of Systems Research - And How To Evaluate Them]]," HotOS, 2005.
to:
* A. Brown, A. Chandra, R. Farrow, A. Fedorova, P. Maniatis, and M. Scott, "[[Attach:systems-hotos05.pdf|The Many Faces of Systems Research - And How To Evaluate Them]]," HotOS, 2005.
Changed line 9 from:
* J. Saltzer, D. Reed, and D. Clark, "[[Attach:end2end-icdcs81.pdf|End-to-end Arguments in System Design]]," ICDCS, 1981.
to:
* J. Saltzer, D. Reed, and D. Clark, "[[Attach:end2end-tocs84.pdf|End-to-end Arguments in System Design]]," TOCS, 1984.
Changed lines 7-11 from:
* B. Lampson, "Hints for Computer System Design," SOSP, 1983.
* R. Levin and D. Redell, "An Evaluation of the Ninth SOSP Submissions or How (and How Not) to Write a Good Systems Paper," Operating System Review, 17:3, Jul. 1983.
* J. Saltzer, D. Reed, and D. Clark, "End-to-end Arguments in System Design," ICDCS, 1981.
* D. Patterson, "How to Have a Bad Career in Research/Academia," CRA Academic Careers Workshop, 2002.
* A. Brown, A. Chandra, R. Farrow, A. Fedorova, P. Maniatis, and M. Scott, "The Many Faces of Systems Research - And How To Evaluate Them," HotOS, 2005.
* R. Levin and D. Redell, "An Evaluation of the Ninth SOSP Submissions or How (and How Not) to Write a Good Systems Paper," Operating System Review, 17:3, Jul. 1983.
* J. Saltzer, D. Reed, and D. Clark, "
* D. Patterson, "How to Have a Bad Career in Research/Academia," CRA Academic Careers Workshop, 2002.
* A. Brown, A. Chandra, R. Farrow, A. Fedorova, P. Maniatis, and M. Scott, "The Many Faces of Systems Research - And How To Evaluate Them," HotOS, 2005.
to:
* B. Lampson, "[[Attach:hints-sosp83.pdf|Hints for Computer System Design]]," SOSP, 1983.
* R. Levin and D. Redell, "[[Attach:sosp-osr83.pdf|An Evaluation of the Ninth SOSP Submissions or How (and How Not) to Write a Good Systems Paper]]," Operating System Review, 17:3, Jul. 1983.
* J. Saltzer, D. Reed, and D. Clark, "[[Attach:end2end-icdcs81.pdf|End-to-end Arguments in System Design]]," ICDCS, 1981.
* D. Patterson, "[[Attach:career-cra02.pdf|How to Have a Bad Career in Research/Academia]]," CRA Academic Careers Workshop, 2002.
* A. Brown, A. Chandra, R. Farrow, A. Fedorova, P. Maniatis, and M. Scott, "[[Attach:systems-hotos05|The Many Faces of Systems Research - And How To Evaluate Them]]," HotOS, 2005.
* R. Levin and D. Redell, "[[Attach:sosp-osr83.pdf|An Evaluation of the Ninth SOSP Submissions or How (and How Not) to Write a Good Systems Paper]]," Operating System Review, 17:3, Jul. 1983.
* J. Saltzer, D. Reed, and D. Clark, "[[Attach:end2end-icdcs81.pdf|End-to-end Arguments in System Design]]," ICDCS, 1981.
* D. Patterson, "[[Attach:career-cra02.pdf|How to Have a Bad Career in Research/Academia]]," CRA Academic Careers Workshop, 2002.
* A. Brown, A. Chandra, R. Farrow, A. Fedorova, P. Maniatis, and M. Scott, "[[Attach:systems-hotos05|The Many Faces of Systems Research - And How To Evaluate Them]]," HotOS, 2005.
Changed line 17 from:
* B. Jacob and T. Mudge, "Virtual Memory: Issues of Impelementation," IEEE Computer, June 1998.
to:
* B. Jacob and T. Mudge, "Virtual Memory: Issues of Implementation," IEEE Computer, June 1998.
Changed lines 17-18 from:
* H. Levy and P. Lipman, "Virtual Memory Management in the VAX/VMS Operating System," IEEE Computer, 1982.
to:
* B. Jacob and T. Mudge, "Virtual Memory: Issues of Impelementation," IEEE Computer, June 1998.
* B. Jacob and T. Mudge, "Virtual Memory in Contemporary Microprocessors," IEEE Micro, July-August 1998.
* J. Navarro, S. Iyer, P. Druschel, and A. Cox, "Practical, Transparent Operating System Support for Superpages," OSDI, 2002. http://csl.skku.edu/images/asterix_red.gif
* N. Megiddo and D. Modha, "ARC: A Self-Tuning, Low Overhead Replacement Cache," FAST, 2003. http://csl.skku.edu/images/asterix_red.gif
* B. Jacob and T. Mudge, "Virtual Memory in Contemporary Microprocessors," IEEE Micro, July-August 1998.
* J. Navarro, S. Iyer, P. Druschel, and A. Cox, "Practical, Transparent Operating System Support for Superpages," OSDI, 2002. http://csl.skku.edu/images/asterix_red.gif
* N. Megiddo and D. Modha, "ARC: A Self-Tuning, Low Overhead Replacement Cache," FAST, 2003. http://csl.skku.edu/images/asterix_red.gif
Added line 23:
* M. Satyanarayanan, H. Mashburn, P. Kumar, D. Steere, and J. Kistler, "Lightweight Recoverable Virtual Memory," ACM TOCS, 1994. http://csl.skku.edu/images/asterix_red.gif
Changed lines 32-33 from:
* M. Rosenblum and J. Ousterhout, "The Design and Implementation of a Log-Structured File System," ACM TOCS, 1992.
* S. Ghemawat, H. Gobioff, and S.-T. Leung, "The Google File System," SOSP, 2003.
to:
* M. Rosenblum and J. Ousterhout, "The Design and Implementation of a Log-Structured File System," ACM TOCS, 1992. http://csl.skku.edu/images/asterix_red.gif
* S. Ghemawat, H. Gobioff, and S.-T. Leung, "The Google File System," SOSP, 2003. http://csl.skku.edu/images/asterix_red.gif
* S. Ghemawat, H. Gobioff, and S.-T. Leung, "The Google File System," SOSP, 2003. http://csl.skku.edu/images/asterix_red.gif
Changed line 27 from:
* J. Wilkes, R. Golding, C. Staelin, and T. Sullivan, "The HP AutoRAID Hierarchical Storage System," SOSP, 1995.
to:
* J. Wilkes, R. Golding, C. Staelin, and T. Sullivan, "The HP AutoRAID Hierarchical Storage System," SOSP, 1995. http://csl.skku.edu/images/asterix_red.gif
Changed line 19 from:
* J. Chase, H. Levy, M. Feeley, and E. Lazowska, "Sharing and Protection in a Single-Address-Space Operating System," ACM TOCS, 1994."http://csl.skku.edu/images/asterix_red.gif"
to:
* J. Chase, H. Levy, M. Feeley, and E. Lazowska, "Sharing and Protection in a Single-Address-Space Operating System," ACM TOCS, 1994. http://csl.skku.edu/images/asterix_red.gif
Changed line 19 from:
* J. Chase, H. Levy, M. Feeley, and E. Lazowska, "Sharing and Protection in a Single-Address-Space Operating System," ACM TOCS, 1994.
to:
* J. Chase, H. Levy, M. Feeley, and E. Lazowska, "Sharing and Protection in a Single-Address-Space Operating System," ACM TOCS, 1994."http://csl.skku.edu/images/asterix_red.gif"
Changed lines 24-25 from:
to:
* D. Patterson, G. Gibson, and R. Katz, "A Case for Redundant Arrays of Inexpensive Disks (RAID)," SIGMOD, 1988.
* E. Gal and S. Toledo, "Algorithms and Data Structures for Flash Memories," ACM Computing Surveys, 2005.
* J. Wilkes, R. Golding, C. Staelin, and T. Sullivan, "The HP AutoRAID Hierarchical Storage System," SOSP, 1995.
* E. Gal and S. Toledo, "Algorithms and Data Structures for Flash Memories," ACM Computing Surveys, 2005.
* J. Wilkes, R. Golding, C. Staelin, and T. Sullivan, "The HP AutoRAID Hierarchical Storage System," SOSP, 1995.
Added lines 30-34:
* M. McKusick, W. Joy, S. Leffler, and R. Fabry, "A Fast File System for UNIX," ACM TOCS, 1984.
* M. Rosenblum and J. Ousterhout, "The Design and Implementation of a Log-Structured File System," ACM TOCS, 1992.
* S. Ghemawat, H. Gobioff, and S.-T. Leung, "The Google File System," SOSP, 2003.
Added lines 7-16:
* B. Lampson, "Hints for Computer System Design," SOSP, 1983.
* R. Levin and D. Redell, "An Evaluation of the Ninth SOSP Submissions or How (and How Not) to Write a Good Systems Paper," Operating System Review, 17:3, Jul. 1983.
* J. Saltzer, D. Reed, and D. Clark, "End-to-end Arguments in System Design," ICDCS, 1981.
* D. Patterson, "How to Have a Bad Career in Research/Academia," CRA Academic Careers Workshop, 2002.
* A. Brown, A. Chandra, R. Farrow, A. Fedorova, P. Maniatis, and M. Scott, "The Many Faces of Systems Research - And How To Evaluate Them," HotOS, 2005.
* R. Levin and D. Redell, "An Evaluation of the Ninth SOSP Submissions or How (and How Not) to Write a Good Systems Paper," Operating System Review, 17:3, Jul. 1983.
* J. Saltzer, D. Reed, and D. Clark, "End-to-end Arguments in System Design," ICDCS, 1981.
* D. Patterson, "How to Have a Bad Career in Research/Academia," CRA Academic Careers Workshop, 2002.
* A. Brown, A. Chandra, R. Farrow, A. Fedorova, P. Maniatis, and M. Scott, "The Many Faces of Systems Research - And How To Evaluate Them," HotOS, 2005.
Added lines 21-25:
* H. Levy and P. Lipman, "Virtual Memory Management in the VAX/VMS Operating System," IEEE Computer, 1982.
* J. Chase, H. Levy, M. Feeley, and E. Lazowska, "Sharing and Protection in a Single-Address-Space Operating System," ACM TOCS, 1994.
* J. Chase, H. Levy, M. Feeley, and E. Lazowska, "Sharing and Protection in a Single-Address-Space Operating System," ACM TOCS, 1994.
Added lines 27-28:
Changed lines 7-17 from:
to:
!!!! Processes and Threads
!!!! Memory Management
!!!! Storage
!!!! File Systems
!!!! Virtual Machines
!!!! Reliability and Safety
!!!! Memory Management
!!!! Storage
!!!! File Systems
!!!! Virtual Machines
!!!! Reliability and Safety
Changed line 5 from:
to:
!!!! Computer Systems Research
Added lines 1-17:
!! ECE5658: Operating System Design (Summer 2010)
!!! [Reading List]
* Computer Systems Research
* Processes and Threads
* Memory Management
* Storage
* File Systems
* Virtual Machines
* Reliability and Safety
!!! [Reading List]
* Computer Systems Research
* Processes and Threads
* Memory Management
* Storage
* File Systems
* Virtual Machines
* Reliability and Safety