Are you proposing that we specify a weak rule here, one which we beleive
everyone will really implement?
BTW I have always been a firm supporter of a strict/accurate interpretation of
the progress rule. I go to great lengths to try to ensure that it is met on my
From: Eric Salo on Fri, Jan 24, 1997 11:33 AM
Subject: Re: 5.6 Semantics and correctness
> It is entirely legal to defer one sided operations to the complete. In
> contrast it is NOT legal to defer a non-blocking send or recv until the
But most of us do it anyway, as the good Mr. Burns so eloquently points out:
Fortunately, the total lack of correct implementations has resulted
in the acceptance of the weak interpretation of the progress rule.
Otherwise, you would need to have or to build an OS to implement MPI
-- Eric Salo Silicon Graphics Inc. "Do you know what the (415)933-2998 2011 N. Shoreline Blvd, 8U-802 last Xon said, just email@example.com Mountain View, CA 94043-1389 before he died?"
------------------ RFC822 Header Follows ------------------ Received: by MSMAIL4.HAC.COM with SMTP;24 Jan 1997 11:33:11 -0800 Received: from antares.mcs.anl.gov (126.96.36.199) by EDEN.HAC.COM (PMDF V4.3-7 #5884) id <01IEL8OPF8S000J7W2@EDEN.HAC.COM>; Fri, 24 Jan 1997 11:32:46 PST Received: (from listserv@localhost) by antares.mcs.anl.gov (8.6.10/8.6.10) id NAA16376 for mpi-1sided-out; Fri, 24 Jan 1997 13:28:45 -0600 Received: from sgi.sgi.com (SGI.COM [188.8.131.52]) by antares.mcs.anl.gov (8.6.10/8.6.10) with ESMTP id NAA16371 for <firstname.lastname@example.org>; Fri, 24 Jan 1997 13:28:40 -0600 Received: from mrjones.engr.sgi.com ([184.108.40.206]) by sgi.sgi.com (950413.SGI.8.6.12/950213.SGI.AUTOCF) via ESMTP id LAA04236 for <@sgi.engr.sgi.com:email@example.com>; Fri, 24 Jan 1997 11:30:01 -0800 Received: by mrjones.engr.sgi.com (950413.SGI.8.6.12/940406.SGI.AUTO) for firstname.lastname@example.org id LAA06128; Fri, 24 Jan 1997 11:27:51 -0800 Date: Fri, 24 Jan 1997 11:27:50 -0800 From: Eric Salo <email@example.com> Subject: Re: 5.6 Semantics and correctness In-reply-to: "Lewins, Lloyd J" <firstname.lastname@example.org> "5.6 Semantics and correctness" (Jan 24, 9:16am) Sender: email@example.com To: mpi-1sided <firstname.lastname@example.org> Message-id: <9701241127.ZM6126@mrjones.engr.sgi.com> MIME-version: 1.0 X-Mailer: Z-Mail (3.2.3 08feb96 MediaMail) Content-type: text/plain; charset=us-ascii Content-transfer-encoding: 7BIT Precedence: bulk References: <n1358024848.19785@MSMAIL4.HAC.COM>