is an isomorphism between the heap

is an isomorphism between the heap tree and the task tree as defined
by the ownership relation, the disentanglement property holds. As a
corollary, we can establish the following: if TA is neither an ancestor
nor a descendant of TB, then objects in HA do not reference objects
in HB and objects in HB do not reference objects in HA. In other
words, if TA and TB are concurrent tasks that may be executed in
parallel, then HA and HB are guaranteed to be “disentangled”. As
suggested by disentanglement, in the quicksort example shown in
Figure 3, all pointers in the memory point “up” in the heap tree: if
an object in heap HA points to another object in another heap HB,
then HB is an ancestor of HA.

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

เป็นการ isomorphism ระหว่างทรีฮีปและต้นไม้งานตามที่กำหนดไว้โดยความสัมพันธ์ของความเป็นเจ้าของ พัก disentanglement ถือ เป็นการcorollary เราสามารถสร้างต่อไปนี้: ถ้าตา ไม่มีบรรพบุรุษหรือเป็นลูกหลานของ TB, HA วัตถุอ้างอิงวัตถุใน HB และวัตถุใน HB อ้างอิงวัตถุใน HA ในอื่น ๆคำ ถ้า TA และ TB พร้อมกันงานที่สามารถปฏิบัติการในขนาน แล้ว HA และ HB จะรับประกันความเป็น "disentangled" เป็นแนะนำ โดย disentanglement ในตัวอย่าง quicksort ที่แสดงในรูปที่ 3 ตัวชี้ทั้งหมดในหน่วยความจำชี้ "ขึ้น" ในทรีฮีป: ถ้าวัตถุในฮีป HA ชี้ไปวัตถุอื่นในกองอื่น HBแล้ว HB จะเป็นบรรพบุรุษของ HA

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

เป็นมอร์ฟระหว่างต้นไม้และต้นไม้กองงานตามที่กำหนดไว้
โดยความสัมพันธ์เป็นเจ้าของทรัพย์สินคลี่คลายถือ ในฐานะที่เป็น
ข้อพิสูจน์ว่าเราสามารถสร้างต่อไปนี้ถ้าไม่เป็น TA บรรพบุรุษ
หรือลูกหลานของวัณโรคแล้ววัตถุใน HA ไม่อ้างอิงวัตถุ
ใน HB และวัตถุใน HB ไม่อ้างอิงวัตถุในฮา ในอื่น ๆ
คำถ้า TA และวัณโรคเป็นงานพร้อมกันที่อาจจะดำเนินการใน
แบบคู่ขนานแล้วไร่และ HB มีการรับประกันว่า "disentangled" ในฐานะที่
แนะนำโดยคลี่คลายในตัวอย่าง quicksort ที่แสดงใน
รูปที่ 3 ตัวชี้ทั้งหมดในจุดหน่วยความจำ "ขึ้น" ในต้นไม้กอง: ถ้า
วัตถุในจุดที่กอง HA กับวัตถุอื่นในกองอีก HB,
แล้ว HB เป็นบรรพบุรุษของ HA .