Multithreaded servers with cache-co

Multithreaded servers with cache-coherent shared mem- ory are the dominant type of machines used to run criti- cal 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 mecha- nisms to verify three invariants that are proven to guar- antee that a specified memory consistency model is obeyed. We describe an implementation of the frame- work for the SPARCv9 architecture and experimentally evaluate its performance using full-system simulation of commercial workloads.

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

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

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

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

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

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