Buffer Manager
- input(x): Read page containing x from disk to buffer.
- output(x): Write page containing x from buffer to disk.
- read(x, v): input(x) if necessary, and then assign x to variable v.
- write(x, v): input(x) if necessary, and then copy v to x.
Example
read(a, v)
v = v * 2
write(a, v)
read(b, v)
b = b + 1
write(b, v)
output(a)
output(b)
|