메뉴 건너뛰기




Volumn , Issue , 2005, Pages 1-15

A logic of file systems

Author keywords

[No Author keywords available]

Indexed keywords

DIGITAL STORAGE; FILE ORGANIZATION; SEMANTICS; SYSTEMS ANALYSIS;

EID: 78049349697     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper
Times cited : (21)

References (25)
  • 1
    • 85080747724 scopus 로고    scopus 로고
    • Dynamic input/output automata, a formal model for dynamic systems
    • P. C. Attie and N. A. Lynch. Dynamic Input/Output Automata, a Formal Model for Dynamic Systems. In ACM PODC, 2001.
    • (2001) ACM PODC
    • Attie, P.C.1    Lynch, N.A.2
  • 2
    • 33846551437 scopus 로고    scopus 로고
    • S. Best. JFS Overview. www.ibm.com/developerworks/library/ljfs.html, 2004.
    • (2004) JFS Overview
    • Best, S.1
  • 6
    • 0005094356 scopus 로고    scopus 로고
    • Soft updates: A solution to the metadata update problem in file systems
    • May
    • G. R. Ganger, M. K. McKusick, C. A. Soules, and Y. N. Patt. Soft Updates: A Solution to the Metadata Update Problem in File Systems. ACM TOCS, 18(2), May 2000.
    • (2000) ACM TOCS , vol.18 , Issue.2
    • Ganger, G.R.1    McKusick, M.K.2    Soules, C.A.3    Patt, Y.N.4
  • 7
    • 0023826662 scopus 로고
    • A theory of reliability in database systems
    • V. Hadzilacos. A Theory of Reliability in Database Systems. J. ACM, 35(1):121–145, 1988.
    • (1988) J. ACM , vol.35 , Issue.1 , pp. 121-145
    • Hadzilacos, V.1
  • 8
    • 84976824923 scopus 로고
    • Reimplementing the cedar file system using logging and group commit
    • Nov
    • R. Hagmann. Reimplementing the Cedar File System Using Logging and Group Commit. In SOSP’87, Nov. 1987.
    • (1987) SOSP’87
    • Hagmann, R.1
  • 9
    • 0030407533 scopus 로고    scopus 로고
    • Model and verification of a data manager based on ARIES
    • D. Kuo. Model and Verification of a Data Manager Based on ARIES. ACM Trans. Database Systems, 21(4):427–479, 1996.
    • (1996) ACM Trans. Database Systems , vol.21 , Issue.4 , pp. 427-479
    • Kuo, D.1
  • 10
    • 0028424892 scopus 로고
    • The temporal logic of actions
    • L. Lamport. The Temporal Logic of Actions. ACM Trans. Program. Lang. Syst., 16(3):872–923, 1994.
    • (1994) ACM Trans. Program. Lang. Syst. , vol.16 , Issue.3 , pp. 872-923
    • Lamport, L.1
  • 12
    • 85084160619 scopus 로고
    • A better update policy
    • Boston, MA, June
    • J. C. Mogul. A Better Update Policy. In USENIX Summer’94, Boston, MA, June 1994.
    • (1994) USENIX Summer’94
    • Mogul, J.C.1
  • 13
    • 0026822597 scopus 로고
    • ARieS: A transaction recovery method supporting Fine-Granularity locking and p artial rollbacks using Write-Ahead logging
    • S. z. March
    • C. Mohan, D. Haderle, B. Lindsay, H. Pirahesh, and P. S. z. ARIES: A Transaction Recovery Method Supporting Fine-Granularity Locking and P artial Rollbacks Using Write-Ahead Logging. ACM TODS, 17(1):94–162, March 1992.
    • (1992) ACM TODS , vol.17 , Issue.1 , pp. 94-162
    • Mohan, C.1    Haderle, D.2    Lindsay, B.3    Pirahesh, H.4
  • 15
    • 49149133038 scopus 로고
    • The temporal semantics of concurrent programs
    • A. Pnueli. The temporal semantics of concurrent programs. Theoretical Computer Science (TCS), 13:45–60, 1981.
    • (1981) Theoretical Computer Science (TCS) , vol.13 , pp. 45-60
    • Pnueli, A.1
  • 22
    • 85076746692 scopus 로고    scopus 로고
    • Future directions for the EXT2/3 filesystem
    • Monterey, CA, June
    • T. Ts’o and S. Tweedie. Future Directions for the Ext2/3 Filesystem. In FREENIX’02, Monterey, CA, June 2002.
    • (2002) FREENIX’02
    • Ts’o, T.1    Tweedie, S.2
  • 24
    • 84885668018 scopus 로고    scopus 로고
    • Using model checking to find serious file system errors
    • Dec
    • J. Yang, P. Twohey, D. Engler, and M. Musuvathi. Using Model Checking to Find Serious File System Errors. In OSDI’04, Dec. 2004.
    • (2004) OSDI’04
    • Yang, J.1    Twohey, P.2    Engler, D.3    Musuvathi, M.4


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.