山内の授業のページ

アクセス数 88  このページの最終更新 2017-02-15 (水) 17:44:00

17年度秋学期 オペレーティングシステム

月曜日 4限

この講義の目的は、情報科学科修了生が心得ているべき、オペレーティングシステムの知識と考え方を理解・習得することです。具体的には

それぞれの項目について、教科書のレベルの内容を十分に理解して欲しいと思います。

授業の進め方:
 > 予習: 授業時間より前に、予習教材ビデオを見ておく
    ビデオを見ながらノートを取り、理解したことを記録しておく。
    また、分からなかったこと、疑問に思ったことを記録しておき、授業の最初に質問する。  > 授業時間中: (ビデオの内容を繰り返すような講義はやらない)
  −予習の時に理解できなかったこと、疑問に思った点について、質問して解決する
  −ノートを学生ペアで交換し、指示されるポイントについて内容をチェックする。チェック結果は提出する
  −提示された討論課題について、グループで考えて議論し、検討シートにまとめる。最後にグループで発表する
   検討シートは最後に提出する

日程予定内容(進捗等により変更の可能性あり)教科書今年の予習ビデオビデオのスライドのみ授業中の配布資料
09/26授業紹介・オペレーティングシステムとはp1〜p13授業の目標(4:28) 
OSとは何か(10:35) 
OSの位置付け(26:35) 
OSの構造と作り(18:26)  
&ref(): File not found: "1-0_授業の目標.pdf" at page "山内の授業のページ/17秋/オペレーティングシステム";
&ref(): File not found: "1-1_OSとは何か.pdf" at page "山内の授業のページ/17秋/オペレーティングシステム";
&ref(): File not found: "1-2_OSの位置づけ.pdf" at page "山内の授業のページ/17秋/オペレーティングシステム";
&ref(): File not found: "1-3_OSの構造と作り.pdf" at page "山内の授業のページ/17秋/オペレーティングシステム";
fileおまけ〜階層構造について
fileおまけ〜OSの構造の境界線の理由
&ref(): File not found: "ss16_syllabus.pdf" at page "山内の授業のページ/17秋/オペレーティングシステム";
&ref(): File not found: "class-organization.pdf" at page "山内の授業のページ/17秋/オペレーティングシステム";
&ref(): File not found: "ss16_rublic.pdf" at page "山内の授業のページ/17秋/オペレーティングシステム";
&ref(): File not found: "ss-1-1_第1回資料.pdf" at page "山内の授業のページ/17秋/オペレーティングシステム";
10/03実行管理(1)
プロセス・実行状態・割込み
p14〜p24復習−OSカーネル(8:04) 
プロセッサの仮想化(11:35) 
プロセッサの仮想化2(6:58)
プロセスの切換え(19:03) 
プロセスの状態遷移(13:26) 
プロセスの状態遷移2(22:11) 
コンテキスト(10:47) 
プロセスと割込み(27:51)
&ref(): File not found: "2-1_復習-OSカーネル.pdf" at page "山内の授業のページ/17秋/オペレーティングシステム";
&ref(): File not found: "2-2-1_プロセッサの仮想化.pdf" at page "山内の授業のページ/17秋/オペレーティングシステム";
&ref(): File not found: "2-2-2_プロセッサの仮想化2.pdf" at page "山内の授業のページ/17秋/オペレーティングシステム";
&ref(): File not found: "2-3_プロセスの切換え.pdf" at page "山内の授業のページ/17秋/オペレーティングシステム";
&ref(): File not found: "2-4-1_プロセスの状態遷移.pdf" at page "山内の授業のページ/17秋/オペレーティングシステム";
&ref(): File not found: "2-4-2_プロセスの状態遷移2.pdf" at page "山内の授業のページ/17秋/オペレーティングシステム";
&ref(): File not found: "2-5_コンテキスト.pdf" at page "山内の授業のページ/17秋/オペレーティングシステム";
&ref(): File not found: "2-6_プロセスと割込み.pdf" at page "山内の授業のページ/17秋/オペレーティングシステム";
&ref(): File not found: "ss-2-1_第2回資料.pdf" at page "山内の授業のページ/17秋/オペレーティングシステム";
10/17実行管理(2)
スケジューリング
p25〜p33プロセスの待ち行列(9:48) 
プロセスのスケジューリング(12:02) 
リアルタイムスケジューリング(20:35) 
周期的スケジューリング(13:14) 
&ref(): File not found: "3-1_プロセスの待ち行列.pdf" at page "山内の授業のページ/17秋/オペレーティングシステム";
&ref(): File not found: "3-2_プロセスのスケジューリング.pdf" at page "山内の授業のページ/17秋/オペレーティングシステム";
&ref(): File not found: "3-3_リアルタイムスケジューリング.pdf" at page "山内の授業のページ/17秋/オペレーティングシステム";
&ref(): File not found: "3-4_周期的スケジューリング.pdf" at page "山内の授業のページ/17秋/オペレーティングシステム";
&ref(): File not found: "ss-3-1_第3回資料.pdf" at page "山内の授業のページ/17秋/オペレーティングシステム";
10/24並行処理・同期・排他制御
デッドロック・プロセス間通信
p34〜p45並行処理の考え方(10:37) 
同期・排他制御(10:21) 
排他制御の仕組1(24:43) 
排他制御の仕組2(12:01) 
ハイレベルの排他・同期機構(12:40)
&ref(): File not found: "4-1_並行処理の考え方.pdf" at page "山内の授業のページ/17秋/オペレーティングシステム";
&ref(): File not found: "4-2_同期・排他制御.pdf" at page "山内の授業のページ/17秋/オペレーティングシステム";
&ref(): File not found: "4-3-1_排他制御の仕組1.pdf" at page "山内の授業のページ/17秋/オペレーティングシステム";
&ref(): File not found: "4-3-2_排他制御の仕組2.pdf" at page "山内の授業のページ/17秋/オペレーティングシステム";
&ref(): File not found: "4-4_ハイレベルの排他・同期機構.pdf" at page "山内の授業のページ/17秋/オペレーティングシステム";
&ref(): File not found: "ss-4-1_第4回資料.pdf" at page "山内の授業のページ/17秋/オペレーティングシステム";
10/31同期・通信(2) デッドロック・情報交換

