gg02_0007
の編集
https://k.osask.jp/klog/?gg02_0007
[
トップ
] [
編集
|
差分
|
バックアップ
|
添付
|
リロード
] [
新規
|
一覧
|
単語検索
|
最終更新
|
ヘルプ
]
-- 雛形とするページ --
2012_0001
2013_0001
2013_0002
2013_0003
2014_0001
2015_0001
2016_07
2016_08
2016_09
2016_10
2016_11
2017_01
2017_02
2017_03
2017_04
2017_05
2018_01
2019_01
BracketName
FormattingRules
FrontPage
Help
InterWiki
InterWikiName
InterWikiSandBox
K
KH_SARC_00
KH_dha8
MenuBar
PHP
PukiWiki
PukiWiki/1.4
PukiWiki/1.4/Manual
PukiWiki/1.4/Manual/Plugin
PukiWiki/1.4/Manual/Plugin/A-D
PukiWiki/1.4/Manual/Plugin/E-G
PukiWiki/1.4/Manual/Plugin/H-K
PukiWiki/1.4/Manual/Plugin/L-N
PukiWiki/1.4/Manual/Plugin/O-R
PukiWiki/1.4/Manual/Plugin/S-U
PukiWiki/1.4/Manual/Plugin/V-Z
RecentDeleted
SandBox
VC_install
WikiEngines
WikiName
WikiWikiWeb
YukiWiki
fdpl_memo0001
fdpl_memo0002
fdpl_memo0003
fdpl_memo0004
fdpl_memo0005
fdpl_memo0006
fdpl_memo0007
fdpl_memo0008
fdpl_memo0009
fdpl_memo0010
gg02_0004
gg02_0005
gg02_0006
gg02_0007
gg02_0008
gg02_0009
https
impressions
memo0001
memo0002
oisix01
osaskology
osaskology0
osecpu_0001
osecpu_0002
p20200229a
p20200303a
p20200310a
p20200321a
p20200401a
p20200730a
p20201230a
p20220628a
p20220701a
populars
prog_0001
prog_0002
prog_0003
prog_0004
prog_0005
* OSECPUと第三世代OSASKの仕様の関係 -(by K, 2013.03.11) --(osask.netに書こうと思ったんだけどパスワードを忘れて新規ページが作れない。メモを見つけるまでこっちに書いておく) ** OSECPUとは? -第一世代OSASKを初心者でも作れるようにと徹底的に再構成して作られたOSが「はりぼてOS」。 -同じような位置づけで、第三世代OSASKを初心者でも作れるようにと徹底的に再構成して作るのが「OSECPU(おせくぷ)」。 -ホームページ: http://osecpu.osask.jp/wiki/ ---- -OSECPUの基本理念は以下のとおり。 --セキュリティに強いOSってほしくない?ほしいよね! --でもさー、今のCPUって簡単にバッファオーバーランとかできちゃうよね?もちろんそれはプログラマが用心深くていねいにコードを書けば悪意あるデータに対して十分に防衛できるけど、「CPUが賢くなってプログラマがあまり気を遣わなくても守ってくれる」っていうやりかたもあっていいんじゃないかな? ---というかプログラマに無限の用心深さを要求することが許されるのだとしたら、現状は既に完全にセキュアなのだと思う。 ---それができなから、それを前提にセキュアを考えようということ。セキュリティホールができてしまったときに、なんでもかんでもアプリ開発者のせいにしているだけでは、現状は変わらない! --他にもいろいろなプログラム上のミスに対して、おかしな結果になる前に教えてくれる親切なCPUがあったら、バグがバグのまま放置されることも少なくなって、結果的にセキュアなアプリがたくさんできるんじゃないかな? ---要するに今のx86でも一般保護例外などでいろいろ教えてくれてはいるけど、もっともっと保護してほしいという意味。 --このアプローチはCPUを賢くするのではなくて、そういう賢い高級言語を作るという手法もあるけど、高級言語を作るのは難しそうなので、CPUを作ることにする。 ---CPUはサポートするべき命令も少ないので、簡単だ。 --こんなCPUを設計して、この仮想的なCPUの上で動作するOSを作れば、きっとOSも非常にセキュアになるに違いない! --高級言語もそのうち作る(?)、作れたらいいなー。 ** 主な仕様 -(gg02との差異を中心に説明) -レジスタ幅は32bit -命令精度は32bit固定(精度指定フィールドがない) -hh4エンコードは使わない、普通のバイトコード -レジスタ数は64本(ここは同じ) --定数レジスタとかの扱いも同じ -アドレスレジスタも64本(ここは同じ) --定数レジスタとかの扱いも同じ -とりあえず最初はインタプリタ実行を目指す。 --gg02では最初からJITを目指す。 * こめんと欄 #comment
タイムスタンプを変更しない
* OSECPUと第三世代OSASKの仕様の関係 -(by K, 2013.03.11) --(osask.netに書こうと思ったんだけどパスワードを忘れて新規ページが作れない。メモを見つけるまでこっちに書いておく) ** OSECPUとは? -第一世代OSASKを初心者でも作れるようにと徹底的に再構成して作られたOSが「はりぼてOS」。 -同じような位置づけで、第三世代OSASKを初心者でも作れるようにと徹底的に再構成して作るのが「OSECPU(おせくぷ)」。 -ホームページ: http://osecpu.osask.jp/wiki/ ---- -OSECPUの基本理念は以下のとおり。 --セキュリティに強いOSってほしくない?ほしいよね! --でもさー、今のCPUって簡単にバッファオーバーランとかできちゃうよね?もちろんそれはプログラマが用心深くていねいにコードを書けば悪意あるデータに対して十分に防衛できるけど、「CPUが賢くなってプログラマがあまり気を遣わなくても守ってくれる」っていうやりかたもあっていいんじゃないかな? ---というかプログラマに無限の用心深さを要求することが許されるのだとしたら、現状は既に完全にセキュアなのだと思う。 ---それができなから、それを前提にセキュアを考えようということ。セキュリティホールができてしまったときに、なんでもかんでもアプリ開発者のせいにしているだけでは、現状は変わらない! --他にもいろいろなプログラム上のミスに対して、おかしな結果になる前に教えてくれる親切なCPUがあったら、バグがバグのまま放置されることも少なくなって、結果的にセキュアなアプリがたくさんできるんじゃないかな? ---要するに今のx86でも一般保護例外などでいろいろ教えてくれてはいるけど、もっともっと保護してほしいという意味。 --このアプローチはCPUを賢くするのではなくて、そういう賢い高級言語を作るという手法もあるけど、高級言語を作るのは難しそうなので、CPUを作ることにする。 ---CPUはサポートするべき命令も少ないので、簡単だ。 --こんなCPUを設計して、この仮想的なCPUの上で動作するOSを作れば、きっとOSも非常にセキュアになるに違いない! --高級言語もそのうち作る(?)、作れたらいいなー。 ** 主な仕様 -(gg02との差異を中心に説明) -レジスタ幅は32bit -命令精度は32bit固定(精度指定フィールドがない) -hh4エンコードは使わない、普通のバイトコード -レジスタ数は64本(ここは同じ) --定数レジスタとかの扱いも同じ -アドレスレジスタも64本(ここは同じ) --定数レジスタとかの扱いも同じ -とりあえず最初はインタプリタ実行を目指す。 --gg02では最初からJITを目指す。 * こめんと欄 #comment
テキスト整形のルールを表示する