The callback first seeks the commun

The callback first seeks the communicator associated with the context identifier. A technical difficulty arises here: 1) in Open MPI, context identifiers are actually indices in an
array, and for performance reasons it is desirable to reuse lower indices as soon as the related communicator is freed, rather than increase the size of the communicator associative array; 2) MPI_COMM_FREE is not synchronizing. As a consequence, in some cases, a message may arrive after the associated communicator has been freed locally, and it is important to verify that the operation has no side effects on an unrelated communicator reusing that context identifier. In
more details, imagine that, in plan A, Pr posts a reception from Ps; meanwhile, process Pk revokes the communicator, which interrupts the reception at Pr. Now, imagine that the
delivery of the revoke notification is unusually slow at Ps, which then proceeds to send its message to Pr, unaware (yet) that it is following a revoked communication plan. As long
as Pr does not free the communicator, the normal matching logic of MPI will correctly dispatch this stall message to the revoked communicator, where it will thereafter be appropriately discarded. However, when Pr frees the communicator, the context identifier becomes available for reuse, and if Pr creates a new communicator (as an example, a duplicate of MPI_COMM_SELF, which requires no communication), then that stall message could incorrectly be delivered in the newly
created communicator. To avoid this caveat without impacting the MPI matching logic, yet still allow for the reuse of the communicator identifiers, the MPI_COMM_FREE function needs to become loosely synchronizing.

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

การเรียกกลับก่อนพยายาม communicator ที่เกี่ยวข้องกับรหัสบริบท ปัญหาทางเทคนิคเกิดขึ้นที่นี่: 1) ใน MPI เปิด ตัวบ่งชี้บริบทเป็นดัชนีจริงในการอาร์เรย์ และเหตุผลประสิทธิภาพการทำงานจะ เป็นนำดัชนีล่างทันทีที่กระบวนการ communicator ที่เกี่ยวข้องคือว่าง แทนที่เพิ่มขนาดของแถวลำดับเชื่อมโยง communicator 2) ไม่มีการซิงโครไนส์ MPI_COMM_FREE เป็นผล ในบางกรณี ข้อความอาจมาถึงหลังจาก communicator ที่เกี่ยวข้องได้ถูกว่างภายใน และจะต้องตรวจสอบว่า การดำเนินการมีผลข้างเคียงใน communicator ไม่เกี่ยวข้องการนำรหัสบริบทที่ ในรายละเอียด คิดว่า แผน a ประชาสัมพันธ์โพสต์ที่จาก Ps กระบวนการ Pk ยกเลิกกระบวนการ communicator ซึ่งขัดจังหวะต้อนรับ ณขณะนี้ผลิตจากเ ขณะส่งการแจ้งเตือนการยกเลิกจะช้าผิดปกติที่ Ps ซึ่งดำเนินการส่งข้อความประชาสัมพันธ์ ไม่ทราบ (ยัง) ที่มันมีต่อแผนการสื่อสารที่ถูกเพิกถอนแล้ว เป็นเวลานานประชาสัมพันธ์ฟรีกระบวนการ communicator ตรรกะตรงปกติของ MPI จะส่งข้อความเข้า communicator ถูกเพิกถอน การที่มันจะหลังจากนั้นได้อย่างเหมาะสมละทิ้งคอกนี้อย่างถูกต้อง อย่างไรก็ตาม เมื่อ Pr เพิ่มกระบวนการ communicator รหัสบริบทจะพร้อมใช้งานสำหรับนำมาใช้ และถ้า Pr สร้าง communicator ใหม่ (ตัวอย่างเช่น MPI_COMM_SELF ซึ่งต้องมีการสื่อสารไม่ซ้ำ), แล้วที่คอกอาจไม่ถูกต้องสามารถส่งข้อความในใหม่communicator สร้างขึ้น เพื่อหลีกเลี่ยงการ caveat นี้ โดยไม่มีผลกระทบต่อการพัฒนาที่ตรงกับตรรกะ ยังยัง อนุญาตให้นำของตัว communicator ฟังก์ชัน MPI_COMM_FREE ต้องเป็นหลวม ๆ ตรง

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

