From: "Jeffrey R. Carter" <spam.jrcarter.not@spam.not.acm.org>
Subject: Re: surprise data from Ada.Sequential_IO
Date: Mon, 22 Mar 2021 20:41:57 +0100 [thread overview]
Message-ID: <s3aru5$7tg$1@dont-email.me> (raw)
In-Reply-To: <becc53b7-4e93-4d6b-8202-df8165ecbeedn@googlegroups.com>
On 3/22/21 7:14 PM, John Perry wrote:
>
> For Direct_IO I inferred this fact from ARM A.8.3, "the file is viewed as a set of elements occupying consecutive positions in linear order", but I don't see a similar indication for Sequential_IO. Is there a warning in the ARM about this?
>
> (I do see the warning in Barnes' book, which I had consulted! and saw! and decided not to use Direct_IO as a result! but somehow read the same thing about Sequential_IO & either forgot or mis-concluded something. So I acknowledge my stupidity here.)
The only differences between Direct_IO and Sequential_IO are that Direct_IO
allows random access and mixed input and output. In both cases the file contains
a sequence of binary representations of values of a single type.
I don't really understand why Sequential_IO exists, since Direct_IO provides a
superset of Sequential_IO's functionality.
--
Jeff Carter
"One day he told me he was a gynecologist. He
couldn't speak no foreign languages."
Take the Money and Run
147
next prev parent reply other threads:[~2021-03-22 19:41 UTC|newest]
Thread overview: 8+ messages / expand[flat|nested] mbox.gz Atom feed top
2021-03-22 17:13 surprise data from Ada.Sequential_IO John Perry
2021-03-22 17:40 ` Jeffrey R. Carter
2021-03-22 18:14 ` John Perry
2021-03-22 19:41 ` Jeffrey R. Carter [this message]
2021-03-22 20:54 ` Niklas Holsti
2021-03-23 9:18 ` Jeffrey R. Carter
2021-03-22 21:25 ` Shark8
2021-03-22 17:48 ` Dmitry A. Kazakov
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox