山内の授業のページ

アクセス数 2309  このページの最終更新 2017-01-15 (日) 09:10:45

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

11月14日(月)は、中間試験を行います。教室を(この回のみ)5105に移します。

月曜日 4限

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

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

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

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

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

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

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

デバイス管理−資源管理(37:49)  
fileデッドロック1
fileデッドロック2
fileプロセス間通信

fileデバイス管理_資源管理
file第5回資料
11/07デバイス管理(3) 仮想化

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

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

file基本的な記憶管理とその手法1
file基本的な記憶管理とその手法2
file第6回資料
11/14中間試験  教室を5105に移動    
11/21記憶領域管理(2) ページング

仮想記憶(1) オーバーレイの問題
p87〜p102ページング(25:05) 
ページングのアドレス変換の性能(17:51) 
大容量問題とオーバーレイ(25:39)
fileページング
fileページングのアドレス変換の性能
file大容量問題とオーバーレイ
file第8回資料
11/28仮想記憶(2) 仮想記憶システム・デマンドページングの原理・性能・局所性p102〜p115デマンドページング〜考え方と仕組(11:36) 
デマンドページング〜ページインの処理手順(15:53) 
デマンドページング〜実際の動作イメージ(16:28)  
デマンドページング〜ここまでのまとめ(2:52)

デマンドページングの性能〜モデルの概略(12:04) 
デマンドページングの性能〜ミス率(7:12) 
デマンドページングの性能〜性能と局所性(14:51) 
デマンドページングの性能〜局所性とミス率の例(22:18) 
デマンドページングの性能〜ワーキングセット・まとめ(8:16)
fileデマンドページングの仕組と動作〜考え方と仕組の概説
fileデマンドページングの仕組と動作〜ページインの処理手順
fileデマンドページングの仕組と動作〜実際の動作イメージ
fileデマンドページングの仕組と動作〜ここまでのまとめ

fileデマンドページングの性能〜モデルの概略
fileデマンドページングの性能〜ミス率
fileデマンドページングの性能〜性能と局所性
fileデマンドページングの性能〜局所性とミス率の例 
fileデマンドページングの性能〜ワーキングセット・まとめ
file第9回資料
file中間試験の点数分布;
file中間試験の結果の講評
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)
fileページ置き換えの動作とアルゴリズムイントロ
fileページ置き換えの動作とアルゴリズムまずは例1〜FIFO
fileページ置き換えの動作とアルゴリズム〜次にOPTとLRU
fileページ置き換えの動作とアルゴリズム〜全体のまとめ

fileファイルシステムの機能〜位置づけと機能の概要
fileファイルシステムの機能〜データの概念と操作
fileファイルシステムの機能〜アクセス方式
fileファイルシステムの機能〜ここまでのまとめ
file第10回資料
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)
fileファイルの名前管理〜名前とディレクトリ
fileファイルの名前管理〜パスと表記法
fileファイルの名前管理〜ディレクトリ情報の管理
fileファイルの名前管理〜ファイルのメタデータ・まとめ

fileファイルの記憶空間管理〜追加削除ができるために
fileファイルの記憶空間管理〜FAT
fileファイルの記憶空間管理〜UFS
fileファイルの記憶空間管理〜まとめ

fileその他のファイルシステム
file第11回資料
1212/19ユーザインタフェース
ウィンドウシステム・国際化
インプットメソッド
p163〜p186ウィンドウシステム(41:11) 
国際化(44:16) 
インプットメソッド(37:20) 
fileウィンドウシステム
file国際化
fileインプットメソッド
file第12回資料
1301/16保護とセキュリティ(1)
保護・暗号、認証
p176〜p182セキュリティ〜保護(20:38) 
セキュリティ〜暗号(66:20)
fileセキュリティ・保護
fileセキュリティ・暗号
file第13回資料
1401/19
月曜振替
保護とセキュリティ(2)
悪意あるソフトウェア・攻撃・防御

構成と事例
p183〜p195

p196〜p206



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

fileいろいろなOS
file第14回資料

*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%

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

おまけ


