However, Revoke notification messag

However, Revoke notification messages are not posted under the control of the user, and therefore they are not completed before MPI_COMM_FREE. Thus, it is still possible that
some continue to be delivered after the loosely synchronizing MPI_COMM_FREE has completed. In order to discriminate between different communicators using the same index, the Revoke message compounds the index with the epoch number, representing how many times this index has been allocated. This compound key is then used to perform the communicator lookup (in the case of Revoke messages only, normal MPI messages still employ the normal MPI matching with
context identifiers only). If a communicator does not exist anymore (the message epoch is lower than the index epoch), the Revoke message is dropped; this is safe, as when the communicator doesn’t exist anymore, the loosely synchronized MPI_COMM_FREE guarantees that it has been freed at every other process too. When the communicator with the correct epoch exists, there are two cases; 1) the communicator had already been revoked, then the callback drops the message and returns; 2) the communicator is not yet revoked, then it is revoked immediately and the Revoke message is broadcast to all neighbors. When a communicator is revoked for the first time, the
list of pending MPI requests is traversed to mark all requests on that communicator as completed in error. Their status is set to the special error code MPIX_ERR_REVOKED, pending RDMA operations are cancelled, and the memory registrations are withdrawn. In addition, the unexpected and matching queues of the communicator are also traversed to discard incoming message fragments.

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

อย่างไรก็ตาม ยกเลิกข้อความแจ้งเตือนไม่ได้ลงรายการบัญชีภายใต้การควบคุมของผู้ใช้ และดังนั้น พวกเขาไม่ได้เสร็จสมบูรณ์ก่อนที่จะ MPI_COMM_FREE ดังนั้น มันเป็นไปได้ที่บางส่วนยังคงจัดส่งหลังจาก MPI_COMM_FREE หลวม ๆ ให้ตรงกันเสร็จเรียบร้อยแล้ว เพื่อแยกแยะระหว่างเสนอแตกต่างกันที่ใช้ดัชนีเดียวกัน ข้อความยกเลิกสารประกอบดัชนีกับจำนวนเหตุการณ์ แสดงจำนวนครั้งที่มีการปันส่วนดัชนีนี้ คีย์ผสมนี้ถูกใช้เพื่อทำการค้นหา (ในกรณียกเลิกข้อความเท่านั้น ปกติข้อ MPI ยังคงใช้การปกติ MPI ตรงกับ communicatorบริบทตัวบ่งชี้เฉพาะ) ถ้า communicator เป็นไม่มีอีกต่อไป (ยุคข้อความเป็นต่ำกว่ายุคดัชนี), ข้อความยกเลิกหลุด นี้เป็นเซฟ เมื่อกระบวนการ communicator ไม่มีอยู่อีกต่อไป MPI_COMM_FREE หลวม ๆ ตรงรับประกันว่า มันมีถูกว่างที่ทุกขั้นตอนอื่น ๆ มากเกินไป เมื่อกระบวนการ communicator กับยุคถูกต้อง มีสองกรณี 1) กระบวนการ communicator ได้ถูกเพิกถอนแล้ว แล้วการเรียกกลับลดลงข้อความและส่งกลับค่า 2) กระบวนการ communicator ไม่ได้รับการยก เลิก ได้ แล้วถูกเพิกถอนทันที และข้อความยกเลิกออกอากาศให้เพื่อนบ้านทั้งหมด เมื่อ communicator ที่ถูกเพิกถอนครั้งแรก การรายการของ MPI ร้องขอที่ค้างอยู่จะเคลื่อนคำขอทั้งหมดใน communicator ที่ทำเครื่องหมายเป็นเสร็จสมบูรณ์แล้วในข้อผิดพลาด สถานะถูกตั้งค่าเป็นรหัสข้อผิดพลาดพิเศษ MPIX_ERR_REVOKED รอ RDMA การดำเนินงานจะถูกยกเลิก และจะถอนการลงทะเบียนของหน่วยความจำ คิวตรงกัน และไม่คาดคิดของ communicator ที่จะยังไม่เหมือนกันการละทิ้งบางส่วนของข้อความขาเข้า

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

อย่างไรก็ตามข้อความแจ้งเตือนเพิกถอนไม่ได้โพสต์ภายใต้การควบคุมของผู้ใช้และดังนั้นพวกเขาจะไม่แล้วเสร็จก่อน MPI_COMM_FREE ดังนั้นจึงยังคงเป็นไปได้ว่า
บางคนยังคงถูกจัดส่งหลังจากหลวมตรงกัน MPI_COMM_FREE ได้เสร็จสิ้น เพื่อที่จะแยกแยะระหว่างการสื่อสารที่แตกต่างกันโดยใช้ดัชนีเดียวกันข้อความยกเลิกสารประกอบดัชนีที่มีจำนวนยุคคิดเป็นกี่ครั้งที่ดัชนีนี้ได้รับการจัดสรร ที่สำคัญสารนี้จะถูกนำมาใช้เพื่อดำเนินการค้นหา Communicator (ในกรณีของข้อความเพิกถอนเพียงข้อความ MPI ปกติยังคงจ้าง MPI ปกติที่ตรงกับ
ตัวระบุบริบทเท่านั้น) หากมีการสื่อสารที่ไม่อยู่อีกต่อไป (ยุคข้อความที่ต่ำกว่ายุคดัชนี) ข้อความยกเลิกจะลดลง; นี้มีความปลอดภัยเป็นเมื่อ Communicator ไม่อยู่อีกต่อไปที่ MPI_COMM_FREE ตรงกันหลวมรับประกันได้ว่าจะได้รับการปลดปล่อยในกระบวนการอื่น ๆ ทุกคนมากเกินไป เมื่อ Communicator กับยุคที่ถูกต้องอยู่แล้วมีสองกรณี; 1) Communicator ได้รับการเพิกถอนแล้วโทรกลับลดลงข้อความและผลตอบแทนนั้น 2) Communicator ยังไม่เพิกถอนแล้วมันถูกเพิกถอนทันทีและข้อความยกเลิกการออกอากาศไปยังประเทศเพื่อนบ้านทั้งหมด เมื่อมีการสื่อสารที่ถูกเพิกถอนเป็นครั้งแรกที่
รายการที่รอการร้องขอ MPI เหี่ยวแห้งเพื่อทำเครื่องหมายคำขอทั้งหมดใน Communicator ว่าจะเสร็จในข้อผิดพลาด สถานะของพวกเขาถูกกำหนดให้เป็นรหัสข้อผิดพลาดพิเศษ MPIX_ERR_REVOKED รอการดำเนินงาน RDMA จะถูกยกเลิกและการลงทะเบียนของหน่วยความจำที่มีการถอนตัว นอกจากนี้ยังมีคิวที่ไม่คาดคิดและการจับคู่ของ Communicator นอกจากนี้ยังมีแยบยลที่จะทิ้งเศษข้อความขาเข้า