8. Related WorkIn this section, we

8. Related Work
In this section, we discuss prior research in dynamic
verification. For verifying the execution of a single
thread, there have been two different approaches. First, DIVA adds a small, simple checker core that verifies the
execution of the instructions committed by the microprocessor [3]. By leveraging the microprocessor as an
oracular prefetcher and branch predictor, the simple
checker can keep up with the performance of the microprocessor. Second, there have been several schemes for
multithreaded uniprocessors, starting with AR-SMT
[23], that use redundant threads to detect errors. These
schemes leverage the multiple existing thread contexts
to achieve error detection. Unlike DVMC, none of these
schemes extend to the memory system or to multiple
threads.
For multithreaded systems with shared memory,
there are four related pieces of work. Sorin et al. [25]
developed a scheme for dynamic verification of a subset
of cache coherence in snooping multiprocessors.
Although dynamically verifying these invariants is helpful, it is not an end-to-end mechanism, since coherence
is not sufficient for implementing consistency. Cantin et
al. [6] propose to verify cache coherence by replaying
transactions with a simplified coherence protocol. Cain
et al. [4] describe an algorithm to verify sequential consistency, but do not provide an implementation. Finally,
we previously [16] designed an ad-hoc scheme for
dynamic verification of sequential consistency, which
does not extend to any other consistency models.

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

8. ที่เกี่ยวข้องกับงานในส่วนนี้ เราหารืองานวิจัยก่อนหน้านี้ในแบบไดนามิกตรวจสอบ การตรวจสอบการดำเนินการเดียวหัวข้อ มีสองวิธีที่แตกต่างกัน ครั้งแรก ร้องเพิ่มหลักตรวจสอบง่าย ขนาดเล็กที่สามารถตรวจสอบการการดำเนินการคำแนะนำโดยหน่วยประมวลผล [3] โดยใช้หน่วยประมวลผลเป็นการoracular prefetcher และสาขาผู้ทายผล นำตรวจสอบสามารถเก็บขึ้นกับประสิทธิภาพของหน่วยประมวลผล ที่สอง มีโครงร่างหลายให้ uniprocessors เริ่มต้นกับ AR SMT[23], ที่ใช้หัวข้อซ้ำซ้อนเพื่อตรวจหาข้อผิดพลาด เหล่านี้แผนงานใช้บริบทเธรดที่มีอยู่หลายเพื่อให้ตรวจสอบข้อผิดพลาด ซึ่งแตกต่างจาก DVMC เหล่านี้ไม่แผนงานขยายหน่วยความจำระบบ หรือหลายเธรดสำหรับระบบให้กับหน่วยความจำใช้ร่วมกันมีสี่ที่เกี่ยวข้องกับชิ้นงาน Al. ร้อยเอ็ด sorin [25]พัฒนาแผนสำหรับการตรวจสอบแบบไดนามิกของย่อยของโปรเจคแคในสอดแนมนี้แม้ว่าการตรวจสอบแบบไดนามิก invariants เหล่านี้มีประโยชน์ มันไม่ใช่กลไกการจบสิ้น ตั้งแต่โปรเจคไม่เพียงพอสำหรับการดำเนินงานสอดคล้องกัน ร้อยเอ็ด cantinal. [6] นำเสนอเพื่อตรวจสอบศักยภาพแค โดย replayingธุรกรรมที่ มีโพรโทคอศักยภาพง่าย คาอินคือใครร้อยเอ็ด al. [4] อธิบายขั้นตอนวิธีการเพื่อตรวจสอบความสอดคล้องต่อเนื่องกัน แต่ยังไม่มีการนำไปใช้ สุดท้ายเราก่อนหน้านี้ [16] ออกแบบโครงร่างสำหรับกิจการการตรวจสอบความสอดคล้องต่อเนื่อง แบบไดนามิกซึ่งขยายรุ่นความสอดคล้องกันอื่น

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

8 . ที่เกี่ยวข้อง
ในส่วนนี้เราคุยกันก่อนการวิจัยแบบไดนามิก
ยืนยัน สำหรับการตรวจสอบการทำงานของเธรดเดียว
มี 2 วิธีที่แตกต่างกัน แรก , Diva เพิ่มเป็นขนาดเล็กง่ายตรวจสอบหลักที่ตรวจสอบ
การคำแนะนำความมุ่งมั่นโดยไมโครโปรเซสเซอร์ [ 3 ] โดยการใช้ไมโครโปรเซสเซอร์เป็น
prefetcher ศักดิ์สิทธิ์และสาขาวิ
ทำนาย ,ตรวจสอบสามารถติดตามประสิทธิภาพของไมโครโปรเซสเซอร์ ประการที่สอง มีหลายแบบหลายเธรด uniprocessors
เริ่มต้นด้วย ar-smt
[ 23 ] ที่ใช้ซ้ำซาก กระทู้เพื่อตรวจสอบข้อผิดพลาด แผนการเหล่านี้ใช้ประโยชน์จากหลาย ๆกระทู้

เพื่อให้บรรลุที่มีอยู่บริบทตรวจจับข้อผิดพลาด ซึ่งแตกต่างจาก dvmc ไม่มีแผนการขยายระบบหน่วยความจำเหล่านี้


หรือหลายกระทู้สำหรับจุดเด่นที่ระบบที่มีหน่วยความจำที่ใช้ร่วมกัน
มี 4 ชิ้นที่เกี่ยวข้อง , งาน โซริน et al . [ 25 ]
พัฒนาโครงการเพื่อการตรวจสอบแบบไดนามิกของส่วนย่อย
แคชการสอดแนมในมัลติโปรเซสเซอร์ .
ถึงแม้ว่าการตรวจสอบแบบไดนามิกผลยืนยงเหล่านี้เป็นประโยชน์ มันไม่ได้เป็นแบบกลไก ตั้งแต่การไม่เพียงพอสำหรับการใช้
สม่ำเสมอ แคนติน et
อัล[ 6 ] ขอตรวจสอบแคชการมองโลกโดย replaying
ธุรกรรมที่มีการง่ายโปรโตคอล เคน
et al . [ 4 ] อธิบายขั้นตอนวิธีการตรวจสอบความสอดคล้องต่อเนื่องกัน แต่ไม่ได้ให้ใช้ ในที่สุด
เราก่อนหน้านี้ [ 16 ] ออกแบบโครงการเฉพาะกิจสำหรับการตรวจสอบแบบไดนามิกของความสอดคล้องต่อเนื่อง

ไม่ขยาย ซึ่งทุกรุ่นมีอื่น ๆ