デバイス管理(1) デバイス・排他

デバイス管理(2) バッファリング・ブロッキング・ディスクスケジューリング
p45〜p54

p55〜p76
デッドロック1(15:27) 
デッドロック2(17:55) 
プロセス間通信(19:53)

デバイス管理−資源管理(37:49)  
&ref(): File not found: "4-5-1_デッドロック1.pdf" at page "山内の授業のページ/17秋/オペレーティングシステム";
&ref(): File not found: "4-5-2_デッドロック2.pdf" at page "山内の授業のページ/17秋/オペレーティングシステム";
&ref(): File not found: "4-6_プロセス間通信.pdf" at page "山内の授業のページ/17秋/オペレーティングシステム";

&ref(): File not found: "5-1_デバイス管理_資源管理.pdf" at page "山内の授業のページ/17秋/オペレーティングシステム";
&ref(): File not found: "ss-5-1_第5回資料.pdf" at page "山内の授業のページ/17秋/オペレーティングシステム";
11/07デバイス管理(3) 仮想化

記憶領域管理(1) 記憶領域の基本管理手法・フラグメンテーション・リロケーション
p77〜p86デバイス管理−仮想化(22:02)

基本的な記憶管理とその手法1(18:12) 
基本的な記憶管理とその手法2(31:31)
fileデバイス管理_仮想化

&ref(): File not found: "7-1_基本的な記憶管理とその手法1.pdf" at page "山内の授業のページ/17秋/オペレーティングシステム";
&ref(): File not found: "7-2_基本的な記憶管理とその手法2.pdf" at page "山内の授業のページ/17秋/オペレーティングシステム";
&ref(): File not found: "ss-6-1_第6回資料.pdf" at page "山内の授業のページ/17秋/オペレーティングシステム";
11/14中間試験  教室を5105に移動    
11/21記憶領域管理(2) ページング

