[mpiwg-tools] [MPIWG Fortran] Proposal: MPI_SIZEOF not profiled

Jeff Squyres (jsquyres) jsquyres at cisco.com
Mon May 19 13:19:58 CDT 2014


Ok.  Will any other Fortran people be there?  (besides me)


On May 19, 2014, at 2:03 PM, Martin Schulz <schulzm at llnl.gov> wrote:

> Yes, sounds like it - I¹ll take 428 off the list then. We should take some
> time on Monday afternoon as part of the tools WG time to talk about this.
> 
> Martin
> 
> ________________________________________________________________________
> Martin Schulz, schulzm at llnl.gov, http://scalability.llnl.gov/
> CASC @ Lawrence Livermore National Laboratory, Livermore, USA
> 
> 
> 
> 
> 
> 
> 
> 
> On 5/19/14, 8:35 AM, "Jeff Squyres (jsquyres)" <jsquyres at cisco.com> wrote:
> 
>> I think we need to push this errata out to the Japan meeting.  There
>> seems to be a bunch of subtlety here; trying to rush this through today
>> does not seem like a good idea just to meet the T-2 week deadline for the
>> Chicago meeting (which technically expires at 2pm US Central time today
>> -- which is about 3.5 hours from now).
>> 
>> Let me try to summarize the salient points so far:
>> 
>> 1. The old text kinda sucks:
>>  a. it says "macros" (including the section title) where it really
>> means "not interceptable"
>>  b. p19 implies that these function can only be macros in C (not
>> inlined, and not in Fortran), which seems to contradict p555
>> 
>> 2. We need to add the Status conversion functions in there
>> 
>> 3. We want to add MPI_SIZEOF (which is Fortran-only, BTW) to the list
>> 
>> 4. The use of the word "inline" seems to be a bad idea because it can
>> have many different meanings.  We should say that these functions are not
>> interceptable, which is the real requirement.
>> 
>> 5. I think it would be better to change p555 to not say "macros" (i.e.,
>> "non-interceptable"), but rather to say "the routines listed in 2.6.4"
>> (i.e., who cares what the reason is -- just cite 2.6.4 and let 2.6.4
>> explain everything).
>> 
>> Is that all?
>> 
>> 
>> 
>> 
>> On May 19, 2014, at 11:08 AM, Rolf Rabenseifner <rabenseifner at hlrs.de>
>> wrote:
>> 
>>> Yes, the "allowed as macros" on MPI-3.0 p555:32
>>> would allow a different mechanism for these routines
>>> that makes them non-interceptable.
>>> 
>>> If this "non-interceptable" is done by other means
>>> than macro, then p555:35 "For routines implemented
>>> as macros, it is still required that the PMPI_
>>> version be supplied" would not apply!
>>> 
>>> It is bad to use different wording for having
>>> better English quality ;-(
>>> 
>>> And your are right, my "#ifdef MPI_Wait" says
>>> therefore nothing.
>>> 
>>> Do you all agree that wording in
>>> p19:48 - p20:5 and p555:31-37 is at all inconsistent
>>> and therefore new and useful wording is needed
>>> in this erratum?
>>> 
>>> Rolf 
>>> 
>>> ----- Original Message -----
>>>> From: "N.M. Maclaren" <nmm1 at cam.ac.uk>
>>>> To: "MPI-WG Fortran working group" <mpiwg-fortran at lists.mpi-forum.org>
>>>> Sent: Monday, May 19, 2014 4:35:10 PM
>>>> Subject: Re: [MPIWG Fortran] [mpiwg-tools] Proposal: MPI_SIZEOF not
>>>> profiled
>>>> 
>>>> On May 19 2014, Rolf Rabenseifner wrote:
>>>>> 
>>>>> Bill,
>>>>> 
>>>>> your text goes beyond the errata goal.
>>>>> 
>>>>> The errata goal was:
>>>>> - adding the missing Status conversion
>>>>> - adding MPI_SIZEOF
>>>>> 
>>>>> And this works as errata.
>>>>> 
>>>>> Your goal is to allow also
>>>>> - Fortran non-interceptable for these routines.
>>>>> 
>>>>> Your additional Change is to allow other methods
>>>>> than C macros for C.
>>>>> This would prevent "#ifdef MPI_Wtime".
>>>>> 
>>>>> All this would be MPI-4.0 and not MPI-3.0 errata.
>>>> 
>>>> Would it?  I don't know what useful effect you would expect
>>>> "#ifdef MPI_Wtime" to achieve, but it assuredly would NOT tell
>>>> you (reliably) whether or not it can be accessed through the
>>>> profiling interface.  14.2 says:
>>>> 
>>>>   1. provide a mechanism through which all of the MPI defined
>>>>   functions, except those allowed as macros (See Section 2.6.4),
>>>>   may be accessed with a name shift.
>>>> 
>>>> Because it says "ALLOWED as macros", MPI_Wtime may not be accessed
>>>> through the profiling interface, whether or not it is implemented
>>>> as a macro.  Doing so is a user error, leading to undefined
>>>> behaviour.
>>>> Therefore, an implementation may implement them as C inline
>>>> functions,
>>>> and would meet all of the requirements of MPI.
>>>> 
>>>> The error is more pervasive than just for Fortran.  Because it did
>>>> not say what it meant, but something that was equivalent under K&R C
>>>> (sic), it wasn't strictly true in C90 and was rendered significantly
>>>> misleading (arguably erroneous) by C99.  And that's the reason that
>>>> some people get very unhappy about the proposed partial fix.
>>>> 
>>>> It's also why the best solution is to regard ALL of the wording as
>>>> an error - which would probably mean starting a new ticket.  But it's
>>>> definitely an error in the wording, not a change.
>>>> 
>>>> 
>>>> Regards,
>>>> Nick Maclaren.
>>>> 
>>>> _______________________________________________
>>>> mpiwg-fortran mailing list
>>>> mpiwg-fortran at lists.mpi-forum.org
>>>> http://lists.mpi-forum.org/mailman/listinfo.cgi/mpiwg-fortran
>>>> 
>>> 
>>> -- 
>>> Dr. Rolf Rabenseifner . . . . . . . . . .. email rabenseifner at hlrs.de
>>> High Performance Computing Center (HLRS) . phone ++49(0)711/685-65530
>>> University of Stuttgart . . . . . . . . .. fax ++49(0)711 / 685-65832
>>> Head of Dpmt Parallel Computing . . . www.hlrs.de/people/rabenseifner
>>> Nobelstr. 19, D-70550 Stuttgart, Germany . . . . (Office: Room 1.307)
>>> _______________________________________________
>>> mpiwg-fortran mailing list
>>> mpiwg-fortran at lists.mpi-forum.org
>>> http://lists.mpi-forum.org/mailman/listinfo.cgi/mpiwg-fortran
>> 
>> 
>> -- 
>> Jeff Squyres
>> jsquyres at cisco.com
>> For corporate legal information go to:
>> http://www.cisco.com/web/about/doing_business/legal/cri/
>> 
>> _______________________________________________
>> mpiwg-tools mailing list
>> mpiwg-tools at lists.mpi-forum.org
>> http://lists.mpi-forum.org/mailman/listinfo.cgi/mpiwg-tools
> 
> 
> _______________________________________________
> mpiwg-fortran mailing list
> mpiwg-fortran at lists.mpi-forum.org
> http://lists.mpi-forum.org/mailman/listinfo.cgi/mpiwg-fortran


-- 
Jeff Squyres
jsquyres at cisco.com
For corporate legal information go to: http://www.cisco.com/web/about/doing_business/legal/cri/




More information about the mpiwg-tools mailing list