Список литературы

Использованные аббревиатуры: ACM Association for Computing Machinery IEEE Institute of Electrical and Electronics Engineers IRE Institute of Radio Engineers

ABRA87 Abrams M., Podell H. Computer and Network Security. — Los Alamitos, CA: IEEEE Computer Society Press, 1987.

ADAM92 Adam J. Virus Threats and Countermeasures. — IEEE Spectrum, August 1992.

AGAR89 Agarwal A. Analysis of Cache Performance for Operating Systems and Multiprograming. — Boston: Kluwer Academic Publishers, 1989.

ALMA89 Almasi G., Gottlieb A. Highly Parallel Computing. — Redwood City, CA: Benjamin/Cummings, 1989.

ALVA90 Alvare A. How Crackers Crack Passwords or What Passwords to Avoid. — Proceedings, UNIX Security Workshop II, August 1990.

ANAN92 Ananda A., Tay В., Koh E. A Survey of Asynchronous Remote Procedure Calls. — Operating Systems Review, April 1992.

ANDE80 Anderson J. Computer Security Threat Monitoring and Surveillance. — Fort Washington, PA: James P. Anderson Co., April 1980.

ANDE89 Anderson Т., Lazowska E., Levy H. The Performance Implications of Thread Management Alternatives for Shared-Memory Multiprocessors. — IEEE Transactions on Computers, December 1989.

ANDE92 Anderson Т., Bershad В., Lazowska E., Levy H. Scheduler Activations:

Effective Kernel Support for the User-Level Management of Parallelism. — ACM Transactions on Computer Systems, February 1992.

ANDE97 Anderson Т., Bershad В., Lazowska E., Levy H. Thread Management for Shared-Memory Multiprocessors. — In [TUCK97].

ANDR90 Andrianoff S. A Module on Distributed Systems for the Operating System Course. — Proceedings, Twenty-First SIGCSE Technical Symposium on Computer Science Education, SIGSCE Bulletin, February 1990.

ARDE80 Arden В., editor. What Can Be Automated? — Cambridge, MA: MIT Press, 1980.

ARTS89a Artsy Y., ed. Special Issue on Process Migration. Newsletter of the IEEE Computer Society Technical Committee on Operating Systems, Winter 1989.

ARTS89b Artsy Y. Designing a Process Migration Facility: The Charlotte Experience. — Computer, September 1989.

ATLA89 Atlas A., Blundon B. Time to Reach for:It'All. — UNIX Review. January 1989.

ATT87a AT&T. UNIX System Readings and Examples. Vol. I. — Englewood Cliffs, NJ: Prentice Hall, 1987.

ATT87b AT&T. UNIX System Readings and Examples. Vol. II. — Englewood Cliffs, NJ: Prentice Hall, 1987.

AXFO88 Axford T. Concurrent Programming: Fundamental Techniques for Real-Time and Parallel Software Design. — New York: Wiley, 1988.

BACH86 Bach M. The Design of the UNIX Operating System. — Englewood Cliffs, NJ: Prentice Hall, 1986.

BACO98 Bacon J. Concurrent Systems. — Reading, MA: Addison-Wesley, 1998.

BAEN97 Baentsch M. et al. Enhancing the Web's Infrastructure: From Caching to Replication. — Internet Computing, March/April 1997.

BAER80 Baer J. Computer Systems Architecture. — Rockville, MD: Computer Science Press, 1980.

BARB90 Barbosa V. Strategies for the Prevention of Communication Deadlocks in Distributed Parallel Programs. — IEEE Transactions on Software Engineering, November 1990.

BARK89 Barkley R., Lee T. A Lazy Buddy System Bounded by Two Coalescing Delays per Class. — Proceedings of the Twelfth ACM Symposium on Operating Systems Principles, December 1989.

BAYS77 Bays C. A Comparison of Next-Fit, First-Fit, and Best-Fit. — Communications of the ACM, March 1977.

BECK90 Beck L. System Software. — Reading, MA: Addison-Wesley, 1990.

BECK98 Beck M. et al. Linux Kernel Internals. — Reading, MA: Addison-Wesley, 1998.

BELA66 Belady L. A Study of Replacement Algorithms for a Virtual Storage Computer. — IBM Systems Journal, No. 2, 1966.

BEN82 Ben-Ari M. Principles of Concurrent Programming. — Englewood Cliffs, NJ: Prentice Hall, 1982.

BEN90 Ben-Ari M. Principles of Concurrent and Distributed Programming. — Englewood Cliffs, NJ: Prentice Hall, 1990.

BEN98 Ben-Ari M., Burns A. Extreme Interleavings. — IEEE Concurrency, July-September 1998.

BERN96 Bernstein P. Middleware: A Model for Distributed System Services. — Communications of the ACM, Februaryl996.

BERS96 Berson A. Client /Server Architecture. — New York: McGraw-Hill, 1996.

BIRR89 Birrell A. An Introduction to Programming with Threads. SRC Research Report 35, Compaq Systems Research Center, Palo Alto, CA, January 1989. Available at http://www.research.digital.com/SRC.

BLAC90 Black D. Scheduling Support for Concurrency and Parallelism in the Mach Operating System. — Computer, May 1990.

BOEB85 Boebert W., Kain R., Young, W. Secure Computing: the Secure Ada Target Approach. — Scientific Honeyweller, July 1985. Reprinted in [ABRA87].

BOLL99 Bollmann D. Computer Security. — New York: Wiley, 1999.

BOLO89 Bolosky W., Fitzgerald R., Scott M. Simple But Effective Techniques for NUMA Memory Management. — Proceedings, Twelfth ACM Symposium on Operating Systems Principles, December 1989.

BONW94 Bonwick J. An Object-Caching Memory Allocator. — Proceedings, USENIX Summer Technical Conference, 1994.

BORG90 Borg A., Kessler R., Wall D. Generation and Analysis of Very Long Address Traces. — Proceedings of the 17th Annual International Symposium on Computer Architecture, May 1990.

BREN89 Brent R. Efficient Implementation of the First-Fit Strategy for Dynamic Storage Allocation. — ACM Transactions on Programming Languages and Systems, July 1989.

