ECE5658S16.Schedule History

Hide minor edits - Show changes to markup

June 21, 2016, at 05:30 AM by 115.145.239.155 -
Changed line 34 from:
to:
June 13, 2016, at 02:39 AM by 115.145.179.186 -
Changed line 46 from:
  • Week 15: Future of operating systems design - 신현호, 이영석, 박재완
to:
May 30, 2016, at 05:08 AM by 115.145.239.60 -
Changed line 43 from:
  • Week 14: File system implementations - 오기환, 이종백, 김문학
to:
May 23, 2016, at 05:42 AM by 115.145.179.186 -
Changed line 40 from:
  • Week 13: Virtual file system and file system concepts - 강윤지, 곽현호, 황인중
to:
May 16, 2016, at 05:24 AM by 115.145.179.186 -
Changed line 37 from:
  • Week 12: I/O and device handling - 김대천, 차민철, 김희진
to:
May 08, 2016, at 12:22 PM by 115.143.156.26 -
Changed line 31 from:
to:
May 08, 2016, at 12:21 PM by 115.143.156.26 -
Changed line 31 from:
to:
May 08, 2016, at 12:14 PM by 115.143.156.26 -
Changed line 31 from:
to:
May 08, 2016, at 12:14 PM by 115.143.156.26 -
Changed line 31 from:
  • Week 10: Virtual memory management - 이효석, 김동용, 김종명
to:
Changed line 34 from:
  • Week 11: Cache and buffer management - 박은수, 이해민
to:
May 01, 2016, at 03:38 PM by 115.143.156.26 -
Changed line 28 from:
  • Week 9: Kernel memory management - 한상훈, 이규선, 현병훈
to:
April 17, 2016, at 10:14 AM by 115.143.156.26 -
Changed line 24 from:
  • Week 7: Multiprocessing and synchronisation - 임학수, 루이스, 정환진
to:
April 10, 2016, at 02:15 PM by 115.143.156.26 -
Changed line 21 from:
  • Week 6: Interrupt handling and interprocess communications - 박성제, 임창대, 김정인
to:
April 01, 2016, at 05:54 AM by 115.145.179.186 -
Changed line 18 from:
  • Week 5: Power management and energy efficiency - 김상헌, 김민수
to:
March 27, 2016, at 08:20 AM by 115.143.156.26 -
Changed line 15 from:
  • Week 4: Process scheduling - 이동윤, 남택은, 조형일
to:
March 21, 2016, at 07:27 AM by 115.145.246.22 -
Changed line 24 from:
  • Week 7: Multiprocessing and synchronisation
to:
  • Week 7: Multiprocessing and synchronisation - 임학수, 루이스, 정환진
Changed line 28 from:
  • Week 9: Kernel memory management - 한상훈, 이규선
to:
  • Week 9: Kernel memory management - 한상훈, 이규선, 현병훈
Changed line 46 from:
  • Week 15: Future of operating systems design - 신현호, 이영석
to:
  • Week 15: Future of operating systems design - 신현호, 이영석, 박재완
March 20, 2016, at 11:35 AM by 115.143.156.26 -
Changed line 12 from:
  • Week 3: Process management - 이경준, 임진호, 홍성인
to:
March 14, 2016, at 08:54 AM by 115.145.240.47 -
Changed line 46 from:
  • Week 15: Future of operating systems design
to:
  • Week 15: Future of operating systems design - 신현호, 이영석
March 14, 2016, at 07:29 AM by 115.145.240.47 -
Changed line 34 from:
  • Week 11: Cache and buffer management - 이종백, 오기환, 김문학
to:
  • Week 11: Cache and buffer management - 박은수, 이해민
March 13, 2016, at 01:45 PM by 115.143.156.26 -
Changed line 9 from:
  • Week 2: Operating systems design paradigms - 노재헌, 박우락, 임유혁
to:
March 11, 2016, at 06:14 AM by 115.145.179.186 -
Changed line 18 from:
  • Week 5: Power management and energy efficiency
to:
  • Week 5: Power management and energy efficiency - 김상헌, 김민수
March 11, 2016, at 05:55 AM by 115.145.179.186 -
Changed lines 13-14 from:
  1. Resource Containers: A New Facility for Resource Management in Server Systems, in Proceedings of the 3rd Symposium on Operating Systems Design and Implementation, G. Banga et al., 1999 - TBD
  2. PTask: Operating System Abstractions To Manage GPUs as Compute Devices, in Proceedings of the Twenty-Third ACM Symposium on Operating Systems Principles, C. J. Rossbach et al., 2011 - TBD
