サクサク読めて、アプリ限定の機能も多数!
トップへ戻る
Pixel 9
www.coins.tsukuba.ac.jp/~yas
オペレーティングシステム II(2019年) このページは、筑波大学 情報科学類 を対象とした授業 オペレーティングシステム II のためのページです。 担当教員 新城 靖 教室 3A207 学期曜日時限 秋C金曜日3・4(一部水曜日5・6) 科目番号(情報科学類) ■連絡 2019/04/11 14:55:16 2019年度(2020年1月開始)は、次の日に授業を行ないます。 2020年1月10日(金) 3-4時限 2020年1月16日(木) 3-4時限 (木曜日だが金曜日の時間割) 2020年1月24日(金) 3-4時限 2020年1月29日(水 5-6時限) 2020年1月31日(金) 3-4時限 2020年2月7日(金) 3-4時限 2020年2月12日(水 5-6時限) (試験) 2020年1月16日(木)は、金曜日の時間割。1月17日(金)は、センター試験の前日 で大学全体で授
オペレーティングシステム II(2016年) このページは、筑波大学 情報科学類 を対象とした授業 オペレーティングシステム II のためのページです。 担当教員 新城 靖 教室 3A207 学期曜日時限 秋C金曜日3・4(一部木曜日5・6) 科目番号(情報科学類) ■連絡 2016/09/20 2016年度は、次の日に授業を行ないます。 2016年1月11日(水) 3-4時限 (水曜日だが金曜日の時間割) 2016年1月20日(金) 3-4時限 2016年1月27日(金) 3-4時限 2016年2月3日(金) 3-4時限 2016年2月9日(木) 5-6時限 2016年2月10日(金) 3-4時限 (試験) 2016年1月13日(金)は、センター試験の前日で大学全体で授業はありません。 第5週だけ木曜日5-6時限に授業をします。 他は金曜日3-4時限です。 ■シラバス(計画) ■授業内容
2014年01月23日 情報科学類 オペレーティングシステム II 筑波大学 システム情報工学研究科 コンピュータサイエンス専攻, 電子・情報工学系 新城 靖 <yas@cs.tsukuba.ac.jp> このページは、次の URL にあります。 http://www.coins.tsukuba.ac.jp/~yas/coins/os2-2013/2014-01-23 あるいは、次のページから手繰っていくこともできます。 http://www.coins.tsukuba.ac.jp/~yas/ http://www.cs.tsukuba.ac.jp/~yas/ ■今日の大事な話 時刻と時間の管理 モノトニック時刻の考え方 jiffies と HZ PITの設定 時間切れ処理の方法 遅延処理の方法 プロセスのスケジューリングの関連 優先順位式スケジューリング nice値の意味 スケジューラ
◆プロセスのアドレス空間の実装 プロセスのアドレス空間 は、次のような領域に分割されて実装されている。 図? プロセスのアドレス空間の実現 各領域には、struct vm_area_struct が対応している。 テキストとデータ(初期値付き)は、vm_area_struct を経由して、実行形 式のファイルと結びついている。最初にアクセスされた時に実行形式のファイ ルから読み込まれる。 BSS、ヒープ、スタックは、ファイルと結びついていない。最初にアクセ スされた時に、0 で埋められたページ・フレーム(anonymous page)が割り当て られる。 各領域は、次のように実装されている。 テキスト 機械語を置く。VM_EXEC 属性と VM_READ属性が付いている。書き込み禁止 で共有可能。mm_struct の start_code と end_code が、開始番地と終了番地 を
◆sched_class使い方 クラスに応じて enqueue, dequeue が行われる。 linux-3.1.3/kernel/sched.c 1786: static void enqueue_task(struct rq *rq, struct task_struct *p, int flags) 1787: { ... 1790: p->sched_class->enqueue_task(rq, p, flags); 1791: } 1793: static void dequeue_task(struct rq *rq, struct task_struct *p, int flags) 1794: { ... 1797: p->sched_class->dequeue_task(rq, p, flags); 1798: } ◆Linuxのスケジューリング・クラス fair_
2012年02月07日 情報科学類 オペレーティングシステム II 筑波大学 システム情報工学研究科 コンピュータサイエンス専攻, 電子・情報工学系 新城 靖 <yas@is.tsukuba.ac.jp> このページは、次の URL にあります。 http://www.coins.tsukuba.ac.jp/~yas/coins/os2-2011/2012-02-07 あるいは、次のページから手繰っていくこともできます。 http://www.coins.tsukuba.ac.jp/~yas/ http://www.cs.tsukuba.ac.jp/~yas/ ■今日の大事な話 割り込みコントローラ(ハードウェア) IRQ 割り込みの前半部分と後半部分 ■割り込み ◆割り込みの必要性 デバイス(ディスク、ネットワーク、キーボード、マウス、)は、CPU と比 較すると遅い。 デバイスに要求を
2010年02月02日 情報科学類 オペレーティングシステム II 筑波大学 システム情報工学研究科 コンピュータサイエンス専攻, 電子・情報工学系 新城 靖 <yas@is.tsukuba.ac.jp> このページは、次の URL にあります。 http://www.coins.tsukuba.ac.jp/~yas/coins/literacy-2009/2010-02-02 あるいは、次のページから手繰っていくこともできます。 http://www.coins.tsukuba.ac.jp/~yas/ http://www.cs.tsukuba.ac.jp/~yas/ ■連絡事項 卒業予定の4年生に対する特別措置として、2月9日火曜日6時間目 (16:45-18:00)に試験をすることを検討しています。 対象者は、授業終了後、前に集まって下さい。 ■今日の大事な話 アドレス空間 ページテ
2013年12月26日 情報科学類 オペレーティングシステム II 筑波大学 システム情報工学研究科 コンピュータサイエンス専攻, 電子・情報工学系 新城 靖 <yas@cs.tsukuba.ac.jp> このページは、次の URL にあります。 http://www.coins.tsukuba.ac.jp/~yas/coins/os2-2013/2013-12-26 あるいは、次のページから手繰っていくこともできます。 http://www.coins.tsukuba.ac.jp/~yas/ http://www.cs.tsukuba.ac.jp/~yas/ ■今日の大事な話 システム・コールとライブラリの共通点と相違点 トラップ命令 strace コマンド プロセスの構造 PID (process identifier), UID, groups task_struct 構造体 状態(
www.coins.tsukuba.ac.jp/~syspro
man コマンドの引数に指定された名前は,1章から順番に検索される. 従って,man printf とすると1章の printf コマンドのマニュアルが表示されてしまう. ライブラリ関数である printf(3) について知りたいときには,3章であることを指定するために次のように章を指定する. % man 3 printf 各章の説明用に intro というエントリが用意されている. 2章(システムコール)について知りたいときには,次のようにする. % man 2 intro プログラム作成から実行までの流れ プログラムの作成には,emacs などのエディタでプログラムを作成し,それをCコンパイラ(cc)でコンパイルし,実行を繰り返すことになる. コンパイルでエラーになれば,エディタに戻りプログラムを変更の後,またコンパイル,実行となる. 実行時に間違いが見つかれば,エディタに戻りプログラ
2014年01月09日 情報科学類 オペレーティングシステム II 筑波大学 システム情報工学研究科 コンピュータサイエンス専攻, 電子・情報工学系 新城 靖 <yas@cs.tsukuba.ac.jp> このページは、次の URL にあります。 http://www.coins.tsukuba.ac.jp/~yas/coins/os2-2013/2014-01-09 あるいは、次のページから手繰っていくこともできます。 http://www.coins.tsukuba.ac.jp/~yas/ http://www.cs.tsukuba.ac.jp/~yas/ ■連絡事項 卒業予定の4年生に対する「特別措置」は、今年度から廃止されました。単位 が必要な人は、普通に試験を受けて下さい。 ■今日の大事な話 物理メモリの管理 Buddyシステムによる物理メモリの管理 kmalloc() と kf
2013年02月05日 情報科学類 オペレーティングシステム II 筑波大学 システム情報工学研究科 コンピュータサイエンス専攻, 電子・情報工学系 新城 靖 <yas@cs.tsukuba.ac.jp> このページは、次の URL にあります。 http://www.coins.tsukuba.ac.jp/~yas/coins/os2-2012/2013-02-05 あるいは、次のページから手繰っていくこともできます。 http://www.coins.tsukuba.ac.jp/~yas/ http://www.cs.tsukuba.ac.jp/~yas/ ■今日の大事な話 割り込みの前半部と後半部の分離 Softirq Tasklet Work Queue 後半部の仕組みの選択 ■割り込み、後半部 割り込みの問題点 より優先度の高い処理よりも、優先度の低い割り込み処理が先に実行され
www.coins.tsukuba.ac.jp
開催主旨 本シンポジウムでは、Microsoft Corporation の鷹松弘章氏をお招きし、海外でエンジニアとして働くということ、およびアメリカにおけるソフトウェア開発についてご講演いただきます。また、筑波大学の教員の方々に、ソフトウェア開発やシステム開発教育等について語っていただきます。 日時・会場 ・日時:2016年7月8日 (金) 13:00 〜 16:30 ・会場:筑波大学総合研究棟B SB0112講義室(筑波キャンパス) ・参加費:無料 ・事前登録:不要 プログラム 13:00 〜 13:05 開会のご挨拶 大矢 晃久(筑波大学情報科学類長) 13:05 〜 14:00 「アメリカにおける,ソフトウェア開発の潮流」 鷹松 弘章氏(Microsoft Corporation) 概要:1980年から2010年ごろまで培われてきた、ソフトウェア開発の手法やアプローチが、この数年間
開催趣旨 社会において必要とされる文章力とは何か。それは他人にとって読みやすい、理解されやすい文章を書く力です。一人の書き手が努力して読みやすい文章を書けば、多くの読み手がその恩恵を受けることができます。技術の世界においては、どのように文章を書けばよいのか。今回のシンポジウムではその道の達人達に、日頃どのような工夫をしながら文章作りをしているのか、その極意を語って頂きます。 高橋信頼氏 日経ITpro等にニュース記事執筆多数。 阿瀬はる美氏 てくてくTEX,コンピュータネットワーク関連著書・訳書多数。 矢沢久雄氏 コンピュータはなぜ動くのか,C++クラスと継承完全制覇,他著書多数。自称ソフトウエア芸人。 日時・会場 日時:2013年7月25日(木)15:15〜17:45 会場:筑波大学総合研究棟B SB0112(筑波キャンパス) 会場へのアクセス. プログラム 15:10〜15:15 開会
このページは、筑波大学 情報科学類 を対象とした授業 オペレーティングシステム II のためのページです。 担当教員 新城 靖 教室 3A207 学期曜日時限 秋c木曜日5・6(一部金曜日3・5) 科目番号(情報科学類) ■連絡 2013/12/26 2013年度は、次の日に授業を行ないます。 2013年12月26日(木) 5-6時限 2014年1月9日(木) 5-6時限 2014年1月16日(木)3時限、6時限 2014年1月23日(木) 5-6時限 2014年1月30日(木) 5-6時限 2014年2月6日(木) 5-6時限 (試験) 1月16日は、木曜日ですが、金曜日の時間割の日です。3-4時限に主専攻実験が あります。他は、木曜日です。最終日は、試験です。 2014/01/09 卒業予定の4年生に対する「特別措置」は、今年度から廃止されました。単位 が必要な人は、普通に試験を受けて
2013年01月29日 情報科学類 オペレーティングシステム II 筑波大学 システム情報工学研究科 コンピュータサイエンス専攻, 電子・情報工学系 新城 靖 <yas@cs.tsukuba.ac.jp> このページは、次の URL にあります。 http://www.coins.tsukuba.ac.jp/~yas/coins/os2-2012/2013-01-29 あるいは、次のページから手繰っていくこともできます。 http://www.coins.tsukuba.ac.jp/~yas/ http://www.cs.tsukuba.ac.jp/~yas/ ■今日の大事な話 割り込みコントローラ(ハードウェア) IRQ 割り込みの前半部分と後半部分 ■割り込み ◆割り込みの必要性 デバイス(ディスク、ネットワーク、キーボード、マウス、・・・)は、 CPU と比較すると遅い。 デバイスに
このページは、筑波大学 情報科学類 を対象とした授業 オペレーティングシステム II のためのページです。 担当教員 新城 靖 教室 3A207 学期曜日時限 3学期火曜日5時限 科目番号(情報科学類) ■連絡 2012/12/04 宿題は、翌週の授業開始時(15:15) に提出してください。それ以降も受け 取りますが、できれば翌々週に出して下さい。遅くても試験の日までに提出し て下さい。紙はA4にしてください。 2013/01/15 卒業予定の4年生に対する特別措置として、2月5日(火曜日)6時間目 (16:45-18:00)に試験をします。特別措置の試験を受けたい人は、1月29日火曜 日までに連絡して下さい。試験の範囲は、その前の週までの内容です。資料持 ち込み可。コンピュータ等の通信機能があるものは持ち込み不可。場所は後ほ ど連絡します。3A207 ではありません。宿題を遅れている分
2012年01月17日 情報科学類 オペレーティングシステム II 筑波大学 システム情報工学研究科 コンピュータサイエンス専攻, 電子・情報工学系 新城 靖 <yas@is.tsukuba.ac.jp> このページは、次の URL にあります。 http://www.coins.tsukuba.ac.jp/~yas/coins/os2-2011/2012-01-17 あるいは、次のページから手繰っていくこともできます。 http://www.coins.tsukuba.ac.jp/~yas/ http://www.cs.tsukuba.ac.jp/~yas/ ■今日の大事な話 Buddyシステムによる物理メモリの管理 kmalloc() と kfree() スラブアロケータ ■メモリ管理 物理メモリを管理する。各メモリのフレームごとに、何に使われているの か、空いているのかを管理する。メ
このページは、筑波大学 情報科学類 を対象とした授業 オペレーティングシステム II のためのページです。 担当教員 新城 靖 教室 3A207 学期曜日時限 3学期火曜日5時限 科目番号(情報科学類) ■連絡 2011/12/05 欠席した時のクイズの回答を、レポートして受け取ります。できれば翌週、 遅くても試験の日までに提出して下さい。紙はA4にしてください。 2012/02/21 試験について 試験は、3月6日(火)。講義と同じ時間・教室で行う。 授業で配布した資料(Webページを印刷したもの)、その他の紙の資料を持ち込んでもよい。 コンピュータ、携帯電話等の通信機能がある機器を利用してはいけない。 試験に解答する時には、問題文をよく読み、それに従って答えること。資 料の文書をコピー&ペーストしたとしても、一般的にはよい回答にはなってい ない。 ■シラバス(計画) ■授業内容メモ 2
$ ps l F UID PID PPID PRI NI VSZ RSS WCHAN STAT TTY TIME COMMAND 0 1013 20591 20590 15 0 9224 2696 rt_sig Ss pts/1 0:00 -tcsh 0 1013 20761 20591 16 0 3724 904 finish T pts/1 0:00 nm /usr/lib/l 0 1013 20762 20591 16 0 2720 624 finish T pts/1 0:00 lv 0 1013 20795 20591 16 0 4256 628 - R+ pts/1 0:00 ps l $ プロセスは、プロセス識別子(PID)で区別される。 プロセスには、親プロセスがいる。 プロセスは、全体で木構造を形成する。 ◆その他のコマンド kill: プロセスを強制終了 pstree:
2011年02月15日 情報科学類 オペレーティングシステム II 筑波大学 システム情報工学研究科 コンピュータサイエンス専攻, 電子・情報工学系 新城 靖 <yas@is.tsukuba.ac.jp> このページは、次の URL にあります。 http://www.coins.tsukuba.ac.jp/~yas/coins/os2-2010/2011-02-15 あるいは、次のページから手繰っていくこともできます。 http://www.coins.tsukuba.ac.jp/~yas/ http://www.cs.tsukuba.ac.jp/~yas/ ■今日の大事な話 割り込みの前半部と後半部の分離 Softirq Tasklet Work Queue 後半部の仕組みの選択 ■割り込み、後半部 割り込みの問題点 より優先度の高い処理よりも、優先度の低い割り込み処理が先に実行され
www.coins.tsukuba.ac.jp/~s0811425
1 はじめに 本記事は、「今年読んだ面白CS論文紹介カレンダー」 の1日目の記事です。ぼくが今年読んだ論文で面白かったものを勝手に紹介し散らせば、 皆さんの興味をひくものが少なからずある筈だ。 とゆーような狙いがあるわけです。まぁ面白い論文の紹介が面白いとは限らないですし、 どうなるか知ったものではありませんが。しかしもう一つ狙いがあります。 それは、面白CS論文紹介カレンダーはまだまだ参加者を募集していますので、 この低レベルエントリを読んで貰って、 気軽に参加出来る事を知ってもらうのも狙いです。以下紹介に入っていくわけなのですが、 よくよく考えると、 今年は研究(というか実験)の一環で 結構な数の論文をちゃんと読んだりしたので、 面白かったものを全部列挙すると結構な量になってしまいます…。 そこで、とりあえず今回はパーザで統一して取り上げてみようかな〜という。しかも単にパーザという話
2011年02月08日 情報科学類 オペレーティングシステム II 筑波大学 システム情報工学研究科 コンピュータサイエンス専攻, 電子・情報工学系 新城 靖 <yas@is.tsukuba.ac.jp> このページは、次の URL にあります。 http://www.coins.tsukuba.ac.jp/~yas/coins/os2-2010/2011-02-08 あるいは、次のページから手繰っていくこともできます。 http://www.coins.tsukuba.ac.jp/~yas/ http://www.cs.tsukuba.ac.jp/~yas/ ■今日の大事な話 割り込みコントローラ(ハードウェア) IRQ 割り込みの前半部分と後半部分 ■割り込み ◆割り込みの必要性 デバイス(ディスク、ネットワーク、キーボード、マウス、)は、CPU と比 較すると遅い。 デバイスに要求を
2007年05月08日 情報科学類 コンピュータリテラシ 筑波大学 システム情報工学研究科 コンピュータサイエンス専攻, 電子・情報工学系 新城 靖 <yas@is.tsukuba.ac.jp> このページは、次の URL にあります。 http://www.coins.tsukuba.ac.jp/~yas/coins/literacy-2007/2007-05-08 /uid-propagation.html あるいは、次のページから手繰っていくこともできます。 http://www.coins.tsukuba.ac.jp/~yas/ http://www.cs.tsukuba.ac.jp/~yas/ ■ユーザ名とUID、グループ名とGIDの対応 ◆passwdファイル ユーザ名と UID の対応関係は、概念的には、 パスワードファイル /etc/passwd に記述される。(coins
Hoare State Monad Transformer を用いた Coq上でのtotal parser combinator の実装 上里 友弥(筑波大学 情報科学類) 2011年11月17日 TPP2011 なぜCoq? ある性質を保証する 言語処理系を作りたい コンパイルが有限時間で終了する type safety type preserving semantic preserving etc... ある性質を保証する 言語処理系を作りたい コンパイルが有限時間で終了する type safety type preserving semantic preserving etc... Coqでプログラムを書き,証明をする ↓ 保証付き実行可能処理系を得る Coqについて 定理証明支援系(Proof Assistant) 関数型プログラミング言語 定義される関数は必ず停止しなければなら
2011年02月22日 情報科学類 オペレーティングシステム II 筑波大学 システム情報工学研究科 コンピュータサイエンス専攻, 電子・情報工学系 新城 靖 <yas@is.tsukuba.ac.jp> このページは、次の URL にあります。 http://www.coins.tsukuba.ac.jp/~yas/coins/os2-2010/2011-02-22 あるいは、次のページから手繰っていくこともできます。 http://www.coins.tsukuba.ac.jp/~yas/ http://www.cs.tsukuba.ac.jp/~yas/ ■連絡事項 試験について 試験は、3月8日(火)。講義と同じ時間・教室で行う。 授業で配布した資料(Webページを印刷したもの)、その他の資料を持ち込んでもよい。 コンピュータ、携帯電話等の通信機器は利用してはいけない。 試験に解答
2010年12月07日 情報科学類 オペレーティングシステム II 筑波大学 システム情報工学研究科 コンピュータサイエンス専攻, 電子・情報工学系 新城 靖 <yas@is.tsukuba.ac.jp> このページは、次の URL にあります。 http://www.coins.tsukuba.ac.jp/~yas/coins/os2-2010/2010-12-07 あるいは、次のページから手繰っていくこともできます。 http://www.coins.tsukuba.ac.jp/~yas/ http://www.cs.tsukuba.ac.jp/~yas/ ■連絡事項 Softlab 研究室紹介 教官:板野 肯三、新城 靖、佐藤 聡 募集:6人 テーマ:オペレーティング・システム、セキュリティ、分散システム、言語処理系、その他。 場所:3E302 日時 2010年12月08日 (水)
次のページ
このページを最初にブックマークしてみませんか?
『筑波大学 情報学群 情報科学類 | 大切な仲間と最先端のカリキュラムを』の新着エントリーを見る
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く