Specification of the UNIX Filing System
Specification of the UNIX Filing System
复制标题
UNIX 文件系统规范
DOI：
10.1109/tse.1984.5010215
复制
发表时间：
1984
影响因子：
7.4
通讯作者：
B. Sufrin
中科院分区：
文献类型：
--
作者：
Carroll Morgan;B. Sufrin
UNIX 文件系统的规范是使用基于基本数学集合论的符号给出的。使用的符号很少涉及其自身的特殊结构。该规范足够详细，可以捕获文件系统在系统调用级别的行为，但从数据表示问题（无论是在程序中还是在存储介质上）以及从可能用于实现系统的任何算法的描述中抽象出来。该规范的呈现分几个阶段，每个新阶段都建立在其前身的基础上；主要概念分开介绍，以便于理解。使用的符号允许将这些单独的阶段连接在一起，以给出每个文件系统操作的完整描述 - 包括其错误条件。规范符号的特征在使用时进行了解释，附录给出了从集合论中得出的符号的定义。
A specification of the UNIX filing system is given using a notation based on elementary mathematical set theory. The notation used involves very few special constructs of its own. The specification is detailed enough to capture the filing system's behavior at the system call level, yet abstracts from issues of data representation, whether in programs or on the storage medium, and from the description of any algorithms which might be used to implement the system. The presentation of the specification is in several stages, each new stage building on its predecessors; major concepts are introduced separately so that they may be easily understood. The notation used allows these separate stages to be joined together to give a complete description of each filing system operation-including its error conditions. Features of the specification notation are explained as they are used, and the Appendix gives the definitions of the symbols drawn from set theory.