DVMC verifies Allowable Reordering

DVMC verifies Allowable Reordering by checking
all reorderings between program order and cache access
order (described in Section 3.) against the restrictions
defined by the ordering table. The position in program
order is obtained by labeling every instruction X with a
sequence number, seqX, that is stored in the ROB during
decode. Since operations are decoded in program order,
seqX equals X’s rank in program order. The rank in perform order is implicitly known, because we verify
Allowable Reordering when an operation performs. The
Allowable Reordering checker uses the sequence numbers to find reorderings and check them against the
ordering table. For this purpose, the checker maintains a
counter register for every operation type OPx (e.g., load
or store) in the ordering table. This counter, max{OPx},
contains the greatest sequence number of an operation
of type OPx that has already performed. When operation
X of type OPx performs, the checker verifies that seqX >
max{OPy} for all operation types OPy that have an
ordering relation OPx

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

DVMC ตรวจสอบการสั่งซื้อใหม่ได้ โดยการตรวจสอบreorderings ทั้งหมดระหว่างเข้าโปรแกรมสั่งและแคชใบสั่ง (อธิบายในหมวดที่ 3) กับข้อจำกัดกำหนด โดยตารางการสั่งซื้อ ตำแหน่งในโปรแกรมใบสั่งจะได้รับ โดยติดฉลากทุกคำสั่ง X มีการหมายเลขลำดับ seqX ที่อยู่ในรอบในระหว่างถอดรหัส ตั้งแต่การดำเนินการถอดรหัสในโปรแกรมเท่ากับ seqX รายในโปรแกรมใบสั่ง อันดับในการสั่งเป็นนัยหนึ่ง เนื่องจากเราตรวจสอบใช้เมื่อทำการดำเนินการสั่งซื้อใหม่ ที่ตรวจ Reordering ได้ใช้หมายเลขลำดับเพื่อหา reorderings และตรวจสอบได้กับการเรียงลำดับตาราง สำหรับวัตถุประสงค์นี้ ตัวตรวจสอบการรักษาความเคาน์เตอร์ลงทะเบียนสำหรับชนิดการดำเนินการทุก OPx (เช่น โหลดหรือร้านค้า) ในตารางการสั่งซื้อ เคาน์เตอร์นี้ สูงสุด {OPx },ประกอบด้วยหมายเลขลำดับสูงสุดของการดำเนินงานชนิด OPx ที่ได้ดำเนินการแล้ว เมื่อการดำเนินงานX ชนิด OPx ดำเนิน ตัวตรวจสอบการตรวจสอบที่ seqX >สูงสุด {OPy } สำหรับชนิดทั้งหมดดำเนิน OPy ที่มีการจัดลำดับความสัมพันธ์ OPxตาราง ถ้าตรวจสอบทั้งหมดผ่าน ตรวจสอบการปรับปรุงสูงสุด {OPx }หรือ ข้อผิดพลาดที่ตรวจพบ

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

DVMC ตรวจสอบ Reordering อนุญาตโดยการตรวจสอบ
reorderings ทั้งหมดระหว่างการสั่งซื้อและการเข้าถึงโปรแกรมแคช
คำสั่ง (อธิบายไว้ในมาตรา 3) กับข้อ จำกัด ที่
กำหนดโดยตารางการสั่งซื้อ ตำแหน่งในโปรแกรม
เพื่อที่จะได้รับโดยการติดฉลากทุกการเรียนการสอน X กับ
หมายเลขลำดับ, seqX ที่ถูกเก็บไว้ในระหว่างการปล้น
ถอดรหัส เนื่องจากการดำเนินงานจะถูกถอดรหัสเพื่อโปรแกรม
seqX เท่ากับอันดับของ X ในการสั่งซื้อโปรแกรม ตำแหน่งในการดำเนินการเพื่อเป็นที่รู้จักกันโดยปริยายเพราะเราตรวจสอบ
Reordering อนุญาตเมื่อการดำเนินการดำเนินการ
ตรวจสอบ Reordering อนุญาตใช้ลำดับหมายเลขที่จะหา reorderings และตรวจสอบให้กับ
ตารางการสั่งซื้อ เพื่อจุดประสงค์นี้ตรวจสอบการรักษา
ลงทะเบียนเคาน์เตอร์สำหรับทุกประเภทการดำเนินงาน OPx (เช่นโหลด
หรือร้านค้า) ในตารางการสั่งซื้อ นับนี้, สูงสุด OPx {}
มีหมายเลขลำดับที่ยิ่งใหญ่ที่สุดของการดำเนินงาน
ของ OPx ชนิดที่ได้ดำเนินการอยู่แล้ว เมื่อการดำเนินการ
X ประเภท OPx ดำเนินการตรวจสอบการตรวจสอบว่า seqX>
สูงสุด {} ลอกสำหรับทุกประเภทการดำเนินการคัดลอกที่มี
ความสัมพันธ์กับการสั่งซื้อ OPxตาราง หากตรวจสอบทั้งหมดผ่านการตรวจสอบการปรับปรุงสูงสุด {} OPx.
มิฉะนั้นข้อผิดพลาดได้รับการตรวจ

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

dvmc ตรวจสอบได้โดยการตรวจสอบทั้งหมดใหม่
reorderings ระหว่างโปรแกรมและแคชเพื่อเข้าถึง
สั่ง ( ตามที่อธิบายไว้ในข้อ 3 . ) กับข้อ จำกัด ที่กำหนดโดยการสั่งซื้อ
โต๊ะ ตำแหน่งในคำสั่งโปรแกรมได้โดยการติดฉลากทุกวิชา

x กับลำดับหมายเลข seqx คือเก็บไว้ในปล้นในระหว่าง
ถอดรหัส เนื่องจากการจะถอดรหัสเพื่อโปรแกรม
seqx เท่ากับ X อันดับในการสั่งซื้อโปรแกรม ยศในการสั่งโดยปริยาย รู้จักกันเพราะเราตรวจสอบ
อนุญาตใหม่เมื่อการดำเนินงานมีประสิทธิภาพ
ตรวจสอบใหม่ที่ใช้หมายเลขลำดับการค้นหา reorderings และตรวจสอบพวกเขากับ
สั่งโต๊ะ สำหรับวัตถุประสงค์นี้ ผู้ตรวจรักษา
เคาน์เตอร์ลงทะเบียนทุกประเภท เช่น การ opx โหลด
หรือร้าน ) ในการสั่งซื้อโต๊ะ เคาน์เตอร์นี้ แมกซ์ { opx } ,
ประกอบด้วยมากที่สุดหมายเลขลำดับของการผ่าตัด
ประเภท opx ที่ได้ดำเนินการ เมื่อปฏิบัติการ
x ประเภท opx การดําเนินการตรวจสอบพบว่า seqx >
แมกซ์ { opy } ทุกประเภทที่มีการ opy
สั่งความสัมพันธ์ opx < คัดลอกตามการสั่งซื้อ
โต๊ะ ถ้าเช็คผ่าน การตรวจสอบการปรับปรุงแม็กซ์ opx
{ }มิฉะนั้นข้อผิดพลาดได้รับการตรวจพบ .