第7章 計算の機構.

Slides:



Advertisements
Similar presentations
論理回路 第3回 今日の内容 前回の課題の解説 論理関数の基礎 – 論理関数とは? – 真理値表と論理式 – 基本的な論理関数.
Advertisements

論理回路 第 11 回
第3回 論理式と論理代数 本講義のホームページ:
1.コンピュータと情報処理 p.20 第1章第1節 3.ソフトウェア ソフトウェア 基本ソフトウェア
電子回路設計 電子制御設計製図Ⅰ  2009年11月17日 Ⅳ限目.
計算機システムⅡ 主記憶装置とALU,レジスタの制御
情報塾( ) CPUとメモリがどんなふうに動くのだろう。 レジスタやI/O プログラムの実行、マシン語。
テープ(メモリ)と状態で何をするか決める
情 報 技 術 基 礎 処理装置の構成と動作 D17kog706pr101 始.
オリジナルなCPUの開発 指導教授:笠原 宏 05IE063 戸塚 雄太 05IE074 橋本 将平 05IE089 牧野 政道
計算機システムⅡ 命令セットアーキテクチャ
プログラムはなぜ動くのか.
補数 n:桁数、b:基数 bの補数 bn-x 253(10進数)の10の補数は、 =747
2016年度 プログラミングⅠ ~ 内部構造と動作の仕組み(1) ~.
Ibaraki Univ. Dept of Electrical & Electronic Eng.
人間とコンピュータの違い コンピュータ 人間
基本情報技術概論(第3回) 埼玉大学 理工学研究科 堀山 貴史
専門演習Ⅰ 国際経済学部 国際産業情報学科 2年 石川 愛
コンピュータの原理 1E17M053-9 奈良 皐佑 1E17M070-7 師尾 直希        1E17M078-6 渡邊 惇.
ICトレーナーの構成 7セグメントLED ブレッドボード XOR OR AND NAND 電源端子 スイッチ端子 LED端子 データLED
第6回 よく使われる組合せ回路 瀬戸 重要な組合せ回路を理解し、設計できるようにする 7セグディスプレイ用デコーダ 加算回路・減算回路
アルゴリズムとチューリングマシン 「もの」(商品)としてのコンピュータ 「こと」(思想)としてのコンピュータ アルゴリズム
高速剰余算アルゴリズムとそのハードウェア実装についての研究
コンピュータを知る 1E16M009-1 梅津たくみ 1E16M017-8 小沢あきら 1E16M035-0 柴田かいと
序章 第2節 教育機器とコンピュータ 1 パーソナルコンピュータ
1.コンピュータと情報処理 p.18 第1章第1節 2.コンピュータの動作のしくみ CPUと論理回路
2. 論理ゲート と ブール代数 五島 正裕.
情報リテラシー2014 part 5/5 (亀田担当分最終回)
ディジタル回路 2. ブール代数 と 論理ゲート 五島 正裕.
第5回 今日の目標 §1.6 論理演算と論理回路 ブール代数の形式が使える 命題と論理関数の関係を示せる
コンピュータ系実験Ⅲ 「ワンチップマイコンの応用」 第1週目 アセンブリ言語講座
コンピュータの基本構成について 1E16M001-1 秋田梨紗 1E16M010-2 梅山桃香 1E16M013-3 大津智紗子
ICトレーナーの構成 7セグメントLED ブレッドボード XOR OR AND NAND 電源端子 スイッチ端子 LED端子 データLED
コンピュータ概論B ー ソフトウェアを中心に ー #02 システムソフトウェアと アプリケーションソフトウェア
プログラミング基礎a 第1回 ハードウェアとソフトウェア プログラミング総論 ~プログラミング言語とは~
1.情報機器について知ろう(p.8-9) 第1章 第1節
ディジタル回路の設計と CADによるシステム設計
ICトレーナーの構成 7セグメントLED ブレッドボード XOR OR AND NAND 電源端子 スイッチ端子 LED端子 データLED
9. 演算回路 五島 正裕.
コンピュータアーキテクチャ 第 7 回.
コンピュータアーキテクチャ 第 7 回.
情報とコンピュータ 静岡大学工学部 安藤和敏
先週の復習: CPU が働く仕組み コンピュータの構造 pp 制御装置+演算装置+レジスタ 制御装置がなければ電卓と同様
コンピュータの仕組み 〜ハードウェア〜 1E15M009-3 伊藤佳樹 1E15M035-2 柴田将馬 1E15M061-1 花岡沙紀
2010年度 情報科学序論 ~ 内部構造と動作の仕組み(2) ~.
ディジタル回路 9. 演算回路 五島 正裕.
基本情報技術概論(第2回) 埼玉大学 理工学研究科 堀山 貴史
論理回路 第12回
坂井 修一 東京大学 大学院 情報理工学系研究科 電子情報学専攻 東京大学 工学部 電気工学科
  第3章 論理回路  コンピュータでは,データを2進数の0と1で表現している.この2つの値,すなわち,2値で扱われるデータを論理データという.論理データの計算・判断・記憶は論理回路により実現される.  コンピュータのハードウェアは,基本的に論理回路で作られている。              論理積回路.