to:
  1. Resource Containers: A New Facility for Resource Management in Server Systems, in Proceedings of the 3rd Symposium on Operating Systems Design and Implementation, G. Banga et al., 1999
  2. PTask: Operating System Abstractions To Manage GPUs as Compute Devices, in Proceedings of the Twenty-Third ACM Symposium on Operating Systems Principles, C. J. Rossbach et al., 2011
Changed lines 18-20 from:
  • Week 5: Power management and energy efficiency - TBD
    1. Vertigo: automatic performance-setting for Linux, in Proceedings of the 5th symposium on Operating systems design and implementation, K. Flaunter et al., 2002 - TBD
    2. Power containers: an OS facility for fine-grained power and energy management on multicore servers, in Proceedings of the eighteenth international conference on Architectural support for programming languages and operating systems, K. Shen et al., 2013 - TBD
to:
  • Week 5: Power management and energy efficiency
    1. Vertigo: automatic performance-setting for Linux, in Proceedings of the 5th symposium on Operating systems design and implementation, K. Flaunter et al., 2002
    2. Power containers: an OS facility for fine-grained power and energy management on multicore servers, in Proceedings of the eighteenth international conference on Architectural support for programming languages and operating systems, K. Shen et al., 2013
Changed lines 25-26 from:
  1. Everything You Always Wanted to Know About Synchronization but Were Afraid to Ask, in Proceedings of the Twenty-Fourth ACM Symposium on Operating Systems Principles, T. David et al., 2013 - TBD
  2. The scalable commutativity rule: designing scalable software for multicore processors, in Proceedings of the Twenty-Fourth ACM Symposium on Operating Systems Principles, A. T. Clements et al., 2013 - TBD
to:
  1. Everything You Always Wanted to Know About Synchronization but Were Afraid to Ask, in Proceedings of the Twenty-Fourth ACM Symposium on Operating Systems Principles, T. David et al., 2013
  2. The scalable commutativity rule: designing scalable software for multicore processors, in Proceedings of the Twenty-Fourth ACM Symposium on Operating Systems Principles, A. T. Clements et al., 2013
Changed lines 32-33 from:
  1. Lightweight recoverable virtual memory, in Proceedings of the fourteenth ACM symposium on Operating systems principles, M. Satyanarayanan et al., 1993 - TBD
  2. Regularities considered harmful: forcing randomness to memory accesses to reduce row buffer conflicts for multi-core, multi-bank systems, in Proceedings of the eighteenth international conference on Architectural support for programming languages and operating systems, H. Park et al., 2013 - TBD
to:
  1. Lightweight recoverable virtual memory, in Proceedings of the fourteenth ACM symposium on Operating systems principles, M. Satyanarayanan et al., 1993
  2. Regularities considered harmful: forcing randomness to memory accesses to reduce row buffer conflicts for multi-core, multi-bank systems, in Proceedings of the eighteenth international conference on Architectural support for programming languages and operating systems, H. Park et al., 2013
Changed lines 35-36 from:
  1. IO−Lite: A Unified I/O Buffering and Caching System, in Proceedings of the 3rd Symposium on Operating Systems Design and Implementation, V. S. Pai et al., 1999 - TBD
  2. Utilizing the IOMMU Scalably, in Proceedings of the 2015 USENIX Conference on Usenix Annual Technical Conference, O. Peleg, 2015 - TBD
to:
  1. IO−Lite: A Unified I/O Buffering and Caching System, in Proceedings of the 3rd Symposium on Operating Systems Design and Implementation, V. S. Pai et al., 1999
  2. Utilizing the IOMMU Scalably, in Proceedings of the 2015 USENIX Conference on Usenix Annual Technical Conference, O. Peleg, 2015
Changed lines 41-42 from:
  1. Rethink the Sync, in Proceedings of the 7th symposium on Operating systems design and implementation, E. B. Nightingale et al., 2006 - TBD
  2. Aerie: Flexible File-System Interfaces to Storage-Class Memory, in Proceedings of the Ninth European Conference on Computer Systems, H. Volos et al., 2014 - TBD
