- (投稿日 2/1) 今日の試験の内容はあと48時間ほど, ツイート, バラマキは禁止です.
- (投稿日 2/1) UTASで授業アンケートを投稿可能だそうですので, お願いします
- (投稿日 1/31) 明日の試験を受ける人は実施要領 を今一度読んでおいてください(1/12以降, 内容の大幅な更新は ありませんが, 順番など入れ替えて整理しています).
- (投稿日 1/31)
Jupyter環境が何度も繋げなくなることがあってご迷惑をおかけしました.
何が起きているのかを調査したところどうやら,
- (a) notebookをひとつ開くとそのプロセスが100MB - 200MBくらいのメモリを消費すること(これはJupyterがそもそもそうなのかもしれません),
- さらに, (b) Kernelのshutdown, ログアウト, Stop My Serverなどいろいろやっても, そのプロセスが残ることがあること(これはSOSカーネル, Cカーネル, もしくはその組み合わせあたりに問題があるよう)
すぐに抜本的回避策が見つかるとは思えないことと, (a)についてはユーザが多数のnotebookを開いていると必然的に生じてしまうことから抜本的な解決策は追求せず, 対処療法として, 1/31 13:30 頃から, マシンのメモリを増やして再立ち上げをします. ご了承ください(長くても 15:30ごろには復活できるとおもいます).
- (投稿日 1/31)
16:00 ごろ, マシンの再立ち上げは終了しました. 時間がかかりすいません. 一度触ってみて, 異常がないことを確かめてもらえるとありがたいです. 不審な点があればお知らせください. 一点, SSH コマンドで端末でアクセスしている人向けのお知らせ. マシンの最立ち上げによりホストのキーが変わった関係で, SSHでアクセスしようとすると以下のようなエラーが(多分)出ます.
$ ssh u21xxx@taulec.zapto.org @@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@ @ WARNING: REMOTE HOST IDENTIFICATION HAS CHANGED! @ @@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@ IT IS POSSIBLE THAT SOMEONE IS DOING SOMETHING NASTY! Someone could be eavesdropping on you right now (man-in-the-middle attack)! It is also possible that a host key has just been changed. The fingerprint for the ED25519 key sent by the remote host is SHA256:V6uBZv9txFCAk8drAK6X5f1Oi7zz6IYnQt2kwCtJ9dc. Please contact your system administrator. Add correct host key in /xxxxxx/.ssh/known_hosts to get rid of this message. Offending ECDSA key in /xxxxxx/.ssh/known_hosts:21 Host key for taulec.zapto.org has changed and you have requested strict checking. Host key verification failed.
対処方法は, 基本は, 書かれているエラーメッセージの指示に従えばよいですが, 上記の場合は, /xxxxxx/.ssh/known_hostsというファイルの 21行目がエラーの原因 (Offending ECDSA key)ということなのでその行を取り除けばよいです.
その後もう一度SSHするときに「初めて見るホストだけどつなげてよいか?」みたいなことを 聞かれるのでよいと答えてください(今回のエラーは, 「前につなげたホストと違うのにつないでいるみたい」というエラーです). よく考えると, 本当はホストが持っているキーを保存して新しいホストへ移行すれば, こんなことにはならなかったのだと思いますがすいません(あ, でもIPアドレスが違うという ところは文句を言われるかな. 確信なし).
なおknown_hosts の所定の行を消す代わりに, ファイルをまるごと消しても普通は問題ありません (以前につないだホストの情報がすべて失われるのでしばらくSSHするたびに, 「初めて見るホストだけどつなげてよいか?」みたいなことを聞かれることになる).
また, 田浦はよく知らない vscode というエディタで, taulec.zapto.org上のファイルを(中ではSSH経由で)アクセスして編集するという 機能を使っている人も, 同じ理由でエラーを食らうようです. 添付のようなエラーになるという報告がありました. 理由と対処方法は上記と同じですので, 上記と同じように対処してみてください.
- (投稿日 1/11) 本日1/11(火)予行演習後に, 試験の実施要領を更新しています. 試験時に手順を正しく実行できるよう, よく読んでおいてください.
- (投稿日 1/10) 1/11 (火) 最終回の予定
- (投稿日 1/10) 試験とその予行演習の実施要領. 教室にいる人も試験時間帯は全員Zoomに接続してください.
- (投稿日 1/2)
- 1/4 --- リアルタイム講義はなし
- 教材スライド
- スライド8: シグナル
- スライド9: 仮想記憶APIの応用
- 説明ビデオを講義録画と同じ場所(YouTubeとGoogle Drive)にあげています. URLはITC-LMS上に掲載しています
- 見やすいよう, トピックごとに細切れにしています(7本). YouTubeで連続再生できますのでそれで見ることを勧めます
- (投稿日 12/21)
以降の予定.
- 以降をオンデマンド
で講義予定(年末, 年始にかけて)
- シグナル, 仮想記憶の応用
- 仮想マシンを使ってみる; OSをインストールしてみる
- 1/4 --- なし (オンデマンド教材に変えます)
- 1/11 の講義 --- 発表 by 飯田君 (Serverless Computingについて)
- 試験はオンラインで行います (普段のJupyter環境を使った解答回収). 詳細仕様などはここでアナウンスします.
- 以降をオンデマンド
で講義予定(年末, 年始にかけて)
- (投稿日 12/21)
- 説明 ファイルディスクリプタと擬似ファイル
- 演習 os13 (15分)
- (投稿日 12/21) ITC-LMSに課題(os13)を追加しました
- (投稿日 12/14)
- 説明 (35分): ファイルシステム (mmap の実装, 主記憶と 2 次記憶の統合, API p26-)
- 休憩(5分) + 演習 os12, os13 (15分)
- 説明 (35分) ファイルディスクリプタと擬似ファイル
- (投稿日 12/14) os09, os10, os11, os12 の解説動画をアップしました
- (投稿日 12/14) 2020年度 期末試験問題をアップしました
- (投稿日 12/07)
- 説明 (40分): ファイルシステム (ファイルシステムの役割, API p1-p18)
- 休憩 (5分)
- 説明 (35分): ファイルシステム (ファイルシステム高速化のための OS の機構 p19-p25)
- 演習 (10分): os10
- (投稿日 12/06) 演習 os10, os11をアップしています
- (投稿日 12/06) os06 の解答例 ans_os06 をアップしています
- (投稿日 11/30)
- 説明 (30分): メモリ管理 p42- (ページ置換)
- 演習 os08, os09 (10分) + 休憩 (5分) + 解説 (10分)
- 説明 (35分): メモリ管理 (ページ置換 続き)
- (投稿日 11/30) os05 の解答例 ans_os05 をアップしています
- (投稿日 11/16)
- 説明 (35分): メモリ管理 p8-p30 (アドレス変換, メモリ管理APIとその動作)
- 演習os08 (5分) + 休憩(5分)
- Quiz (sli.do 2021a-os)
- 説明 (20分): メモリ管理 p31-p41 (資源使用量を知る・制御するAPI)
- 演習os09 (10分)
- 説明 (20分): メモリ管理 p42- (ページ置換)
- (投稿日 11/09)
- 説明 (40分): 並行処理 (頻忙待機, デッドロック)
- 演習os07 (5分) + 休憩(5分)
- 説明 (40分): メモリ管理
- (投稿日 11/01)
- 説明 (30分): 並行処理 (条件変数)
- 演習 (15分): os06
- 休憩 (5分)
- 説明 (40分): 並行処理 (不可分更新命令, 頻忙待機, デッドロック)
- (投稿日 10/26)
- クイズ (5分): スケジューリングに関して
- デモ (10分): スケジューリング可視化(os03), vruntime可視化(os04)
- 説明 (30分): 並行処理 (排他制御, バリア同期まで)
- 演習 (15分): os05
- (投稿日 10/26) 新しいJuptyerノートブックos04, os05がFetch可能
- (投稿日 10/19)
- (投稿日 10/19) 新しいJuptyerノートブックos02, os03がFetch可能
- (投稿日 10/14)
os01ですが, 練習を兼ねて, 提出課題とします. 課題のダウンロードから
提出までの流れ(以降も同様):
- Download (Fetch)
- Jupyterのトップページ上で Assignments タブを選択
- 当該課題 (今回の場合 os01) が Downloaded assignments になければ, Released assignments にあるはずなので, FetchボタンでDownloadする
- 課題を実行
- Downloaded Assingments の当該課題 (今回の場合 os01) をクリック, 現れるファイル名 (今回の場合 os01_process.sos) を開く
- 説明を読み, 実行できるセルは実行したり, 理解を深めるために少しいじって実行するなどする
- Problem となっているのが課題. 問題文に従って解答(大概の場合プログラム)を書いて実行
- こまめにCtrl-Sで保存(定期的に自動保存されるが, こまめな保存を心がける)
- 画面上部に(unsaved changes)となっていたら保存されていない変更がある. (autosaved)となっていたら保存済み
- Jupyter上で提出
- Jupyterのトップページ上で Assignments タブを選択
- 当該課題 (今回の場合 os01) の Downloaded assignments セクションの Submit ボタンを押す (Validate にも何か気の利いた役割があると思われるがあまり気にしなくて良い)
- ITC-LMS上で提出
======= (オプション: 適宜時候の挨拶など(「いかがお過ごしでしょうか」的な)を挿入) 課題 os01 をJupyter上でSubmitしました =======
- Download (Fetch)
- (投稿日 10/12) os01 という新たなJupyter notebookがFetch可能になっています
- (投稿日 10/12)
- 説明 プロセス
- 演習 os01
- (投稿日 10/04) 対面講義@241講義室(工学部2号館4F) + オンラインです (URLはITC-LMS参照)
- (投稿日 10/04) 授業中の質問は口頭, sli.do (event code: 2021a-os), Zoom chat
- (投稿日 10/04) 必須の連絡は本HPとITC-LMSで行います. 秘密でない公開して差し支えないアナウンスは基本, 本HPでやります.
- (投稿日 10/04) 任意参加の連絡手段としてEEIC Slack (チャンネル: #2021a-オペレーティングシステム)を用意しました. 参加のリンクは ITC-LMSにあります (SNSなどへの拡散は厳禁)
- (投稿日 10/04) 授業時間外の田浦への連絡手段
- メール ( tau あっと eidos.ic.i.u-tokyo.ac.jp) 確実.
- Slack ( #2021a-オペレーティングシステム ) 1日2日読まないことがあるが読んでれば早い. クラスメートが答えてくれるかもしれない
- ITC-LMS の教員宛メッセージ: 極力読み忘れないよう心がけます...
- (投稿日 10/04) 教室に来る人はできるだけMOCHAを利用してください やり方. (要東大Googleアカウント)
- (投稿日 10/02) 2021年版HP開設