<Device independence> lets an application request <input-output> through a uniform interface without depending on a particular device's control registers, instruction protocol or geometry. A <device driver> translates the abstract requests into device-specific operations. Replacing one supported disk model with another can then preserve the application's file-reading interface.

Solution

Past exam of the year 1 of the computer science course of the University of Oxford / 2016 / Digital systems, linear algebra, introduction to formal proof (resit) / 3 / a / Solution

 Solution (source code)