to:
  1. Rethink the Sync, in Proceedings of the 7th symposium on Operating systems design and implementation, E. B. Nightingale et al., 2006
  2. Aerie: Flexible File-System Interfaces to Storage-Class Memory, in Proceedings of the Ninth European Conference on Computer Systems, H. Volos et al., 2014
Changed lines 47-48 from:
  1. Corey: an operating system for many cores, in Proceedings of the 8th USENIX conference on operating systems design and implementation, S. Boyd-Wickizer et al., 2008 - TBD
  2. VirtuOS: an operating system with kernel virtualisation, in Proceedings of the twenty-fourth ACM symposium on operating systems principles, R. Nikolaev, 2013 - TBD
to:
  1. Corey: an operating system for many cores, in Proceedings of the 8th USENIX conference on operating systems design and implementation, S. Boyd-Wickizer et al., 2008
  2. VirtuOS: an operating system with kernel virtualisation, in Proceedings of the twenty-fourth ACM symposium on operating systems principles, R. Nikolaev, 2013
March 11, 2016, at 05:54 AM by 115.145.179.186 -
Changed line 15 from:
  • Week 4: Process scheduling - 이동윤, 남택은, 조형일
to:
  • Week 4: Process scheduling - 이동윤, 남택은, 조형일
Changed line 18 from:
  • Week 5: Power management and energy efficiency - 이동윤, 남택은, 조형일
to:
  • Week 5: Power management and energy efficiency - TBD
March 11, 2016, at 05:17 AM by 115.145.179.186 -
Changed line 28 from:
  • Week 9: Kernel memory management - 한상훈, 이규선, 김서연
to:
  • Week 9: Kernel memory management - 한상훈, 이규선
March 11, 2016, at 03:40 AM by 203.252.54.17 -
Changed line 28 from:
  • Week 9: Kernel memory management - 한상훈, 이규선
to:
  • Week 9: Kernel memory management - 한상훈, 이규선, 김서연
March 11, 2016, at 03:39 AM by 203.252.54.17 -
Changed line 12 from:
  • Week 3: Process management
to:
  • Week 3: Process management - 이경준, 임진호, 홍성인
Changed line 18 from:
  • Week 5: Power management and energy efficiency
to:
  • Week 5: Power management and energy efficiency - 이동윤, 남택은, 조형일
March 11, 2016, at 03:37 AM by 203.252.54.17 -
Changed line 31 from:
  • Week 10: Virtual memory management
to:
  • Week 10: Virtual memory management - 이효석, 김동용, 김종명
Changed line 34 from:
  • Week 11: Cache and buffer management
to:
  • Week 11: Cache and buffer management - 이종백, 오기환, 김문학
March 09, 2016, at 06:27 AM by 115.145.179.186 -
Changed line 40 from:
  • Week 13: Virtual file system and file system concepts
to:
  • Week 13: Virtual file system and file system concepts - 강윤지, 곽현호, 황인중
March 08, 2016, at 08:54 AM by 115.145.179.186 -
Changed line 43 from:
  • Week 14: File system implementations
to:
  • Week 14: File system implementations - 오기환, 이종백, 김문학
March 07, 2016, at 08:23 AM by 115.145.179.186 -
Changed lines 37-39 from:
  • Week 12: I/O and device handling
    1. Recovering Device Drivers, in Proceedings of the sixth Symposium on Operating Systems Design and Implementation, M. M. Swift et al., 2004 - TBD
    2. IX: a protected dataplane operating system for high throughput and low latency, in Proceedings of the 11th USENIX conference on Operating Systems Design and Implementation, A. Belay et al., 2014 - TBD
to:
  • Week 12: I/O and device handling - 김대천, 차민철, 김희진
    1. Recovering Device Drivers, in Proceedings of the sixth Symposium on Operating Systems Design and Implementation, M. M. Swift et al., 2004
    2. IX: a protected dataplane operating system for high throughput and low latency, in Proceedings of the 11th USENIX conference on Operating Systems Design and Implementation, A. Belay et al., 2014
March 07, 2016, at 08:21 AM by 115.145.179.186 -
Changed lines 10-11 from:
  1. Exokernel: an operating system architecture for application-level resource management, in Proceedings of the fifteenth ACM symposium on Operating systems principles, D. R. Engler et al., 1995 - TBD
  2. From L3 to seL4 What Have We Learnt in 20 Years of L4 Microkernels?, in Proceedings of the twenty-fourth ACM symposium on operating systems principles, K. Elphinstone, 2013 - TBD
