Skip header Section
Skip Bibliometrics Section
Operating System ConceptsJuly 2001
Skip Abstract Section
Abstract
From the Publisher:
This best-selling book, now in its fifth edition, provides a solid theoretical foundation for understanding operating systems. Authors Abraham Silberschatz and Peter Galvin discuss key concepts that are applicable to a variety of systems. They also present a large number of examples taken from common operating systems, including WindowsNT and Solaris 2. This book teaches general principles in operating systems while giving the teacher and students the flexibility to choose the implementation system.
Cited By
- Dorrigiv R, Ehmsen M and López-Ortiz A (2015). Parameterized Analysis of Paging and List Update Algorithms, Algorithmica, 71:2, (330-353), Online publication date: 1-Feb-2015.
- Raheja S, Dadhich R and Rajpal S (2018). 2-Layered architecture of vague logic based multilevel queue scheduler, Applied Computational Intelligence and Soft Computing, 2014, (13-13), Online publication date: 1-Jan-2014.
Angelopoulos S and Schweitzer P (2013). Paging and list update under bijective analysis, Journal of the ACM (JACM), 60:2, (1-18), Online publication date: 1-Apr-2013.- Yoas D and Simco G Resource utilization prediction Proceedings of the 1st Annual conference on Research in information technology, (25-30)
- Goldweber M, Davoli R and Jonjic T Supporting operating systems projects using the μMPS2 hardware simulator Proceedings of the 17th ACM annual conference on Innovation and technology in computer science education, (63-68)
- Tavangarian D Virtual computing Software Service and Application Engineering, (53-70)
- Anderson Z and Gay D Composable, nestable, pessimistic atomic statements Proceedings of the 2011 ACM international conference on Object oriented programming systems languages and applications, (865-884)
- Anderson Z and Gay D (2011). Composable, nestable, pessimistic atomic statements, ACM SIGPLAN Notices, 46:10, (865-884), Online publication date: 18-Oct-2011.
- Zhang L, Speight E, Rajamony R and Lin J Enigma Proceedings of the 24th ACM International Conference on Supercomputing, (159-168)
- Jun S, Qiang W, Xuwen L and Yanhua Z Research of the real-time performance of operating system Proceedings of the 5th International Conference on Wireless communications, networking and mobile computing, (5544-5547)
- Angelopoulos S and Schweitzer P Paging and list update under bijective analysis Proceedings of the twentieth annual ACM-SIAM symposium on Discrete algorithms, (1136-1145)
- Zou X, Karandikar Y and Bertino E (2007). A dynamic key management solution to access hierarchy, International Journal of Network Management, 17:6, (437-450), Online publication date: 1-Nov-2007.
- Golubeva O, Loghi M and Poncino M On the energy efficiency of synchronization primitives for shared-memory single-chip multiprocessors Proceedings of the 17th ACM Great Lakes symposium on VLSI, (489-492)
- Mateo R, Lee M and Lee J Load balancing using dynamic replication scheme for the distributed object group Proceedings of the 1st international conference on Advances in hybrid information technology, (458-468)
- Sánchez C, Sipma H, Manna Z and Gill C Efficient distributed deadlock avoidance with liveness guarantees Proceedings of the 6th ACM & IEEE International conference on Embedded software, (12-20)
- Vedantham R, Zhuang Z and Sivakumar R (2006). Hazard avoidance in wireless sensor and actor networks, Computer Communications, 29:13-14, (2578-2598), Online publication date: 1-Aug-2006.
- Kejariwal A, Saito H, Tian X, Girkar M, Li W, Banerjee U, Nicolau A and Polychronopoulos C Lightweight lock-free synchronization methods for multithreading Proceedings of the 20th annual international conference on Supercomputing, (361-371)
- Wang B Modeling and analyzing applications with domain-specific languages by reflective rewriting Proceedings of the 2006 ACM symposium on Applied computing, (1773-1778)
- Luo G, Naughton J and Yu P Multi-query SQL progress indicators Proceedings of the 10th international conference on Advances in Database Technology, (921-941)
- Pardo A and Kloos C Deploying interactive e-labs for a course on operating systems Proceedings of the 6th conference on Information technology education, (71-78)
- 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.
- Rong P and Pedram M Hierarchical power management with application to scheduling Proceedings of the 2005 international symposium on Low power electronics and design, (269-274)
- 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)
- 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.
- Lo S, Kuo T and Lam K (2005). Multi-disk scheduling for time-constrained requests in RAID-0 devices, Journal of Systems and Software, 76:3, (237-250), Online publication date: 1-Jun-2005.
- Chou S, Hsu W and Lo W (2005). DPE/PAC, Journal of Systems and Software, 76:3, (207-219), Online publication date: 1-Jun-2005.
- Ye N, Gel E, Li X, Farley T and Lai Y (2005). Web server QoS models, Computers and Operations Research, 32:5, (1147-1164), Online publication date: 1-May-2005.
- Boukhobza J and Timsit C On windows file access modes Proceedings of the 4th international symposium on Information and communication technologies, (44-49)
- Choi G, Kim J, Ersoz D, Yoo A and Das C Coscheduling in Clusters Proceedings of the 2004 ACM/IEEE conference on Supercomputing
- Helps C and Renshaw S Design of a flexible case-study instructional module for operating systems for information technology Proceedings of the 5th conference on Information technology education, (56-59)
- Rivera W Report on the implementation of NSF-SFS scholarship grant #0210644 and NSF-SFS capacity grant # 0210147 from 2002-2004 at Morehouse College Proceedings of the 1st annual conference on Information security curriculum development, (136-142)
- Petrova K, Philpott A, Kaskenpalo P and Buchan J Embedding information security curricula in existing programmes Proceedings of the 1st annual conference on Information security curriculum development, (20-29)
- Fundulaki I and Marx M Specifying access control policies for XML documents with XPath Proceedings of the ninth ACM symposium on Access control models and technologies, (61-69)
- Wang F, Schmidt K, Yu F, Huang G and Wang B (2004). BDD-Based Safety-Analysis of Concurrent Software with Pointer Data Structures Using Graph Automorphism Symmetry Reduction, IEEE Transactions on Software Engineering, 30:6, (403-417), Online publication date: 1-Jun-2004.
- Hwang G, Chang S and Chu H (2004). Technology for Testing Nondeterministic Client/Server Database Applications, IEEE Transactions on Software Engineering, 30:1, (59-77), Online publication date: 1-Jan-2004.
- Hsu J Reasoning about SMP in FreeBSD Proceedings of the BSD Conference 2003 on BSD Conference, (1-1)
- Fischer M and Merritt M (2003). Appraising two decades of distributed computing theory research, Distributed Computing, 16:2-3, (239-247), Online publication date: 1-Sep-2003.
- Acharya M and Funderlic R (2019). 'Laurel and Hardy' model for analyzing process synchronization algorithms and primitives, ACM SIGCSE Bulletin, 35:2, (107-110), Online publication date: 1-Jun-2003.
- Cheong E, Liebman J, Liu J and Zhao F TinyGALS Proceedings of the 2003 ACM symposium on Applied computing, (698-704)
- Levine G (2003). Defining deadlock, ACM SIGOPS Operating Systems Review, 37:1, (54-64), Online publication date: 1-Jan-2003.
- Jejurikar R and Gupta R Energy aware task scheduling with task synchronization for embedded real time systems Proceedings of the 2002 international conference on Compilers, architecture, and synthesis for embedded systems, (164-169)
- van der Poll J and Kotzé P What design heuristics may enhance the utility of a formal specification? Proceedings of the 2002 annual research conference of the South African institute of computer scientists and information technologists on Enablement through technology, (179-194)
- Lahiri K, Dey S and Raghunathan A Communication architecture based power management for battery efficient system design Proceedings of the 39th annual Design Automation Conference, (691-696)
