We specify a consistency model as a

We specify a consistency model as an ordering
table, similar to Hill et al. [11]. Columns and rows are
labeled with the memory operation types supported by
the system, such as load, store, and synchronization
operations (e.g., memory barriers). When a table entry
contains the value true, the operation type OPx in the
entry’s row label has a performance ordering constraint
with respect to the operation type in the entry’s column
label OP
y. If an ordering constraint exists between two
operation types, OPx and OPy, then all operations of
type OPx that appear before any operation Y of type
OP
y in program order must also perform before Y.

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

เราระบุรูปแบบความสอดคล้องเป็นการสั่งซื้อตาราง คล้ายกับเขา et al. [11] คอลัมน์และแถวชื่อที่ มีชนิดการดำเนินการหน่วยความจำที่ได้รับการสนับสนุนโดยระบบ โหลด ร้านค้า และซิงโครไนส์การดำเนินงาน (เช่น หน่วยความจำอุปสรรค) เมื่อรายการตารางประกอบด้วยค่าเป็น true การพิมพ์ OPx ในการป้ายชื่อของรายการแถวมีประสิทธิภาพเป็นลำดับจำกัดเกี่ยวกับชนิดการดำเนินการในคอลัมน์ของรายการป้ายชื่อ OPy. ถ้าการสั่งซื้อ มีข้อจำกัดอยู่ระหว่างสองชนิดการดำเนินการ OPx และ OPy แล้วการดำเนินงานทั้งหมดของพิมพ์ OPx ที่ปรากฏก่อนการดำเนินการใด ๆ Y ชนิดOPยังต้องทำ y ในโปรแกรมก่อน Y

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

เราระบุรูปแบบสอดคล้องกับการสั่งซื้อ
ตารางคล้ายกับฮิลล์และคณะ [11] คอลัมน์และแถวจะถูก
กำกับด้วยประเภทการดำเนินงานหน่วยความจำที่สนับสนุนโดย
ระบบเช่นการโหลดจัดเก็บและการประสาน
การดำเนินงาน (เช่นอุปสรรคหน่วยความจำ) เมื่อรายการตาราง
มีมูลค่าที่แท้จริง, ประเภทการดำเนินงาน OPx ใน
ฉลากแถวของรายการที่มีข้อ จำกัด การสั่งซื้อประสิทธิภาพการทำงาน
ที่เกี่ยวกับประเภทการดำเนินงานในคอลัมน์ของรายการ
ป้าย OP
และ หากข้อ จำกัด การสั่งซื้อที่มีอยู่ระหว่างสอง
ประเภทการดำเนินงาน OPx และคัดลอกแล้วการดำเนินงานทั้งหมดของ
OPx ชนิดที่ปรากฏก่อนที่จะดำเนินการใด ๆ Y ประเภท
OP
และในการสั่งซื้อโปรแกรมนี้ยังต้องดำเนินการก่อนที่จะวาย

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

เราระบุความสอดคล้องรูปแบบการสั่งซื้อ
โต๊ะคล้ายกับเนินเขา et al . [ 11 ] คอลัมน์และแถวเป็น
ป้ายกับความทรงจำการดำเนินงานสนับสนุนประเภทโดย
ระบบเช่นโหลด จัดเก็บ และการประสาน
( เช่นอุปสรรคหน่วยความจำ ) เมื่อตารางรายการ
ที่มีค่าจริง การผ่าตัดชนิด opx ในป้ายชื่อแถว
รายการที่มีประสิทธิภาพสั่งซื้อ
จำกัดด้วยความเคารพงานพิมพ์ในรายการคอลัมน์
ป้าย OP
y ถ้าการสั่งซื้อข้อจำกัดที่มีอยู่ระหว่างสอง
ปฏิบัติการ ประเภท และ opx opy แล้วการดำเนินงานทั้งหมดของ
ประเภท opx ที่ปรากฏก่อนการผ่าตัดชนิด

Y Y ของ OP เพื่อโปรแกรมจะต้องดำเนินการก่อนที่จะวาย