to:
  1. Exokernel: an operating system architecture for application-level resource management, in Proceedings of the fifteenth ACM symposium on Operating systems principles, D. R. Engler et al., 1995
  2. From L3 to seL4 What Have We Learnt in 20 Years of L4 Microkernels?, in Proceedings of the twenty-fourth ACM symposium on operating systems principles, K. Elphinstone, 2013
Changed lines 16-17 from:
  1. Lottery Scheduling: Flexible Proportional-Share Resource Management, in Proceedings of the 1st USENIX conference on operating systems design and implementation, C. A. Waldspurger et al., 1994 - TBD
  2. Thread clustering: sharing-aware scheduling on SMP-CMP-SMT multiprocessors, in Proceedings of the 2nd ACM SIGOPS/EuroSys European Conference on Computer Systems, D. Tam et al., 2007 - TBD
to:
  1. Lottery Scheduling: Flexible Proportional-Share Resource Management, in Proceedings of the 1st USENIX conference on operating systems design and implementation, C. A. Waldspurger et al., 1994
  2. Thread clustering: sharing-aware scheduling on SMP-CMP-SMT multiprocessors, in Proceedings of the 2nd ACM SIGOPS/EuroSys European Conference on Computer Systems, D. Tam et al., 2007
March 07, 2016, at 08:21 AM by 115.145.179.186 -
Changed line 9 from:
  • Week 2: Operating systems design paradigms
to:
  • Week 2: Operating systems design paradigms - 노재헌, 박우락, 임유혁
March 07, 2016, at 08:21 AM by 115.145.179.186 -
Changed line 15 from:
  • Week 4: Process scheduling
to:
  • Week 4: Process scheduling - 이동윤, 남택은, 조형일
March 07, 2016, at 08:17 AM by 115.145.179.186 -
Changed line 21 from:
  • Week 6: Interrupt handling and interprocess communications
to:
  • Week 6: Interrupt handling and interprocess communications - 박성제, 임창대, 김정인
Changed line 23 from:
  1. Supporting time-sensitive applications on a commodity OS, in Proceedings of the 5th symposium on Operating systems design and implementation, A. Goel et al., 2002 - 박성제, 임창대, 김정인
to:
  1. Supporting time-sensitive applications on a commodity OS, in Proceedings of the 5th symposium on Operating systems design and implementation, A. Goel et al., 2002
Changed line 28 from:
  • Week 9: Kernel memory management
to:
  • Week 9: Kernel memory management - 한상훈, 이규선
Changed line 30 from:
  1. Magazines and Vmem: Extending the Slab Allocator to Many CPUs and Arbitrary Resources, in Proceedings of the 2001 USENIX Annual Technical Conference, W. Dietz et al., 2001 - 한상훈, 이규선
to:
  1. Magazines and Vmem: Extending the Slab Allocator to Many CPUs and Arbitrary Resources, in Proceedings of the 2001 USENIX Annual Technical Conference, W. Dietz et al., 2001
March 07, 2016, at 08:16 AM by 115.145.179.186 -
Changed line 23 from:
  1. Supporting time-sensitive applications on a commodity OS, in Proceedings of the 5th symposium on Operating systems design and implementation, A. Goel et al., 2002 - 박성제, 임창대, 김정인
to:
  1. Supporting time-sensitive applications on a commodity OS, in Proceedings of the 5th symposium on Operating systems design and implementation, A. Goel et al., 2002 - 박성제, 임창대, 김정인
March 07, 2016, at 08:16 AM by 115.145.179.186 -
Changed lines 29-30 from:
  1. The impact of operating system structure on memory system performance, in Proceedings of the fourteenth ACM symposium on Operating systems principles, J. B. Chen et al., 1993 - TBD
  2. Magazines and Vmem: Extending the Slab Allocator to Many CPUs and Arbitrary Resources, in Proceedings of the 2001 USENIX Annual Technical Conference, W. Dietz et al., 2001 - TBD
to:
  1. The impact of operating system structure on memory system performance, in Proceedings of the fourteenth ACM symposium on Operating systems principles, J. B. Chen et al., 1993
  2. Magazines and Vmem: Extending the Slab Allocator to Many CPUs and Arbitrary Resources, in Proceedings of the 2001 USENIX Annual Technical Conference, W. Dietz et al., 2001 - 한상훈, 이규선
