ESW5010-41.Overview History

Hide minor edits - Show changes to output

March 02, 2016, at 07:32 AM by 115.145.179.233 -
March 02, 2016, at 12:10 AM by 115.145.179.233 -
March 01, 2016, at 11:36 PM by 115.145.179.233 -
Changed lines 17-18 from:
* 김상욱
** E-Mail: swkim at csl.skku.edu
to:
* 이한나
** E-Mail: yanma.hannah at gmail.com
March 01, 2016, at 11:28 PM by 115.145.179.233 -
Changed line 35 from:
* Apr 18(M) (엄영익 교수)
to:
* Apr 18(M) 강동현(엄영익 교수)
Changed line 44 from:
* May 23(M) (김진수 교수)
to:
* May 23(M) 김형준(김진수 교수)
February 26, 2016, at 06:40 AM by 115.145.179.233 -
Changed line 11 from:
(:cell valign=top :) (Subject to change)
to:
(:cell valign=top :)
February 26, 2016, at 06:39 AM by 115.145.179.233 -
February 26, 2016, at 06:39 AM by 115.145.179.233 -
Changed lines 13-15 from:
* Paper presentation: 30%
* Quizz: 20%
* Final exam: 30
%
to:
* Paper presentation: 40%
* Quizz: 40%
February 26, 2016, at 06:21 AM by 115.145.179.233 -
February 26, 2016, at 06:14 AM by 115.145.179.233 -
February 26, 2016, at 06:06 AM by 115.145.179.233 -
Changed line 48 from:
* Jun 1(W) R2: An Application-Level Kernel for Record and Replay, OSDI 2008. (Jialin [[(Attach:)R2|pdf]]
to:
* Jun 1(W) R2: An Application-Level Kernel for Record and Replay, OSDI 2008. [[(Attach:)R2|pdf]]
February 26, 2016, at 05:58 AM by 115.145.179.233 -
Changed lines 25-27 from:
* Mar 9(W): Leidtke: On micro-kernel Construction [[(Attach:)pdf|pdf]]
* Mar 14(M) Levis: Experiences from a Decade of TinyOS Development [[(Attach:)pdf|pdf]]
* Mar 16(W) Elphinstone: From L3 to seL4: What Have We Learnt in 20 … [[(Attach:)pdf|pdf]]
to:
* Mar 9(W): Leidtke: On micro-kernel Construction [[(Attach:)Leidtke|pdf]]
* Mar 14(M) Levis: Experiences from a Decade of TinyOS Development [[(Attach:)Levis|pdf]]
* Mar 16(W) Elphinstone: From L3 to seL4: What Have We Learnt in 20 … [[(Attach:)Elphinstone|pdf]]
Changed line 29 from:
* Mar 23(W) Exokernel [[(Attach:)pdf|pdf]]
to:
* Mar 23(W) Exokernel [[(Attach:)exokernel|pdf]]
Changed lines 31-33 from:
* Mar 30(W) Scheduler Activations [[(Attach:)pdf|pdf]]
* Apr 4(M) Baumann: The Multikernel: A New OS Architecture for … [[(Attach:)pdf|pdf]]
* Apr 6(W) Disco [[(Attach:)pdf|pdf]]
to:
* Mar 30(W) Scheduler Activations [[(Attach:)scheduler|pdf]]
* Apr 4(M) Baumann: The Multikernel: A New OS Architecture for … [[(Attach:)Baurmann|pdf]]
* Apr 6(W) Disco [[(Attach:)disco|pdf]]
Changed line 35 from:
* Apr 13(W) Waldspurger: Memory Resource Management in VMware ESX Server [[(Attach:)pdf|pdf]]
to:
* Apr 13(W) Waldspurger: Memory Resource Management in VMware ESX Server [[(Attach:)esx|pdf]]
Changed lines 38-44 from:
* Apr 27(W) Nikolaev: VirtuOS: an operating system with kernel virtualization [[(Attach:)pdf|pdf]]
* May 2(M) Hagmann: Reimplementing the Cedar File System … [[(Attach:)pdf|pdf]]
* May 4(M) Rosenblum: The Design and Implementation of a LFS [[(Attach:)pdf|pdf]]
* May 9(M) Herlihy: Transactional Memory [[(Attach:)pdf|pdf]]
* May 11(W) David: Everything You Always Wanted to Know about Synchronization [[(Attach:)pdf|pdf]]
* May 16(M) Rinard: Failure-Oblivious Computing [[(Attach:)pdf|pdf]]
* May 18(W) Engler: Bugs as Deviant Behavior [[(Attach:)pdf|pdf]]
to:
* Apr 27(W) Nikolaev: VirtuOS: an operating system with kernel virtualization [[(Attach:)VIrtuos|pdf]]
* May 2(M) Hagmann: Reimplementing the Cedar File System … [[(Attach:)Cedar|pdf]]
* May 4(M) Rosenblum: The Design and Implementation of a LFS [[(Attach:)LFS|pdf]]
* May 9(M) Herlihy: Transactional Memory [[(Attach:)TM|pdf]]
* May 11(W) David: Everything You Always Wanted to Know about Synchronization [[(Attach:)david|pdf]]
* May 16(M) Rinard: Failure-Oblivious Computing [[(Attach:)Rinard|pdf]]
* May 18(W) Engler: Bugs as Deviant Behavior [[(Attach:)Engler|pdf]]
Changed lines 46-49 from:
* May 25(W) Eraser: A Dynamic Data Race Detector for Multi-Threaded Programs [[(Attach:)pdf|pdf]]
* May 30(M) Scalable Address Spaces Using RCU Balanced Trees, ASPLOS 2012. [[(Attach:)pdf|pdf]]
* Jun 1(W) R2: An Application-Level Kernel for Record and Replay, OSDI 2008. (Jialin [[(Attach:)pdf|pdf]]
* Jun 8(W) Efficient Software-Based Fault Isolation, SOSP 1993. [[(Attach:)pdf|pdf]]
to:
* May 25(W) Eraser: A Dynamic Data Race Detector for Multi-Threaded Programs [[(Attach:)Eraer|pdf]]
* May 30(M) Scalable Address Spaces Using RCU Balanced Trees, ASPLOS 2012. [[(Attach:)RCU|pdf]]
* Jun 1(W) R2: An Application-Level Kernel for Record and Replay, OSDI 2008. (Jialin [[(Attach:)R2|pdf]]
* Jun 8(W) Efficient Software-Based Fault Isolation, SOSP 1993. [[(Attach:)SFI|pdf]]
February 26, 2016, at 05:54 AM by 115.145.179.233 -
February 26, 2016, at 05:54 AM by 115.145.179.233 -
February 26, 2016, at 05:53 AM by 115.145.179.233 -
Changed lines 31-33 from:
* Mar 30(W) Scheduler Activations
* Apr 4(M) Baumann: The Multikernel: A New OS Architecture for
* Apr 6(W) Disco
to:
* Mar 30(W) Scheduler Activations [[(Attach:)pdf|pdf]]
* Apr 4(M) Baumann
: The Multikernel: A New OS Architecture for [[(Attach:)pdf|pdf]]
* Apr 6(W)
Disco [[(Attach:)pdf|pdf]]
Changed line 35 from:
* Apr 13(W) Waldspurger: Memory Resource Management in VMware ESX Server
to:
* Apr 13(W) Waldspurger: Memory Resource Management in VMware ESX Server [[(Attach:)pdf|pdf]]
Changed lines 38-44 from:
* Apr 27(W) Nikolaev: VirtuOS: an operating system with kernel virtualization
* May 2(M) Hagmann: Reimplementing the Cedar File System
* May 4(M) Rosenblum: The Design and Implementation of a LFS
* May 9(M) Herlihy: Transactional Memory
* May 11
(W) David: Everything You Always Wanted to Know about Synchronization
* May 16(M) Rinard: Failure-Oblivious Computing
* May 18
(W) Engler: Bugs as Deviant Behavior
to:
* Apr 27(W) Nikolaev: VirtuOS: an operating system with kernel virtualization [[(Attach:)pdf|pdf]]
* May 2(M) Hagmann: Reimplementing the Cedar File System
[[(Attach:)pdf|pdf]]
* May 4(M) Rosenblum: The Design and Implementation of a
LFS [[(Attach:)pdf|pdf]]
* May 9(M) Herlihy: Transactional Memory [[
(Attach:)pdf|pdf]]
* May 11(W) David: Everything You Always Wanted to Know about
Synchronization [[(Attach:)pdf|pdf]]
* May 16
(M) Rinard: Failure-Oblivious Computing [[(Attach:)pdf|pdf]]
* May 18(W) Engler: Bugs as Deviant Behavior [[(Attach:)pdf|pdf]]
Changed lines 46-49 from:
* May 25(W) Eraser: A Dynamic Data Race Detector for Multi-Threaded Programs
* May 30(M) Scalable Address Spaces Using RCU Balanced Trees, ASPLOS 2012.
* Jun 1(W) R2: An Application-Level Kernel for Record and Replay, OSDI 2008. (Jialin
* Jun 8(W) Efficient Software-Based Fault Isolation, SOSP 1993.
to:
* May 25(W) Eraser: A Dynamic Data Race Detector for Multi-Threaded Programs [[(Attach:)pdf|pdf]]
* May 30(M) Scalable Address Spaces Using RCU Balanced
Trees, ASPLOS 2012. [[(Attach:)pdf|pdf]]
* Jun 1(W) R2: An
Application-Level Kernel for Record and Replay, OSDI 2008. (Jialin [[(Attach:)pdf|pdf]]
* Jun 8(W) Efficient Software-Based Fault
Isolation, SOSP 1993. [[(Attach:)pdf|pdf]]
February 26, 2016, at 05:52 AM by 115.145.179.233 -
Changed lines 26-27 from:
* Mar 14(M) Levis: Experiences from a Decade of TinyOS Development
* Mar 16(W) Elphinstone: From L3 to seL4: What Have We Learnt in 20
to:
* Mar 14(M) Levis: Experiences from a Decade of TinyOS Development [[(Attach:)pdf|pdf]]
* Mar 16(W) Elphinstone: From L3 to
seL4: What Have We Learnt in 20 … [[(Attach:)pdf|pdf]]
Changed line 29 from:
* Mar 23(W) Exokernel
to:
* Mar 23(W) Exokernel [[(Attach:)pdf|pdf]]
February 26, 2016, at 05:51 AM by 115.145.179.233 -
Changed line 25 from:
* Mar 9(W): Leidtke: On micro-kernel Construction [[(Attach:)논문.pdf|pdf]]
to:
* Mar 9(W): Leidtke: On micro-kernel Construction [[(Attach:)pdf|pdf]]
February 26, 2016, at 05:51 AM by 115.145.179.233 -
February 26, 2016, at 05:51 AM by 115.145.179.233 -
Changed line 25 from:
* Mar 9(W): Leidtke: On micro-kernel Construction [[(Attach:)pdf|pdf]]
to:
* Mar 9(W): Leidtke: On micro-kernel Construction [[(Attach:)논문.pdf|pdf]]
February 26, 2016, at 05:50 AM by 115.145.179.233 -
Changed line 25 from:
* Mar 9(W): Leidtke: On micro-kernel Construction
to:
* Mar 9(W): Leidtke: On micro-kernel Construction [[(Attach:)pdf|pdf]]
February 26, 2016, at 05:28 AM by 115.145.179.233 -
February 26, 2016, at 05:28 AM by 115.145.179.233 -
Deleted lines 9-12:
(:cellnr valign=top :) '''Course'''\\
'''Description:'''
(:cell align=left valign=top :) This course covers the design and implementation of the principal operating systems components, such as process management, memory management and file systems. Specifically, we will examine the technological advancement in operating systems design by dissecting the historically influential operating systems. In addition, we will explore the future directions of operating systems by investigating the key issues in the cutting-edge hardware and software technology.
February 26, 2016, at 05:25 AM by 115.145.179.233 -
Deleted line 26:
February 26, 2016, at 05:25 AM by 115.145.179.233 -
Changed lines 26-27 from:
(:cellnr valign=top :) '''Schedule:'''
(:cell valign=top :)
to:
(:cellnr valign=top :) '''Schedule'''
February 26, 2016, at 05:24 AM by 115.145.179.233 -
Changed line 6 from:
(:cellnr valign=top :) '''Where:'''
to:
(:cellnr valign=top :) '''강의실:'''
Changed line 8 from:
(:cellnr valign=top :) '''Instructor:'''
to:
(:cellnr valign=top :) '''담당교수:'''
February 26, 2016, at 05:23 AM by 115.145.179.233 -
Deleted lines 1-2:

!!! [General information]
February 26, 2016, at 05:22 AM by 115.145.179.233 -
Changed line 11 from:
(:cell valign=bottom :) [[http://http://csl.skku.edu/People/Joon|이준원]]
to:
(:cell valign=bottom :) [[http://csl.skku.edu/People/Joon|이준원]]
February 26, 2016, at 05:22 AM by 115.145.179.233 -
Changed line 11 from:
(:cell valign=bottom :) [[http://http://csl.skku.edu/People/Joon|이준원]] \\]]
to:
(:cell valign=bottom :) [[http://http://csl.skku.edu/People/Joon|이준원]]
February 26, 2016, at 05:20 AM by 115.145.179.233 -
February 26, 2016, at 05:19 AM by 115.145.179.233 -
Changed line 35 from:
* Mar 21(M) 김상욱
to:
* Mar 21(M) 김상욱(이준원 교수)
Changed line 37 from:
* Mar 28(M) 서본근
to:
* Mar 28(M) 서본근(이준원 교수)
Changed line 41 from:
* Apr 11(M) 이재욱
to:
* Apr 11(M) 장학범(이재욱 교수)
Changed line 43 from:
* Apr 18(M) 엄영익
to:
* Apr 18(M) (엄영익 교수)
Changed line 52 from:
* May 23(M) 김진수
to:
* May 23(M) (김진수 교수)
Changed line 57 from:
* Jun 13(M) 신동군
to:
* Jun 13(M) 김혁중(신동군 교수)
February 26, 2016, at 05:17 AM by 115.145.179.233 -
Added lines 26-59:
(:tableend:)

(:cellnr valign=top :) '''Schedule:'''
(:cell valign=top :)
* Mar 2 (W): Introduction
* Mar 7(M) : OS Overview
* Mar 9(W): Leidtke: On micro-kernel Construction
* Mar 14(M) Levis: Experiences from a Decade of TinyOS Development
* Mar 16(W) Elphinstone: From L3 to seL4: What Have We Learnt in 20 …
* Mar 21(M) 김상욱
* Mar 23(W) Exokernel
* Mar 28(M) 서본근
* Mar 30(W) Scheduler Activations
* Apr 4(M) Baumann: The Multikernel: A New OS Architecture for …
* Apr 6(W) Disco
* Apr 11(M) 이재욱
* Apr 13(W) Waldspurger: Memory Resource Management in VMware ESX Server
* Apr 18(M) 엄영익
* Apr 20(W) Midterm
* Apr 27(W) Nikolaev: VirtuOS: an operating system with kernel virtualization
* May 2(M) Hagmann: Reimplementing the Cedar File System …
* May 4(M) Rosenblum: The Design and Implementation of a LFS
* May 9(M) Herlihy: Transactional Memory
* May 11(W) David: Everything You Always Wanted to Know about Synchronization
* May 16(M) Rinard: Failure-Oblivious Computing
* May 18(W) Engler: Bugs as Deviant Behavior
* May 23(M) 김진수
* May 25(W) Eraser: A Dynamic Data Race Detector for Multi-Threaded Programs
* May 30(M) Scalable Address Spaces Using RCU Balanced Trees, ASPLOS 2012.
* Jun 1(W) R2: An Application-Level Kernel for Record and Replay, OSDI 2008. (Jialin
* Jun 8(W) Efficient Software-Based Fault Isolation, SOSP 1993.
* Jun 13(M) 신동군
* Jun 15(W) Final Exam
February 26, 2016, at 05:12 AM by 115.145.179.233 -
Changed lines 11-13 from:
(:cell valign=bottom :) [[http://http://csl.skku.edu/People/Joon|이준원]] \\
Associate Professor\\
[[http://csl.skku.edu|Computer Systems Laboratory
]]
to:
(:cell valign=bottom :) [[http://http://csl.skku.edu/People/Joon|이준원]] \\]]
Changed lines 15-22 from:
(:cellnr valign=top :) '''References:'''
to:
(:cellnr valign=top :) '''Grading:'''
(:cell valign=top :) (Subject to change)
* Class participation: 20%
* Paper presentation: 30%
* Quizz: 20%
* Final exam: 30%
(:cellnr valign=top :) '''Teaching Assistant
:'''
Changed lines 24-40 from:
* Avi Silberschatz, Peter B. Galvin, and Greg Gagne, [[http://www.os-book.com/|''Operating System Concepts'']], 9th Edition, John Wiley & Sons, Inc. 2012.
* Andrew S. Tanenbaum, [[http://www.cs.vu.nl/~ast/books/mos2/|''Modern Operating Systems'']], 2nd Edition, Prentice-Hall, Inc. 2001.
* Daniel P. Bovet and Marco Cesati, [[http://www.oreilly.com/catalog/understandlk/index.html|''Understanding the Linux Kernel'']], Third Edition, O'Reilly & Associates, Inc. 2005.
* Mark E. Russinovich, David A. Solomon, and Alex Ionescu, [[http://technet.microsoft.com/en-us/sysinternals/bb963901.aspx|''Windows Internals'']], Sixth Edition, Microsoft Press, 2012.
* Richard McDougall and Jim Mauro, [[http://www.solarisinternals.com|''Solaris Internals'']], Second Edition, Sun Microsystems, Inc. 2007.
* Randal E. Bryant and David R. O'Hallaron, [[http://csapp.cs.cmu.edu|''Computer Systems: A Programmer's Perspective'']], Second Edition, Pearson Education, Inc., 2011.
(:cellnr valign=top :) '''Grading:'''
(:cell valign=top :) (Subject to change)
* Class participation: 20%
* Paper presentation: 20%
* Research proposal: 20%
* Midterm exam: 20%
* Final exam: 20%
(:cellnr valign=top :) '''Teaching Assistant:'''
(:cell valign=top :)
* 이재민
** E-Mail: jminlee92 at gmail.com
to:
* 김상욱
** E-Mail: swkim at csl
.skku.edu
February 26, 2016, at 05:07 AM by 115.145.179.233 -
Added lines 1-38:
!! ESW5010-41: 운영체제특론 (Spring 2016)

!!! [General information]

(:table border=0 width=90% align=left :)
(:cellnr width=15% valign=top :) '''강의시간:'''
(:cell valign=top :) 월 12:00-13:15, 수 15:00-16:15
(:cellnr valign=top :) '''Where:'''
(:cell valign=top :) 제2공학관 26동 3층 26310호
(:cellnr valign=top :) '''Instructor:'''
(:cell valign=bottom :) [[http://http://csl.skku.edu/People/Joon|이준원]] \\
Associate Professor\\
[[http://csl.skku.edu|Computer Systems Laboratory]]
(:cellnr valign=top :) '''Course'''\\
'''Description:'''
(:cell align=left valign=top :) This course covers the design and implementation of the principal operating systems components, such as process management, memory management and file systems. Specifically, we will examine the technological advancement in operating systems design by dissecting the historically influential operating systems. In addition, we will explore the future directions of operating systems by investigating the key issues in the cutting-edge hardware and software technology.
(:cellnr valign=top :) '''References:'''
(:cell valign=top :)
* Avi Silberschatz, Peter B. Galvin, and Greg Gagne, [[http://www.os-book.com/|''Operating System Concepts'']], 9th Edition, John Wiley & Sons, Inc. 2012.
* Andrew S. Tanenbaum, [[http://www.cs.vu.nl/~ast/books/mos2/|''Modern Operating Systems'']], 2nd Edition, Prentice-Hall, Inc. 2001.
* Daniel P. Bovet and Marco Cesati, [[http://www.oreilly.com/catalog/understandlk/index.html|''Understanding the Linux Kernel'']], Third Edition, O'Reilly & Associates, Inc. 2005.
* Mark E. Russinovich, David A. Solomon, and Alex Ionescu, [[http://technet.microsoft.com/en-us/sysinternals/bb963901.aspx|''Windows Internals'']], Sixth Edition, Microsoft Press, 2012.
* Richard McDougall and Jim Mauro, [[http://www.solarisinternals.com|''Solaris Internals'']], Second Edition, Sun Microsystems, Inc. 2007.
* Randal E. Bryant and David R. O'Hallaron, [[http://csapp.cs.cmu.edu|''Computer Systems: A Programmer's Perspective'']], Second Edition, Pearson Education, Inc., 2011.
(:cellnr valign=top :) '''Grading:'''
(:cell valign=top :) (Subject to change)
* Class participation: 20%
* Paper presentation: 20%
* Research proposal: 20%
* Midterm exam: 20%
* Final exam: 20%
(:cellnr valign=top :) '''Teaching Assistant:'''
(:cell valign=top :)
* 이재민
** E-Mail: jminlee92 at gmail.com
(:tableend:)

[[<<]]