https://github.com/spoutn1k/acproject

MPI validation GCC plugin
https://github.com/spoutn1k/acproject

Last synced: 3 days ago
JSON representation

MPI validation GCC plugin

• Host: GitHub
• URL: https://github.com/spoutn1k/acproject
• Owner: spoutn1k
• Created: 2019-10-01T07:50:20.000Z (about 5 years ago)
• Default Branch: master
• Last Pushed: 2020-04-30T20:04:14.000Z (over 4 years ago)
• Last Synced: 2024-12-13T20:41:33.860Z (9 days ago)
• Language: C++
• Homepage:
• Size: 933 KB
• Stars: 0
• Watchers: 2
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md

Awesome Lists containing this project

README

        
# Advanced Compilation Project

## `MPI` collective detection and validation at compilation

This project builds a `gcc` plugin, inserting a pass verifying that all the `MPI` collectives defined in the code are executed by every possible iteration of the algorithm.

## How to use it

Just make the shared object by calling `make` in the `src` folder, then use it as a regular plugin.

To launch the verification process on a function, the following pragma has been defined:

```

#pragma mpicoll check function

#pragma mpicoll check (function1, function2)

```