[cfe-dev] MPI-Checker - Static Analyzer
alexander.ra.droste at GOOGLEMAIL.com
Tue Jun 2 13:39:29 PDT 2015
I would say they work complementary.
In general OpenMP works with shared memory (within a computing node)
while MPI works with distributed memory (communication between nodes).
On 02.06.15 22:37, Sean Silva wrote:
> On Sat, May 30, 2015 at 8:35 AM, Hal Finkel <hfinkel at anl.gov> wrote:
>> Hi Alex,
>> Thanks for posting this! If you're willing to go through the code review
>> process (which might include breaking it into pieces), and Ted, et al.,
>> agree, I'd love to see this functionality upstream. Not only may it be
>> great example code (I'll let Ted and Anna make that determination), but MPI
>> is *the* critical interface for almost all large-scale parallel scientific
>> programming, and the potential audience for this checker is sizable. I'm
>> certainly willing to help with the code review as well.
>> I'll mention for those unfamiliar, that MPI is an active
>> committee-developed specification (http://mpi-forum.org/docs/docs.html)
>> for high-performance message passing with numerous implementations (both
>> open source and from many vendors). The first version of the specification
>> was published in 1994, and the latest version published in 2012.
> Is MPI related to OpenMP in any way? Are they complementary? competing?
> Sorry, but a quick googling didn't turn up a clear answer. It seems like
> OpenMP is within a single machine and MPI is across machines or something
> like that?
> -- Sean Silva
>> ----- Original Message -----
>>> From: "Alexander Droste" <alexander.ra.droste at googlemail.com>
>>> To: cfe-dev at cs.uiuc.edu
>>> Sent: Saturday, May 30, 2015 5:34:33 AM
>>> Subject: [cfe-dev] MPI-Checker - Static Analyzer
>>> Hi everyone,
>>> I've written a Static Analyzer Checker for MPI code
>>> which is published on GitHub https://github.com/0ax1/MPI-Checker.
>>> Aside from those wanting to analyze their MPI code maybe this could
>>> be useful for people starting to write their own checker.
>>> Best regards,
>>> cfe-dev mailing list
>>> cfe-dev at cs.uiuc.edu
>> Hal Finkel
>> Assistant Computational Scientist
>> Leadership Computing Facility
>> Argonne National Laboratory
>> cfe-dev mailing list
>> cfe-dev at cs.uiuc.edu
More information about the cfe-dev