March 07, 2016, at 08:00 AM by 115.145.179.186 -
Changed lines 22-23 from:
  1. Implementing remote procedure calls, ACM Transactions on Computer Systems, Vol. 2, Issue 1, A. D. Birrell, 1984 - TBD
  2. Supporting time-sensitive applications on a commodity OS, in Proceedings of the 5th symposium on Operating systems design and implementation, A. Goel et al., 2002 - TBD
to:
  1. Implementing remote procedure calls, ACM Transactions on Computer Systems, Vol. 2, Issue 1, A. D. Birrell, 1984
  2. Supporting time-sensitive applications on a commodity OS, in Proceedings of the 5th symposium on Operating systems design and implementation, A. Goel et al., 2002 - 박성제, 임창대, 김정인
March 07, 2016, at 01:01 AM by 115.145.179.186 -
Changed line 8 from:
  • Week 1: Course overview & operating systems concept
to:
January 06, 2016, at 03:35 AM by 115.143.156.26 -
Changed lines 32-33 from:
  1. Lightweight recoverable virtual memory, in Proceedings of the fourteenth ACM symposium on Operating systems principles, M. Satyanarayanan et al., 1993
to:
  1. Lightweight recoverable virtual memory, in Proceedings of the fourteenth ACM symposium on Operating systems principles, M. Satyanarayanan et al., 1993 - TBD
  2. Regularities considered harmful: forcing randomness to memory accesses to reduce row buffer conflicts for multi-core, multi-bank systems, in Proceedings of the eighteenth international conference on Architectural support for programming languages and operating systems, H. Park et al., 2013 - TBD
January 06, 2016, at 03:04 AM by 115.143.156.26 -
Added line 29:
  1. The impact of operating system structure on memory system performance, in Proceedings of the fourteenth ACM symposium on Operating systems principles, J. B. Chen et al., 1993 - TBD
January 06, 2016, at 03:01 AM by 115.143.156.26 -
Added line 26:
  1. The scalable commutativity rule: designing scalable software for multicore processors, in Proceedings of the Twenty-Fourth ACM Symposium on Operating Systems Principles, A. T. Clements et al., 2013 - TBD
January 06, 2016, at 02:49 AM by 115.143.156.26 -
Added line 33:
  1. Utilizing the IOMMU Scalably, in Proceedings of the 2015 USENIX Conference on Usenix Annual Technical Conference, O. Peleg, 2015 - TBD
January 06, 2016, at 02:37 AM by 115.143.156.26 -
Added line 34:
  1. Recovering Device Drivers, in Proceedings of the sixth Symposium on Operating Systems Design and Implementation, M. M. Swift et al., 2004 - TBD
January 06, 2016, at 02:25 AM by 115.143.156.26 -
Added line 34:
  1. IX: a protected dataplane operating system for high throughput and low latency, in Proceedings of the 11th USENIX conference on Operating Systems Design and Implementation, A. Belay et al., 2014 - TBD
January 06, 2016, at 02:20 AM by 115.143.156.26 -
Added line 22:
  1. Implementing remote procedure calls, ACM Transactions on Computer Systems, Vol. 2, Issue 1, A. D. Birrell, 1984 - TBD
January 06, 2016, at 02:14 AM by 115.143.156.26 -
Added line 38:
  1. F2FS: A New File System for Flash Storage, in Proceedings of the 2015 USENIX Annual Technical Conference, Lee et al., 2015
January 06, 2016, at 02:11 AM by 115.143.156.26 -
Added line 27:
  1. Magazines and Vmem: Extending the Slab Allocator to Many CPUs and Arbitrary Resources, in Proceedings of the 2001 USENIX Annual Technical Conference, W. Dietz et al., 2001 - TBD
January 06, 2016, at 02:06 AM by 115.143.156.26 -
January 06, 2016, at 01:39 AM by 115.143.156.26 -
Added line 22:
  1. Supporting time-sensitive applications on a commodity OS, in Proceedings of the 5th symposium on Operating systems design and implementation, A. Goel et al., 2002 - TBD
January 06, 2016, at 01:35 AM by 115.143.156.26 -
Added line 27:
  1. Lightweight recoverable virtual memory, in Proceedings of the fourteenth ACM symposium on Operating systems principles, M. Satyanarayanan et al., 1993