仮想記憶(1) オーバーレイの問題
p87〜p102ページング(25:05) 
ページングのアドレス変換の性能(17:51) 
大容量問題とオーバーレイ(25:39)
&ref(): File not found: "8-1_ページング.pdf" at page "山内の授業のページ/17秋/オペレーティングシステム";
&ref(): File not found: "8-2_ページングのアドレス変換の性能.pdf" at page "山内の授業のページ/17秋/オペレーティングシステム";
&ref(): File not found: "8-3_大容量問題とオーバーレイ.pdf" at page "山内の授業のページ/17秋/オペレーティングシステム";
&ref(): File not found: "ss-8-1_第8回資料.pdf" at page "山内の授業のページ/17秋/オペレーティングシステム";
11/28仮想記憶(2) 仮想記憶システム・デマンドページングの原理・性能・局所性p102〜p115デマンドページング〜考え方と仕組(11:36) 
デマンドページング〜ページインの処理手順(15:53) 
デマンドページング〜実際の動作イメージ(16:28)  
デマンドページング〜ここまでのまとめ(2:52)

デマンドページングの性能〜モデルの概略(12:04) 
デマンドページングの性能〜ミス率(7:12) 
デマンドページングの性能〜性能と局所性(14:51) 
デマンドページングの性能〜局所性とミス率の例(22:18) 
デマンドページングの性能〜ワーキングセット・まとめ(8:16)
&ref(): File not found: "9-1-1_デマンドページングの仕組と動作〜考え方と仕組の概説.pdf" at page "山内の授業のページ/17秋/オペレーティングシステム";
&ref(): File not found: "9-1-2_デマンドページングの仕組と動作〜ページインの処理手順.pdf" at page "山内の授業のページ/17秋/オペレーティングシステム";
&ref(): File not found: "9-1-3_デマンドページングの仕組と動作〜実際の動作イメージ.pdf" at page "山内の授業のページ/17秋/オペレーティングシステム";
&ref(): File not found: "9-1-4_デマンドページングの仕組と動作〜ここまでのまとめ.pdf" at page "山内の授業のページ/17秋/オペレーティングシステム";

&ref(): File not found: "9-2-1_デマンドページングの性能〜モデルの概略.pdf" at page "山内の授業のページ/17秋/オペレーティングシステム";
&ref(): File not found: "9-2-2_デマンドページングの性能〜ミス率.pdf" at page "山内の授業のページ/17秋/オペレーティングシステム";
&ref(): File not found: "9-2-3_デマンドページングの性能〜性能と局所性.pdf" at page "山内の授業のページ/17秋/オペレーティングシステム";
&ref(): File not found: "9-2-4_デマンドページングの性能〜局所性とミス率の例.pdf" at page "山内の授業のページ/17秋/オペレーティングシステム"; 
&ref(): File not found: "9-2-5_デマンドページングの性能〜ワーキングセット・まとめ.pdf" at page "山内の授業のページ/17秋/オペレーティングシステム";
&ref(): File not found: "ss-9-1_第9回資料.pdf" at page "山内の授業のページ/17秋/オペレーティングシステム";
&ref(): File not found: "ss16_Mid_点数分布.pdf" at page "山内の授業のページ/17秋/オペレーティングシステム";;
&ref(): File not found: "ss16_Mid_結果講評.pdf" at page "山内の授業のページ/17秋/オペレーティングシステム";
1012/05仮想記憶(2) 仮想記憶システム・デマンドページング・置換えアルゴリズム

ファイルシステム(1) ファイルシステムの機能
p116〜p123ページ置き換えのアルゴリズム〜イントロ(8:28) 
ページ置き換えのアルゴリズム〜(25:53) 
ページ置き換えのアルゴリズム〜OPTとLRU(21:39)
ページ置き換えのアルゴリズム〜スラッシング・LRUの実現法・まとめ(21:18)

