Table 1 shows anordering table for

Table 1 shows an
ordering table for processor consistency (PC). In
PC, an ordering requirement exists between a load
and all stores that follow it
in program order. That is,
any load X that appears before any store Y in the program order also has to perform before Y. However, no
ordering requirement exists between a store and subsequent loads. Thus, even if store Y appears before load X
in program order, X can still perform before Y.
A truth table is not sufficient to express all conceivable memory consistency models, but a truth table can
be constructed for all commercially implemented consistency models.

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

ตารางที่ 1 แสดงการเรียงลำดับตารางความสอดคล้องของตัวประมวลผล (พีซี) ในPC ความต้องการสั่งซื้ออยู่ระหว่างโหลดและร้านค้าทั้งหมดที่ตามมาในโปรแกรม นั่นก็คือมีโหลด X ที่ปรากฏก่อนทุกร้าน Y หมายโปรแกรมยัง มีการก่อน Y อย่างไรก็ตาม ไม่จัดลำดับความต้องอยู่ระหว่างร้านค้าและโหลดภายหลัง ดังนั้น แม้ว่าร้าน Y ปรากฏก่อน โหลด Xในโปรแกรม X ยังสามารถก่อน Yตารางความจริงไม่เพียงพอในการแสดงความสอดคล้องทุกหน่วยความจำหลากหลายรุ่น แต่ตารางความจริงสามารถสร้างสำหรับแบบจำลองทั้งหมดสอดคล้องดำเนินการในเชิงพาณิชย์

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

ตารางที่ 1 แสดง
ตารางการสั่งซื้อเพื่อความมั่นคงหน่วยประมวลผล (PC) ใน
เครื่องคอมพิวเตอร์ที่ต้องการสั่งซื้ออยู่ระหว่างการโหลด
และร้านค้าทั้งหมดที่เป็นไปตามมัน
ในการสั่งซื้อโปรแกรม นั่นคือ
โหลดใด ๆ X ที่ปรากฏขึ้นก่อนที่จะเก็บ Y ใด ๆ ในการสั่งซื้อโปรแกรมนี้ยังมีการดำเนินการก่อนที่จะวาย แต่ไม่มี
ความต้องการสั่งซื้ออยู่ระหว่างการจัดเก็บและการโหลดที่ตามมา ดังนั้นแม้ว่าการจัดเก็บ Y ปรากฏก่อนโหลด X
ในการสั่งซื้อโปรแกรม X ยังคงสามารถดำเนินการก่อนวาย
ตารางความจริงไม่เพียงพอที่จะแสดงหน่วยความจำทั้งหมดเท่าที่จะนึกออกรุ่นสอดคล้อง แต่ตารางความจริงสามารถ
ถูกสร้างขึ้นสำหรับทุกการใช้งานในเชิงพาณิชย์รุ่นสอดคล้อง

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

ตารางที่ 1 แสดงการ
สั่งโต๊ะสำหรับประมวลผลความสอดคล้อง ( PC ) ใน
PC ความต้องการ อยู่ระหว่างการสั่งซื้อโหลด
และร้านค้าตาม
เพื่อโปรแกรม นั่นคือ
โหลด x ที่ปรากฏก่อนที่ร้าน Y ในโปรแกรมการสั่งซื้อยังต้องดำเนินการก่อนอะแต่ไม่มี
สั่งความต้องการระหว่างร้านค้าและโหลดที่ตามมา ดังนั้น แม้ว่าร้านจะปรากฏก่อน x
y โหลดเพื่อโปรแกรม X ยังแสดงก่อน Y
ความจริงโต๊ะไม่เพียงพอที่จะแสดงทั้งหมดเป็นไปได้หน่วยความจำความสอดคล้องโมเดล แต่ความจริงโต๊ะสามารถถูกสร้างขึ้นสำหรับใช้ในเชิงพาณิชย์
ความสอดคล้องของโมเดล