Commits · os10 · stardiviner / OS

Browse files

Jul 12, 2017
- Folder renamed · 3915b11e
  Jens Lechtenbörger authored Jul 12, 2017
  
  View commits for tag os10 os10
  
  3915b11e
- Add instructions · dbd8fec0
  Jens Lechtenbörger authored Jul 12, 2017
  
  dbd8fec0
- Add security news · 2ad28b52
  Jens Lechtenbörger authored Jul 12, 2017
  
  2ad28b52
- Audio and JiTT for OS10 · f3f2d52d
  Jens Lechtenbörger authored Jul 12, 2017
  
  f3f2d52d
- Add Etherpad reminder · 392661a3
  Jens Lechtenbörger authored Jul 12, 2017
  
  392661a3
- Improve wording on semaphore as lock · 64feb383
  Jens Lechtenbörger authored Jul 12, 2017
  
  64feb383
- Unify name format · e117d1ed
  Jens Lechtenbörger authored Jul 12, 2017
  
  e117d1ed
Jul 11, 2017
- Add alice.txt · 8b607f90
  Jens Lechtenbörger authored Jul 11, 2017
  
  8b607f90
- Initial version of OS10 · ab0bdf0c
  Jens Lechtenbörger authored Jul 11, 2017
  
  ab0bdf0c
- Add reference to Fig. 6.11 · 7a4d06e4
  Jens Lechtenbörger authored Jul 11, 2017
  
  7a4d06e4
- Add TODO items · 15e854d2
  Jens Lechtenbörger authored Jul 11, 2017
  
  15e854d2
- Fix typo · 353556b5
  Jens Lechtenbörger authored Jul 11, 2017
  
  353556b5
- Update deadline, mention Etherpad · daca63bd
  Jens Lechtenbörger authored Jul 11, 2017
  
  daca63bd
Jul 10, 2017
- Minor updates · 1d341553
  Jens Lechtenbörger authored Jul 10, 2017
  
  View commits for tag os09 os09
  
  1d341553
Jul 07, 2017
- Add detail about fixed-priority scheduling · ef25869f
  Jens Lechtenbörger authored Jul 07, 2017
  
  ef25869f
- Files for OS09 · bfa26e41
  Jens Lechtenbörger authored Jul 07, 2017
  
  bfa26e41
- Add TODO item · 90c32848
  Jens Lechtenbörger authored Jul 07, 2017
  
  90c32848
- Use equals, not == · 40ff4f6a
  Jens Lechtenbörger authored Jul 07, 2017
  
  40ff4f6a
Jul 06, 2017
- Notes for PI and PC · 028627c3
  Jens Lechtenbörger authored Jul 06, 2017
  
  028627c3
- Several improvements based on JiTT feedback · fed107bf
  Jens Lechtenbörger authored Jul 06, 2017
  
  fed107bf
- Rephrase "user priority" · cde5aee0
  Jens Lechtenbörger authored Jul 06, 2017
  
  cde5aee0
- Add link for prevent vs avoid · d071e79a
  Jens Lechtenbörger authored Jul 06, 2017
  
  d071e79a
- Point out resource priorities for p. ceiling · 415d62de
  Jens Lechtenbörger authored Jul 06, 2017
  
  415d62de
- Clarify blocking for Ex. 4.10 · c91bf69f
  Jens Lechtenbörger authored Jul 06, 2017
  
  c91bf69f
- Add sleep as example for blocking · 1003d0be
  Jens Lechtenbörger authored Jul 06, 2017
  
  1003d0be
- Spell out priority inversion; PI only for priority inheritance · 45e27cba
  Jens Lechtenbörger authored Jul 06, 2017
  
  45e27cba
Jul 05, 2017
- Update understanding question, move to config.org · e56342fd
  Jens Lechtenbörger authored Jul 05, 2017
  
  e56342fd
- Add pen-and-paper notes, TODO item · 48fb6fe3
  Jens Lechtenbörger authored Jul 05, 2017
  
  48fb6fe3
- Add TODO item · 330ce195
  Jens Lechtenbörger authored Jul 05, 2017
  
  330ce195
Jul 04, 2017
- Add comments on bounded buffer · 02a5f5c6
  Jens Lechtenbörger authored Jul 04, 2017
  
  02a5f5c6
- Add sources of confusion · f13296b1
  Jens Lechtenbörger authored Jul 04, 2017
  
  f13296b1
- New slide in OS05 about this, link from OS06 · 773e8647
  Jens Lechtenbörger authored Jul 04, 2017
  
  773e8647
- Delete "monitor for" for locking with synchronized · 0c37c4f5
  Jens Lechtenbörger authored Jul 04, 2017
  
  0c37c4f5
- Audio for big picture · 4f4116c3
  Jens Lechtenbörger authored Jul 04, 2017
  
  View commits for tag os08 os08
  
  4f4116c3
Jul 03, 2017
- Link with anchor · acabf772
  Jens Lechtenbörger authored Jul 03, 2017
  
  acabf772
- Notes, links · a8ecb895
  Jens Lechtenbörger authored Jul 03, 2017
  
  a8ecb895
- Finish JiTT assignments · 69d2cbd9
  Jens Lechtenbörger authored Jul 03, 2017
  
  69d2cbd9
- Add link to GitLab · 88aa8876
  Jens Lechtenbörger authored Jul 03, 2017
  
  88aa8876
- Announce rules for game · b4bfe992
  Jens Lechtenbörger authored Jul 03, 2017
  
  b4bfe992
- Add rules for Battle of the Threads · b600d723
  Jens Lechtenbörger authored Jul 03, 2017
  
  b600d723