Proving File Systems Meet Expectations.
The article presents an introduction to a research paper on the development of a formalism called crash Hoare logic that allows the authors to determine the consistency of file systems when crashes can occur at arbitrary times during execution. Topics include the organization of persistent storage m...
| Publicado en: | Communications of the ACM Vol. 60; no. 4; pp. 74 - 75 |
|---|---|
| Autor principal: | |
| Formato: | Artículo |
| Publicado: |
Association for Computing Machinery
Apr2017
|
| Materias: | |
| Acceso en línea: | Ver este registro en EBSCOhost |