Comments on my personal work for MPI-4.1: ----------------------------------------- Together with many forum members, I was active in about 73-75 issues. Most of them very merged into MPI-4.1. I'm happy, that I could help to add or enhance several sections, especially 2.4 Semantic Terms . . . . . . . . . . . . . . . . . . . . . . . . . . 11 2.4.1 MPI Operations . . . . . . . . . . . . . . . . . . . . . . . 11 (New state for operations: "enabled" and "a priori enabled") 2.4.2 MPI Procedures . . . . . . . . . . . . . . . . . . . . . . . 14 (Enhancment: "The definition of local and nonlocal MPI procedures can also be applied to a specific procedure invocation or to procedure calls under certain constraints.") 2.9 Progress . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 27 (New section that is now reporting the secrets about progress that were strongly hidden from the public since MPI-1. :-) This new section only reports the existing rules; it has not changed the progress rule from previous MPI versions. It also includes a link to the new Example 12.13 that shows problems if using self-written synchronizations based on shared memory variables.) 3.6 Buffer Allocation and Usage . . . . . . . . . . . . . . . . . . . 58 (the new understanding that flush routines are helpful/needed) 3.7 Nonblocking Communication . . . . . . . . . . . . . . . . . . . . 69 (that the introduction now includes both, to prevent deadlocks and serializations) A.2 Summary of the Semantics of all Operation-Related Routines . . . 875 (the work now also includes the missing sections from MPI-4.0. Therefore, the MPI-4.0 side doc could now be moved into the standard) B.1 Changes from Version 4.0 to Version 4.1 . . . . . . . . . . . . 1045 (new section) I am sad that I was not able to convince the MPI forum that the definition of MPI_Dims_create should be clarified, nor that weighted routines should be defined for MPI_Dims_create and a combined weighted routine for MPI_Dims_create + MPI_Cart-create: #683 MPI_Dims_create AtoI Failed Ballot Quorum https://github.com/mpi-forum/mpi-issues/issues/683 https://github.com/mpi-forum/mpi-standard/pull/810 https://github.com/mpi-forum/mpi-standard/files/10849064/mpi41-report_Issue683_PR810_late1.pdf #120 MPI_Cart_create_weighted Failed Ballot Quorum (without MPI_Dims_create_weighted) https://github.com/mpi-forum/mpi-issues/issues/120 https://github.com/mpi-forum/mpi-standard/pull/98 https://github.com/mpi-forum/mpi-standard/files/11002155/mpi41-report_Issue120_PR98_final.pdf MPI_Dims_create_weighted + MPI_Cart_create_weighted is still there in the combined PR812 for #120 https://github.com/mpi-forum/mpi-issues/issues/120 https://github.com/mpi-forum/mpi-standard/pull/812 https://github.com/mpi-forum/mpi-standard/files/10842552/mpi41-report_Issue120_PR98.pdf Best regards and many wishes for you all and your future work in the MPI forum, Rolf ----- Forwarded Message ----- From: "Rolf Rabenseifner" To: "Christoph Niethammer" , "Tobias Haas" , "Claudia Blaas-Schenner" Sent: Tuesday, July 18, 2023 6:27:11 PM Subject: Votes at MPI-Forum meeting July 10-13, 2023 Hallo alle zusammen, Ein letztes Update ... (aber eigentlich nicht mehr ganz aktuell, ca. 73-75 issues, bei denen ich irgendwie aktiv war). Viele Gruesse Rolf ======================= Vorbereitung des des July 2023 Meetings: *=MERGED #=conflict manually resolved ^=July-vote announced 39 Tickets sind schon erledigt 37xMERGED, 2xCLOSED (37x merged: 6xChristoph, 3xBill, 5xJoseph, 1xHoward, 1x Benson, 1x Julien, 1x Martin Ru., 19xRolf) Noch in Bearbeitung (34x = 1x voting alarm + 10x late chapter committee + 22x regular): Still open: 1 CC-VOTE-FEHLT 724 (PR843 Wesley) Fix comment on Info object in incomplete functions: falsches Rationale (zu #411 PR739 Martin S.) 6.7.2023 Approved durch mich 13.7.2023 Nochmals request for approval an Martin Schulz 2 CONFLICTS 2nd vote passed - durch Martin S.: #586 PR736, #685 PR808 MY LAST PULL REQUEST: 1 merged PR855 - Sort des Change-log - without an issue - my last PR!!! VOTING-ALARM: [ 1 (withdrawn?) 737 we should vote with NO!!!!! --> wird zurueckgezogen -> keine Vote :-) ] Late chapter committee tickets: 1 merged 716 (PR835 Ken Raffenetti) longest specific procedure name 1 merged 717 (PR836 Marc-Andre Hermanns) change-log for MPI_T_... #160/PR161 [1 newPR #718 (PR837 Dan Holmes) operation->operator ueberall und change-log (zu #429 PR637 und #280 PR490) modPR plus update in PR823 disconnect / finalize / SESSION_FINALIZE --> wird auf MPI-4.2 oder 5.0 vertagt. (#429 PR637 "Operator in RMA-chapter" bleibt erhalten) ] 1 merged 720 (PR839 Dan, sessions) MPI_Comm_spawn requires MPI_Init -> errata change-log fehlt (zu #434 (PR618 Howard Pritchard) 1 merged 721 (PR841 Dan, sessions) MPI_LASTUSEDCODE -> errata change-log fehlt (zu #545 PR657 Howard Pritchard) 1 merged 723 (PR842 Dan, sessions) errhandler fallback with Sessions -> (errata) change-log fehlt (zu #588 PR644 Aurelien Bouteiller) 1 merged 719 (PR840 Joseph) add MPI_Status_{set,get} for 3 status fields -> change-log fehlt (zu #645 PR767 Jeff Hammond) 1 merged 634 (PR747 Joseph Schuchart) Rephrase MPI_WIN_SYNC -> ICH change-log entry braucht noch issue+PR-comment-line 1 714 (PR844 Wesley) Credits 6.5.2023: Ich habe eine Korrektur vorgeschlagen Voting: 1 merged 2nd vote passed - durch Christoph: 457-^ (PR 804, latest branch merged into PR, 12.7.2023) --> Bill + Wesley: Bitte um merging, 12.7.2023 1 merged 2nd vote passed - durch Dan: 639-^ (PR750) 1 merged 2nd vote passed - durch mich+Puri: 485-^ (PR 803, latest branch merged into PR, 12.7.2023) --> Bill + Wesley: Bitte um merging, 12.7.2023 1 merged 2nd vote passed - durch mich: 669-^ (PR 788, latest branch merged into PR, 11.7.2023) --> Bill + Wesley: Bitte um merging, 12.7.2023 2 merged Errata reading+vote passed - von mir: 705(+657) (PR822 Joseph) "constants" 1 merged Errata reading+vote passed - von mir: 679 (PR820) "Noncollective (for procedure) and nonpersistent" 1 merged Errata reading+vote passed - von mir: 710 (PR823) "MPI_Comm_disconnect + ...finalize" 1 merged Errata reading+vote passed - von mir: 676 (PR824->825) "pending->active" 1 merged ChapterCommittee von Guillaume: 687 (PR827) "MPI_Comm_disconnect calls the attr-delete-callbacks" Failed wegen zuvielen "abstains": 1 1st vote durch mich: 120 MPI_Cart_create_weighted Failed Ballot Quorum 10x Abstain by ANL, Atos, Cornelis, INRIA, Kichakato Kiziko, ParaTools, TUM, U.Alabama, and ---- (Bill Gropp), UTK, Uni.Grenoble (abstain at all votes) 1 1st vote durch mich: 683 MPI_Dims_create AtoI Failed Ballot Quorum 9x Abstain by ---, ----, Cornelis, INRIA, Kichakato Kiziko, ParaTools, TUM, U.Alabama, and UIUC (Bill Gropp), UTK, Uni.Grenoble (abstain at all votes) 0 saved Dims_create AtoI, Cart_create_weighted, Dims_create_weighted: PR812 zu #120 Not ready: 8 Not ready, ich involviert: 529, 539, 559, 602, 614, 506, 508, (633) -- Ich habe fuer mich entschieden, dass ich diese 7+(1) nicht mehr bearbeite. -- 61 Tickets _______________________ Ergebnisse des May 2023 Meetings: *=MERGED #=conflict manually resolved ^=July-vote announced 34 Tickets sind schon erledigt 32xMERGED, 2xCLOSED (32x merged: 6xChristoph, 3xBill, 3xJoseph, 1xHoward, 1x Benson, 18xRolf) Noch in Bearbeitung (24x): 1 2nd vote, von mir: 543* (PR791) PASSED 2 2nd vote, von Joseph: 23+no-no * , 652* ALL 2xPASSED 2 2nd vote: 57* (PR790 Julien), 518 (PR623 Martin R. #-ToDo) ALL 2xPASSED 2 1st vote durch Christoph: 639, 457-^ ALL 2xPASSED 2 1st vote durch Martin S.: 586, 685 ALL 2xPASSED 1 1st vote durch mich+Puri: 485-^ (ggf. als Chapter-Committee-Vote) PASSED 1 1st vote durch mich: 669-^ PASSED 1 1st vote durch mich: 120 MPI_Cart_create_weighted Failed Ballot Quorum 10x Abstain by ANL, Atos, Cornelis, INRIA, Kichakato Kiziko, ParaTools, TUM, U.Alabama, and ---- (Bill Gropp), UTK, Uni.Grenoble (abstain at all votes) 1 1st vote durch mich: 683 MPI_Dims_create AtoI Failed Ballot Quorum 9x Abstain by ---, ----, Cornelis, INRIA, Kichakato Kiziko, ParaTools, TUM, U.Alabama, and UIUC (Bill Gropp), UTK, Uni.Grenoble (abstain at all votes) 0 saved Dims_create AtoI, Cart_create_weighted, Dims_create_weighted: PR812 zu #12 5 Informal errata reading von mir: 705(+657) (PR821->PR822 Joseph), 679 (PR820), 710 (PR823), 676 (PR824->825) --> July 2023: errata reading + errata vote 8 Not ready, ich involviert: 529, 539, 559, 602, 614, 506, 508, (633) -- Ich habe fuer mich entschieden, dass ich diese 7+(1) nicht mehr bearbeite. -- 59 Tickets _______________________ Ergebnisse des March 2023 Meetings: 34 Tickets sind schon erledigt 32xMERGED, 2xCLOSED (32x merged: 6xChristoph, 3xBill, 3xJoseph, 1xHoward, 1x Benson, 18xRolf) Noch in Bearbeitung (24x): 1 1st vote, von mir: 543 (ich) PASSED 2 1st vote nach no-no reading+vote, Joseph: 23, 652 ALL 2xPASSED 2 1st vote nach no-no reading+vote: 57 (Julien), 518 (Martin R.) ALL 2xPASSED 2 Readings durch Christoph: 639+no-no, 457 DONE 2 Readings durch Martin S.: 586+NoNo, 685 DONE 1 Readings durch mich+Puri: 485 (ggf. als Chapter-Committee-Vote) DONE 2 Readings durch mich: 669+NoNo, 120+NoNo (sehr dick) DONE 1 Reading durch mich: 683 (NoNo failed+reverted) DONE ! wird ggf. zuviele "No" bei der Abstimmung bekommen, zumindest 1xUIUC Bill Gropp 10 Not ready, ich involviert: 676, 529, 679, 539, 559, 602, 614, 506, 508, 657, (633) -- Ich habe fuer mich entschieden, dass ich diese 9+(1) nicht mehr bearbeite. 0 saved Dims_create AtoI, Cart_create_weighted, Dims_create_weighted: PR812 zu #120 1 Discus.in May Errata r.+vote in July 2023: Fort. comp-time const, Rolf, 705 TODO -- 58 Tickets _______________________ Problems: I'll be there only Tue-Thu, May 2-4, 2023. On Wed, May 3, I'll have to leave 15 Min. earlier. I hope that all 4.1 readings can be done on May 2, no-no-votes on May 3, and all errata, 1st, and 2nd votes on May 4. Here my list of issues that I'm still looking for / observing / etc. : ! - 676 'Pending operation' not defined, pending proper definition (errata?) Rolf !! I'll try to check these items on Tuesday morning, May 2, 2023 I expect, that for each item, an independent errata PR can be proposed ! - 529 Adapt Example 11.6 using Issend+Cancel Should go to MPI-4.2 or 5.0 ! - 679 (Terms, "non coll"+"non persist") braucht 2 votes )-: (or as errata) !! PR 820 -> informal errata reading !! informal reading is done !! ToDo: Nochmals commented pdf machen, da waehrend des Informellen Readings geaendert. !! Announce Errata reading + Vote in July ! - 539 Deprecate MPI_COMM_TYPE_HW_GUIDED Guillaume M. (noch ohne PR) Outside of my technical scope ! - 559 RMA: depreciate MPI_PROD and MPI_M**LOC from RMA Jeff H. (noch ohne PR) Outside of my technical scope ! - 602 (Bindings, %%SKIP) hat als CC keine Deadline (-: Still to be done - after the May meeting (pure CC/editor level) ! - 614 (Bindings, index semantic terms) hat als CC keine Deadline (-: Puri would move it to MPI-4.2 or later. I think that also good as CC-level after the May 2023 meeting. ! - 506 Create Python test to ensure Fortran symbols do not go beyond 70 chars Outside of my technical scope ! - 508 Amazon e-book/on-demand option for MPI-4.1 (and beyond) Outside of my technical scope ! - 633/PR805 comment von wgropp: White examples --> grey Issue/PR is officially closed/merged, but there are still some white examples. !! I'll try to check it during or after the May 2023 meeting ! - 657 standard-violating case-switch Jeff H. (PR 775) !! I expect, that the right way would be to define in C all "const int (or unnamed enum) constants" !! as compile-time constants (as for Fortran in #705 / PR819) !! -> informal errata reading !! -> PR 775 would be then obsolete !! -> neuer PR 821 ! - 705 Fortran compile-time const - PR819 - late informal reading From my side: text okay, formatting: termdef (bold) --> term (cursiv) !! @Wesley need to be added to the agenda, probably before any 4.2/5.0 discussions !! -> neuer PR 821 (for #705 and #657 together) About your unscheduled items for MPI 4.1 (according to the link in your agenda): To Do: - not on my list above: 526, 312, 326, 445, 497, 502, 508, 549, 64, 569, 575, 577, 616, 621, 636, 659, 668, 682 in my list above: 529, 539, 559, 506 ====== ALLE TICKETS bei denen ich involviert bin (21+37 = 58 tickets) ========= _________________ STILL IN PROGRESS (7+3+3+3+4 = 20 tickets)_______________ Terms - still in progress (chapter chair: Claudia Blaas Schenner) [7 tickets]: -------- 2nd vote May 2023 announced -------------------------- -------- 1st vote May 2023 announced -------------------------- 669 Add operation state 'enabled' and 'local calls' into Terms Rolf (Links, s.o.) - Issue https://github.com/mpi-forum/mpi-issues/issues/669 - PR https://github.com/mpi-forum/mpi-standard/pull/788/files - PDF https://github.com/mpi-forum/mpi-standard/files/10758712/mpi41-report_Issue669_PR788.pdf - Reading ist announced und in Agenda 639 MPI_WAIT is nonlocal, except when it isn't Dan, Joseph - https://github.com/mpi-forum/mpi-standard/pull/750/files - Eigentlich erledigt durch 669 (...'enabled' and) 'local calls' into Terms Rolf - Dan hat den neuen Text gemacht und das reading announced - is in Wesley's agenda -------- Informal errata reading -------------------------------- ! - 705 Fort. comp-time const - PR819 - late informal reading Rolf -------- Under discussion --------------------------------------- ! 676 'Pending operation' not defined, pending proper definition Rolf - noch kein PR // nur geloest in #543 fuer MPI_Comm_free ! 529 Adapt Example 11.6 using Issend+Cancel - noch kein PR // ich habe noch keine Idee, wie eine Alternative aussehen koennte ! 679 Noncollective (for procedure) and nonpersistent are not defined Julien Jaeger - noch kein PR ! 657 standard-violating case-switch Jeff H. (PR 775) !! - I expect, that the right way would be to define all non-handle constants !! as compile-time constants (as for Fortran in #705 / PR819) _____________________________________ Topology Chapter - still in progress (chapter chair: Rolf Rabenseifner) [3 tickets]: -------- 1st vote May 2023 announced -------------------------- 457 Improvements around the word "rank" in the Process Topologies chapter Christoph,Rolf - https://github.com/mpi-forum/mpi-standard/pull/804 - https://github.com/mpi-forum/mpi-standard/files/10831527/mpi41-report_Issue457_PR804.pdf - It is a copy of the old&closed https://github.com/mpi-forum/mpi-standard/pull/543 - I asked Christoph, Guillaume and Dan for a review. - Now, for not wasting forum time, it is better to keep the text as it is! 683 Question: MPI_Dims_create - is "as close to each other as possible" a requirement? Rolf,Christoph (Issue: Jeff H.) - Reading + No-No-Vote (green marker - better English, refs in sequence of numbers) - https://github.com/mpi-forum/mpi-standard/pull/810 (ich) - https://github.com/mpi-forum/mpi-standard/files/10842980/mpi41-report_Issue683_PR810.pdf 120 MPI_Cart_create_weighted / Topology aware Cartesian communicators Rolf,Christoph - https://github.com/mpi-forum/mpi-standard/pull/98 (Christoph (+ich Schreibrecht)) - https://github.com/mpi-forum/mpi-standard/files/10842552/mpi41-report_Issue120_PR98.pdf _____________________________________ Deprecate/Remove/Inconsist - still in progress (chapter chair: Rab/Rab/Wesley) [3 tickets]: -------- unter Beobachtung -------------------------------------- ! 539 Deprecate MPI_COMM_TYPE_HW_GUIDED Guillaume M. (noch ohne PR) ! 559 RMA: depreciate MPI_PROD and MPI_M**LOC from RMA Jeff H. (noch ohne PR) _____________________________________ Binding - still todo / in progress (chapter chair: Puri) [3 tickets]: -------- 1st vote May 2023 announced -------------------------- 485 Fix Incorrect Usage of Rank/Task/etc. in Language Bindings Chapter Rolf,Puri - https://github.com/mpi-forum/mpi-standard/pull/803/files - https://github.com/mpi-forum/mpi-standard/files/10831598/mpi41-report_Issue485_PR803.pdf (!)- Puri + Tony + Victor: I asked them for a chapter committee review. Puri approved (!)- Bill + Wesley: I ask whether it is okay to mark it as chapter committee level Wesley: They decide later !-------- chapter-committee-PR must be done !!!!!!!!!!!!!! --------------- ! 602 Bindings - Code examples improperly marked: %%SKIP - Still to be done - after the March meeting (pure CC/editor level) ! 614 Bindings - Index Operation Semantics - Puri would move it to MPI-4.2 or later - I think that also good as CC-level after the May 2023 meeting _____________________________________ OTHER - still in progress [4 tickets]: -------- 1st vote May 2023 announced -------------------------- 586 MPI_Buffer_attach and Sessions Martin S.,Jeff,Rolf (Link, s.o.) 685 Adding iflush (straw poll: via request handles) Martin S. -------- to do (editor change by Bill Gropp) -------------------- ! 506 Create Python test to ensure Fortran symbols do not go beyond 70 chars ! 508 Amazon e-book/on-demand option for MPI-4.1 (and beyond) _________________________ DONE (38 tickets) ___________________________________ Terms - Done (chapter chair: Claudia Blaas Schenner): errata-voted+merged+closed 499 Errata Issue O - MPI_WIN_TEST with same progress as MPI_TEST Rolf reading+chapter-committee-vote+merged+closed 492 Issue M - progression->progress in coll.tex Rolf 2nd-vote+merged 468 Issue K - MPI_REQUEST_GET_STATUS with same progress as MPI_TEST Rolf 2nd-vote+merged 471 Fix Incorrect Usage of Rank/Task/etc. in Terms Chapter Rolf 2nd-vote+merged 641 Including Annex A.2 back into the standard Rolf 2nd-vote+merged 493 Issue N - Progress-Section in terms-2.tex Rolf 2nd-vote+merged 564 Fortran Binding Issues and Capitalization Benson Muite 2nd-vote+merged 543 'Pending operation' in MPI_Comm_free is not defined Rolf _____________________________________ Topology Chapter - Done (chapter chair: Rolf Rabenseifner): errata-voted+merged+closed 556 MPI_Cart_Coords maxdims/ndims mixup missing from MPI 3.1 to MPI 4.0 Rolf reading+chapter-committee-vote+merged+closed 605 Topologies - Add Example Titles Rolf reading+chapter-committee-vote+merged+closed 412 Update topology examples 8.8 and 8.10 Rolf reading+chapter-committee-vote+merged+closed 648 Topology LIS text improvements Christoph reading+chapter-committee-vote+merged+closed 649 Topology - use of MPI process where necessary Christoph reading+chapter-committee-vote+merged+closed 650 Topology improvement around the term virtual topology Christoph reading+chapter-committee-vote+merged+closed 651 Topology typos and smaller text improvements Christoph 2nd-vote+merged 644 Update 'Process Topology' chapter title to use 'MPI process' Christoph _____________________________________ RMA - Done: 2nd-vote+merged 553 RMA: Add missing win-sync calls to Example 12.21 Joseph 2nd-vote+merged 554 RMA: both MPI_WIN_ALLOCATE and MPI_WIN_ALLOCATE_SHARED allocate memory Joseph 2nd-vote+merged 23 Allow MPI_WIN_SHARED_QUERY on created and allocated windows Joseph 2nd-vote+merged 652 RMA: Examples 12.4 and 12.5 contain advice to implementors Joseph _____________________________________ Deprecate/Remove/Inconsist - Done: reading+chapter-committee-vote+merged+closed 420 Clean up Separation of items in Deprecated, Deleted and Backwards compatibility chapters Rolf 2nd-vote+merged 561 Deprecate mpif.h Joseph 2nd-vote+merged 57 Deprecate MPI_HOST (mit PR790 von Julien Jaeger) Julien (,Jim Dinan) 2nd-vote+merged 518 Deprecate all _x procedures (PR623 -> PR829 Dan) Martin R. _____________________________________ Binding - Done (chapter chair: Puri): 2nd-vote+merged 535 Language bindings chapter needs updating for Sessions model Howard Pr. (no changelog) editor+merged 276 Consistent use: Section 18.1.4 - p. 643 - Fix Cases Bill Gropp editor+merged 220 Update: Section 18.1.16 - p. 671 - Add Section Name Links Bill Gropp editor+merged 175 No Change: Section 18.1.20 - p. 681 - Move Examples Bill Gropp (done w/o PR???) editor+merged 235 Bindings - Shorten Example Index Names Rolf (PR 805) editor+merged 607 Bindings - Add Example Titles Rolf (PR 805) editor+merged 244 Bindings - Mark Erroneous Examples Rolf (PR 805) editor+merged 610 Bindings - Fix Example Environment Rolf (PR 805) editor+merged 633 Bindings - Update verbatim examples to example environment Rolf (PR 805) - All 5 done together: https://github.com/mpi-forum/mpi-standard/pull/805/files - https://github.com/mpi-forum/mpi-standard/files/10832007/mpi41-report_Issue235%2B607%2B244%2B610%2B633_PR805-v03.pdf editor+merged 278 Consistent use: Section 18.1.9 - p. 661 - Replace Rolf,Puri - https://github.com/mpi-forum/mpi-standard/pull/802 (!)- chapter committee vote = reviews angefragt: Tony + Victor. Puri done. - https://github.com/mpi-forum/mpi-standard/files/10831642/mpi41-report_Issue278_PR802.pdf closed this "as not planned" 623 Bindings - Export "outcome is as if..." code fragments as proper examples _____________________________________ Binding - Summary - Done (chapter chair: Rolf): reading+chapter-committee-vote+merged+closed 560 what does 'equivalent to Fortran' mean Rolf _____________________________________ Other - Done: errata-voted+merged+closed 589 Issues with Partitioned Communication Example-4.4 (reread with No No) Christoph 2nd-vote+merged 565 Refer to Fortran 2018 instead of 2008+TS Rolf+Jeff H. withdrawn 684 Automatic buffering default Martin S. - Withdrawn, da dadurch vor erstem Buffer_attach noch ein Detach noetig waere !!! -- Dr. Rolf Rabenseifner . . . . . . . . . .. . . rabenseifner@hlrs.de . High Performance Computing Center (HLRS) . . . ++49(0)711/685-65530 . University of Stuttgart . . . . . . www.hlrs.de/people/rabenseifner . Nobelstr. 19, 70569 Stuttgart, Germany