<div dir="ltr"><br><div class="gmail_extra"><br><div class="gmail_quote">On Sat, May 30, 2015 at 8:35 AM, Hal Finkel <span dir="ltr"><<a href="mailto:hfinkel@anl.gov" target="_blank">hfinkel@anl.gov</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">Hi Alex,<br>
<br>
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.<br>
<br>
I'll mention for those unfamiliar, that MPI is an active committee-developed specification (<a href="https://urldefense.proofpoint.com/v2/url?u=http-3A__mpi-2Dforum.org_docs_docs.html&d=AwMFaQ&c=8hUWFZcy2Z-Za5rBPlktOQ&r=CnzuN65ENJ1H9py9XLiRvC_UQz6u3oG6GUNn7_wosSM&m=jCh-2LKb-IzSy5OaYh3ajjtRIXUwvehbrxmOSFc9-xU&s=KcFHR8k2rXQfmo4S-DW2-XLJrS8u4aqC6EmEgsLNIF8&e=" target="_blank">http://mpi-forum.org/docs/docs.html</a>) 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.<br></blockquote><div><br></div><div>Is MPI related to OpenMP in any way? Are they complementary? competing?</div><div><br></div><div>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?</div><div><br></div><div>-- Sean Silva</div><div> </div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
<br>
 -Hal<br>
<div class="HOEnZb"><div class="h5"><br>
----- Original Message -----<br>
> From: "Alexander Droste" <<a href="mailto:alexander.ra.droste@googlemail.com">alexander.ra.droste@googlemail.com</a>><br>
> To: <a href="mailto:cfe-dev@cs.uiuc.edu">cfe-dev@cs.uiuc.edu</a><br>
> Sent: Saturday, May 30, 2015 5:34:33 AM<br>
> Subject: [cfe-dev] MPI-Checker - Static Analyzer<br>
><br>
> Hi everyone,<br>
><br>
> I've written a Static Analyzer Checker for MPI code<br>
> which is published on GitHub <a href="https://urldefense.proofpoint.com/v2/url?u=https-3A__github.com_0ax1_MPI-2DChecker&d=AwMFaQ&c=8hUWFZcy2Z-Za5rBPlktOQ&r=CnzuN65ENJ1H9py9XLiRvC_UQz6u3oG6GUNn7_wosSM&m=jCh-2LKb-IzSy5OaYh3ajjtRIXUwvehbrxmOSFc9-xU&s=g7KttFEqiaR-UMjQB9KWWmoLiWrJzonq3XGDG7FVvvI&e=" target="_blank">https://github.com/0ax1/MPI-Checker</a>.<br>
> Aside from those wanting to analyze their MPI code maybe this could<br>
> also<br>
> be useful for people starting to write their own checker.<br>
><br>
> Best regards,<br>
> Alex<br>
> _______________________________________________<br>
> cfe-dev mailing list<br>
> <a href="mailto:cfe-dev@cs.uiuc.edu">cfe-dev@cs.uiuc.edu</a><br>
> <a href="http://lists.cs.uiuc.edu/mailman/listinfo/cfe-dev" target="_blank">http://lists.cs.uiuc.edu/mailman/listinfo/cfe-dev</a><br>
><br>
<br>
</div></div><span class="HOEnZb"><font color="#888888">--<br>
Hal Finkel<br>
Assistant Computational Scientist<br>
Leadership Computing Facility<br>
Argonne National Laboratory<br>
</font></span><div class="HOEnZb"><div class="h5">_______________________________________________<br>
cfe-dev mailing list<br>
<a href="mailto:cfe-dev@cs.uiuc.edu">cfe-dev@cs.uiuc.edu</a><br>
<a href="http://lists.cs.uiuc.edu/mailman/listinfo/cfe-dev" target="_blank">http://lists.cs.uiuc.edu/mailman/listinfo/cfe-dev</a><br>
</div></div></blockquote></div><br></div></div>