コンピュータアーキテクチャ 第 9 回.
コンピュータアーキテクチャ 第 4 回.
計算機アーキテクチャ1 (計算機構成論(再)) 第一回 計算機の歴史、基本構成、動作原理
2013年度 プログラミングⅠ ~ 内部構造と動作の仕組み(2) ~.
2017年度 プログラミングⅠ ~ 内部構造と動作の仕組み(1) ~.
コンピュータアーキテクチャ 第 3 回.
基本情報技術概論(第13回) 埼玉大学 理工学研究科 堀山 貴史
第5章 計算とプログラム 本章で説明すること ・計算の概観と記述法 ・代表的な計算モデル ・プログラムとプログラム言語 1.
計算機アーキテクチャ1 (計算機構成論(再)) 第二回 命令の種類と形式
コンピュータアーキテクチャ 第 4 回.
Ibaraki Univ. Dept of Electrical & Electronic Eng.
情報コミュニケーション入門e 第9回 Part2 ハードウェアとソフトウェア
9. 演算回路 五島 正裕.
情報コミュニケーション入門b 第2回 Part1 ハードウェアとソフトウェア
コンピュータアーキテクチャ 第 3 回.
情報コミュニケーション入門b 第2回 Part1 ハードウェアとソフトウェア
2014年度 プログラミングⅠ ~ 内部構造と動作の仕組み(1) ~.
情報コミュニケーション入門e 第9回 Part2 ハードウェアとソフトウェア
2008年度 情報科学序論 ~ 内部構造と動作の仕組み(2) ~.
論理回路(and,or,not)を作成. 回路を組み合わせ半/全加算器.
Presentation transcript:

第7章 計算の機構

5章: 計算は最終的に 「機械語プログラム」という形で この章で学ぶこと コンピュータがどんのようにして動いているか? 5章: 計算は最終的に 「機械語プログラム」という形で 記述される 6章: 有限状態機械 チューリングマシン 増原先生のスライドそのまま 電子回路に よる計算 ハードウェア の構成 機械語プログラムの 実際

計算の実現機構 プログラム内蔵方式(フォンノイマン型コンピュータ) 機械語プログラム (5.3.2項)を解釈し実行 メモリ上にデータとプログラムを保持 万能チューリング機械(6.2.1項)と同様に他の計算機を模倣できる ⇔ 最も初期のコンピュータ(ENIAC,1946)はプログラムを配線していた 機械語プログラム (5.3.2項)を解釈し実行  画像は http://lieuxdits.free.fr/histordi.html より(玉井先生2ページにあったもの). 山口先生1ページ,増原先生8ページを参考に文を修正.

配線によるプログラム 増原先生のスライドより,タイトルを変更 http://histoire.info.online.fr/eniac.htmlより 増原先生のスライドより,タイトルを変更

パソコンの歴史 1970年アラン・ケイ「パーソナルコンピュータ」を提唱。「コンピュータ・リテラシ」も彼の造語。ダイナブックを具現化。ハードウェア Alto, 暫定的ソフト Smalltalk .   スティーブ・ジョブズ Lisa, Macintosh へ 1976年 Apple I、  翌年 Apple II 大成功を収める。 1970年代後半~80年台前半 多くの非互換機メーカーが競合 1981年 IBM PC 16ビットコンピュータ PC/AT 互換機が業界標準、アップルは非互換機路線を堅持 2004年 IBM はパーソナルコンピュータ事業を中国のレノボ・グループに売却。ハードウエアのオープンアーキテクチャ化を大きな要因として繁栄したPC/AT互換機であったが、最終的にはその互換機によって市場から撤退することとなった。

日本のパソコンの歴史 「国産マイコン」の最初の製品は、1976年日本電気 (NEC) より発売されたTK-80とされる。 その後 8ビットマイコン・BASICと群雄割拠の時代 1982年 16ビットCPUを採用した「PC-9800シリーズ」が発売。その後はMS-DOSを採用したPC-9800シリーズの独走態勢となった。 Macintoshは、漢字Talk7が発売された頃から、ハードウェアの値下げと日本語処理機能の充実により、シェアを伸ばしていった。 1995年にGUIを大改良したWindows 95の発売が開始されると、98互換機のエプソンもPC/AT互換機に転換し、国内独自パソコンの歴史は完全にピリオドが打たれた。

