17.2.6 Worked Examples: Operating Systems