ファイルシステムの機能〜位置づけと概要(5:58) 
ファイルシステムの機能〜データの概念と操作(22:24) 
ファイルシステムの機能〜アクセス方式(17:36)  
ファイルシステムの機能〜ここまでのまとめ(4:13)
&ref(): File not found: "9-3-1_ページ置き換えの動作とアルゴリズムイントロ.pdf" at page "山内の授業のページ/17秋/オペレーティングシステム";
&ref(): File not found: "9-3-2_ページ置き換えの動作とアルゴリズムまずは例1〜FIFO.pdf" at page "山内の授業のページ/17秋/オペレーティングシステム";
&ref(): File not found: "9-3-3_ページ置き換えの動作とアルゴリズム〜次にOPTとLRU.pdf" at page "山内の授業のページ/17秋/オペレーティングシステム";
&ref(): File not found: "9-3-4_ページ置き換えの動作とアルゴリズム〜全体のまとめ.pdf" at page "山内の授業のページ/17秋/オペレーティングシステム";

&ref(): File not found: "10-1-1_ファイルシステムの機能〜位置づけと機能の概要.pdf" at page "山内の授業のページ/17秋/オペレーティングシステム";
&ref(): File not found: "10-1-2_ファイルシステムの機能〜データの概念と操作.pdf" at page "山内の授業のページ/17秋/オペレーティングシステム";
&ref(): File not found: "10-1-3_ファイルシステムの機能〜アクセス方式.pdf" at page "山内の授業のページ/17秋/オペレーティングシステム";
&ref(): File not found: "10-1-4_ファイルシステムの機能〜ここまでのまとめ.pdf" at page "山内の授業のページ/17秋/オペレーティングシステム";
&ref(): File not found: "ss-10-1_第10回資料.pdf" at page "山内の授業のページ/17秋/オペレーティングシステム";
1112/12ファイルシステム(2) 名前空間管理・ディレクトリ

ファイルシステム(3) 記憶空間(領域)管理・フラグメンテーション・様々な方式
p116〜p134ファイルの名前管理〜名前とディレクトリ(18:11) 
ファイルの名前管理〜パスと表記法(18:05) 
ファイルの名前管理〜ディレクトリ情報の管理(26:02)  
ファイルの名前管理〜ファイルのメタデータ・まとめ (12:06)
ファイルの記憶空間管理〜追加削除ができるために(13:53)
ファイルの記憶空間管理〜FAT(21:33) 
ファイルの記憶空間管理〜UFS(21:46)  
ファイルの記憶空間管理〜まとめ(2:23)

その他のファイルシステム(19:06)
&ref(): File not found: "10-2-1_ファイルの名前管理〜名前とディレクトリ.pdf" at page "山内の授業のページ/17秋/オペレーティングシステム";
&ref(): File not found: "10-2-2_ファイルの名前管理〜パスと表記法.pdf" at page "山内の授業のページ/17秋/オペレーティングシステム";
&ref(): File not found: "10-2-3_ファイルの名前管理〜ディレクトリ情報の管理.pdf" at page "山内の授業のページ/17秋/オペレーティングシステム";
&ref(): File not found: "10-2-4_ファイルの名前管理〜ファイルのメタデータ・まとめ.pdf" at page "山内の授業のページ/17秋/オペレーティングシステム";

&ref(): File not found: "10-3-1_ファイルの記憶空間管理〜追加削除ができるために.pdf" at page "山内の授業のページ/17秋/オペレーティングシステム";
&ref(): File not found: "10-3-2_ファイルの記憶空間管理〜FAT.pdf" at page "山内の授業のページ/17秋/オペレーティングシステム";
&ref(): File not found: "10-3-3_ファイルの記憶空間管理〜UFS.pdf" at page "山内の授業のページ/17秋/オペレーティングシステム";
&ref(): File not found: "10-3-4_ファイルの記憶空間管理〜まとめ.pdf" at page "山内の授業のページ/17秋/オペレーティングシステム";