BREW97 Brewer E. Clustering: Multiply and Conquer. — Data Communications, July 1997.

BRIA99 Briand L., Roy D. Meeting Deadlines in Hard Real-Time Systems: The Rate Monotonic Approach. — Los Alamitos, CA: IEEE Computer Society Press, 1999.

BRIN73 Brinch-Hansen P. Operating System Principles. — Englewood Cliffs, NJ: Prentice Hall, 1973.

BROW84 Brow R., Denning P., Tichy W. Advanced Operating Systems. — Computer, October 1984.

BUHR95 Buhr P., Fortier M. Monitor Classification. — ACM Computing Surveys, March 1995.

BUTT99 Buttazzo G. Optimal Deadline Assignment for Scheduling Soft Aperiodic Tasks in Hard Real-Time Environments. — IEEE Transactions on Computers, October 1999.

BUYY99a Buyya R. High Performance Cluster Computing: Architectures and Systems. — Upper Saddle River, NJ: Prentice Hall, 1999.

BUYY99b Buyya R. High Performance Cluster Computing: Programming and Applications. — Upper Saddle River, NJ: Prentice Hall, 1999.

BYNU96 Bynum В., Camp T. After You, Alfonse: A Mutual Exclusion Toolkit. — Proceedings of the 27th SIGCSE Technical Symposium on Computer Science Education, February 1996.

CABR86 Cabrear L. The Influence of Workload on Load Balancing Strategies. — USENIX Conference Proceedings, Summer 1986.

CAO96 Cao P., Felten E., Karlin A., Li K. Implementation and Performance of Integrated Application-Controlled File Caching, Prefetching, and Disk Scheduling. — ACM Transactions on Computer Systems, November 1996.

CARD97 Card R., Dumas E., Mevel F. The Linux Kernel Book. — New York: Wiley, 1997.

CARR81 Carr R., Hennessey J. WSClock — A Simple and Efficient Algorithm for Virtual Memory Management. — Proceedings of the Eighth Symposium on Operating System Principles, December 1981.

CARR84 Carr R. Virtual Memory Management. — Ann Arbor, MI: UMI Research Press, 1984.

CARR89 Carriero N.. Gelernter D. How to Write Parallel Programs: A Guide for the Perplexed. — ACM Computing Surveys, September 1989.

CASA94 Casavant Т., Singhal M. Distributed Computing Systems. — Los Alamitos, CA: IEEE Computer Society Press, 1994.

CAST92 Castillo C., Flanagan E., Wilkinson N. Object-Oriented Design and Programming. — AT&T Technical Journal, November/December 1992.

CHAN85 Chandy K., Lamport L. Distributed Snapshots: Determining Global States of Distributed Systems. — ACM Transactions on Computer Systems, February 1985.

CHAN90 Chandras R. Distributed Message Passing Operating Systems. — Operating Systems Review, January 1990.

CHAP97 Chapin S., Maccabe A., eds. Multiprocessor Operating Systems: Harnessing the Power. Special issue of IEEE Concurrency, April-June 1997.

CHEN92 Chen J., Borg A., Jouppi, N. A Simulation Based Study of TLB

Performance. — Proceedings of the 19th Annual International Symposium on Computer Architecture, May 1992.

CHEN94 Chen P., Lee E., Gibson G., Katz R., Patterson D. RAID: High-Performance, Reliable Secondary Storage. — ACM Computing Surveys, June 1994.

CHEN96 Chen S., Towsley D. A Performance Evaluation of RAID Architectures. — IEEE Transactions on Computers, October 1996.

CHES97 Chess D. The Future of Viruses on the Internet. — Proceedings, Virus Bulletin International Conference, October 1997.

CHU72 Chu W., Opderbeck H. The Page Fault Frequency Replacement Algorithm. — Proceedings, Fall Joint Computer Conference, 1972.

CLAR85 Clark D., Emer J. Performance of the VAX-11/780 Translation Buffer: Simulation and Measurement. — ACM Transactions on Computer Systems, February 1985.

CLAR98 Clarke D., Merusi D. System Software Programming: The Way Things Work. — Upper Saddle River, NJ: Prentice Hall, 1998.

COFF71 Coffman E., Elphick M., Shoshani A. System Deadlocks. — Computing Surveys, June 1971.

COME84 Comer D., Fossum T. Operating System Design: The Xinu Approach. — Englewood Cliffs, NJ: Prentice Hall, 1984.

COMP98 Compaq Corp. Guide to DECthreads. December 1998. Available at

http://www.appstate.edu/vms_doc/72final/6493/6101pro_contents.html.

CONW63 Conway M. Design of a Separable Transition-Diagram Compiler. — Communications of the ACM, July 1963.

CONW67 Conway R., Maxwell W., Miller L. Theory of Scheduling. — Reading, MA: Addison-Wesley, 1967.

COOP89 Cooper J. Computer and Communications Security: Strategies for the 1990s. — New York: McGraw-Hill, 1990.

CORB62 Corbato F., Merwin-Daggett M., Dealey R. An Experimental Time-Sharing System. — Proceedings of the 1962 Spring Joint Computer Conference, 1962.

CORB68 Corbato F. A Paging Experiment with the Multics System. — MIT Project MAC Report MAC-M-384, May 1968.

CORB96 Corbett J. Evaluating Deadlock Detection Methods for Concurrent Sofrware. — IEEE Transactions on Software Engineering, March 1996.

COX89 Cox A., Fowler R. The Implementation of a Coherent Memory Abstraction on а NUMA Multiprocessor: Experiences with PLATINUM. — Proceedings, Twelfth ACM Symposium on Operating Systems Principles, December 1989.

CROW97 Crowley C. Operating Systems: A Design-Oriented Approach. — Chicago: Irwin, 1997.

CUST93 Custer H. Inside the Windows NT. — Redmond, WA: Microsoft Press, 1993.

CUST94 Custer H. Inside the Windows NT File System. — Redmond, WA: Microsoft Press, 1994.

DALE68 Daley R., Dennis R. Virtual Memory, Processes, and Sharing in MULTICS. — Communications of the ACM, May 1968.

DALT96 Dalton W. et al. Windows NT Server 4: Security, Troubleshooting, and Optimization. — Indianapolis, IN: New Riders Publishing, 1996.

