page0004
をテンプレートにして作成
[
トップ
] [
新規
|
一覧
|
単語検索
|
最終更新
|
ヘルプ
]
開始行:
* OSECPUの仮想CPUのアーキテクチャ
-(by [[K]], 2012.09.11)
-&color(#FF0000,#FFFFFF){[注意]この内容は古い内容を含んで...
** ビット数
-32bitとする。
--厳密には1bitから256bitまでの可変アーキテクチャなのだが...
** レジスタ
-16本の整数レジスタ（符号付き整数のみサポート）: R00～R0F
-16本のポインタレジスタ：P00～P0F
--P00はプログラムカウンタ（EIP）
--ポインタのビット数はOSに依存する。
--浮動小数点レジスタなどは第三世代OSASKでは計画されている...
** セキュア対策（レジスタ編）
-整数レジスタ同士の演算については特に制限はない。普通のCP...
-ポインタレジスタへの演算はきわめて制限される。
-まずポインタレジスタにはすべて型情報があり、演算時にチェ...
-整数レジスタは配列の添え字指定には使えるが、メモリアドレ...
-ポインタ型が同型で、かつ共に同じ配列の一部の時だけ、ポイ...
-整数レジスタとポインタレジスタの間でMOVすることはできな...
-ポインタレジスタの値を定数と比較することはできないので、...
--OSにはNULLポインタを教えてくれるAPIがある。
-つまりポインタレジスタの値を何らかの整数に変換する方法は...
-もちろんポインタレジスタに何か狙った値を入れることもでき...
** セキュア対策（メモリ編）
-アプリがmallocするとき、必ずOSに型情報を申告しなければい...
--返却域をさすポインタをレジスタとメモリ上からきれいに消...
-union型を許さない。
-ポインタ型の変数に書き込めるのは、ポインタレジスタの値だ...
-このような仕組みのため、OSは全てのメモリの使われ方を十分...
** RISC的なところ
-演算はレジスタ間でしかできない。定数やメモリオペランドが...
-フラグレジスタを持たない。CMP系の命令が3項演算になってい...
--これは命令セットを単純に保つためである。
-JMP命令などはなく、単にP00への代入によって分岐する。
-条件分岐命令はなく、P00への代入命令の直前に条件実行プリ...
--条件実行プリフィクスは任意の命令につけられるので、これ...
** こめんと欄
-このページにこめんと欄はありません。このページの内容にコ...
終了行:
* OSECPUの仮想CPUのアーキテクチャ
-(by [[K]], 2012.09.11)
-&color(#FF0000,#FFFFFF){[注意]この内容は古い内容を含んで...
** ビット数
-32bitとする。
--厳密には1bitから256bitまでの可変アーキテクチャなのだが...
** レジスタ
-16本の整数レジスタ（符号付き整数のみサポート）: R00～R0F
-16本のポインタレジスタ：P00～P0F
--P00はプログラムカウンタ（EIP）
--ポインタのビット数はOSに依存する。
--浮動小数点レジスタなどは第三世代OSASKでは計画されている...
** セキュア対策（レジスタ編）
-整数レジスタ同士の演算については特に制限はない。普通のCP...
-ポインタレジスタへの演算はきわめて制限される。
-まずポインタレジスタにはすべて型情報があり、演算時にチェ...
-整数レジスタは配列の添え字指定には使えるが、メモリアドレ...
-ポインタ型が同型で、かつ共に同じ配列の一部の時だけ、ポイ...
-整数レジスタとポインタレジスタの間でMOVすることはできな...
-ポインタレジスタの値を定数と比較することはできないので、...
--OSにはNULLポインタを教えてくれるAPIがある。
-つまりポインタレジスタの値を何らかの整数に変換する方法は...
-もちろんポインタレジスタに何か狙った値を入れることもでき...
** セキュア対策（メモリ編）
-アプリがmallocするとき、必ずOSに型情報を申告しなければい...
--返却域をさすポインタをレジスタとメモリ上からきれいに消...
-union型を許さない。
-ポインタ型の変数に書き込めるのは、ポインタレジスタの値だ...
-このような仕組みのため、OSは全てのメモリの使われ方を十分...
** RISC的なところ
-演算はレジスタ間でしかできない。定数やメモリオペランドが...
-フラグレジスタを持たない。CMP系の命令が3項演算になってい...
--これは命令セットを単純に保つためである。
-JMP命令などはなく、単にP00への代入によって分岐する。
-条件分岐命令はなく、P00への代入命令の直前に条件実行プリ...
--条件実行プリフィクスは任意の命令につけられるので、これ...
** こめんと欄
-このページにこめんと欄はありません。このページの内容にコ...
ページ名:
![[PukiWiki]](image/pukiwiki.png "[PukiWiki]")
