Skip to main content
SpringerLink
Log in

A Systematic Approach to Present “Files and File Systems” in Theoretical Courses of Computer Science

  • Conference paper
  • First Online:
Smart Modelling for Engineering Systems

Part of the book series: Smart Innovation, Systems and Technologies ((SIST,volume 215))

  • 242 Accesses

Abstract

The chapter considers a systematic approach to present “Files and file systems” in theoretical courses. The approach is based on different levels of abstraction for the concept introduced. We consider abstract files as mathematical objects, logical files as an implementation of abstract files in programming, and physical files as a mapping of logical files to the address space of storage media. Different levels of abstraction for file systems are introduced in the same way: logical file systems as collections of logical files, physical file systems as a mapping of logical file systems to storage media, and file systems as software tools that serve physical file systems. The abstraction hierarchy allows one to naturally introduce a hierarchy of operations on files and file systems and explain the functions performed by the file subsystems of operating systems. Logical structuring of the topic material facilitates the listeners’ perception of the topic, distinguishing essential general ideas from a set of secondary details.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 169.00
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 219.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book
USD 219.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

References

  1. Silberschatz, A., Gagne, G., Galvin, P.B.: Operating system concepts. 10th edn. Wiley (2018)

    Google Scholar 

  2. Stallings, W.: Operating systems: Internals and design principles. 8th edn. Pearson (2015)

    Google Scholar 

  3. Tanenbaum, A.S., Bos, H.: Modern operating systems. 4th edn. Pearson (2015)

    Google Scholar 

  4. Hailperin, M.: Operating systems and middleware: Supporting controlled interaction. 1.2.1 edn. Gustavus Adolphus College, St. Peter, Minnesota (2016)

    Google Scholar 

  5. Giampaolo, D.: Practical file system design with the be file system. Morgan Kaufmann Publishers Inc., San Francisco (1999)

    Google Scholar 

  6. Karpov, V.E., Konkov, K.A.: The basics of operating systems. Lecture course. 3rd edn. Fizmatkniga, Moscow (in Russian) (2019)

    Google Scholar 

  7. Weik, M.H.: A third survey of domestic electronic digital computing systems. Ballistic Research Laboratories Report #1115, 314–331 (1961)

    Google Scholar 

  8. Wirth, N.: The programming language Pascal. Acta Informatica 1(1), 35–63 (1971)

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Moscow Institute of Physics and Technology (National Research University), 9, Institutsky Per, Dolgoprudny, Moscow Region, 141701, Russian Federation

    Vladimir E. Karpov

Authors
  1. Vladimir E. Karpov
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Vladimir E. Karpov .

Editor information

Editors and Affiliations

  1. Institute of Informatics and Telecommunications, Reshetnev Siberian State University of Science and Technology, Krasnoyarsk, Russia

    Margarita N. Favorskaya

  2. Moscow Institute of Physics and Technology, National Research University, Moscow, Russia

    Alena V. Favorskaya

  3. Moscow Institute of Physics and Technology, National Research University, Moscow, Russia

    Igor B. Petrov

  4. Centre for Artificial Intelligence, University of Technology Sydney, Broadway, NSW, Australia

    Lakhmi C. Jain

Rights and permissions

Reprints and permissions

Copyright information

© 2021 The Author(s), under exclusive license to Springer Nature Singapore Pte Ltd.

About this paper

Check for updates. Verify currency and authenticity via CrossMark

Cite this paper

Karpov, V.E. (2021). A Systematic Approach to Present “Files and File Systems” in Theoretical Courses of Computer Science. In: Favorskaya, M.N., Favorskaya, A.V., Petrov, I.B., Jain, L.C. (eds) Smart Modelling for Engineering Systems. Smart Innovation, Systems and Technologies, vol 215. Springer, Singapore. https://doi.org/10.1007/978-981-33-4619-2_19

Download citation

Publish with us

Policies and ethics

Search

Navigation