DASG92 Dasgupta P. et al. The Clouds Distributed Operating System. — IEEE Computer, November 1992.

DATT90 Datta A., Ghosh S. Deadlock Detection in Distributed Systems. —

Proceedings, Phoenix Conference on Computers and Communications, March 1990.

DATT92 Datta A., Javagal R., Ghosh S. An Algorithm for Resource Deadlock

Detection In Distributed Systems. — Computer Systems Science and Engineering, October 1992.

DAVI90 Davies G., Burns A. The Teaching Language Pascal-FC. — The Computer Journal, February 1990.

DELLOO Dekker E., Newcomer J. Developing Windows NT Device Drivers: A Programmer's Handbook. — Reading, MA: Addison Wesley, 2000.

DENN68 Denning P. The Working Set Model for Program Behavior. — Communications of the ACM, May 1968.

DENN70 Denning P. Virtual Memory. — Computing Surveys, September 1970.

DENN80a Denning P., Buzen J., Dennis J., Gaines R., Hansen P., Lynch W., Organick E. Operating Systems. — In [ARDE80].

DENNSOb Denning P. Working Sets Past and Present. — IEEE Transactions on Software Engineering. January 1980.

DENN84 Denning P., Brown R. Operating Systems. — Scientific American, September 1984.

DENN87 Denning D. An Intrusion-Detection Model. — IEEE Transactions on Software Engineering, February 1987.

DENN90 Denning P. Computers Under Attack: Intruders, Worms, and Viruses. — Reading, MA: Addison-Wesley, 1990.

DIJK65 Dijkstra E. Cooperating Sequential Processes. Technological University, Eindhoven, The Netherlands, 1965. (Reprinted in Great Papers in Computer Science, P. Laplante, ed. New York, NY: IEEE Press, 1996).

(Языки программирования.— Под. Ред. Женюк.—М. : Мир, 1972.)

DIMI98 Dimitoglou G. Deadlocks and Methods for Their Detection, Prevention, and Recovery in Modern Operating Systems. — Operating Systems Review, July 1998.

DOUG89 Douglas F., Ousterhout J. Process Migration in Sprite: A Status Report. —

Newsletter of the IEEE Computer Society Technical Committee on Operating

Systems* Winter 1989. DOUG91 Douglas F., Ousterhout J. Transparent Process Migration: Design

Alternatives and the Sprite Implementation. — Software Practice and Experience,

August 1991.

DOWD93 Dowdy L., Lowery C. P.S. to Operating Systems. — Upper Saddle River, NJ: Prentice Hall, 1993.

DUBE98 Dube R. A Comparison of the Memory Management Sub-Systems in FreeBSD and Linux. Technical Report CS-TR-3929, University of Maryland, September 25, 1998.

EAGE86 Eager D., Lazowska E., Zahnorjan J. Adaptive Load Sharing in Homogeneous Distributed Systems. — IEEE Transactions on Software Engineering, May 1986.

ЕСКЕ95 Eckerson W. Client Server Architecture. — Network World Collaboration, Winter 1995.

EFF98 Electronic Frontier Foundation. Cracking DES: Secrets of Encryption

Research, Wiretap Politics, and Chip Design. — Sebastopol, CA: O'Reilly, 1998.

ENGE80 Enger N.. Howerton P. Computer Security. — New York: Amacom, 1980.

ESKI90 Eskicioglu M. Design Issues of Process Migration Facilities in Distributed Systems. — Newsletter of the IEEE Computer Society Technical Committee on Operating Systems and Application Environments, Summer 1990.

FEIT90a Feitelson D., Rudolph L. Distributed Hierarchical Control for Parallel Processing. — Computer, May 1990.

FEIT90b Feitelson D., Rudolph L. Mapping and Scheduling in a Shared Parallel Environment Using Distributed Hierarchical Control. — Proceedings, 1990 International Conference on Parallel Processing, August 1990.

FERR83 Ferrari D., Yih Y. VSWS: The Variable-Interval Sampled Working Set Policy. — IEEE Transactions on Software Engineering, May 1983.

FIDG96 Fidge C. Fundamentals of Distributed System Observation. — IEEE Software, November 1996.

FINK88 Finkel R. An Operating Systems Vade Месит. — Englewood Cliffs, NJ: Prentice Hall, 1988.

FINK89 Finkel R. The Process Migration Mechanism of Charlotte. — Newsletter of the IEEE Computer Society Technical Committee on Operating Systems, Winter 1989.

FINK97 Finkel R. What is an Operating System. — In [TUCK97].

FLYN72 Flynn M. Computer Organizations and Their Effectiveness. — IEEE Transactions on Computers, September 1972.

FOLK98 Folk M., Zoellick B. File Structures: An Object-Oriented Approach with C++. — Reading, MA: Addison-Wesley, 1998.

FRAN97 Franz M. Dynamic Linking of Software Components. — Computer, March 1997.

FRIE96 Friedman M. RAID Keeps Going and Going and... — IEEE Spectrum, April 1996.

GALLOO Galli D. Distributed Operating Systems: Concepts and Practice. — Upper Saddle River, NJ: Prentice Hall, 2000.

GANA98 Ganapathy N.. Schimmel C. General Purpose Operating System Support for Multiple Page Sizes. — Proceedings, USENIX Symposium, 1998.

GARG96 Garg V. Principles of Distributed Systems. — Boston: Kluwer Academic Publishers, 1996.

GEHR87 Gehringer E., Siewiorek D., Segall Z. Parallel Procesing: The Cm*

Experience. — Bedford, MA: Digital Press, 1987. GIBB87 Gibbons P. A Stub Generator for Multilanguage RPC in Heterogeneous

Environments. — IEEE Transactions on Software Engineering, January 1987.

GING90 Gingras A. Dining Philosophers Revisited. — ACM SIGCSE Bulletin, September 1990. .. : .'

GOLD89 Goldman P. Mac VM Revealed. — Byte, September 1989.

GOOD94 Goodheart В., Сох J. The Magic Garden Explained: The Internals of UNIX System V Release 4. — Englewood Cliffs, NJ: Prentice Hall, 1994.

