[cfe-dev] MPI-Checker - Static Analyzer
chisophugis at gmail.com
Tue Jun 2 13:37:04 PDT 2015
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
-- 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
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the cfe-dev