We started with a baseline system t

We started with a baseline system that supports only
sequential consistency but obtains high performance
through load-order speculation and prefetching for both
loads and stores. We then implemented the optimizations described in Table 5 to take advantage of the
relaxed consistency models. The remainder of the section describes the three verification mechanisms that
were added to the system, as shown in Figure 2.

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

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

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

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

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

เราเริ่มต้นด้วยพื้นฐานที่รองรับเฉพาะระบบลำดับความได้

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