GOPA85 Gopal I. Prevention of Store-and-Forward Deadlock in Computer Networks. — IEEE Transactions on Communications, December 1985.

GOYE99 Goyeneche J., Souse E. Loadable Kernel Modules. — IEEE Software, January/February 1999.

GRAH95 Graham J. Solaris 2.x: Internals and Architecture. — New York: McGraw-Hill, 1995.

GRAY97 Gray J. Interprocess Communications in UNIX: The Nooks and Crannies. — Upper Saddle River, NJ: Prentice Hall, 1997.

GROS86 Grosshans D. File Systems: Design and Implementation. — Englewood Cliffs, NJ: Prentice Hall, 1986.

GUPT78 Gupta R., Franklin M. Working Set and Page Fault Frequency Replacement Algorithms: A Performance Comparison. — IEEE Transactions on Computers, August 1978.

GUYN88 Guynes J. Impact of System Response Time on State Anxiety. — Communications of the ACM, March 1988.

HALD91 Haldar S., Subramanian D. Fairness in Processor Scheduling in Time Sharing Systems. — Operating Systems Review, January 1991.

HART97 Hartig H. et al. The Performance of a u-Kernel-Based System. — Proceedings, Sixteenth ACM Symposium on Operating Systems Principles, December 1997.

HATF72 Hatfield D. Experiments on Page Size, Program Access Patterns, and Virtual Memory Performance. — IBM Journal of Research and Development, January 1972.

HENN96 Hennessy J., Patterson D. Computer Architecture: A Quantitative Approach. — San Mateo, CA: Morgan Kaufmann, 1996.

HENR84 Henry G. The Fair Share Scheduler. — AT&T Bell Laboratories Technical Journal, October 1984.

HERL90 Herlihy M. A Methodology for Implementing Highly Concurrent Data

Structures. — Proceedings of the Second ACM SIGPLAN Symposium on Principles and Practices of Parallel Programming, March 1990.

HOAR74 Hoare C. Monitors: An Operating System Structuring Concept. — Communications of the ACM, October 1974.

HOAR85 Hoare C. Communicating Sequential Processes. — Englewood Cliffs, NJ: Prentice Hall, 1985.

(Xoap Ч. Взаимодействующие последовательные процессы. — M. : Мир, 1989.)

HOFF90 Hoffman L., editor. Rogue Programs: Viruses, Worms, and Trojan Horses. — New York: Van Nostrand Reinhold, 1990.

HOFR90 Hofri M. Proof of a Mutual Exclusion Algorithm. — Operating Systems Review, January 1990.

HOLT72 Holt R. Some Deadlock Properties of Computer Systems. — Computing Surveys, September 1972.

HONG89 Hong J., Tan X., Towsley D. A Performance Analysis of Minimum Laxity

and Earliest Deadline Scheduling in a Real-Time System. — IEEE Transactions on Computers, December 1989.

HP96 Hewlett Packard. White Paper on Clustering. Available at

http://www.hp.com/netserver/partners/papers/wp_clust_696.html, June 1996.

HUCK83 Huck T. Comparative Analysis of Computer Architectures. Stanford University Technical Report Number 83-243, May 1983.

HUCK93 Huck J., Hays J. Architectural Support for Translation Table Management in Large Address Space Machines. — Proceedings of the 20th Annual International Symposium on Computer Architecture, May 1993.

HWAN93 Hwang K. Advanced Computer Architecture. — New York: McGraw-Hill, 1993.

HWAN99 Hwang K. et al. Designing SSI Clusters with Hierarchical Checkpointing and Single I/O Space. — IEEE Concurrency, January-March 1999.

HYMA66 Hyman H. Comments on a Problem in Concurrent Programming Control. — Communications of the ACM, January 1966.

IBM86 IBM National Technical Support, Large Systems. Multiple Virtual Storage (MVS) Virtual Storage Tuning Cookbook. Dallas Systems Center Technical Bulletin G320-0597, June 1986.

ISLO80 Isloor S., Marsland T. The Deadlock Problem: An Overview. — Computer, September 1980.

JACO98a Jacob В., Mudge T. Virtual Memory: Issues of Implementation. — Computer, June 1998.

JACO98b Jacob В., Mudge T. Virtual Memory in Contemporary Microprocessors. — IEEE Micro, August 1998.

JOHN91 Johnston В., Javagal R., Datta A., Ghosh S. A Distributed Algorithm for

Resource Deadlock Detection. — Proceedings, Tenth Annual Phoenix Conference on Computers and Communications, March 1991.

JOHN92 Johnson Т., Davis T. Space Efficient Parallel Buddy Memory Management. — Proceedings, Third International Conference on Computers and Information, May 1992.

JONE80 Jones S., Schwarz P. Experience Using Multiprocessor Systems — A Status Report. — Computing Surveys, June 1980.

JUL88 Jul E., Levy H., Hutchinson N.. Black A. Fine-Grained Mobility in the Emerald System. — ACM Transactions on Computer Systems, February 1988.

JUL89 Jul E. Migration of Light-Weight Processes in Emerald. — Newsletter of the IEEE Computer Society Technical Committee on Operating Systems, Winter 1989.

KABA99 Kabay M. Annual Virus Survey: Clear and Prevalent Danger. — Information Security, August 1999.

KANG98 Rang S., Lee J. Analysis and Solution of Non-Preemptive Policies for Scheduling Readers and Writers. — Operating Systems Review, July 1998.

KAPPOO Kapp C. Managing Cluster Computers. — Dr. Dobb's Journal, July 2000.

KATZ89 Katz R., Gibson G., Patterson D. Disk System Architecture for High Performance Computing. — Proceedings of the IEEE, December 1989.

KAY88 Kay J., Lauder P. A Fair Share Scheduler. — Communications of the ACM. January 1988.

KEPH97a Kephart J., Sorkin G., Chess D., White S. Fighting Computer Viruses. — Scientific American, November 1997.

КЕРНЭТЬ Kephart J., Sorkin G., Swimmer В., White S. Blueprint for a Computer Immune System. — Proceedings, Virus Bulletin International Conference, October 1997.

KESS92 Kessler R., Hill M. Page Placement Algorithms for Large Real-Indexed Caches. — ACM Transactions on Computer Systems, November 1992.

