Two algebraic specifications, System-0 and File-system, of a sequential-file management system are presented at two different levels of abstraction and their relations are discussed. File-system is written as an extension of System-0 in the sense that reading (or writing) a record from (or to) a file is an indivisible operation in the latter, but not in the former. In File-system synchronization mechanisms of read, write and wait requests are described. It is shown that File-system is equivalent to System-0 with respect to the user processes' view if user buffers are used 'sequentially. ' It is shown also that the axioms are 'consistent' and in a sense 'sufficiently complete. '
|Number of pages||9|
|Journal||Systems, computers, controls|
|Publication status||Published - Jan 1 1983|
ASJC Scopus subject areas