Location via proxy:   [ UP ]  
[Report a bug]   [Manage cookies]                
skip to main content
Skip header Section
Operating systems (2nd ed.): design and implementationJanuary 1997
Publisher:
  • Prentice-Hall, Inc.
  • Division of Simon and Schuster One Lake Street Upper Saddle River, NJ
  • United States
ISBN:978-0-13-638677-3
Published:01 January 1997
Pages:
939
Skip Bibliometrics Section
Reflects downloads up to 13 Sep 2024Bibliometrics
Abstract

No abstract available.

Cited By

  1. Tuli S, Casale G and Jennings N (2023). DRAGON: Decentralized Fault Tolerance in Edge Federations, IEEE Transactions on Network and Service Management, 20:1, (276-291), Online publication date: 1-Mar-2023.
  2. ACM
    Fedorov V, Kim J, Qin M, Gratz P and Reddy A Speculative paging for future NVM storage Proceedings of the International Symposium on Memory Systems, (399-410)
  3. Kim D and Bahn H (2017). Exploiting write-only-once characteristics of file data in smartphone buffer cache management, Pervasive and Mobile Computing, 40:C, (528-540), Online publication date: 1-Sep-2017.
  4. Soriano-Salvador E, Muzquiz G and Ballesteros F (2015). Optimistic semaphores with non-deterministic choice operation for heterogeneous manycore systems, Concurrency and Computation: Practice & Experience, 27:14, (3676-3701), Online publication date: 25-Sep-2015.
  5. ACM
    Melletti M, Goldweber M and Davoli R The JaeOS Project and the μARM Emulator Proceedings of the 2015 ACM Conference on Innovation and Technology in Computer Science Education, (3-8)
  6. Boudreau K (2012). Let a Thousand Flowers Bloom? An Early Look at Large Numbers of Software App Developers and Patterns of Innovation, Organization Science, 23:5, (1409-1427), Online publication date: 1-Sep-2012.
  7. ACM
    Lo C, Qian K and Zhang Y Teaching operating systems with simple low-cost portable energy efficient devices Proceedings of the 49th annual ACM Southeast Conference, (25-30)
  8. Chen J, Tsai L, Hung W and Liu J Zinix - A Function-Modularized Kernel for Multiprocessor Embedded Systems Proceedings of the 2010 IEEE/ACM Int'l Conference on Green Computing and Communications & Int'l Conference on Cyber, Physical and Social Computing, (937-942)
  9. Boyd-Wickizer S and Zeldovich N Tolerating malicious device drivers in Linux Proceedings of the 2010 USENIX conference on USENIX annual technical conference, (9-9)
  10. ACM
    Stollenwerk A, Jongdee C and Kowalewski S An undergraduate embedded software laboratory for the masses Proceedings of the 2009 Workshop on Embedded Systems Education, (34-41)
  11. ACM
    Li D and Anand M MaJaB Proceedings of the 7th international conference on Mobile systems, applications, and services, (95-108)
  12. ACM
    Black M (2009). Build an operating system from scratch, ACM SIGCSE Bulletin, 41:1, (448-452), Online publication date: 4-Mar-2009.
  13. ACM
    Black M Build an operating system from scratch Proceedings of the 40th ACM technical symposium on Computer science education, (448-452)
  14. ACM
    Hamberg R and Vaandrager F (2008). Using model checkers in an introductory course on operating systems, ACM SIGOPS Operating Systems Review, 42:6, (101-111), Online publication date: 1-Oct-2008.
  15. ACM
    Babka V, Bulej L, Decky M, Holub V and Tuma P Teaching operating systems Proceedings of the 2008 international workshop on Software Engineering in east and south europe, (71-78)
  16. ACM
    Du W and Wang R (2008). SEED, Journal on Educational Resources in Computing (JERIC), 8:1, (1-24), Online publication date: 1-Mar-2008.
  17. ACM
    Sheehan R (2007). Teaching operating systems with ruby, ACM SIGCSE Bulletin, 39:3, (38-42), Online publication date: 25-Jun-2007.
  18. ACM
    Sheehan R Teaching operating systems with ruby Proceedings of the 12th annual SIGCSE conference on Innovation and technology in computer science education, (38-42)
  19. ACM
    Liu H, Chen X and Gong Y (2007). BabyOS, ACM SIGCSE Bulletin, 39:1, (566-570), Online publication date: 7-Mar-2007.
  20. ACM
    Du W, Teng Z and Wang R (2007). SEED, ACM SIGCSE Bulletin, 39:1, (486-490), Online publication date: 7-Mar-2007.
  21. ACM
    Liu H, Chen X and Gong Y BabyOS Proceedings of the 38th SIGCSE technical symposium on Computer science education, (566-570)
  22. ACM
    Du W, Teng Z and Wang R SEED Proceedings of the 38th SIGCSE technical symposium on Computer science education, (486-490)
  23. ACM
    Jambor M, Hruby T, Taus J, Krchak K and Holub V (2007). Implementation of a Linux log-structured file system with a garbage collector, ACM SIGOPS Operating Systems Review, 41:1, (24-32), Online publication date: 1-Jan-2007.
  24. Chu Y, Su H, Lin P and Chen M IC design of IPv6 routing lookup for high speed networks Proceedings of the 6th international conference on Computational Science - Volume Part IV, (184-187)
  25. Bayat P, Bordbar M and Challenger M A simulation for distributed systems Proceedings of the 17th IASTED international conference on Modelling and simulation, (334-337)
  26. Tan P, Jin H and Zhang M Two-dimensional priority scheduling scheme for open real-time systems Proceedings of the 2006 international conference on Computational Science and Its Applications - Volume Part IV, (529-538)
  27. ACM
    DeRosa P, Shen K, Stewart C and Pearson J (2006). Realism and simplicity, ACM SIGCSE Bulletin, 38:1, (308-312), Online publication date: 31-Mar-2006.
  28. ACM
    DeRosa P, Shen K, Stewart C and Pearson J Realism and simplicity Proceedings of the 37th SIGCSE technical symposium on Computer science education, (308-312)
  29. Anderson C and Nguyen M (2005). A survey of contemporary instructional operating systems for use in undergraduate courses, Journal of Computing Sciences in Colleges, 21:1, (183-190), Online publication date: 1-Oct-2005.
  30. ACM
    Maia L, Machado F and Pacheco A (2005). A constructivist framework for operating systems education, ACM SIGCSE Bulletin, 37:3, (218-222), Online publication date: 1-Sep-2005.
  31. ACM
    Goldweber M, Davoli R and Morsiani M (2005). The Kaya OS project and the μMPS hardware emulator, ACM SIGCSE Bulletin, 37:3, (49-53), Online publication date: 1-Sep-2005.
  32. Vreeswijk G Liberalizing protocols for argumentation in multi-agent systems Proceedings of the Second international conference on Argumentation in Multi-Agent Systems, (182-198)
  33. ACM
    Maia L, Machado F and Pacheco A A constructivist framework for operating systems education Proceedings of the 10th annual SIGCSE conference on Innovation and technology in computer science education, (218-222)
  34. ACM
    Goldweber M, Davoli R and Morsiani M The Kaya OS project and the μMPS hardware emulator Proceedings of the 10th annual SIGCSE conference on Innovation and technology in computer science education, (49-53)
  35. England R (2005). Teaching concepts of virtual memory with the Moses2 microcomputer operating system environment simulator, Journal of Computing Sciences in Colleges, 20:6, (84-91), Online publication date: 1-Jun-2005.
  36. ACM
    Popa L, Raiciu C, Teodorescu R, Athanasiu I and Pandey R Using code collection to support large applications on mobile devices Proceedings of the 10th annual international conference on Mobile computing and networking, (16-29)
  37. ACM
    Davoli R (2004). Teaching operating systems administration with user mode linux, ACM SIGCSE Bulletin, 36:3, (112-116), Online publication date: 1-Sep-2004.
  38. ACM
    Davoli R Teaching operating systems administration with user mode linux Proceedings of the 9th annual SIGCSE conference on Innovation and technology in computer science education, (112-116)
  39. Chan T (2004). A software tool in Java for teaching CPU scheduling, Journal of Computing Sciences in Colleges, 19:4, (257-263), Online publication date: 1-Apr-2004.
  40. Bansal S and Modha D CAR Proceedings of the 3rd USENIX conference on File and storage technologies, (14-14)
  41. Bansal S and Modha D CAR: Clock with Adaptive Replacement Proceedings of the 3rd USENIX Conference on File and Storage Technologies, (187-200)
  42. ACM
    Hovemeyer D, Hollingsworth J and Bhattacharjee B Running on the bare metal with GeekOS Proceedings of the 35th SIGCSE technical symposium on Computer science education, (315-319)
  43. ACM
    Hovemeyer D, Hollingsworth J and Bhattacharjee B (2004). Running on the bare metal with GeekOS, ACM SIGCSE Bulletin, 36:1, (315-319), Online publication date: 1-Mar-2004.
  44. Parnis J and Lee G Exploiting FPGA concurrency to enhance JVM performance Proceedings of the 27th Australasian conference on Computer science - Volume 26, (223-232)
  45. Swart G MinSQL Proceedings of the 2nd international conference on Principles and practice of programming in Java, (129-132)
  46. ACM
    Broder A, Najork M and Wiener J Efficient URL caching for world wide web crawling Proceedings of the 12th international conference on World Wide Web, (679-689)
  47. Bryan G Time slice Encyclopedia of Computer Science, (1782-1783)
  48. Baer J Mutual exclusion Encyclopedia of Computer Science, (1215-1216)
  49. ACM
    Levine G (2003). Defining deadlock, ACM SIGOPS Operating Systems Review, 37:1, (54-64), Online publication date: 1-Jan-2003.
  50. Momtchev M and Marquet P An Asymmetric Real-Time Scheduling for Linux Proceedings of the 16th International Parallel and Distributed Processing Symposium
  51. Strite D and Null L (2002). BACI debugger, Journal of Computing Sciences in Colleges, 17:4, (112-122), Online publication date: 1-Mar-2002.
  52. ACM
    Atkin B and Sirer E (2002). PortOS, ACM SIGCSE Bulletin, 34:1, (116-120), Online publication date: 1-Mar-2002.
  53. ACM
    Holland D, Lim A and Seltzer M (2002). A new instructional operating system, ACM SIGCSE Bulletin, 34:1, (111-115), Online publication date: 1-Mar-2002.
  54. ACM
    Atkin B and Sirer E PortOS Proceedings of the 33rd SIGCSE technical symposium on Computer science education, (116-120)
  55. ACM
    Holland D, Lim A and Seltzer M A new instructional operating system Proceedings of the 33rd SIGCSE technical symposium on Computer science education, (111-115)
  56. Ronsse M and De Bosschere K (2019). Non-Intrusive Detection of Synchronization Errors Using Execution Replay, Automated Software Engineering, 9:1, (95-121), Online publication date: 1-Jan-2002.
  57. England R (2001). The virtual machine and user process model used inmoses2, Journal of Computing Sciences in Colleges, 17:2, (301-309), Online publication date: 1-Dec-2001.
  58. Maletic J and Marcus A Supporting program comprehension using semantic and structural information Proceedings of the 23rd International Conference on Software Engineering, (103-112)
  59. ACM
    Nicholas T and Barchanski J (2001). TOS, ACM SIGCSE Bulletin, 33:1, (312-316), Online publication date: 1-Mar-2001.
  60. ACM
    Nicholas T and Barchanski J TOS Proceedings of the thirty-second SIGCSE technical symposium on Computer Science Education, (312-316)
  61. Processors for Mobile Applications Proceedings of the 2000 IEEE International Conference on Computer Design: VLSI in Computers & Processors
  62. ACM
    Dickinson J Operating systems projects built on a simple hardware simulator Proceedings of the thirty-first SIGCSE technical symposium on Computer science education, (320-324)
  63. ACM
    Dickinson J (2000). Operating systems projects built on a simple hardware simulator, ACM SIGCSE Bulletin, 32:1, (320-324), Online publication date: 1-Mar-2000.
  64. ACM
    Nicholas T and Barchanski J (2000). Overview of TOS, ACM SIGOPS Operating Systems Review, 34:1, (2-10), Online publication date: 1-Jan-2000.
  65. Tran J and Holt R Forward and reverse repair of software architecture Proceedings of the 1999 conference of the Centre for Advanced Studies on Collaborative research
  66. ACM
    Guarraci B Using polymorphism to create complex agents Proceedings of the third annual conference on Autonomous Agents, (354-355)
  67. ACM
    Khuri S and Hsu H Visualizing the CPU scheduler and page replacement algorithms The proceedings of the thirtieth SIGCSE technical symposium on Computer science education, (227-231)
  68. ACM
    Khuri S and Hsu H (1999). Visualizing the CPU scheduler and page replacement algorithms, ACM SIGCSE Bulletin, 31:1, (227-231), Online publication date: 1-Mar-1999.
  69. ACM
    Hartley S (1998). “Alfonse, your Java is ready!”, ACM SIGCSE Bulletin, 30:1, (247-251), Online publication date: 1-Mar-1998.
  70. ACM
    Hartley S “Alfonse, your Java is ready!” Proceedings of the twenty-ninth SIGCSE technical symposium on Computer science education, (247-251)
