A system that dynamically verifies

A system that dynamically verifies all three invariants in the DVMC framework obeys the consistency
model specified in the ordering table, regardless of the
mechanisms used to verify each invariant. Our approach
is conservative in that these conditions are sufficient but
not necessary for memory consistency. General consistency verification without the possibility of false positives is NP-hard [10] and therefore not feasible at
runtime. DVMC’s goal is to detect transient errors, from
which we can recover with BER. DVMC can also detect
design and permanent errors, but for these errors forward progress cannot be guaranteed. Errors in the
checker hardware added by DVMC can lead to performance penalties due to unnecessary recoveries after
false positives, but do not compromise correctness.

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

ระบบแบบไดนามิกที่ตรวจสอบทั้งสามผลยืนยงในกรอบ dvmc เชื่อฟังความสอดคล้อง
แบบระบุในการสั่งซื้อโต๊ะ โดยไม่คำนึงถึง
กลไกที่ใช้เพื่อตรวจสอบแต่ละค่าคงที่ .
วิธีการของเราคืออนุลักษณ์ในเงื่อนไขเหล่านี้จะเพียงพอแต่
ไม่จำเป็นสำหรับความสอดคล้องของหน่วยความจำการตรวจสอบความสอดคล้องกันทั่วไปโดยไม่มีความเป็นไปได้ของผลบวกปลอมเป็น NP ยาก [ 10 ] และดังนั้นจึงไม่สามารถเป็นไปได้ที่
Runtime . dvmc เป้าหมายคือการตรวจสอบข้อผิดพลาดชั่วคราว จาก
ซึ่งเราสามารถกู้คืนกับผ dvmc ยังสามารถตรวจจับ
ออกแบบและข้อผิดพลาดแบบถาวร แต่ข้อผิดพลาดเหล่านี้ไม่สามารถก้าวไปข้างหน้าได้รับประกัน ข้อผิดพลาดใน
ตรวจสอบฮาร์ดแวร์เพิ่ม โดย dvmc สามารถนำไปสู่การลงโทษประสิทธิภาพเนื่องจากไม่จำเป็นเมื่อหลังจาก
บวกเท็จ แต่ไม่ประนีประนอม ความถูกต้อง