9. ConclusionsThis paper presents a

9. Conclusions
This paper presents a framework that can dynamically verify a wide range of consistency models and
comprehensively detect memory system errors. Our verification framework is modular, because it checks three
independent invariants that together are sufficient to
guarantee memory consistency. The modular design
makes it possible to replace any of our checking mechanisms with a different scheme to adapt to a specific system’s design. For example, the coherence checker
adapted from DVSC [16] can be replaced by the design
proposed by Cantin et al. [6]. Although we used conventional multiprocessor systems as example implementations, the framework is in no way limited to these types
of architectures. The simplicity of the proposed mechanisms suggests that they can be implemented with small
modifications to existing multithreaded systems.
Although simulation of a DVMC implementation shows
some decrease in performance, we expect the negative
impact to be outweighed by the benefit of an end-to-end
scheme for detecting memory system errors.

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

9. บทสรุปเอกสารนี้แสดงกรอบที่แบบไดนามิกสามารถตรวจสอบความสอดคล้องของรูปแบบที่หลากหลาย และสาธารณชนตรวจสอบข้อผิดพลาดของระบบหน่วยความจำ กรอบการตรวจสอบของเราเป็นโมดูลาร์ เนื่องจากการตรวจสอบสามinvariants อิสระที่ร่วมกันเพียงพอที่จะรับประกันความสอดคล้องของหน่วยความจำ การออกแบบโมดูลาร์ทำการแทนของกลไกการตรวจสอบของเรา มีโครงร่างแตกต่างกันเพื่อปรับให้เข้ากับการออกแบบของระบบที่ระบุ ตัวอย่าง การตรวจสอบศักยภาพดัดแปลงจาก DVSC [16] สามารถถูกแทนที่ ด้วยการออกแบบนำเสนอโดย Cantin et al. [6] ถึงแม้ว่าเราใช้ระบบมัลติโปรเซสเซอร์ทั่วไปเช่นใช้งาน กรอบเป็นในลักษณะไม่จำกัดชนิดเหล่านี้ของสถาปัตยกรรม ความเรียบง่ายของกลไกนำเสนอแนะนำว่า พวกเขาสามารถใช้กับขนาดเล็กปรับเปลี่ยนระบบที่มีอยู่ให้แม้ว่าการจำลองของ DVMC ดำเนินการแสดงบางอย่างลดลงประสิทธิภาพการทำงาน เราคาดว่าค่าลบผลกระทบจะเป็น outweighed โดยประโยชน์ของการสิ้นสุดการสิ้นโครงร่างสำหรับการตรวจสอบข้อผิดพลาดของระบบหน่วยความจำ

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

9 . สรุป
บทความนี้นำเสนอกรอบแบบไดนามิกสามารถตรวจสอบหลากหลายรูปแบบที่สอดคล้องและ
กว้างตรวจสอบข้อผิดพลาดระบบหน่วยความจำ กรอบการตรวจสอบของเราเป็นแบบแยกส่วนเพราะตรวจสอบ 3
อิสระผลยืนยงด้วยกันเป็นพอ

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

แม้ว่าจุดเด่นที่มีอยู่ ระบบจำลองของการแสดง dvmc
บางลดลงในประสิทธิภาพ เราคาดว่าผลกระทบเชิงลบ
เป็นนิเวศโดยประโยชน์ของโครงการเพื่อตรวจสอบข้อผิดพลาดของระบบ )

หน่วยความจำ