From owner-sc22wg5@open-std.org  Tue Dec  2 14:46:12 2008
Return-Path: <owner-sc22wg5@open-std.org>
X-Original-To: sc22wg5-dom7
Delivered-To: sc22wg5-dom7@www2.open-std.org
Received: by www2.open-std.org (Postfix, from userid 521)
	id 2E346C56D20; Tue,  2 Dec 2008 14:46:12 +0100 (CET)
X-Original-To: sc22wg5@open-std.org
Delivered-To: sc22wg5@open-std.org
Received: from mailrelay1.lrz-muenchen.de (mailrelay1.lrz-muenchen.de [129.187.254.106])
	by www2.open-std.org (Postfix) with ESMTP id 6A101C178E1
	for <sc22wg5@open-std.org>; Tue,  2 Dec 2008 14:46:10 +0100 (CET)
Received: from [129.187.15.179] ([129.187.15.179] [129.187.15.179]) by mailout.lrz-muenchen.de with ESMTP; Tue, 2 Dec 2008 14:45:37 +0100
Message-Id: <49353C01.6040603@lrz.de>
Date: Tue, 02 Dec 2008 14:45:37 +0100
From: Reinhold Bader <Reinhold.Bader@lrz.de>
User-Agent: Thunderbird 2.0.0.12 (X11/20080226)
MIME-Version: 1.0
To: sc22wg5@open-std.org
Cc: Rolf Rabenseifner <rabenseifner@hlrs.de>
Subject: Re: (j3.2006) Comment on N1761
References: <20081127195627.3CEA7C178D6@www2.open-std.org>	<4931AB69.7070007@lrz.de> <200812011440.22725.donev1@llnl.gov>
In-Reply-To: <200812011440.22725.donev1@llnl.gov>
Content-Type: text/plain; charset=ISO-8859-1; format=flowed
Content-Transfer-Encoding: 7bit
Sender: owner-sc22wg5@open-std.org
Precedence: bulk

Hello,

Aleksandar Donev schrieb:
> Hi,
> 
> 
>> call MPI_send(y,size(y)) ! Sequence association
>> <----non-conforming?
> 
>> In my opinion, the marked line would be non-conforming even under the
>> additional rules specified by TR29113, since it contravenes p290, para 13
>> of the F2008 draft standard 08-007r2, which disallows matching of actual
>> arguments of arbitrary ranks to the assumed size dummy of rank one *for
>> a generic interface*.
> You are right.
> 
>> If my critique is correct, there are the following choices:
>>
>> * Give up having a generic interface, or use the assumed size only
>>    for 1-d arrays. This would only require correcting the above example.
> This is only an example, so of course one can change it. But ultimately what 
> we want is a facility that can be used with arguments of different ranks. It 
> is not worth sacrificing this just for the generic interface. I guess the 
> user will have to keep track of multiple procedure names instead of a 
> generic.

This will hardly be acceptable to the MPI folks. Note especially that MPI
calls on scalar buffers can not be done in a backward compatible manner at all.

> 
> 
>> * Add an exception to the above-mentioned rule, applying for TYPE(*)
>> arguments  of assumed size.
> I think this is not an acceptable option. The reason for the rank-matching 
> requirement has nothing to do with type matching, so making exception for 
> TYPE(*) only is a hack.

I agree. Isn't it also a hack to enforce rank-matching for assumed-size entities?

  I believe that for DIMENSION(:) this rule
> (p290, para 13) does not and should not apply.

Again, this might give headaches to the MPI people (maybe not as big as the one
mentioned above): Additional C wrapper routines using the extended interop
descriptors would be needed in the MPI interface. This is why they want to
retain passing by address also in the Fortran interface.

> 
> Thanks,
> Aleks
> 

Regards
Reinhold