In a model that allows loads to be

In a model that allows loads to be reordered, such as
RMO, no speculation occurs and the value of a load cannot be affected by any store after it passes the execution
stage. Therefore a load is considered to perform after the
execution stage in these models, and replay strictly
serves the purpose of verifying Uniprocessor Ordering.
Since load ordering does not have to be enforced, load
values can reside in the VC after execution and be used
during replay as long as they are correctly updated by
local stores. This optimization, which has been used in
dynamic verification of single-threaded execution [7],prevents cache misses during verification and reduces
the pressure on the L1 cache.

ผลลัพธ์ (ไทย) 1:

ในรูปแบบที่ให้โหลดจะถูกจัดลำดับใหม่ เช่นRMO เก็งกำไรไม่เกิดขึ้น และค่าของโหลดไม่ได้รับผลกระทบ โดยร้านค้าหลังจากนั้นผ่านการดำเนินการขั้นตอนการ ดังนั้น โหลดถือปฏิบัติหลังจากการดำเนินการขั้นตอนในรูปแบบเหล่านี้ และเล่นอย่างเคร่งครัดรองรับวัตถุประสงค์ของการตรวจสอบการสั่งซื้อ Uniprocessorเนื่องจากสั่งผลิตไม่มีการบังคับใช้ โหลดค่าสามารถอยู่ใน VC หลังจากการดำเนินการ และใช้ในระหว่างการเล่นซ้ำตราบเท่าที่พวกเขาถูกปรับปรุงโดยร้านค้าท้องถิ่น เพิ่มประสิทธิภาพนี้ ซึ่งมีการใช้ในตรวจสอบแบบไดนามิกของเธรดเดียวของการดำเนินการ [7], ป้องกันแคพุ่งระหว่างการตรวจสอบ และลดความดันในแคช L1

ผลลัพธ์ (ไทย) 2:

ในรูปแบบที่ช่วยให้โหลดจะได้รับการจัดลำดับใหม่เช่น
RMO ไม่มีการเก็งกำไรเกิดขึ้นและมูลค่าของการโหลดไม่สามารถรับผลกระทบจากการจัดเก็บใด ๆ หลังจากที่มันผ่านการดำเนินการ
ขั้นตอน ดังนั้นโหลดถือว่าการดำเนินการหลังจากที่
ขั้นตอนการดำเนินการในรูปแบบเหล่านี้และเล่นอย่างเคร่งครัด
มีจุดมุ่งหมายของการตรวจสอบการสั่งซื้อ Uniprocessor.
ตั้งแต่โหลดการสั่งซื้อไม่ได้จะต้องมีการบังคับใช้ภาระ
ค่าสามารถอาศัยอยู่ใน VC หลังจากการดำเนินการและนำมาใช้
ในระหว่างการเล่นใหม่ ตราบเท่าที่พวกเขาได้รับการปรับปรุงอย่างถูกต้องโดย
ร้านค้าในท้องถิ่น การเพิ่มประสิทธิภาพนี้ซึ่งถูกนำมาใช้ใน
การตรวจสอบแบบไดนามิกของการดำเนินการเธรดเดียว [7] ป้องกันแคชในระหว่างการตรวจสอบและช่วยลด
ความดันในแคช L1

ผลลัพธ์ (ไทย) 3:

ในแบบที่ให้โหลดจะสั่งเพิ่ม เช่น
คณะวิทยาการจัดการ ไม่มีการเก็งกำไรเกิดขึ้น และคุณค่าของ โหลด ไม่ได้รับผลกระทบจากร้านค้าใด ๆ หลังจากผ่านการประหาร
เวที ดังนั้น โหลด ถือว่าแสดงหลังจาก
การดําเนินการขั้นตอนในรูปแบบเหล่านี้และการเล่นอย่างเคร่งครัด
ทำหน้าที่ตรวจสอบการสั่งซื้อ uniprocessor .
ตั้งแต่โหลดสั่งไม่ต้องถูกบังคับให้โหลด
ค่าสามารถอาศัยอยู่ใน VC หลังจากการใช้
ใน replay ตราบเท่าที่พวกเขาจะถูกปรุงโดย
ร้านค้าท้องถิ่น การเพิ่มประสิทธิภาพนี้ ซึ่งได้ถูกใช้ในการตรวจสอบแบบไดนามิกของการเดี่ยวเกลียว
[ 7 ] , ป้องกันแคชพลาดในระหว่างการตรวจสอบและลดความดันบน
L1 แคช