コンピュータの基本構成 中央処理装置(CPU) 主記憶装置(メインメモリ) 制御装置 演算装置 情報(データ)の格納と選択的な読み書き 主記憶装置と演算装置の制御 演算装置 データに対する演算処理 演算レジスタが一時的な記憶を保持 1つのレジスタはアキュムレータとも呼ばれる 主記憶装置(メインメモリ) 情報(データ)の格納と選択的な読み書き アドレスによってデータの位置を特定 画像なし版

プログラム内蔵方式の基本構成 中央処理装置 主記憶装置 アドレス プログラム 制御装置 演算装置 データ 演算レジスタ 教科書の図から増原先生5ページの図に差し替え 演算レジスタ

CPUの構成 美馬先生5ページ

コンピュータの内部構成: 中央処理装置 中央処理装置 主記憶装置 アドレス プログラム 制御装置 演算装置 データ 演算レジスタ データに対する演算 四則演算・比較・ 論理演算など 演算レジスタ: 計算に使うデータ・結果をしまう 中央処理装置 主記憶装置 アドレス プログラム 制御装置 演算装置 主記憶装置と 演算装置の制御 命令を読み込み 各装置に指令を出す データ 増原先生6ページ 演算レジスタ

コンピュータの内部構成: 主記憶装置 中央処理装置 主記憶装置 アドレス プログラム 制御装置 演算装置 データ 演算レジスタ 別名メインメモリ 情報を格納する場所 中央処理装置が読み書き アドレス: 読み書きの場所を表わす整数 「1000番地に123を書け」 「2013番地のデータを読め」 中央処理装置 主記憶装置 アドレス プログラム 制御装置 演算装置 データ 増原先生7ページ 演算レジスタ

主記憶装置(メモリ) メモリとは 1Kbyte のメモリのイメージ データの読み書きが可能な半導体メモリ 機械語命令とデータを格納する アドレス メモリの内容 0000000000 1バイトのデータ 0000000001 0000000010 : 1111111110 1111111111 1フロアに1バイト(8ビット)のデータが格納された1024階建てのビルディング 美馬先生7ページをもとに作成

機械語レベルのプログラム コンピュータに対する命令の並び 命令集合:個々のCPUで利用できる命令群 命令の構成 四則演算,メモリの読み書き,判断,繰り返しなど メモリと演算レジスタを操作 命令の構成 命令コード(operator, 演算子):命令の種類を表す符号 load, add など オペランド(operand, 被演算子):命令の付加情報 A(アドレス値を表す)など

命令集合の例 種類 内容 意味 データ転送命令 load A store A アドレスAのデータを演算レジスタ(AC)に読み込む ACのデータをアドレスAに書き込む 計算命令 add A subtract A アドレスAのデータをACの値に加える アドレスAのデータをACの値から引く 分岐命令 jump A  jumpzero A アドレスAにプログラムの実行を移す ACのデータが0の場合,アドレスAにプログラムの実行を移す その他 write halt ACのデータを出力する プログラムの実行を停止する

1から10までの和のプログラム アドレス 命令 意味 高水準言語 1001 load 2001 AC ← 2001 sum ← sum+1 1002 add 2002 AC ← AC + 2002 1003 store 2001 2001 ← AC 1004 load 2002 AC ← 2002 i ← i - 1 1005 subtract 2003 AC ← AC - 2003 1006 store 2002 2002 ← AC 1007 jumpzero 1009 条件分岐(ジャンプ) while i ≠ 0 1008 jump 1001 無条件ジャンプ 1009 1010 write 結果の出力 write(sum) 1011 halt プログラム停止 2001 変数(結果) sum ← 0 2002 10 変数( i の初期値) i ← 10 2003 1 定数

電子回路による計算 ~ トランジスタ 論理ゲート 演算器・レジスタ 中央処理装置 ・メモリ 本体内部 コンピュータ本体 増原先生20ページ

論理演算を組み合わせ回路として実現することによって、加算機、フリップフロップなどが構成できる。(テキスト p.164, p.170-171.) 論理演算は、論理変数と論理式によって与えられる。 半導体によって作られる基本素子は、NAND もしくは NOR である。それを組み合わせてほかの AND, OR, NOT などの素子を構成する。

