3.2 DisentanglementWe state and pro

3.2 Disentanglement
We state and prove one of this paper’s key contributions: that
purely functional programs written in HP have the disentanglement
property. Recall that we have defined disentanglement informally
as the property that parallel tasks can only access data allocated
by ancestors. We have formulated the semantics of HP based on
this property by restricting a task to access only the locations that
are allocated in its own and its ancestors’ heaps. To prove that an
arbitrary HP program has the disentanglement property, we first
show that a well-typed program never gets stuck. This familiar type
safety property guarantees that the restrictions placed on the memory
accesses do not cause a program to get stuck (such as by accessing
a memory location in a sibling or descendant heap).

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

3.2 disentanglementเราระบุ และพิสูจน์ผลงานสำคัญกระดาษนี้อย่างใดอย่างหนึ่ง: ที่โปรแกรมทำงานแท้ที่เขียนใน HP มี disentanglement การคุณสมบัติ เรียกว่า เรากำหนด disentanglement เป็นเป็นคุณสมบัติที่งานขนานเท่านั้นสามารถเข้าถึงข้อมูลการปันส่วนโดยบรรพบุรุษ เรามีสูตรความหมายของ HP อิงแห่งนี้ โดยการจำกัดงานถึงสถานที่ที่ถูกปันส่วนในตนเอง และของบรรพบุรุษกอง จะพิสูจน์ว่าการโปรแกรม HP โดยอำเภอใจมีคุณสมบัติ disentanglement เราครั้งแรกแสดงว่า โปรแกรมพิมพ์ดีไม่ค้าง ชนิดนี้คุ้นเคยคุณสมบัติความปลอดภัยรับประกันว่า ข้อจำกัดที่วางบนหน่วยความจำเข้าทำให้โปรแกรมค้าง (เช่น โดยการเข้าถึงที่ตำแหน่งหน่วยความจำในฮีปเป็นพี่น้องหรือลูกหลาน)

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

3.2 คลี่คลาย
เรารัฐและพิสูจน์หนึ่งของผลงานที่สำคัญของบทความนี้: ที่
? โปรแกรมการทำงานได้อย่างหมดจดเขียนใน HP มีคลี่คลาย
สถานที่ให้บริการ จำได้ว่าเราได้กำหนดไว้คลี่คลายทางการ
เป็นทรัพย์สินที่งานคู่ขนานเฉพาะการเข้าถึงข้อมูลสามารถจัดสรร
โดยบรรพบุรุษ เรามีสูตรความหมายของ? HP ขึ้นอยู่กับ
คุณสมบัตินี้โดยการ จำกัด การงานที่จะเข้าถึงเฉพาะสถานที่ที่
ได้รับการจัดสรรในของตัวเองและกองบรรพบุรุษของ ' เพื่อพิสูจน์ว่า
พล? โปรแกรม HP มีคุณสมบัติคลี่คลายครั้งแรกที่เรา
แสดงให้เห็นว่าเป็นโปรแกรมที่ดีพิมพ์ไม่เคยได้รับการติด ประเภทนี้คุ้นเคย
สถานที่ให้บริการความปลอดภัยรับประกันว่าข้อ จำกัด ที่วางอยู่บนหน่วยความจำ
เข้าถึงไม่ก่อให้เกิดโปรแกรมที่จะได้รับการติด (เช่นโดยการเข้าถึง
ตำแหน่งหน่วยความจำในพี่น้องหรือลูกหลานกอง)

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

3.2 บนบานเรารัฐและพิสูจน์หนึ่งของกระดาษนี้เขียน : ที่สําคัญโปรแกรมการทำงานไว้เขียนใน HP มีความคลี่คลายคุณสมบัติ จำได้ว่า เราได้กำหนดบนบานอย่างไม่เป็นทางการเป็นคุณสมบัติที่งานเท่านั้นที่สามารถเข้าถึงข้อมูลการขนานโดยบรรพบุรุษ เราได้กำหนดความหมายของ HP ตามคุณสมบัตินี้โดยการ จำกัด การเข้าถึงเฉพาะงานสาขามีการจัดสรรในของตัวเองและบรรพบุรุษของซากปรักหักพัง เพื่อพิสูจน์ว่าโปรแกรม HP โดยพลการได้บนบานที่ดิน เราก่อนแสดงให้เห็นว่าโปรแกรมแล้วพิมพ์ไม่ติด ชนิดนี้ที่คุ้นเคยความปลอดภัยคุณสมบัติรับประกันว่าข้อ จำกัด อยู่ในความทรงจำเข้าใช้งานไม่ได้ เพราะโปรแกรมจะติด ( เช่นโดยการเข้าถึงเป็นหน่วยความจำที่อยู่ในพี่น้องหรือลูกหลานกอง )