Abstract: | A file system is described which should be proof against hardware and software errors of considerable severity, as well as overcoming the problems caused by a sudden system stop (due, for example, to power failure). An important aspect of the latter is preservation of logical integrity at arbitrary levels of abstraction. Multiprocessing is supported at a record-locking, rather than file-locking, level. The system allows highly efficient access to large (e.g. multimillion) keyed-record files. The system is considered suitable for operating system file catalogues, and data bases. |