論理演算 値: 真(1)と偽(0) 演算: AND, OR, NOTなど 例: xとyの加算 組合せ 回路 入力 出力 値: 真(1)と偽(0) 演算: AND, OR, NOTなど AND(x,y) : xとyの両方が真のときのみ真 OR(x,y) : xとyのどちらかが真のとき真 NOT(x) : xが偽のときのみ真 他にもXOR, NAND, NOR, EQなど 例: xとyの加算 上の桁: AND(x,y) 下の桁: OR(AND(x,NOT(y)), AND(NOT(x), y)) 増原先生

論理関数の真理値表 x y AND(x, y) OR(x, y) NOT(x) 1 山口和紀先生10ページを参考に作成

1+1=1, 1・1=1 p+1=1+p=1, p・1=1・p=p, 1+0=1, 1・0=0 p+0=0+p=p, p・0=0・p=0, 論理式(論理演算) Boole代数式 Boole代数の演算 1+1=1, 1・1=1 p+1=1+p=1, p・1=1・p=p, 1+0=1, 1・0=0 p+0=0+p=p, p・0=0・p=0, 0+1=1, 0・1=0 p+p=p, p+p=1, 0+0=0, 0・0=0 p・p=p, p・p=0, 1=0, 0=1.

再簡(minimal)加算標準形 命題1 命題2 例 (再簡加算標準形)

基本積 P が E の主項であるとは、E+P=E かつ P の真部分積がその性質を持たないこと。

論理演算の書き方 論理式 ブール代数 MIL記法 NOT(x) AND(x,y) NAND(x,y) OR(x,y) NOR(x,y) XOR(x,y) EQ(x,y) 意味は同じ 増原先生

MIL記法 基本的な論理演算を以下の基本素子で表現 基本素子のあいだの結線によって論理関数を表現 説明を追加

XORの標準形による表現 XOR(排他的論理和) ブール代数によるXORの表現 MIL記法によるXORの表現 2入力が同じ値のとき0, 異なる値のとき1 ブール代数によるXORの表現 加算標準形 乗算標準形 MIL記法によるXORの表現 加算標準形          乗算標準形 展開すると上になる 新たに作成 (発展)9個のNANDを使っている(中村先生10ページ目より)

AND(x,y) x y x・y OR(x,y) x y x+y

NANDゲートでXORを作る x y

1ビット半加算器 2つの1ビット入力x, yに対して和sと桁上げcoutを出力 新たに作成

足し算回路(半加算器) 入力: x, y 出力: s(和), cout(桁上げ) 真理値表 ブール代数 ・ 論理式 MIL記法 x y 1 1 上の桁 x y s 1 下の桁 入力: x, y 出力: s(和), cout(桁上げ) 真理値表 ブール代数 ・ 論理式 MIL記法 増原先生

写真で見るマザーボード (1) 美馬先生36ページより,タイトルを変更

1ビット全加算器 桁上げ入力cinも考慮 半加算器2つとORの組合せとして実現できる 半加算器をモジュールとして使用 新たに作成

足し算回路(全加算器) 入力: x, y, cin(下からの桁上げを考慮) 出力: s, cout (桁上げ) 論理式だと少々複雑 半加算器の組合せでできる s: (xとyの和)とcinの和 cout: (xとyの桁上げ)と の桁上げのOR 増原先生  となる とすると

写真で見るマザーボード (2) CPU メモリ 入出力機器をつなぐ端子 増原先生 http://www.atmarkit.co.jp/より借用 http://mikebabcock.ca/より借用 増原先生 メモリ 入出力機器をつなぐ端子

計算機のしくみ:ブロック図 プログラム内蔵方式 美馬先生4ページ,図を画像としてとりこんだため背景がずれています.

実際のコンピュータの基本構成

オペレーティングシステム(OS) オペレーティングシステム(OS)の特徴 OSとアプリケーション 基本ソフトウェアとも呼ばれる コンピュータの起動と同時に実行される 複数の人間によるコンピュータの効率的な 利用をサポートする コンピュータの資源を管理する OSとアプリケーション OSの例:Mac OS X, Windows XP アプリケーションの例:Safari(ウェブブラウザ),Excel(表計算) 山口和紀先生33ページを参考に変更 「OSとアプリケーション」は教科書にはない

OSの基本機能 プロセス管理 メモリ管理 入出力管理 ファイル管理 ユーザ管理 起動,終了,CPUによる実行時間の割当て プロセスへのメモリ割当て,解放 入出力管理 プロセスと周辺装置の仲介 ファイル管理 ファイルの作成,保護,消去と階層的な管理機構 ユーザ管理 プロセスやファイルを利用者ごとに一定の制限のもとで保護 山口和紀先生34ページを参考に変更