[cfe-dev] MPI-Checker - Static Analyzer
hfinkel at anl.gov
Tue Jun 2 13:38:48 PDT 2015
----- Original Message -----
> From: "Sean Silva" <chisophugis at gmail.com>
> To: "Hal Finkel" <hfinkel at anl.gov>
> Cc: "Alexander Droste" <alexander.ra.droste at googlemail.com>, "Clang" <cfe-dev at cs.uiuc.edu>
> Sent: Tuesday, June 2, 2015 3:37:04 PM
> Subject: Re: [cfe-dev] MPI-Checker - Static Analyzer
> On Sat, May 30, 2015 at 8:35 AM, Hal Finkel < hfinkel at anl.gov >
> 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?
Complementary. MPI+OpenMP is a very popular programming model now.
> 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
> > also
> > be useful for people starting to write their own checker.
> > Best regards,
> > Alex
> > _______________________________________________
> > cfe-dev mailing list
> > cfe-dev at cs.uiuc.edu
> > http://lists.cs.uiuc.edu/mailman/listinfo/cfe-dev
> Hal Finkel
> Assistant Computational Scientist
> Leadership Computing Facility
> Argonne National Laboratory
> cfe-dev mailing list
> cfe-dev at cs.uiuc.edu
Assistant Computational Scientist
Leadership Computing Facility
Argonne National Laboratory
More information about the cfe-dev