Index
/
Reload
Edit on
2006-08-11
このコメントを修正します。
内容を修正した後で投稿時のパスワードを入力してください。
現在、コメントを削除する機能がありません。
コメントを削除したい場合には、 コメント欄を空欄にしておいてください (管理人が後で削除します)。
お名前:
E-mail or URL:
Password:
コメント:
> 1: の STORE の結果は global visiable になっており、2: 4: はまだだと推測されます。 2:,3: はまだでしょうが、4: がまだと推測する根拠がありませんよ。 4: は、2:,3: がいずれも global visible になっていなくても、 それらを追い越して global visible になれて、 実際にそうなっているケースです。 4: のロード値が1であることが引っかかっておられるようですが、3: のストアが外部から観測されるよりも前に 4: のロード値1が確定することこそが、4: が 3:を追い越した結果なんです。 プログラムを少し改変したほうがいいと提案したのは、 load の結果がもっと直接観測できる例の方がいいと思った からでした。 この例のままだと、4: が 2:,3: を追い越すという言い方に対する自然言語レベルでの違和感を自然言語レベルで言い合うだけになりかねないと思ったもので。 ちょっと話題は変わりますが、IBM のアーキが store forwarding を認めていないというのは、おっしゃるとおりでした。 http://publib.boulder.ibm.com/cgi-bin/bookmgr/BOOKS/DZ9AR006/5.13.10?DT=19990630131355 However, a storage-operand store appears to precede a conceptually subsequent storage-operand fetch from the same main-storage location. しかし、この文章を store forwarding の禁止であると認めるのであれば(認めるのが正解だと思いますが)、store forwarding した場合には、4: が 3: を追い越すのだと解釈することになると思います。
Powered by
くっつき BBS