Multithreaded servers with cache-co

Multithreaded servers with cache-coherent shared memory are the dominant type of machines used to run critical network services and database management
systems. To achieve the high availability required for
these tasks, it is necessary to incorporate mechanisms
for error detection and recovery. Correct operation of
the memory system is defined by the memory consistency
model. Errors can therefore be detected by checking if
the observed memory system behavior deviates from the
specified consistency model. Based on recent work, we
design a framework for dynamic verification of memory
consistency (DVMC). The framework consists of mechanisms to verify three invariants that are proven to guarantee that a specified memory consistency model is
obeyed. We describe an implementation of the framework for the SPARCv9 architecture and experimentally
evaluate its performance using full-system simulation of
commercial workloads.

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

เซิร์ฟเวอร์ให้กับแค coherent หน่วยความจำที่ใช้ร่วมกันเป็นชนิดหลักของเครื่องจักรที่ใช้ในการเรียกใช้บริการเครือข่ายที่สำคัญและการจัดการฐานข้อมูลระบบ เพื่อให้เกิดความพร้อมสูงที่จำเป็นสำหรับงานเหล่านี้ จำเป็นต้องรวมกลไกตรวจหาข้อผิดพลาดและการกู้คืน การดำเนินงานที่ถูกต้องของหน่วยความจำระบบถูกกำหนด โดยความสอดคล้องของหน่วยความจำแบบจำลอง ดังนั้นจะพบข้อผิดพลาด โดยตรวจสอบว่าลักษณะการทำงานระบบหน่วยความจำที่พบแตกต่างจากการระบุความสอดคล้องของแบบจำลอง ใช้งานล่าสุด เราออกแบบกรอบงานสำหรับการตรวจสอบหน่วยความจำแบบไดนามิกความสอดคล้อง (DVMC) กรอบประกอบด้วยกลไกในการตรวจสอบสาม invariants ที่พิสูจน์การรับประกันแบบความสอดคล้องของหน่วยความจำที่ระบุว่าเชื่อฟัง เราอธิบายการใช้งานของกรอบงานสถาปัตยกรรม SPARCv9 และ experimentallyประเมินผลการดำเนินงานโดยใช้การจำลองแบบเต็มระบบเวิร์คค้า

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

เซิร์ฟเวอร์แบบมัลติเธรดที่มีหน่วยความจำที่ใช้ร่วมกันแคชเชื่อมโยงกันเป็นชนิดที่โดดเด่นของเครื่องใช้ในการทำงานให้บริการเครือข่ายที่สำคัญและการจัดการฐานข้อมูล
ระบบ เพื่อให้บรรลุความพร้อมสูงที่จำเป็นสำหรับ
งานเหล่านี้ก็เป็นสิ่งจำเป็นที่จะรวมกลไก
ในการตรวจหาข้อผิดพลาดและการกู้คืน การดำเนินการที่ถูกต้องของ
ระบบหน่วยความจำจะถูกกำหนดโดยสอดคล้องหน่วยความจำ
แบบ ข้อผิดพลาดดังนั้นจึงสามารถตรวจพบได้โดยการตรวจสอบหาก
พฤติกรรมของระบบหน่วยความจำสังเกตเบี่ยงเบนไปจาก
รูปแบบความมั่นคงระบุ บนพื้นฐานการทำงานที่ผ่านมาเรา
ออกแบบกรอบสำหรับการตรวจสอบแบบไดนามิกของหน่วยความจำ
(Consistency DVMC) กรอบประกอบด้วยกลไกในการตรวจสอบสามคงที่ที่ได้รับการพิสูจน์แล้วว่าสามารถรับประกันได้ว่ารูปแบบที่สอดคล้องหน่วยความจำที่ระบุ
เชื่อฟัง เราอธิบายการดำเนินการตามกรอบการทำงานสำหรับสถาปัตยกรรม SPARCv9 และทดลอง
ประเมินผลการทำงานโดยใช้การจำลองเต็มระบบการทำงานของ
ปริมาณงานในเชิงพาณิชย์

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

เซิร์ฟเวอร์แบบมัลติเธรดที่สอดคล้องกันกับแคชหน่วยความจำที่ใช้ร่วมกันเป็นเด่นประเภทเครื่องจักรที่ใช้ในการเรียกใช้บริการเครือข่ายที่สำคัญและระบบการจัดการ
ฐานข้อมูล เพื่อให้บรรลุสูงพร้อมที่จําเป็นสําหรับ
งานเหล่านี้ จะต้องรวมกลไก
สำหรับการตรวจหาข้อผิดพลาดและการกู้คืน การดำเนินการที่ถูกต้องของระบบหน่วยความจำจะถูกกำหนดโดย

มีหน่วยความจำแบบข้อผิดพลาดจึงสามารถตรวจพบโดยการตรวจสอบหากพบหน่วยความจำระบบ

ระบุความสอดคล้องพฤติกรรมเบี่ยงเบนไปจากรูปแบบ ใช้งานล่าสุดเรา
ออกแบบกรอบสำหรับการตรวจสอบแบบไดนามิกของความสอดคล้องความทรงจำ
( dvmc ) กรอบประกอบด้วยกลไกเพื่อตรวจสอบผลยืนยงสามที่มีการพิสูจน์เพื่อรับประกันว่าหน่วยความจำที่ระบุความสอดคล้องโมเดล
เชื่อฟัง .เราอธิบายการสร้างกรอบสำหรับ sparcv9 สถาปัตยกรรมและเพื่อประเมินประสิทธิภาพของการใช้ระบบจำลอง

เต็มรูปแบบสำหรับพาณิชย์