&ref(): File not found: "10-4_その他のファイルシステム.pdf" at page "山内の授業のページ/17秋/オペレーティングシステム";
&ref(): File not found: "ss-11-1_第11回資料.pdf" at page "山内の授業のページ/17秋/オペレーティングシステム";
1212/19ユーザインタフェース
ウィンドウシステム・国際化
インプットメソッド
p163〜p186ウィンドウシステム(41:11) 
国際化(44:16) 
インプットメソッド(37:20) 
&ref(): File not found: "11-1_ウィンドウシステム.pdf" at page "山内の授業のページ/17秋/オペレーティングシステム";
&ref(): File not found: "11-2_国際化.pdf" at page "山内の授業のページ/17秋/オペレーティングシステム";
&ref(): File not found: "12-1_インプットメソッド.pdf" at page "山内の授業のページ/17秋/オペレーティングシステム";
&ref(): File not found: "ss-12-1_第12回資料.pdf" at page "山内の授業のページ/17秋/オペレーティングシステム";
1301/16保護とセキュリティ(1)
保護・暗号、認証
p176〜p182セキュリティ〜保護(20:38) 
セキュリティ〜暗号(66:20)
&ref(): File not found: "12-2_セキュリティ_保護.pdf" at page "山内の授業のページ/17秋/オペレーティングシステム";
&ref(): File not found: "12-3_セキュリティ_暗号 .pdf" at page "山内の授業のページ/17秋/オペレーティングシステム";
&ref(): File not found: "ss-13-1_第13回資料.pdf" at page "山内の授業のページ/17秋/オペレーティングシステム";
1401/19
月曜振替
保護とセキュリティ(2)
悪意あるソフトウェア・攻撃・防御

構成と事例
p183〜p195

p196〜p206



いろいろなOS(62:00) 
file認証・悪意のあるソフトウェア・攻撃・防御

&ref(): File not found: "14-1_いろいろなOS.pdf" at page "山内の授業のページ/17秋/オペレーティングシステム";
&ref(): File not found: "ss-14-1_第14回資料.pdf" at page "山内の授業のページ/17秋/オペレーティングシステム";

*ASCII.jp ルートキットのすべて
*ウィキペディア ルートキット
15??期末試験 

教科書・参考書

教科書: 「オペレーティングシステム」 大澤範高 近代科学社 4-339-02707-5 2900円
参考書: 「オペレーティングシステム入門[新版] 古市栄治、日本理工出版会 4-89019-482-7 2200円
     「オペレーティングシステム」 吉澤康文、昭晃堂 4-7856-3119-8 2800円
     「オペレーティングシステムの基礎」 大久保英嗣、サイエンス社 4-7819-0860-8
     「オペレーティングシステム」 谷口秀夫 昭晃堂 ISBN4-7856-2043-9 3000円
     「OS概論」久保秀士著、共立出版、ISBN4-320-02395-1 定価2884円
   その他、オペレーティングシステムの教科書として多数出版されている。
   米国大学院でよく見かける教科書(の翻訳):
     タネンバウム著 オペレーティングシステム(3版) ピアソンエデュケーション 7560円
   読み本として参考になる
     「プログラムはなぜ動くのか 第2版 知っておきたいプログラミングの基礎知識」 矢沢 久雄 日経ソフトウエア
   UNIXカーネルの実装の解説
     「4.4BSDの設計と実装」マーシャル・カーク マキュージック、マイケル カレルズ、キース ボスティック、 ジョン クォーターマン 著、
       砂原・七条訳。 アスキー、ISBN4756143464 定価6090円、2003
     「BSDカーネルの設計と実装−FreeBSD詳解−」マーシャル・カーク マキュージック (著), ジョージ・V. ネヴィル‐ニール (著),
       歌代和正, 砂原秀樹(訳)、アスキー、ISBN4756143464 定価6300円、2005

評価

平常点(小試験 + 中間試験) 60%  +  期末試験 40%

ホームページ・オフィス等

おまけ


トップ   編集 凍結 差分 バックアップ 添付 複製 名前変更 リロード   新規 一覧 単語検索 最終更新   ヘルプ   最終更新のRSS
Last-modified: 2017-02-15 (水) 17:44:00 (104d)