蔦のロゴ

書籍「オペレーティングシステム」のサポート

コロナ社刊 コンピュータサイエンス教科書シリーズ 7 OS

参考文献

書籍「オペレーティングシステム」では紙幅の関係から主要な文献のみを提示しました。それらを含めた文献を以下に紹介します。

全般、第1章 オペレーティングシステムとは

  1. 清水謙多郎、オペレーティングシステム、岩波書店 (1992). ISBN-13: 978-4000078528
  2. Andrew S.Tanenbaum、モダンオペレーティングシステム原著第２版 、ピアソンエデュケーション(2004). ISBN-13: 978-4894715370
  3. 前川守、オペレーティングシステム、岩波講座ソフトウェア科学6、岩波書店、(1988).
  4. William S. Davis, T.M.Rajkumar, Operating systems: a systematic view (6th edition), Addison Wesley, (2004). ISBN-13: 978-0321267511
  5. Abraham Silberschatz, Peter B. Galvin, Greg Gagne, Operating System Concepts (7th edition), John Wiley & Sons, (2004). ISBN-13: 978-0471694663
  6. William Stallings, Operating Systems: Internals and Design Principles (5th Edition), Prentice Hall, (2004). ISBN-13: 978-0131479548

第2章 実行管理

  1. Gregory R. Andrews, Fred B. Schneider, “Concepts and Notations for Concurrent Programming,” ACM Computing Surveys, Volume 15 , Issue 1, pp. 3 – 43, (1983).
  2. M. Ben-Ari, Principles of Concurrent And Distributed Programming (2nd ed.) , Prentice Hall, (2005). ISBN-13: 978-0321312839 (M. Ben-Ari, Principles of Concurrent Programming , Prentice Hall, (1982))
  3. 高田広章監修・著、岸田昌巳、宿口雅弘、南角茂樹著、リアルタイムOSと組込み技術の基礎: 実践μITRONプログラミング、TECH I Vol.17、CQ出版社、(2003). ISBN-13: 978-4789833288
  4. Qing Li, Caroline Yao、リアルタイム組込みOS、翔泳社、(2005). ISBN-13: 978-4798110042
  5. Noritaka Osawa, "A Smart Virtual Machine for Heterogeneous Distributed Environments: PivotVM", 情報処理学会論文誌, Vol.40, No.6, pp.2543-2552, (1999). [「表2.1 実行主体と空間」の分類方法の元]

第3章 同期通信

  1. Coffman, E.G., M.J. Elphick, and A. Shoshani, “System Deadlocks,” ACM Computing Surveys, Volume 3, Issue 2, pp. 67-78, (1971).
  2. Richard C. Holt, “Some Deadlock Properties of Computer Systems,” ACM Computing Surveys, Volume 4, Issue 3, pp. 179 – 196, (1972).
  3. Edsger W. Dijkstra, “EWD 623: The mathematics behind the Banker’s Algorithm,” Selected Writings on Computing: A Personal Perspective, pp.308–312, Springer-Verlag, (1982).
  4. L. Sha, R. Rajkumar, and J. P. Lehoczky, “Priority Inheritance Protocols: An Approach to Real-Time Synchronization,” IEEE Transactions on Computers, Volume 39, Issue 9, pp. 1175 – 1185, (September 1990).
  5. John. B. Goodenough, Lui Sha, “The priority ceiling protocol: A method for minimizing the blocking of high priority Ada tasks,” Proceedings of the second international workshop on Real-time Ada issues, pp.20 – 31, (1988).

第4章 デバイス管理

  1. Walter Oney、 Microsoft WDMプログラミング、アスキー、 (2001). ISBN-13: 978-4756139139
  2. Jonathan Corbet, Alessandro Rubini, Greg Kroah-Hartman、Linuxデバイスドライバ、オライリージャパン、(2005). ISBN-13: 978-4873112534
  3. Jan Axelson、USB 2.0とUSB On-The-Goを含むカスタムUSBデバイス開発のすべて USBコンプリート 第3版 、エスアイビーアクセス、(2006). ISBN-13: 978-4434084607
  4. Toby J. Teorey, Tad B. Pinkerton, “A comparative analysis of disk scheduling policies,” Communications of the ACM, Volume 15, Issue 3, pp. 177 – 184, (1972).

第5章 記憶領域管理

  1. Donald E. Knuth、The Art of Computer Programming Volume 1 Fundamental Algorithms Third Edition日本語版、アスキー、(2004). ISBN-13: 978-4756144119
  2. Richard Jones, Rafael Lins, Garbage Collection: Algorithms for Automatic Dynamic Memory Management, John Wiley & Sons, (1996). ISBN-13: 978-0471941484

