[cfe-dev] MPI-Checker - Static Analyzer

[Alexander Droste]

Hi Sean,

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).

Best Regards,
Alex

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
>
>
>>
>>   -Hal
>>
>> ----- 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
>> http://lists.cs.uiuc.edu/mailman/listinfo/cfe-dev
>>
>