การเรียกกลับครั้งแรกพยายาม Communicator ที่เกี่ยวข้องกับการระบุบริบท ปัญหาทางเทคนิคที่เกิดขึ้นที่นี่: 1) ในการเปิด MPI ตัวระบุบริบทเป็นจริงดัชนีใน
อาร์เรย์และสำหรับเหตุผลประสิทธิภาพเป็นที่พึงปรารถนาเพื่อนำมาใช้ดัชนีที่ลดลงเร็วที่สุดเท่าที่นักสื่อสารที่เกี่ยวข้องเป็นอิสระมากกว่าการเพิ่มขนาดของการเชื่อมโยง Communicator ที่ อาร์เรย์; 2) MPI_COMM_FREE ไม่ตรงกัน เป็นผลให้ในบางกรณีอาจมีข้อความมาถึงหลังนักสื่อสารที่เกี่ยวข้องได้รับการปลดปล่อยในประเทศและเป็นสิ่งสำคัญในการตรวจสอบว่าการดำเนินการมีผลข้างเคียงในการสื่อสารที่ไม่เกี่ยวข้องกับการนำที่ระบุบริบท ใน
รายละเอียดมากขึ้นคิดว่าในแผนพีอาร์โพสต์งานเลี้ยงต้อนรับจากแป้นพิมพ์ PS; ในขณะเดียวกันกระบวนการ Pk ยกเลิก Communicator ซึ่งขัดจังหวะการรับสัญญาณที่ pr ตอนนี้คิดว่า
การจัดส่งการแจ้งยกเลิกช้าผิดปกติที่ PS, ซึ่งจากนั้นจะดำเนินการส่งข้อความเพื่อประชาสัมพันธ์ความไม่รู้ (ยัง) ว่ามันเป็นดังต่อไปนี้แผนการสื่อสารเพิกถอน ตราบใด
ที่เป็นพีอาร์ไม่ได้เป็นอิสระ Communicator ให้ตรรกะการจับคู่ปกติของ MPI ถูกต้องจะส่งข้อความคอกนี้ไป Communicator เพิกถอนที่มันจะถูกยกเลิกหลังจากนั้นเหมาะสม แต่เมื่อ Pr ปลดปล่อย Communicator ให้ระบุบริบทจะพร้อมใช้งานสำหรับการใช้ซ้ำและถ้า Pr สร้าง Communicator ใหม่ (เป็นตัวอย่างซ้ำ MPI_COMM_SELF ซึ่งต้องมีการสื่อสารไม่ได้) แล้วข้อความแผงลอยที่อาจไม่ถูกต้องจะส่งมอบในใหม่
Communicator สร้าง เพื่อหลีกเลี่ยงข้อ จำกัด นี้ได้โดยไม่ส่งผลกระทบต่อการจับคู่ตรรกะ MPI แต่ยังคงอนุญาตให้นำมาใช้ใหม่ของตัวระบุ Communicator ที่ฟังก์ชั่น MPI_COMM_FREE ความต้องการที่จะกลายเป็นหลวมตรงกัน

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

กลับก่อนพยายามสื่อสารที่เกี่ยวข้องกับบริบทที่ระบุ . ความยากทางเทคนิคเกิดขึ้นที่นี่ : 1 ) เปิด MPI , ระบุดัชนีในบริบทจริง ๆเรย์ และ สำหรับเหตุผลประสิทธิภาพเป็นที่น่าพอใจ การใช้ ดัชนีลดลงทันทีที่สื่อสารที่เป็นอิสระมากกว่าการเพิ่มขนาดของ Communicator Assessment ; 2 ) mpi_comm_free ไม่ตรงกัน . อย่างไรก็ดี ในบางกรณี ข้อความอาจมาถึงหลังที่เกี่ยวข้องและได้รับการปลดปล่อยภายใน และมันเป็นสิ่งสำคัญที่จะตรวจสอบว่า การดำเนินงานไม่มีผลข้างเคียงในการใช้ระบุว่าไม่เกี่ยวข้องและบริบท . ในรายละเอียดเพิ่มเติม ลองจินตนาการว่า ในแผน PR โพสต์รับจาก PS ; ในขณะเดียวกัน PK เพิกถอนกระบวนการสื่อสารซึ่งขัดขวางไว้ได้แล้ว จินตนาการว่าจัดส่งของเพิกถอนประกาศช้าผิดปกติใน PS ซึ่งแล้วเงินที่จะส่งข้อความไปยังพีอาร์โดยไม่รู้ตัว ( ยัง ) มันคือต่อไปนี้เพิกถอนแผนการสื่อสาร . นานเป็น PR ไม่ฟรี Communicator ปกติตรงกับตรรกะของ MPI จะถูกต้องส่งข้อความคอกนี้ให้เพิกถอน Communicator ที่มันจะไม่สามารถละทิ้ง อย่างไรก็ตาม เมื่อ PR ช่วยให้สื่อสาร ในบริบทของจะพร้อมใช้งานเพื่อนำกลับมาใช้ใหม่ และถ้า PR สร้างสื่อสารใหม่ ( ตัวอย่าง ซ้ำ mpi_comm_self ซึ่งต้องไม่มีการสื่อสาร ) แล้วข้อความอาจไม่ถูกต้องส่งมอบในคอกใหม่สร้างการสื่อสาร . เพื่อหลีกเลี่ยงนี้ โดยไม่ส่งผลกระทบต่อบุคลิกภาพ caveat ตรงกับตรรกะ แต่ยังคงอนุญาตให้ใช้สื่อสารระบุ การทำงานของ mpi_comm_free ต้องกลายเป็นหลวมตรงกัน .