オペレーティングシステム・システムソフトウェア

関連キーワード

• タスク／ジョブ管理（負荷分散，スケジューリング）
• 計算資源（メモリ）管理
• ストレージ管理（ファイルシステム）
• ネットワークスタック
• アクセス制御／セキュリティ
• クラウドコンピューティング
• 仮想化技術，コンテナ技術
• 分散システム，並列処理
• 実時間（リアルタイム）OS
• 組み込みシステム
• マイクロカーネル，ライブラリOS
• 高信頼化技術
• 低消費電力化技術
  

研究プラットフォームとして利用可能なオープンソース・ソフトウェア

• Linux (KVM, SELinux)
• FreeBSD
• NetBSD
• MINIX
• PureDarwin
• Plan 9
• L4
• seL4
• xv6
• Unikraft (Unikernel)
• Graphene Library OS
• Android (AOSP)
• TOPPERS (ITRON)
• Xen
• QEMU
• Docker
• Kubernetes
• runC
• gVisor
• Kata Containers
• Fuchsia (Zircon)
• ROS (Robot Operating System)

国際会議

• SOSP: ACM Symposium on Operating Systems Principles
• OSDI: USENIX Symposium on Operating Systems Design and Implementation
• ASPLOS: ACM International Conference on Architectural Support for Programming Languages and Operating Systems
• ICDCS: IEEE International Conference on Distributed Computing Systems
• USENIX ATC: USENIX Annual Technical Conference
• EuroSys: The European Conference on Computer Systems
• VEE: ACM SIGPLAN/SIGOPS International Conference on Virtual Execution Environment
• FAST: USENIX Conference on File and Storage Technologies
• CCGrid: IEEE/ACM International Symposium on Cluster, Cloud and Internet Computing
• APSys: ACM SIGOPS Asia-Pacific Workshop on Systems

電子ジャーナル

• IEEE Transactions on Computers
• IEEE Transactions on Cloud Computing
• IEEE Transactions on Parallel and Distributed Systems
• IEEE Transactions on Knowledge and Data Engineering
• ACM Transactions on Computer Systems (TOCS)
• ACM Transactions on Privacy and Security (TOPS)
• ACM Transactions on Storage (TOS)
• 情報処理学会論文誌（ジャーナル）
• 情報処理学会論文誌（トランザクション） コンピューティングシステム (ACS)
• コンピュータソフトウェア
• 電子情報通信学会論文誌 D（情報・システム）
• ACM SIGOPS Operating Systems Review
• ACM Computing Surveys
• Communications of ACM
• LWN.net

書籍・ドキュメント

• Operating System ConceptsAbraham Silberschatz, Greg Gagne, Peter B. Galvi著
• Modern Operating SystemsAndrew S. Tanenbaum, Herbert Bos著
• Distributed Systems: Principles and Paradigms　Maarten Van Steen, Andrew S.　Tanenbaum著
• オペレーティングシステムの仕組み河野健二著
• コンピュータ・システム：プログラマの視点から五島正裕、河野健二監修
• Linuxのしくみ：実験と図解で学ぶOSとハードウェアの基礎知識竹内覚著
• 30日でできる！OS自作入門（電子書籍）川合秀実著
• 作って理解するOS x86系コンピュータを動かす理論と実装林高勲著
• 詳解LinuxカーネルDaniel P. Bovet, Marco Cesati著
• Linuxカーネル2.6解読室高橋浩和、小田逸郎、山幡為佐久著
• Lions’ Commentary on UNIXJohn Lion著
• はじめてのOSコードリーディング：UNIX V6で学ぶカーネルのしくみ青柳隆宏著
• コンピュータシステムの理論と実装：モダンなコンピュータの作り方Noam Nisan，Shimon Schocken著
• ハイパーバイザの作りかた浅田拓也著
• 連載 LXCで学ぶコンテナ入門：軽量仮想化環境を実現する技術加藤泰文、田向正一著
• Understanding and Hardening Linux ContainersAaron Grattafiori著
• コンテナ未経験新人が学ぶコンテナ技術入門徳永航平 著
  

関連学会・団体

• IEEE Computer Society
• ACM SIGOPS
• USENIX
• 情報処理学会 システムソフトウェアとオペレーティングシステム(OS)研究会
• 情報処理学会 ハイパフォーマンスコンピューティング(HPC)研究会
• 情報処理学会 システム・アーキテクチャ(SIGARC)研究会
• 情報処理学会 組み込みシステム(EMB)研究会
• 情報処理学会 コンピュータセキュリティ(CSEC)研究会
• 情報処理学会 インターネットと運用技術(IOT)研究会
• 日本ソフトウェア科学会 ディペンダブルシステム研究会 (DSW)
• 電子情報通信学会 コンピュータシステム (CPSY)
• 電子情報通信学会 ディペンダブルコンピューティング (DC)
• 電子情報通信学会 情報セキュリティ (ISEC)
• Linux Foundation

最終更新日:2021年10月25日

オペレーティングシステム・システムソフトウェア

• 関連キーワード
• 研究プラットフォームとして利用可能なオープンソース・ソフトウェア
• 国際会議
• 電子ジャーナル
• 書籍、ドキュメント
• 関連学会・団体

検索ツール

◉蔵書検索

• ・学内蔵書検索

◉論文検索

複数の雑誌や会議録に掲載している論文を一度に検索できます。

 国内の論文

• ・Cinii:日本の論文を探す
• ・J-STAGE
• ・情報処理学会電子図書館

 海外の論文

• ・ACM Digital Library
• ・IEEE CSDL
• ・SpringerLink

 国内と海外の論文

• ・Google Scholar

◉電子ジャーナル誌名・電子書籍書名の検索

• ・E-Journal & E-Book Search

学外からのアクセス

契約している電子ジャーナル等は学内からのアクセスが基本ですが，自宅など学外からアクセスできるものもあります。詳細は下記を参照してください。

• ・学外からのアクセス（学認）
• ・契約データベース一覧