08/03/10 02:06:28 LDD2ACQC
>>203
> ここで重要な点わ、以下の全ての条件が満たされない限りROBへの登録の前で止まることす。
> ・ROBの空き
> ・リネームレジスタの空き
> ・RSの空き
ROBわインフライトな命令をすべて抱える構造体す。
RSわインフライトな命令の一部のみを保持する構造体す。
したがって、RSに空きがあるのにROBに空きがないような状況わありえないす。
つまり
> ・RSの空き
この条件わナンセンスす。
出来るものなら、反例、つまりRSサイズのほうがROBサイズより大きい実例を探してくればいいす。
同じく、ROBよりも物理レジスタのほうがクリティカルなリソースす。
物理レジスタわ、主パイプライン上にのっかっている性能的にクリティカルなリソースす。
物理レジスタに空きがあるのに、主パイプラインから外れたところにあって性能的に余裕のあるROBが満杯になったがために
主パイプラインが止まるようなアフォな設計をするやつわいないす。
ROBサイズと物理レジスタサイズが同じであるような実装わ存在するすが、
そういうCPUでわ、
ROBが満杯==物理レジスタが満杯
なので、結局
> ・ROBの空き
この条件もナンセンスす。
出来るものなら、反例、つまり物理レジスタに空きがあるのにROBが満杯のためにパイプラインが止まるような実例を探してくればいいす。
>>209わ、ロードバランサーがスレッドを止めるSMT固有の実装で、全然関係ない話す。