Topic coverage
Operating Systems topics we can work through with your actual brief
The page focuses on formal concepts, models and algorithmic reasoning. Each topic below should connect to a deliverable, test or explanation instead of appearing as isolated terminology.
01Processes and threads
For processes and threads, first define the expected behaviour or result, then apply it to the coursework brief using Linux. Capture evidence that demonstrates the result and explain how it relates to formal concepts, models and algorithmic reasoning.
02CPU scheduling
For CPU scheduling, first define the expected behaviour or result, then apply it to the coursework brief using C. Capture evidence that demonstrates the result and explain how it relates to formal concepts, models and algorithmic reasoning.
03Memory management
When the brief includes memory management, identify exactly what the marker expects to inspect. Build or analyse that part with Bash, record meaningful evidence, and connect the outcome to correct reasoning and a defensible explanation.
04File systems
When the brief includes file systems, identify exactly what the marker expects to inspect. Build or analyse that part with VirtualBox, record meaningful evidence, and connect the outcome to correct reasoning and a defensible explanation.
05Deadlocks and synchronisation
For deadlocks and synchronisation, first define the expected behaviour or result, then apply it to the coursework brief using process tools. Capture evidence that demonstrates the result and explain how it relates to formal concepts, models and algorithmic reasoning.