KHAL93 Khalidi Y., Talluri M., Williams D., Nelson M. Virtual Memory Support for Multiple Page Sizes. — Proceedings, Fourth Workshop on Workstation Operating Systems, October 1993.

KHAL96 Khalidi Y. et al. Solaris MC: A Multicomputer OS. — Proceedings, 1996 USENIX Conference, January 1996.

KILB62 Kilburn Т., Edwards D., Lanigan M., Sumner F. One-Level Storage System. — IRE Transactions, April 1962.

KLEI76 Kleinrock L. Queuing Systems. Volume II: Computer Applications. — New York: Wiley, 1976.

(Клейнрок Л. Вычислительные системы с очередями. — М. : Мир, 1979.)

KLEI90 Klein D. Foiling the Cracker: A Survey of, and Improvements to, Password Security. — Proceedings, UNIX Security Workshop II, August 1990.

KLEI95 Kleiman S. Interrupts as Threads. — Operating System Review, April 1995.

KLEI96 Kleiman S., Shah D., Smallders B. Programming with Threads. — Upper Saddle River, NJ: Prentice Hall, 1996.

KNUT71 Knuth D. An Experimental Study of FORTRAN Programs. — Software Practice and Experience, Vol. 1, 1971.

KNUT97 Knuth D. The Art of Computer Programming. Vol. 1: Fundamental Algorithms. — Reading, MA: Addison-Wesley, 1997.

(Кнут Д.Э. Искусство программирования. Том 1. Основные алгоритмы, 3-е изд. — М.: Издательский дом "Вильяме", 2000.)

KRIS94 Krishna С., Lee Y., editor. Special Issue on Real-Time Systems. — Proceedings of the IEEE, January 1994.

KRON9O Kron P. A Software Developer Looks at OS/2. — Byte, August 1990.

LAMP74 Lamport L. A New Solution to Dijkstra's Concurrent Programming Problem. — Communications of the ACM, August 1974.

LAMP78 Lamport L. Time, Clocks, and the Ordering of Events in a Distributed System. — Communications of the ACM, July 1978.

LAMP80 Lampson В., Redell D. Experience with Proceses and Monitors in Mesa. — Communications of the ACM, February 1980.

LAMP86 Lamport L. The Mutual Exclusion Problem. — Journal of the ACM, April 1986.

LAMP91 Lamport L. The Mutual Exclusion Problem Has Been Solved. — Communications of the ACM, January 1991.

LARO92 LaRowe R., Holliday M., Ellis C. An Analysis of Dynamic Page Placement an a NUMA Multiprocessor. — Proceedings, 1992 ACM SIGMETRICS and PERFORMANCE'92, June 1992.

LEBL87 LeBlanc Т., Mellor-Crummey J. Debugging Parallel Programs with Instant Replay. — IEEE Transactions on Computers, April 1987.

LEE93 Lee Y., Krishna C., eds. Readings in Real-Time Systems. — Los Alamitos, CA: IEEE Computer Society Press, 1993.

LELA86 Leland W., Ott T. Load-Balancing Heuristics and Process Behavior. — Proceedings, ACM SigMetrics Performance 1986 Conference, 1986.

LERO76 Leroudier J., Potier D. Principles of Optimality for Multiprogramming. — Proceedings, International Symposium on Computer Performance Modeling, Measurement, and Evaluation, March 1976.

LETW88 Letwin G. Inside OS/2. — Redmond, WA: Microsoft Press, 1988.

LEUT90 Leutenegger S., Vernon M. The Performance of Multiprogrammed

Multiprocessor Scheduling Policies. — Proceedings, Conference on Measurement and Modeling of Computer Systems, May 1990.

LEWI96 Lewis В., Berg D. Threads Primer. — Upper Saddle River, NJ: Prentice Hall, 1996.

LIED95 Liedtke J. On u-Kernel Construction. — Proceedings of the Fifteenth ACM Symposium on Operating Systems Principles, December 1995.

LIED96a Liedtke J. Toward Real Microkernels. — Communications of the ACM, September 1996.

LIED96b Liedtke J. Microkernels Must and Can Be Small. — Proceedings, Fifth

International Workshop on Object Orientation in Operating Systems, October 1996.

LIST93 Lister A., Eager R. Fundamentals of Operating Systems. — New York: Springer-Verlag, 1993.

LIU73 Liu C., Layland J. Scheduling Algorithms for Multiprogramming in a Hard Realtime Environment. — Journal of the ACM, February 1973.

LIVA90 Livadas P. File Structures: Theory and Practice. — Englewood Cliffs, NJ: Prentice Hall, 1990.

LYNC96 Lynch N. Distributed Algorithms. — San Francisco, CA: Morgan Kaufmann, 1996.

MADS93 Madsen J. World Record in Password Checking. — USENET, comp.security.misc newsgroup, August 18, 1993.

MAEK87 Maekawa M., Oldehoeft A., Oldehoeft R. Operating Systems: Advanced Concepts. — Menlo Park, CA: Benjamin Cummings, 1987.

MAJU88 Majumdar S., Eager D., Bunt R. Scheduling in Multiprogrammed Parallel Systems. — Proceedings, Conference on Measurement and Modeling of Computer Systems, May 1988.

MANCOO Mancill T. LINUX in the Corporate Network? — Business Communications Review, January 2000.

MART88 Martin J. Principles of Data Communication. — Englewood Cliffs, NJ: Prentice Hall, 1988.

MASS97 Massiglia P., editor. The RAID Book: A Storage System Technology Handbook. — St. Peter, MN: The Raid Advisory Board, 1997.

MCKU96 McKusick M., Bostic K., Karels M., Quartermain J. The Design and

Implementation of the 4.4BSD UNIX Operating System. — Reading, MA: Addison-Wesley, 1996.

MEE96a Mee C., Daniel E., eds. Magnetic Recording Technology. — New York: McGraw Hill, 1996.

MEE96b Mee C., Daniel E., eds. Magnetic Storage Handbook. — New York: McGraw Hill, 1996.

MESS96 Messer A. Wilkinson T. Components for Operating System Design. — Proceedings, Fifth International Workshop on Object Orientation in Operating Systems, October 1996.

