Several disks. a) Define hardware and ISA models of a processor with two disksd1andd2.Forx2f0;1guse components like h:dx:portsandh:dx:smin the configurations. b) State the software conditions. c)...

Several disks.

a) Define hardware and ISA models of a processor with two disksd1andd2.Forx2f0;1guse components like h:dx:portsandh:dx:smin the

configurations.

b) State the software conditions.

c) Generalize the order reduction theorem.

d) Show that steps of disk 2 can be reordered behind the steps of a driver run for disk 1.