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 |
| fields | @attributes: recordID: 1 pdfLink: plink: https://search.ebscohost.com/login.aspx?direct=true&db=hlh&AN=122295222&site=ehost-live header: @attributes: shortDbName: hlh uiTerm: 122295222 longDbName: Humanities International Complete uiTag: AN controlInfo: bkinfo: jinfo: jid: 00010782 ACM jtl: Communications of the ACM issn: 00010782 maglogo: N pubinfo: dt: Apr2017 vid: 60 iid: 4 pid: 68 pub: Association for Computing Machinery artinfo: ui: 122295222 10.1145/3051090 ppf: 74 ppct: 1 formats: tig: atl: Proving File Systems Meet Expectations. aug: au: Heiser, Gernot affil: Scientia Professor and the John Lions Chair for operating systems at the University of New South Wales su: Electronic file management Hoare logic Computer system failures Computer storage devices Automation Errors sug: subj: Electronic file management Hoare logic Computer system failures Computer storage devices Automation Errors ab: 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 media, the definition of crash safety, and efforts to create complete operating systems with full proof automation. pubtype: Periodical doctype: Article src: R language: English refInfo: copyright: @attributes: flag: Y dt: @attributes: year: 2017 holdings: @attributes: islocal: N |
|---|