MILE92 Milenkovic M. Operating Systems: Concepts and Design. — New York: McGraw-Hill, 1992.

MILO96 Milojicic D., Douglis F., Paindaveine Y., Wheeler R., Zhou S. Process Migration. TOG RI Technical Report, December 1996. Available at http://www.opengroup.org/-dejan/papers/index.htm.

MORG92 Morgan К. The RTOS Difference. — Byte, August 1992.

MS96 Microsoft Corp. Microsoft Windows NT Workstation Resource Kit. — Redmond, WA: Microsoft Press, 1996.

MUKH96 Mukherjee В., Karsten S. Operating System for Parallel Machines. — In: Parallel Computers: Theory and Practice. Edited by T. Casavant P. Tvrkik and F. Plasil. Los Alamitos, CA: IEEE Computer Society Press, 1996.

NACH97 Nachenberg C. Computer Virus-Antivirus Coevolution. — Communications of

the ACM, January 1997.

NAGA97 Nagar R. Windows NT File System Internals. — Sebastopol, CA: O'Reilly, 1997.

NEHM75 Nehmer J. Dispatcher Primitives for the Construction of Operating System

Kernels. — Acta Informatica, vol. 5, 1975.

NELS88 Nelson M., Welch В., Ousterhout J. Caching in the Sprite Network File System. — ACM Transactions on Computer Systems, February 1988.

NELS91 Nelson G. Systems Programming with Modula-3. — Englewood Cliffs, NJ: Prentice Hall, 1991.

NG98 Ng S. Advances in Disk Technology: Performance Issues. — Computer, May 1989.

NUTT94 Nuttal M. A Brief Survey of Systems Providing Process or Object Migration Facilities. — Operating Systems Review, October 1994.

NUTTOO Nutt G. Operating Systems: A Modern Perspective. — Reading, MA: Addison-Wesley, 2000.

OUST85 Ousterhout J. et al. A Trace-Drive Analysis of the UNIX 4.2 BSD File System. —

Proceedings, Tenth ACM Symposium on Operating System Principles, 1985.

OUST88 Ousterhout J. et al. The Sprite Network Operating System. — Computer,

February 1988.