第6章 仮想記憶

  1. Peter J. Denning, “Virtual Memory,” ACM Computing Surveys, Volume 2, Issue 3 pp.153 – 189, (September 1970)
  2. Peter J. Denning, “Working Sets Past and Present,” IEEE Transactions on Software Engineering, Volume SE-6, Issue 1, pp.64- 84 (1980). ( http://www.cse.ucsd.edu/classes/wi07/cse221/papers/denning80.pdf )
  3. L. A. Belady, R. A. Nelson, G. S. Shedler, “An anomaly in space-time characteristics of certain programs running in a paging machine,” Communications of the ACM, Volume 12, Issue 6, pp. 349 – 353, (1969).

第7章 ファイルシステム

  1. Rob Pike, Dave Presotto, Ken Thompson, Howard Trickey, Phil Winterbottom, “The use of name spaces in Plan 9,” ACM SIGOPS Operating Systems Review, Volume 27, Issue 2, pp. 72 – 76, (1993).
  2. Microsoft, FAT32 File System Specification, (2000).
  3. Marshall K. McKusick, William N. Joy, Samuel J. Leffler, Robert S. Fabry, “A fast file system for UNIX,” ACM Transactions on Computer Systems, Volume 2, Issue 3, pp. 181 – 197, (1984).
  4. Mendel Rosenblum, John K. Ousterhout, “The design and implementation of a log-structured file system,” ACM Transactions on Computer Systems, Volume 10, Issue 1, pp. 26 – 52, 1992.

第8章 ネットワーク

  1. Andrew S. Tanenbaum、コンピュータネットワーク 第4版、日経BP社、(2003). ISBN-13: 978-4822221065
  2. Douglas E. Comer、TCP/IPによるネットワーク構築〈Vol.1〉原理・プロトコル・アーキテクチャ、共立出版、(2002). ISBN-13: 978-4320120549
  3. 竹下 隆史、村山 公保、荒井 透、苅田 幸雄、マスタリングTCP/IP 入門編、オーム社、(2007). ISBN　978-4-274-06677-1

第9章 並列分散処理

  1. 谷口 秀夫、分散処理、オーム社、(2005). ISBN-13: 978-4274201332
  2. 中山 茂、Java分散オブジェクト入門―Java RMI、CORBA、IDL、Jini、JavaScript対応、技報堂出版、(2000). ISBN-13: 978-4765533225
  3. Andrew S. Tanenbaum, Maarten van Steen、分散システム―原理とパラダイム、ピアソンエデュケーション、(2003). ISBN-13: 978-4894715561
  4. 日本アイビーエムシステムズエンジニアリング、グリッド・コンピューティングとは何か―Globus Toolkitではじめるグリッドの基礎、ソフトバンククリエイティブ、(2004). ISBN-13: 978-4797323399
  5. Bill Nitzberg, Virginia Lo, “Distributed shared memory: a survey of issues and algorithms,” Computer, Vol.24, Iss.8, pp.52-60, (Aug 1991).

第10章 ユーザインタフェース

  1. 木下 凌一、林 秀幸、X-Window Ver.11プログラミング、日刊工業新聞、(1993). ISBN-13: 978-4526033995
  2. The Unicode Consortium, The Unicode Standard, Version 5.0, Addison-Wesley Professional, (2006). ISBN-13: 978-0321480910
  3. Tony Graham、Unicode標準入門、翔泳社、(2001). ISBN-13: 978-4798100302
  4. Ken Lunde、CJKV日中韓越情報処理、オライリージャパン、(2002). ISBN-13: 978-4873111087
  5. 清兼 義弘、 末広 陽一、国際化プログラミング―I18Nハンドブック、共立出版、(1998). ISBN-13: 978-4320029040

第11章 保護とセキュリティ

  1. Michael Palmer、オペレーティングシステム　セキュリティ入門 – OSセキュリティの概要と強化 －、トムソン　ラーニング、(2005). ISBN-13： 978-4-86100-183-3
  2. Butler W. Lampson, “Protection,” ACM SIGOPS Operating Systems Review, Volume 8, Issue 1, pp.18 – 24, (January 1974).
  3. J. Reynolds, The Helminthiasis of the Internet,  Request for Comments: 1135, (1989).
  4. Peter J. Denning, "The Science of Computing: The Internet Worm", American Scientist, Vol. 77, No. 2, Pgs. 126-128, (March 1989).
  5. Eugene H. Spafoord, “Crisis and Aftermath,” Communications of the ACM, Volume 32 , Issue 6, pp.678 – 687, (1989).
  6. Dorothy E. Denning, “A lattice model of secure information flow,” Communications of the ACM, Volume 19, Issue 5, pp. 236 – 243, (May 1976).

第12章 構成法と事例

  1. 平田 豊、Linuxカーネル解析入門、工学社、(2006). ISBN-13: 978-4777511891
  2. Daniel P. Bovet、Marco Cesati、詳解 Linuxカーネル、オライリー・ジャパン、(2007). ISBN13: 978-4-87311-313-5
  3. 前川 武弘、 WindowsOS内部のアーキテクチャのすべて、 ディーアート、(2004). ISBN-13: 978-4886487278
  4. 坂村 健、μITRON4.0標準ガイドブック、パーソナルメディア、(2001). ISBN-13: 978-4893621917
  5. 金田一 勉、ITRONプログラミング入門、TECH I シリーズ Vol.24、CQ出版、(2005). ISBN-13: 978-4789833356
  6. ジュニパーネットワークス、はじめてのJUNOS―詳解 新世代ルータOS 、日経BP社、(2005). ISBN-13: 978-4822212803

第13章 歴史と展望

  1. John Lions、Lions’ Commentary on UNIX、アスキー (1998). ISBN-13: 978-4756118448
  2. 川合 秀実30日でできる! OS自作入門、毎日コミュニケーションズ、(2006). ISBN-13: 978-4839919849