Contributors
  • Free University Amsterdam
  • Hampshire College

Reviews

Wei-Ming Hu

The title of this book should be Operating systems—the MINIX approach. The authors cover the traditional operating systems issues, such as processes and memory management. Unlike the first edition [1], however, this book is tightly coupled to MINIX—the Unix-compatible operating system developed by Tanenbaum's group. The book is organized into sections addressing processes, I/O, memory management, and the file system. Within each section, the authors first introduce the concepts. The section on memory management, for example, starts with chapters on paging and segmentation. This material is followed by an overview of how MINIX handles memory management. Then the authors present a walkthrough of an implementation of the relevant parts of the MINIX source code that handle memory management. The book is accompanied by a CD-ROM as well as a 370-page appendix containing the source code to the current (as of publication) version of MINIX. The code in the appendix has line numbers, so readers can easily follow references from the text. The treatment is complete, and the material has been updated since the first edition. For example, the authors have added a discussion of threads. Tying the discussion to MINIX helps readers to see how an operating system really works. Readers can, for example, see the working code that does context switching. This book also serves as a good introduction to the MINIX source code for those who are interested in reading and extending it. The book's main drawback is that it presents raw code. I think it would be stronger if the authors had extracted the key code fragments, instead of forcing readers to skim through large amounts of code that are needed to make a system work, but that are not relevant to the topic being discussed. The sheer amount of detail risks drowning out the fundamental concepts that are being conveyed and precludes examination of alternative implementations.

Access critical reviews of Computing literature here

Become a reviewer for Computing Reviews.

Recommendations