ALGEBRAIC SPECIFICATIONS OF A FILE MANAGEMENT SYSTEM-REPRESENTATION OF SYNCHRONIZATION MECHANISMS.

Yuji Sugiyama, Tadao Kasami, Jun Okui

Research output: Contribution to journalArticle

Abstract

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. '

Original languageEnglish
Pages (from-to)59-67
Number of pages9
JournalSystems, computers, controls
Volume14
Issue number1
Publication statusPublished - Jan 1 1983

ASJC Scopus subject areas

  • Engineering(all)

Fingerprint Dive into the research topics of 'ALGEBRAIC SPECIFICATIONS OF A FILE MANAGEMENT SYSTEM-REPRESENTATION OF SYNCHRONIZATION MECHANISMS.'. Together they form a unique fingerprint.

Cite this