January 06, 2016, at 01:28 AM by 115.143.156.26 -
Added line 28:
  1. IO−Lite: A Unified I/O Buffering and Caching System, in Proceedings of the 3rd Symposium on Operating Systems Design and Implementation, V. S. Pai et al., 1999 - TBD
January 06, 2016, at 12:32 AM by 115.143.156.26 -
Changed lines 30-31 from:
  1. Aerie: Flexible File-System Interfaces to Storage-Class Memory, in Proceedings of the Ninth European Conference on Computer Systems, H. Volos et al., 2014 -TBD
to:
  1. Rethink the Sync, in Proceedings of the 7th symposium on Operating systems design and implementation, E. B. Nightingale et al., 2006 - TBD
  2. Aerie: Flexible File-System Interfaces to Storage-Class Memory, in Proceedings of the Ninth European Conference on Computer Systems, H. Volos et al., 2014 - TBD
January 06, 2016, at 12:23 AM by 115.143.156.26 -
Added line 30:
  1. Aerie: Flexible File-System Interfaces to Storage-Class Memory, in Proceedings of the Ninth European Conference on Computer Systems, H. Volos et al., 2014 -TBD
January 06, 2016, at 12:04 AM by 115.143.156.26 -
Added line 23:
  1. Everything You Always Wanted to Know About Synchronization but Were Afraid to Ask, in Proceedings of the Twenty-Fourth ACM Symposium on Operating Systems Principles, T. David et al., 2013 - TBD
January 05, 2016, at 03:26 PM by 115.143.156.26 -
Added line 17:
  1. Thread clustering: sharing-aware scheduling on SMP-CMP-SMT multiprocessors, in Proceedings of the 2nd ACM SIGOPS/EuroSys European Conference on Computer Systems, D. Tam et al., 2007 - TBD
January 05, 2016, at 03:22 PM by 115.143.156.26 -
Added line 29:
  1. The design and implementation of a log-structured file system, ACM Transactions on Computer Systems, Vol. 10, Issue 1, pp. 26-52, M. Rosenblum et al., 1992
January 05, 2016, at 03:17 PM by 115.143.156.26 -
Changed line 8 from:
  • Week 1: Course overview & operating systems concept
to:
  • Week 1: Course overview & operating systems concept
January 05, 2016, at 03:17 PM by 115.143.156.26 -
Changed line 8 from:
  • Week 1: Course overview & operating systems concept
to:
  • Week 1: Course overview & operating systems concept
January 05, 2016, at 03:16 PM by 115.143.156.26 -
Added line 19:
  1. Power containers: an OS facility for fine-grained power and energy management on multicore servers, in Proceedings of the eighteenth international conference on Architectural support for programming languages and operating systems, K. Shen et al., 2013 - TBD
January 05, 2016, at 02:46 PM by 115.143.156.26 -
Added line 18:
  1. Vertigo: automatic performance-setting for Linux, in Proceedings of the 5th symposium on Operating systems design and implementation, K. Flaunter et al., 2002 - TBD
January 05, 2016, at 02:45 PM by 115.143.156.26 -
Added line 14:
  1. PTask: Operating System Abstractions To Manage GPUs as Compute Devices, in Proceedings of the Twenty-Third ACM Symposium on Operating Systems Principles, C. J. Rossbach et al., 2011 - TBD
January 05, 2016, at 02:06 PM by 115.143.156.26 -
Added line 13:
  1. Resource Containers: A New Facility for Resource Management in Server Systems, in Proceedings of the 3rd Symposium on Operating Systems Design and Implementation, G. Banga et al., 1999 - TBD
Changed line 15 from:
  1. Lottery Scheduling: Flexible Proportional-Share Resource Management, in Proceedings of the 1st USENIX conference on operating systems design and implementation, C. A. Waldspurger, 1994 - TBD
to:
  1. Lottery Scheduling: Flexible Proportional-Share Resource Management, in Proceedings of the 1st USENIX conference on operating systems design and implementation, C. A. Waldspurger et al., 1994 - TBD
January 05, 2016, at 02:03 PM by 115.143.156.26 -
Added line 14:
  1. Lottery Scheduling: Flexible Proportional-Share Resource Management, in Proceedings of the 1st USENIX conference on operating systems design and implementation, C. A. Waldspurger, 1994 - TBD
