Draft: Fortran Support

Testing using level 2

Disqualified Tests:

• Passing NULL/MPI_REQUEST_NULL causes compile errors in Fortran, disqualifying InvalidParam tests that do this
  • Disqualifies 17 tests (lvl1) / 136 (lvl2)
• A lot of tests are currently removed due to datatypes, i.e., MPI C types that do not exist / are not implemented yet for Fortran
  • No effect on lvl1, as only MPI_INT and MPI_DOUBLE are used / 501 disqualified (lvl2)

Unfixable, but not disqualified:

• InvalidParam-Status-mpi_recv-002: MPI_STATUSES_IGNORE rejected by compiler, different rank than expected
  • Error class does not exist for Fortran. Disqualifies 1 test (lvl1) / 16 (lvl2)

MPI Issues:

• https://github.com/open-mpi/ompi/issues/9534 - Causes issues with Precv_Init / Psend_init. Need recent OpenMPI version to avoid this
• https://github.com/open-mpi/ompi/pull/13308 - Bug in OpenMPI-git causes compilation failure as well

Types are translated from C to Fortran where applicable, though currently only for MPI_INT -> MPI_INTEGER, MPI_DOUBLE -> MPI_DOUBLE_PRECISION, MPI_C_BOOL -> MPI_LOGICAL as most Fortran MPI types are optional. Tests are formatted using fprettify (available from pip, added to Pipfile).

Common Issues encountered:

• MPI does not differentiate between bool and int, but does between integer and logical.
  • Workaround: Use bool where applicable in C code, then translate to logical
• Different integer size expectations cause compilation failures (no automatic extension)
  • Workaround: During parsing of apis.json, save the integer width, and perform explicit widening if needed.
• C usage of address-of-integer as a one-dimensional array does not work in Fortran
  • Workaround: Replace uses thereof with proper arrays
• Array Indexing starts at 1
  • Workaround: Implement explicit indexing to match C

MPI-BugBench bugs (since remembering to write them down):

• Deadlock in CallOrdering-mpi_improbe-mpi_send-001, wrong parameter used as flag
  • Note: Deadlock also happens in InvalidParam-flag-mpi_iprobe-002, but intended? (not_allocated flag is not waited on, but the "normal" one)

assigned to @yussur.oraji

added 1 commit

• a2cd7888 - Replace old lang disjunction with arrasgn

Compare with previous version

added 2 commits

• 0a92c94f - Start making complex mismatch generic
• bd2ac593 - Cart create for fortran

Compare with previous version

added 1 commit

• e5deffe4 - Workaround C23 and avoid warning for bool

Compare with previous version

changed the description

added 2 commits

• 7b224996 - Genericise some declarations
• c6f0ed8a - Improve array handling

Compare with previous version

added 9 commits

• b3284343 - More ArrAsgn
• 62bc2062 - Use MPI_REQUEST_NULL to obfuscate error from fortran compiler
• 1678935a - Fix broken assignment
• 7b1a8f22 - More uses of logical for fortran (and bool for C)
• 183fe2fc - TemplateFactory bools for flag
• 460e9b38 - Minor fixes
• 5065b02a - Minor fixes (again)
• 253e40c3 - Fix lvl2 rma issues
• fbebf093 - Rework more uses of int flag (>lvl2 only)

Compare with previous version

changed the description

changed the description

added 10 commits

• 43ff2485 - Fix issues with modulo operator
• d77731f8 - Forbid datatypes with no fort->c mapping
• 659a5871 - Fix output for basic template
• 02cdaddb - Fix mpi_type_create_struct
• 95113dc9 - HACK: Mark statusES tests as fort incompatible
• df923cf8 - Fix issues with probe flags
• d0ba14b7 - Fix more flag issues
• 81b1400a - Add type_create_hvector stride to bigint
• 18216a0f - Fix fort Precv/Psend
• b42d7210 - Generic for mpi_intercomm_create_from_groups

Compare with previous version

added 3 commits

• 32b0ac2c - Improve formatting
• 73f000f9 - Add support for bool, lock supported types
• af88d25a - Rework mpi_intercomm_create_from_groups for fortran

Compare with previous version

added 3 commits

• 0cff18bb - Fix indexing for allocate
• b92c3d05 - Add generic for loops and if branches
• 20a74b67 - Port ComplexMismatch

Compare with previous version

added 1 commit

• 3ef72ddf - Fix some branch C syntax issues

Compare with previous version

added 4 commits

• 1d6bdba1 - Fix issues with C code utilizing mpi_intercomm_create_from_groups
• e4a90331 - Add output.csv to gitignore
• 0d6e15d7 - Fix linter issues
• bf081719 - Fix local/globalconcurrency tests

Compare with previous version

added 4 commits

• ae1e86e7 - Misc fixes
• bfe074f5 - Remove unneeded cast
• fb529750 - Fix C generation for test
• a747b03a - Remove unused variable

Compare with previous version

added 5 commits

• 9067f625 - Begin adjusting runscript for fortran
• 5bce4105 - Fix copied filename
• ffd12ee1 - Update MUST
• 511be5f4 - Fix last few compilation errors
• f78c7155 - Fix some compilation warnings

Compare with previous version

changed the description

added 1 commit

• ea9157aa - Fix copy-paste issue

Compare with previous version

added 2 commits

• 193e4652 - Fix parsing MUST results
• 5751bd3d - Add c_fort_compat

Compare with previous version

added 2 commits

• ad3fa125 - Fix missing error marker for InvalidParam-Buffer-mpi_(i)mrecv
• 589d49e6 - Fix wrong modulo comp

Compare with previous version

added 1 commit

• 88e831eb - Fix window parameter for RMA test

Compare with previous version