Since the end-to-end correctness of

Since the end-to-end correctness of a multithreaded memory system is defined by its memory consistency model, DVSC comprehensively detects errors in systems that implement sequential consistency (SC).

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

ตั้งแต่ความถูกต้องแบบ end-to-end ของระบบหน่วยความจำแบบมัลติเธรดถูกกำหนดโดยรูปแบบของความมั่นคงหน่วยความจำ DVSC ครอบคลุมตรวจพบความผิดพลาดในระบบที่ดำเนินการสอดคล้องตามลำดับ (SC)