January 05, 2016, at 12:40 PM by 115.145.179.186 -
Changed line 25 from:
  1. Corey: an operating system for many cores, in Proceedings of the 8th USENIX conference on operating systems design and implementation, S. Boyd-Wickizer et al., 2008
to:
  1. Corey: an operating system for many cores, in Proceedings of the 8th USENIX conference on operating systems design and implementation, S. Boyd-Wickizer et al., 2008 - TBD
January 05, 2016, at 12:40 PM by 115.145.179.186 -
Changed line 11 from:
  1. From L3 to seL4 What Have We Learnt in 20 Years of L4 Microkernels?, in Proceedings of the twenty-fourth ACM symposium on Operating systems principles, K. Elphinstone, 2013 - TBD
to:
  1. From L3 to seL4 What Have We Learnt in 20 Years of L4 Microkernels?, in Proceedings of the twenty-fourth ACM symposium on operating systems principles, K. Elphinstone, 2013 - TBD
Added line 26:
  1. VirtuOS: an operating system with kernel virtualisation, in Proceedings of the twenty-fourth ACM symposium on operating systems principles, R. Nikolaev, 2013 - TBD
January 05, 2016, at 12:21 PM by 115.145.179.186 -
Changed line 25 from:
  1. ''
to:
  1. Corey: an operating system for many cores, in Proceedings of the 8th USENIX conference on operating systems design and implementation, S. Boyd-Wickizer et al., 2008
January 05, 2016, at 12:17 PM by 115.145.179.186 -
Added line 7:
January 05, 2016, at 12:17 PM by 115.145.179.186 -
Deleted lines 6-25:
January 05, 2016, at 12:16 PM by 115.145.179.186 -
Changed lines 15-16 from:
to:
January 05, 2016, at 12:16 PM by 115.145.179.186 -
Changed line 15 from:
to:
January 05, 2016, at 12:16 PM by 115.145.179.186 -
Added lines 13-18:
January 05, 2016, at 12:15 PM by 115.145.179.186 -
Changed line 16 from:

TBD

to:

TBD\\

January 05, 2016, at 12:15 PM by 115.145.179.186 -
Changed line 15 from:
to:
January 05, 2016, at 12:14 PM by 115.145.179.186 -
Changed lines 15-17 from:
to:
January 05, 2016, at 12:14 PM by 115.145.179.186 -
Changed line 12 from:
to:
January 05, 2016, at 12:14 PM by 115.145.179.186 -
Changed lines 13-14 from:
  1. Exokernel: an operating system architecture for application-level resource management, in Proceedings of the fifteenth ACM symposium on Operating systems principles, D. R. Engler et al., 1995 - TBD
  2. From L3 to seL4 What Have We Learnt in 20 Years of L4 Microkernels?, in Proceedings of the twenty-fourth ACM symposium on Operating systems principles, K. Elphinstone, 2013 - TBD
to:
  1. Exokernel: an operating system architecture for application-level resource management, in Proceedings of the fifteenth ACM symposium on Operating systems principles, D. R. Engler et al., 1995 - TBD
  2. From L3 to seL4 What Have We Learnt in 20 Years of L4 Microkernels?, in Proceedings of the twenty-fourth ACM symposium on Operating systems principles, K. Elphinstone, 2013 - TBD
January 05, 2016, at 12:14 PM by 115.145.179.186 -
Changed lines 12-14 from:
to:
January 05, 2016, at 12:13 PM by 115.145.179.186 -
Added line 15:
January 05, 2016, at 12:12 PM by 115.145.179.186 -
Changed lines 6-16 from:
to:
January 05, 2016, at 12:10 PM by 115.145.179.186 -
Changed line 10 from:
  1. From L3 to seL4 What Have We Learnt in 20 Years of L4 Microkernels?, in Proceedings of the twenty-fourth ACM symposium on Operating systems principles, K. Elphinstone, 2013
to:
  1. From L3 to seL4 What Have We Learnt in 20 Years of L4 Microkernels?, in Proceedings of the twenty-fourth ACM symposium on Operating systems principles, K. Elphinstone, 2013 - TBD
January 05, 2016, at 12:10 PM by 115.145.179.186 -
Added line 10:
  1. From L3 to seL4 What Have We Learnt in 20 Years of L4 Microkernels?, in Proceedings of the twenty-fourth ACM symposium on Operating systems principles, K. Elphinstone, 2013