添付ファイル: filess-14-1_第14回資料.pdf 74件 [詳細] filess-13-1_第13回資料.pdf 57件 [詳細] filess-12-1_第12回資料.pdf 68件 [詳細] filess-11-1_第11回資料.pdf 61件 [詳細] filess16_Mid_結果講評.pdf 48件 [詳細] filess16_Mid_点数分布.pdf 49件 [詳細] filess-10-1_第10回資料.pdf 67件 [詳細] filess-9-1_第9回資料.pdf 50件 [詳細] filess-8-1_第8回資料.pdf 56件 [詳細] filess-6-1_第6回資料.pdf 46件 [詳細] filess-5-1_第5回資料.pdf 42件 [詳細] filess-4-1_第4回資料.pdf 107件 [詳細] filess-3-1_第3回資料.pdf 85件 [詳細] filess-2-1_第2回資料.pdf 109件 [詳細] filess16_rublic.pdf 88件 [詳細] filess-1-1_第1回資料.pdf 103件 [詳細] fileclass-organization.pdf 57件 [詳細] filess16_syllabus.pdf 64件 [詳細] file14-1_いろいろなOS.pdf 177件 [詳細] file12-3_セキュリティ_暗号 .pdf 124件 [詳細] file12-2_セキュリティ_保護.pdf 141件 [詳細] file12-1_インプットメソッド.pdf 141件 [詳細] file11-2_国際化.pdf 156件 [詳細] file11-1_ウィンドウシステム.pdf 175件 [詳細] file10-4_その他のファイルシステム.pdf 124件 [詳細] file10-3-4_ファイルの記憶空間管理〜まとめ.pdf 98件 [詳細] file10-3-3_ファイルの記憶空間管理〜UFS.pdf 108件 [詳細] file10-3-2_ファイルの記憶空間管理〜FAT.pdf 126件 [詳細] file10-3-1_ファイルの記憶空間管理〜追加削除ができるために.pdf 110件 [詳細] file10-2-4_ファイルの名前管理〜ファイルのメタデータ・まとめ.pdf 112件 [詳細] file10-2-3_ファイルの名前管理〜ディレクトリ情報の管理.pdf 108件 [詳細] file10-2-2_ファイルの名前管理〜パスと表記法.pdf 122件 [詳細] file10-2-1_ファイルの名前管理〜名前とディレクトリ.pdf 135件 [詳細] file10-1-4_ファイルシステムの機能〜ここまでのまとめ.pdf 104件 [詳細] file10-1-3_ファイルシステムの機能〜アクセス方式.pdf 156件 [詳細] file10-1-2_ファイルシステムの機能〜データの概念と操作.pdf 106件 [詳細] file10-1-1_ファイルシステムの機能〜位置づけと機能の概要.pdf 132件 [詳細] file9-3-4_ページ置き換えの動作とアルゴリズム〜全体のまとめ.pdf 195件 [詳細] file9-3-3_ページ置き換えの動作とアルゴリズム〜次にOPTとLRU.pdf 136件 [詳細] file9-3-2_ページ置き換えの動作とアルゴリズムまずは例1〜FIFO.pdf 164件 [詳細] file9-3-1_ページ置き換えの動作とアルゴリズムイントロ.pdf 131件 [詳細] file9-2-5_デマンドページングの性能〜ワーキングセット・まとめ.pdf 117件 [詳細] file9-2-4_デマンドページングの性能〜局所性とミス率の例.pdf 127件 [詳細] file9-2-3_デマンドページングの性能〜性能と局所性.pdf 116件 [詳細] file9-2-2_デマンドページングの性能〜ミス率.pdf 133件 [詳細] file9-2-1_デマンドページングの性能〜モデルの概略.pdf 118件 [詳細] file9-1-4_デマンドページングの仕組と動作〜ここまでのまとめ.pdf 110件 [詳細] file9-1-3_デマンドページングの仕組と動作〜実際の動作イメージ.pdf 127件 [詳細] file9-1-2_デマンドページングの仕組と動作〜ページインの処理手順.pdf 140件 [詳細] file9-1-1_デマンドページングの仕組と動作〜考え方と仕組の概説.pdf 184件 [詳細] file8-3_大容量問題とオーバーレイ.pdf 167件 [詳細] file8-2_ページングのアドレス変換の性能.pdf 141件 [詳細] file8-1_ページング.pdf 279件 [詳細] file7-2_基本的な記憶管理とその手法2.pdf 199件 [詳細] file7-1_基本的な記憶管理とその手法1.pdf 224件 [詳細] file5-2_デバイス管理_仮想化.pdf 22件 [詳細] file5-1_デバイス管理_資源管理.pdf 245件 [詳細] file4-6_プロセス間通信.pdf 217件 [詳細] file4-5-2_デッドロック2.pdf 189件 [詳細] file4-5-1_デッドロック1.pdf 210件 [詳細] file4-4_ハイレベルの排他・同期機構.pdf 167件 [詳細] file4-3-2_排他制御の仕組2.pdf 191件 [詳細] file4-3-1_排他制御の仕組1.pdf 193件 [詳細] file4-2_同期・排他制御.pdf 191件 [詳細] file4-1_並行処理の考え方.pdf 201件 [詳細] file3-4_周期的スケジューリング.pdf 222件 [詳細] file3-3_リアルタイムスケジューリング.pdf 199件 [詳細] file3-2_プロセスのスケジューリング.pdf 209件 [詳細] file3-1_プロセスの待ち行列.pdf 191件 [詳細] file2-6_プロセスと割込み.pdf 155件 [詳細] file2-5_コンテキスト.pdf 164件 [詳細] file2-4-2_プロセスの状態遷移2.pdf 225件 [詳細] file2-4-1_プロセスの状態遷移.pdf 271件 [詳細] file2-3_プロセスの切換え.pdf 249件 [詳細] file2-2-2_プロセッサの仮想化2.pdf 305件 [詳細] file2-2-1_プロセッサの仮想化.pdf 349件 [詳細] file2-1_復習-OSカーネル.pdf 248件 [詳細] file1-3_OSの構造と作り.pdf 292件 [詳細] file1-2_OSの位置づけ.pdf 224件 [詳細] file1-1_OSとは何か.pdf 216件 [詳細] file1-0_授業の目標.pdf 108件 [詳細]

トップ   編集 凍結 差分 バックアップ 添付 複製 名前変更 リロード   新規 一覧 単語検索 最終更新   ヘルプ   最終更新のRSS
Last-modified: 2017-01-15 (日) 09:10:45 (165d)