InterNational Committee for Information Technology Standards (INCITS) Secretariat: Information Technology Industry Council (ITI) 700 K Street NW, Suite 600, Washington, DC 20001 www.incits.org PL22.3-2023-00068-m231-draft-agenda.txt INCITS/Fortran Meeting #231 Draft Agenda October 16, 18, 2023: 5.00 PM - 8.00 PM Eastern Time (UTC-4) October 23, 25, 2023: 5.00 PM - 8.00 PM Eastern Time (UTC-4) Meeting #231 is a virtual meeting. Teleconference details is provided separately in J3 forum for members. I. Monday, October 16, 2023 -- 5:00PM - 8:00PM EDT (UTC-4) -------------------------------------------------------------- 1. Opening Business - R. Budiardja 1. INCITS Code of Conduct http://www.incits.org/standards-information/policies 2. INCITS Patent Policy and Antitrust http://www.incits.org/standards-information/legal-info 3. Beginning membership report - L. Menard Reference: 23-229 4. Beginning Treasurer's report - J. Steidel Reference: 23-230 5. Approval of draft agenda - R. Budiardja 1. Reference document: PL22.3-2023-00068-m231-draft-agenda.txt Clune/LeAir As amended UC 7. Approval of Meeting 230 minutes - R. Budiardja 1. Reference document: PL22.3-2023-00067-m230-minutes.txt Menard/Pettey UC 2. National Items 1. Liaison reports 1. INCITS report (if any) - R. Budiardja 2. MPI Liaison report (if any) - J. Hammond Reference: 23-228 3. OpenMP Liaison report (if any) - B. Long Reference: 23-227 4. flang Liaison report (if any) - M. LeAir Reference: 23-224r1 5. OpenACC Liaison report (if any) - J. Larkin Under active development again 6. fortran-lang/LFortran (if any) - O. Certik Reference: 23-225 7. Vulnerabilities - Tom Clune Reference: 23-226 2. INCITS Action Item #0032: Call for 2024 National Maintenance Recommendations Tabled until final Wednesday. 3. International Items - S. Lionel Final version of the standard has been submitted to ISO. No dissents from any of the international organization, nor any comments. 4. Other Business - R. Budiardja 1. Comments from members 2. Tutorials (if needed) 3. Subgroup Organization JoR: Lorri: Gary, Steve, Antigoni, Aury HPC: Bill: John Reid, Jon, Brian C, Daniel, Generics: Tom: Brad, Magne, JohnR, Will meet @3:00EST on Tuesday For Wednesday: 23-211->215 for discussion Revised syntax paper for vote: 23-222. Data: Malcolm: 23-223, wants to work via email. Edit: Interp: For wednesday 210r1, 220r1, 221r1 5. Subgroup Reports (if needed) Recessed 6:30 II. Wednesday, October 18, 2023 -- 5:00PM - 8:00PM EDT (UTC-4) ---------------------------------------------------------- 1. F202Y Plenary - subgroup heads (5:00PM) /Generics -- Deferred 23-222 "Formal syntax for generics" -- Discussion 23-211 "Array Bounds of Constants in Templates" [Richardson] Discussion of "deferred" vs "constant" New paper for Monday -- Discussion 23-212 "Keyword Arguments of Deferred Procedures in Templates" [Richardson] New paper for Monday -- Discussion 23-213 "The Use of Deferred Constants to Define Kind and Rank" [Richardson] Much discussion about whether compiler can/should determine that the expressions are the same. New paper for Monday -- Discussion: 23-214 "logical REQUIREMENT in templates" [Clune] Paper describes a feature we chose not to do. ** Motion 23-215 "polymorphic deferred types" [Clune](Clune/Richardson) As amended, roll-call vote: Nvidia Yes Lionel Abstain ORNL Yes Los Alamos Yes Dancing Abstain ARM Yes IBM Abstain Nasa Yes LBL Yes AMD Abstain NCAR Abstain HPE No Intel Yes Livermore Absent 7 Yes 5 Abstain 1 No 1 Absent == 14 /Interp ** Motion 23-210r1 "Interp: coarray potential subobject components" [Reid,Bader,Cohen](Cohen/Steidel) As amended UC ** Motion 23-220r1, "Interp for MOVE_ALLOC with FROM a coarray" [Reid,Bader,Cohen](Cohen/Maddhipatla) UC ** Motion 23-221r1 "Interp for MOVE_ALLOC with TO a coarray" [Reid,Bader,Cohen](Cohen/Menard) UC /JoR No business today /HPC No business today /Data No business today /Edit No business today 2. Tutorials (if needed) Recess at 7:30 III. Monday, October 23, 2023 -- 5:00PM - 8:00PM EDT (UTC-4) ---------------------------------------------------------- 1. F202Y Plenary - subgroup heads (5:00PM) /Generics Deferred to Wednesday: 23-211r1 "Array Bounds of Constants in Templates" 23-212r1 "Keyword Arguments of Deferred Procedures in Templates" 23-213r1 "The Use of Deferred Constants to Define Kind and Rank" 23-236r1 " Templates in CONTAINS section" /Interp ** Motion 23-216r1 "F2023 interp: CHANGE TEAM to INITIAL_TEAM" [Richardson,Cohen](Cohen/Raghu) UC ** Motion 23-233r1 "Interp: NULL for named procedure pointers" [Corbett,Cohen](Cohen/Clune) UC ** Motion 23-239 "Finalizing coarrays" [Cohen](Cohen/Richardson] UC /JoR -- Withdrawn 23-231 "Fortran FLUSH statement SYNC= specifier proposal" [Steidel](Menard/Lionel) -- Discussion 23-232 "JOR: Asynchronous Tasks in Fortran" [Hammond] For discussion and feedback. Below are some of the notes from the discussion/feedback - Require a locality spec for everything referenced by host association. - Not opposed to term "TASK", but "ASYCNC BLOCK" might be more consistent - Very similar to ASYNC i/o which has "id=", again would be more consistent. - Variables should have ASYNC attribute, maybe even implicitly. - If we had INTENT specifications that would make it clearer - May add option to declare that all called routines are pure -- Withdrawn 23-234 "IEEE-754 Recommended Math Functions" [Richardson] (Menard/Richardson) Withdrawn for rework -- Discussion 23-235r1 "SCAN and CO_SCAN" [Richardson] Straw vote: Keep and propose as F202y Y: 18 N: 0 U: 2 Withdrawn for rework /HPC 23-217 deferred until Wednesday. /Data ** Motion 23-223r1 "Formal requirements for generic procedures" [Reid, Iwashita, Cohen](Cohen/LeAir) Requirement part only for this meeting. As amended to be requirements part only UC /Edit No business SUBGROUP heads send email about papers within next 12 hours 2. Tutorials (if needed) IV. Wednesday, October 25, 2023 -- 5:00PM - 8:00PM EDT (UTC-4) ---------------------------------------------------------- 1. F202Y Plenary - subgroup heads (5:00PM) /National ** Motion 23-242 "Reaffirmation of INCITS/ISO/IEC 1539-1:2018[2019] Standard" [Budiardja](Menard/Klimowicz) UC /Generics ** Motion 23-211r1, "Array Bounds of Constants in Templates" [Richardson] (Clune/Richardson) UC ** Motion 23-212r1"Keyword Arguments of Deferred Procedures in Templates" [Richardson](Clune/LeAir) Straw vote: Option 2: inconsistent keywords disallowed among requirements without an explicit interface in the template Option 1: Inconsistent keywords are OK, but then keyword use is forbidden Option 1: 13 Option 2: 6 Undecided: 4 As amended UC ** Motion 23-213r1 "The Use of Deferred Constants to Define Kind and Rank" [Richardson](Clune/Richardson) Very long discussion. As amended to specify concrete syntax equivalence. Straw vote: Paper is sufficient 12 Paper is insufficient as amended 2 Undecided (needs more examples) 8 ** Motion 23-214r3 "Logical REQUIREMENT in templates" [Clune](Clune/LeAir) UC -- Discussion 23-236r1 Templates in CONTAINS section" [Clune] Straw vote: Templates in contained 3 Templates in specification 0 Template procedures(like module procedures) 16 Undecided 3 /Interp ** Motion 23-243 "Interp: Coarray correspondence in DEALLOCATE" [Cohen] (Cohen/Richardson) As amended UC ** Motion 23-219r1 "Interp on correspondence of unallocated coarrays" [Reid,Bader,Cohen](Cohen/Clune) UC (expecting a new paper in February) /JoR ** Motion 23-231r1 "Reply to request for FLUSH (SYNC=" [Steidel,Menard] (Menard/Lionel) UC ** Motion 23-234r1 "IEEE-754 Recommended Math Functions" [Richardson] (Menard/Richardson) After a lively discussion, amended to add "pow", and UC ** Motion 23-235r2 "SCAN and CO_SCAN" [Richardson,Menard] (Menard/Richardson) UC /HPC ** Motion 23-217 "Usable Polymorphism in Coarrays" [Richardson] (Long/Maddhipatla) For inclusion in 202y UC /Data ** Motion 23-244 "Formal specifications for generic procedures" [Cohen](Cohen/Klimowicz) As amended /Edit No business 2. Closing Business 1. Future meetings - R. Budiardja February: Feb 26-Mar 1 Reminder to fill in form from Kate Local arrangements are available. 2. Ending Treasurer's report - J. Steidel No activity, closing with same amount 3. Closing membership report - L. Menard Every member was represented here at this meeting for at least one session 3. Comments from Members There will be a Preprocess sub-subgroup 4. Adjournment @7:55 PM ESTw