Added line 24:
  1. ''
January 05, 2016, at 11:42 AM by 115.145.179.186 -
Changed lines 9-10 from:
  1. Exokernel: an operating system architecture for application-level resource management, in Proceedings of the fifteenth ACM symposium on Operating systems principles, D. R. Engler et al., 1995
to:
  1. Exokernel: an operating system architecture for application-level resource management, in Proceedings of the fifteenth ACM symposium on Operating systems principles, D. R. Engler et al., 1995 - TBD
January 05, 2016, at 11:41 AM by 115.145.179.186 -
Added lines 9-10:
  1. Exokernel: an operating system architecture for application-level resource management, in Proceedings of the fifteenth ACM symposium on Operating systems principles, D. R. Engler et al., 1995
January 05, 2016, at 11:38 AM by 115.145.179.186 -
Changed line 7 from:
  • Week 1: Course Overview & operating systems concept
to:
  • Week 1: Course overview & operating systems concept
January 05, 2016, at 11:37 AM by 115.145.179.186 -
Changed line 7 from:
  • Week 1: Course Overview & Operating systems concept
to:
  • Week 1: Course Overview & operating systems concept
January 05, 2016, at 08:51 AM by 115.145.179.186 -
Changed lines 13-22 from:
  • Week 7: Multiprocessing and synchronization
  • Week 7: Kern
  • Week 8: Midterm Exam
  • Week 9: Backtracking pdf Δ
  • Week 10: Graph Traversal pdf Δ
  • Week 11: Graph Algorithms pdf Δ
  • Week 12: Dynamic Programming pdf Δ
  • Week 13: Grid Problems pdf Δ
  • Week 14: Geometry Problems pdf Δ
  • Week 15: Future of op
to:
  • Week 7: Multiprocessing and synchronisation
  • Week 8: Midterm exam
  • Week 9: Kernel memory management
  • Week 10: Virtual memory management
  • Week 11: Cache and buffer management
  • Week 12: I/O and device handling
  • Week 13: Virtual file system and file system concepts
  • Week 14: File system implementations
  • Week 15: Future of operating systems design
January 05, 2016, at 08:44 AM by 115.145.179.186 -
Changed lines 7-13 from:
  • Week 1: Course Overview & Operating systems concept - pdf Δ
  • Week 2: Process management - pdf Δ
  • Week 3: Power management pdf Δ
  • Week 4: Memory management pdf Δ
  • Week 5: I/O Handling pdf Δ
  • Week 6: Combinatorics pdf Δ
  • Week 7: Number Theory pdf Δ
to:
  • Week 1: Course Overview & Operating systems concept
  • Week 2: Operating systems design paradigms
  • Week 3: Process management
  • Week 4: Process scheduling
  • Week 5: Power management and energy efficiency
  • Week 6: Interrupt handling and interprocess communications
  • Week 7: Multiprocessing and synchronization
  • Week 7: Kern
January 05, 2016, at 07:55 AM by 115.145.179.186 -
Changed line 8 from:
  • Week 2: Process scheduling - pdf Δ
to:
  • Week 2: Process management - pdf Δ
January 05, 2016, at 07:48 AM by 115.145.179.186 -
Changed lines 7-11 from:
  • Week 1: Course Overview & Operating Systems Concept - pdf Δ
  • Week 2: Data Structures - pdf Δ
  • Week 3: String Problems pdf Δ
  • Week 4: Sorting Problems pdf Δ
  • Week 5: Arithmetic Problems pdf Δ
to:
  • Week 1: Course Overview & Operating systems concept - pdf Δ
  • Week 2: Process scheduling - pdf Δ
  • Week 3: Power management pdf Δ
  • Week 4: Memory management pdf Δ
  • Week 5: I/O Handling pdf Δ
Changed line 21 from:
  • Week 15: Computational Geometry
to:
  • Week 15: Future of op
January 05, 2016, at 07:26 AM by 115.145.179.186 -
Changed line 7 from:
  • Week 1: Overview & Introduction - pdf Δ
to:
  • Week 1: Course Overview & Operating Systems Concept - pdf Δ
January 05, 2016, at 07:25 AM by 115.145.179.186 -
Changed lines 23-24 from:
to:
January 05, 2016, at 02:17 AM by 115.145.179.186 -
Added lines 1-24: