Dynamics. The dynamics for HP, sho

Dynamics. The dynamics for HP, shown in Figure 6, use a smallstep
transition judgment H; e !P e0; H0, which indicates that under
heap H and path P, e steps to e0 and produces new heap H0. In
the judgment, H is the hierarchical heap that is private to this
computation and will be used for lookup as well as allocation. The
path P is the shared memory for e, consisting of the hierarchical
heaps on the path from H to the root (excluding H).

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

Dynamics Smallstep ใช้ dynamics สำหรับ HP แสดงในรูปที่ 6คำพิพากษาเปลี่ยนแปลง H e P e0 H0 ซึ่งบ่งชี้ว่า ภายใต้ฮีป H และเส้น P, e ไป e0 และผลิตใหม่กอง H0 ในพิพากษา H คือ ฮีปลำดับชั้นที่เป็นส่วนตัวนี้การคำนวณ และจะใช้สำหรับการค้นหาเป็นการปันส่วน การเส้นทาง P มีหน่วยความจำร่วมสำหรับ e ประกอบด้วยการแบบลำดับชั้นกองบนเส้นทางจาก H ไปยังรากยกเว้น H)

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

พลศาสตร์ ? พลวัตสำหรับ HP แสดงในรูปที่ 6 ใช้ smallstep
H เปลี่ยนแปลงการพิพากษา ! E P E0; H0 ซึ่งบ่งชี้ว่าภายใต้
H กองและเส้นทาง P, ขั้นตอน E เพื่อ E0 และผลิต H0 กองใหม่ ใน
คำพิพากษา H เป็นกองลำดับชั้นที่มีความเป็นส่วนตัวนี้
คำนวณและจะถูกใช้สำหรับการค้นหาเช่นเดียวกับการจัดสรร
เส้นทาง P คือหน่วยความจำที่ใช้ร่วมกันสำหรับ e ประกอบด้วยลำดับชั้น
กองบนเส้นทางจาก H ไปยังราก (ไม่รวม H)

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

พลศาสตร์ พลวัตสำหรับระบบที่แสดงในรูปที่ 6 ให้ใช้ smallstepการเปลี่ยนการตัดสิน H ; e ! P E0 ; H0 ซึ่งบ่งชี้ว่า ภายใต้เส้นทางกอง H และ P , E E0 H0 และขั้นตอนการสร้างกองใหม่ ในพิพากษา , h คือกองลำดับชั้นที่ส่วนนี้การคำนวณจะถูกใช้สำหรับการค้นหารวมทั้งการจัดสรรงบประมาณ ที่เส้นทาง P เป็นหน่วยความจำที่ใช้ร่วมกันสำหรับ E ประกอบด้วยลำดับชั้นกองบนเส้นทางจาก H ไปราก ( ไม่รวม H )