(PAIOO Pai V., Druschel P., Zwaenepoel W. Ю-Lite: A Unified I/O Buffering and Caching System. — ACM Transactions on Computer Systems, February 2000.

PANW88 Panwar S., Towsley D., Wolf J. Optimal Scheduling Policies for a Class of Queues with Customer Deadlines in the Beginning of Service. — Journal of the ACM, October 1988.

PATT82 Patterson D., Sequin C. A VLSI RISC. — Computer, September 1982.

PATT85 Patterson D. Reduced Instruction Set Computers. — Communications of the ACM, January 1985.

PATT88 Patterson D., Gibson G., Katz R. A Case for Redundant Arrays of Inexpensive Disks (RAID). — Proceedings, ACM SIGMOD Conference of Management of Data, June 1988.

PATT98 Patterson D., Hennessy J. Computer Organization and Design: The Hardware /Software Interface. — San Mateo, CA: Morgan Kaufmann, 1998.

PETE77 Peterson J., Norman T. Buddy Systems. — Communications of the ACM,

June 1977.

PETE81 Peterson G. Myths About the Mutual Exclusion Problem. — Information

Processing Letters, June 1981.

PFIS98 Pfister G. In Search of Clusters. — Upper Saddle River, NJ: Prentice Hall, 1998.

PFLE97 Pfleeger C. Security in Computing. — Upper Saddle River, NJ: Prentice Hall

PTR, 1997.

РНАМ96 Pham Т., Garg P. Multithreaded Programming with Windows NT. — Upper Saddle River, NJ: Prentice Hall, 1996.

PINK89 Pinkert J., Wear L. Operating Systems: Concepts, Policies, and Mechanisms. — Englewood Cliffs, NJ: Prentice Hall, 1989.

PIZZ89 Pizzarello A. Memory Management for a Large Operating System. —

Proceedings, International Conference on Measurement and Modeling of Computer Systems, May 1989.

POPE85 Popek G., Walker B. The LOCUS Distributed System Architecture. — Cambridge, MA: MIT Press, 1985.

PORR92 Porras P. STAT: A State Transition Analysis Tool for Intrusion Detection. Master's Thesis, University of California at Santa Barbara, July 1992.

PRAM84 Pramanik S., Weinberg B. The Implementation Kit with Monitors. — SIGPLAN Notices, Number 9, 1984.

PRZY88 Przybylski S., Horowitz M., Hennessy J. Performance Trade-Offs in Cache Design. — Proceedings, Fifteenth Annual International Symposium on Computer Architecture, June 1988.

RAJAOO Rajagopal R. Introduction to Microsoft Windows NT Cluster Server. — Boca Raton, FL: CRC Press, 2000.

RAMA94 Ramamritham K., Stankovic J. Scheduling Algorithms and Operating Systems Support for Real-Time Systems. — Proceedings of the IEEE, January 1994.

RASH88 Rashid R. et al. Machine-Independent Virtual Memory Management for

Paged Uniprocessor and Multiprocessor Architectures. — IEEE Transactions on Computers, August 1988.

RAYN86 Raynal M. Algorithms for Mutual Exclusion. — Cambridge, MA: MIT Press, 1986.

RAYN88 Raynal M. Distributed Algorithms and Protocols. — New York: Wiley, 1988.

RAYN90 Raynal M., Helary J. Synchronization and Control of Distributed Systems and Programs. — New York: Wiley, 1990.

REAGOOa Reagan P. Client/Server Computing. — Upper Saddle River, NJ: Prentice Hall, 2000.

REAGOOb Reagan P. Client/Server Network: Design, Operation and Management. — Upper Saddle River NJ: Prentice Hall, 2000.

RICA81 Ricart G., Agrawala A. An Optimal Algorithm for Mutual Exclusion in

Computer Networks. — Communications of the ACM, January 1981 (Corrigendum in Communications of the ACM, September 1981).

RICA83 Ricart G., Agrawala A. Author's Response to 'On Mutual Exclusion in

ComputerNetworks' by Carvalho and Roucairol. — Communications of the ACM, February 1983.

RICH97 Richter J. Advanced Windows. — Redmond, WA: Microsoft Press, 1997.

RIDG97 Ridge D. et al. Beowulf: Harnessing the Power of Parallelism in a Pile-of-PCs. — Proceedings, IEEE Aerospace, 1997.

RITC74 Ritchie D., Thompson K. The UNIX Time-Sharing System. — Communications of the ACM, July 1974.

RITC78a Ritchie D., Thompson K. The UNIX Time-Sharing System. — The Bell System Technical Journal, July-August 1978.

RITC78b Ritchie D. UNIX Time-Sharing System: A Retrospective. — The Bell System Technical Journal, July-August 1978.

RITC84 Ritchie D. The Evolution of the UNIX Time-Sharing System. — AT&T Bell Laboratories Technical Journal, October 1984.

ROBI90 Robinson J., Devarakonda M. Data Cache Management Using Frequency-Based Replacement. — Proceedings, Conference on Measurement and Modeling of Computer Systems, May 1990.

ROSCOO Rosch W. The Winn L. Rosch Hardware Bible. — Indianapolis, IN: Sams, 2000.

ROSE78 Rosenkrantz D., Stearns R., Lewis P. System Level Concurrency Control in

Distributed Database Systems. — ACM Transactions on Database Systems, June 1978:

RUDO90 Rudolph B. Self-Assessment Procedure XXI: Concurrency. — Communications of the ACM, May 1990.

RUSL99 Rusling D. The Linux Kernel. Available at http://www.linuxdoc.org. SALU94 Salus P. UNIX at 25. — Byte, October 1994.

SAND94 Sandhu R., Samarati P. Access Control: Principles and Practice. — IEEE Communications, September 1994.

SATY81 Satyanarayanan M., Bhandarkar D. Design Trade-Offs in VAX-11 Translation Buffer Organization. — Computer, December 1981.

SAUE81 Sauer C., Chandy K. Computer Systems Performance Modeling. — Englewood Cliffs, NJ: Prentice Hall, 1981.

SCHA62 Schay G., Spruth W. Analysis of a File Addressing Method. — Communications of the ACM, August 1962.

SCHI94 Schimmel C. UNIX Systems for Modern Architectures. — Reading, MA: Addison-Wesley, 1994.

SCHM97 Schmidt D. Distributed Object Computing. — IEEE Communications Magazine, February 1997.

SCHN96 Schneier B. Applied Cryptography. — New York: Wiley, 1996.

SCHN99 Schneier B. The Trojan Horse Race. — Communications of the ACM, September 1999.

SCHW96 Schwaderer W., Wilson A. Understanding I/O Subsystems. — Milpitas, CA: Adaptec Press, 1996.

SEVC96 Sevcik P. Designing a High-Performance Web Site. — Business Communications Review, March 1996.

SHA91 Sha L., Klein M., Goodenough J. Rate Monotonic Analysis for Real-Time Systems. — In [TILB91].

SHA94 Sha L., Rajkumar R., Sathaye S. Generalized Rate-Monotonic Scheduling Theory: A Framework for Developing Real-Time Systems. — Proceedings of the IEEE, January 1994.

SHEL97 Sheldon T. Windows NT Security Handbook. — New York: Osborne McGraw-Hill, 1997.

SHNE84 Shneiderman B. Response Time and Display Rate in Human Performance with Computers. — ACM Computing Surveys, September 1984.

SHIV92 Shivaratri N., Krueger P., Singhal M. Load Distributing for Locally ,_u

Distributed Systems. — Computer, December 1992.

SHOR75 Shore J. On the External Storage Fragmentation Produced by First-Fit and Best-Fit Allocation Strategies. — Communications of the ACM, August 1975.

SHOR97 Short R., Gamache R., Vert J., Massa M. Windows NT Clusters for

Availability and Scalability. — Proceedings, COMPCON Spring 97, February 1997.

SHUB90 Shub C. ACM Forum: Comment on A Self-Assessment Procedure on Operating Systems. — Communications of the ACM, September 1990.

SIEB83 Sieber J. TRIX: A Communications-Oriented Operating System. Ms.S. Thesis, MIT, September 1983.

SILB98 Silberschatz A., Galvin P. Operating System Concepts. — Reading, MA: Addison-Wesley, 1998.

SILBOO Silberschatz A., Galvin P., Gagne G. Applied Operating System Concepts. — Reading, MA: Addison-Wesley, 2000.

SING94a Singhal M., Shivaratri N. Advanced Concepts in Operating Systems. — New York: McGraw-Hill, 1994.

SING94b Singhal M. Deadlock Detection in Distributed Systems. — In [CASA94].

SING99 Singh H. Progressing to Distributed Multiprocessing. — Upper Saddle River, NJ: Prentice Hall, 1999.

SINH97 Sinha P. Distributed Operating Systems. — Piscataway, NJ: IEEE Press, 1997. SMIT82 Smith A. Cache Memories. — ACM Computing Surveys. September 1982.

SMIT83 Smith D. Faster Is Better: A Business Case for Subsecond Response Time. — Computerworld, April 18, 1983.

SMIT85 Smith A. Disk Cache - Miss Ratio Analysis and Design Considerations. — ACM Transactions on Computer Systems, August 1985.

SMIT88 Smith J. A Survey of Process Migration Mechanisms. — Operating Systems Review, July 1988.

SMIT89 Smith J. Implementing Remote fork() with Checkpoint/restart. — Newsletter of the IEEE Computer Society Technical Committee on Operating Systems, Winter 1989.

SOLO98a Solomon D. Inside Windows NT. — Redmond, WA: Microsoft Press, 1998. SOLO98b Solomon D. The Windows NT Kernel Architecture. — Computer, October 1998.

SPAF89 Spafford E., Heaphy K., Ferbrache D. Computer Viruses. — Arlington, VA: ADAPSO, 1989.

SPAF92 Spafford E. Observing Reusable Password Choices. — Proceedings, UNIX Security Symposium HI, September 1992.

STAL98 Stallings W. Cryptography and Network Security: Principles and Practice, 2nd ed. — Upper Saddle River, NJ: Prentice Hall, 1995.

STALOO Stallings W. Computer Organization and Architecture, 5th ed. — Upper Saddle River, NJ: Prentice Hall, 2000.

STAN89 Stankovic J., Ramamrithan, K. The Spring Kernel: A New Paradigm for Real-Time Operating Systems. — Operating Systems Review, July 1989.

STAN93 Stankovic J., Ramamritham K., eds. Advances in Real-Time Systems. — Los Alamitos, CA: IEEE Computer Society Press, 1993.

STEE95 Steensgarrd В., Jul E. Object and Native Code Thread Mobility Among Heterogeneous Computers. — Proceedings of the Fifteenth ACM Symposium on Operating Systems Principles, December 1995.

STEP93 Stephenson P. Preventive Medicine. — LAN Magazine, November 1993. STER99 Sterling T. et al. How to Build a Beowulf. — Cambridge, MA: MIT Press, 1999.

STON93 Stone H. High-Performance Computer Architecture. — Reading, MA: Addison-Wesley, 1993.

STRESS Strecker W. Transient Behavior of Cache Memories. — ACM Transactions on Computer Systems, November 1983.

STUC85 Stuck В., Arthurs E. A Computer and Communications Network Performance Analysis Primer. — Englewood Cliffs, NJ: Prentice Hall, 1985.

SUN99 Sun Microsystems. Sun Cluster Architecture: A White Paper. — Proceedings,

IEEE Computer Society International Workshop on Cluster Computing, December 1999.

SUTT97 Button S. Windows NT Security Guide. — Reading, MA: Addison-Wesley, 1997.

SUZU82 Suzuki I., Kasami T. An Optimality Theory for Mutual Exclusion Algorithms in Computer Networks. — Proceedings of the Third International Conference on Distributed Computing Systems, October 1982.

TAIV96 Taivalsaari A. On the Nature of Inheritance. — ACM Computing Surveys, September 1996.

TALL92 Talluri M., Kong S., Hill M., Patterson D. Tradeoffs in Supporting Two Page Sizes. — Proceedings of the 19th Annual International Symposium on Computer Architecture, May 1992.

TAMI83 Tamir Y., Sequin C. Strategies for Managing the Register File in RISC. — IEEE Transactions on Computers, November 1983.

TANE78 Tanenbaum A. Implications of Structured Programming for Machine Architecture. — Communications of the ACM, March 1978.

TANE85 Tanenbaum A., Renesse R. Distributed Operating Systems. — Computing Surveys, December 1985.

TANE90 Tanenbaum A. Structured Computer Organization. — Englewood Cliffs, NJ: Prentice Hall, 1990.

TANE92 Tanenbaum A. Modern Operating Systems. — Englewood Cliffs, NJ: Prentice Hall, 1992.

TANE97 Tanenbaum A., Woodhull A. Operating Systems: Design and Implementation. — Upper Saddle River, NJ: Prentice Hall, 1997.

TAY90 Tay В., Ananda A. A Survey of Remote Procedure Calls. — Operating Systems Review, July 1990.

TEVA87 Tevanian A. et al. Mach Threads and the UNIX Kernel: The Battle for Control. — Proceedings, Summer 1987 USENIX Conference, June 1987.

THAD81 Thadhani A. Interactive User Productivity. — IBM Systems Journal, No. 1, 1981.

THOM84 Thompson K. Reflections on Trusting Trust (Deliberate Software Bugs). — Communications of the ACM, August 1984.

TILB91 Tilborg A., Koob G., eds. Foundations of Real-Time Computing: Scheduling and Resource Management. — Boston: Kluwer Academic Publishers, 1991.

TIME90 Time, Inc. Computer Security, Understanding Computers Series. — Alexandria, VA: Time-Life Books, 1990.

TUCK89 Tucker A., Gupta A. Process Control and Scheduling Issues for

Multiprogrammed Shared-Memory Multiprocessors. — Proceedings, Twelfth ACM Symposium on Operating Systems Principles, December 1989.

TUCK97 Tucker A., ed. The Computer Science and Engineering Handbook. — Boca Raton, FL: CRC Press, 1997.

VAHA96 Vahalia U. UNIX Internals: The New Frontiers. — Upper Saddle River, NJ: Prentice Hall, 1996.

WALK89 Walker В., Mathews R. Process Migration in AIX's Transparent Computing Facility. — Newsletter of the IEEE Computer Society Technical Committee on Operating Systems, Winter 1989.

WARD80 Ward S. TRIX: A Network-Oriented Operating System. — Proceedings, COMPCON'80, 1980.

WARR91 Warren C. Rate Monotonic Scheduling. — IEEE Micro, June 1991. WAYN94aWayner P. Small Kernels Hit it Big. — Byte, January 1994. WAYN94bWayner P. Objects on the March. — Byte, January 1994. WEIZ81 Weizer N. A History of Operating Systems. — Datamation, January 1981.

WEND89 Wendorf J., Wendorf R., Tokuda H. Scheduling Operating System

Processing on Small-Scale Microprocessors. — Proceedings, 22nd Annual Hawaii International Conference on System Science, January 1989.

WIED87 Wiederhold G. File Organization for Database Design. — New York: McGraw-Hill, 1987.

WOOD86 Woodside C. Controllability of Computer Performance Tradeoffs Obtained Using Controlled-Share Queue Schedulers. — IEEE Transactions on Software Engineering, October 1986.

WOOD89 Woodbury P. et al. Shared Memory Multiprocessors: The Right Approach to Parallel Processing. — Proceedings, COMPCON Spring'89, March 1989.

YOUN87 Young M. et al. The Duality of Memory and Communication in the

Implementation of a Multiprocessor Operating System. — Proceedings of the Eleventh ACM Symposium on Operating Systems Principles, December 1987.

ZAHO90 Zahorjan J., McCann C. Processor Scheduling in Shared Memory

Multiprocessors. Proceedings, Conference on Measurement and Modeling of Computer Systems, May 1990.

ZAJC93 Zajcew R. et al. An OSF/1 UNIX for Massively Parallel Multicomputer. — Proceedings, Winter USENIX Conference, January 1993.

ZEAD97 Zeadally S. An Evaluation of the Real-Time Performance of SVR4.0 and SVR4.2. — Operating Systems Review, January 1977.