Our previous work [16] achieved end

Our previous work [16] achieved end-to-end error detection for a very restricted class of multithreaded memory systems. In that work, we designed an all-hardware scheme for dynamic verification (online checking) of sequential consistency (DVSC), which is the most restrictive consistency model

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

งานก่อนหน้า [16] ได้ตรวจสอบข้อผิดพลาดสิ้นสุดเพื่อสิ้นสุดสำหรับคลาสจำกัดมากหน่วยความจำให้ระบบ ในที่ทำงาน เราออกแบบโครงร่างแบบตรวจสอบ (ตรวจสอบออนไลน์) ลำดับความสอดคล้อง (DVSC), ซึ่งเป็นรูปแบบความสอดคล้องรับฮาร์ดแวร์ทั้งหมดเป็น

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

งานก่อนหน้านี้ของเรา [16] ประสบความสำเร็จในการตรวจสอบข้อผิดพลาดแบบ end-to-end สำหรับการเรียนที่ จำกัด มากของระบบหน่วยความจำแบบมัลติเธรด ในการทำงานที่เราได้ออกแบบโครงการทั้งหมดฮาร์ดแวร์สำหรับการตรวจสอบแบบไดนามิก (การตรวจสอบออนไลน์) ของความสอดคล้องต่อเนื่อง (DVSC) ซึ่งเป็นรูปแบบที่สอดคล้อง จำกัด มากที่สุด

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

ก่อนหน้านี้ทำงาน [ 16 ] ได้รับการตรวจสอบข้อผิดพลาด ) สำหรับชั้นของระบบหน่วยความจำแบบมัลติเธรดจำกัดมาก . ในงานที่เราออกแบบฮาร์ดแวร์แบบไดนามิกการตรวจสอบ ( ตรวจสอบออนไลน์ของความสอดคล้องต่อเนื่อง ( dvsc ) ซึ่งเป็นแบบจำลองความสอดคล้องเข้มงวดมากที่สุด