2020 04 08

2020-04-08 meeting minutes

Attendees:

• Jeff Squyres
• Martin Rüfenacht
• Dan Holmes
• Puri Bangalore

Discussion about git merging of Pythonization PR

• Fixed a non-varargs thingy that Rolf found
• A few Rolf things left to do:
  • 2 types of F08 generation:
    • One that renders "this does not exist"
    • One that does not render
    • \mpifnewnonebind requires latex changes to render "Fortran 2008 Binding"
      • this is for Bill
  • Fix parameters that break across lines
    • Jeff thinks this is ridiculous
  • Martin will auto generate spacing around ::
  • Fixing the indenting is a Bill problem; it's not our problem
    • F08 descriptors wrap to next line, but are not indented, Rolf wants indentation for clarity

Adding properties to Pythonization (semantic terms)

Here was the winner from last meeting:

\begin{mpi-binding}

    function_name("MPI_Finalize")

    # Then invoke all the parameter() calls (for this example -- MPI_Finalize --
    # yes, this is meaningless, but I'm just being explicit here for purpose of
    # explanation in the notes)
    parameter(...)
    parameter(...)
    parameter(...)

    # Then use one or more functions to define the properties for this function
    properties_set(Operation.COLLECTIVE[, foo, bar, ...])
    if parameters.output.flag == True:
        properties_add(Locality.NON_LOCAL)
    else:
        properties_add(Locality.LOCAL)

\end{mpi-binding}


Dan and Puri did a bunch of work to come up with a "Miro" diagram to describe the predicate logic.

That diagram was then taken to the semantic terms WG and more discussion ensued.

The diagram is in a good state, but it is not yet complete.

When it gets closer to complete, then Dan/Puri will come back to design the Python. The above example might be a good starting point... but we'll see.

Next steps

Martin/Jeff

• Finish the Pythonization PR

Puri/Dan:

• Keep working with the semantic terms WG