comp.lang.ada
 help / color / mirror / Atom feed
From: "Warren W. Gay VE3WWG" <ve3wwg@cogeco.ca>
Subject: Re: ISO/IEC 14519 - Ada POSIX binding
Date: Mon, 23 Jun 2003 12:36:28 -0400
Date: 2003-06-23T12:36:28-04:00	[thread overview]
Message-ID: <3EF72C8C.8080103@cogeco.ca> (raw)
In-Reply-To: m3he6jsiqi.fsf@insalien.org

Ludovic Brenta wrote:
> Marin David Condic writes:
>>Ludovic Brenta wrote:
>>>POSIX has been around for a long time now, and yes, people do rely
>>>on it.  The revision process is long and thorough, much like the
>>>Ada standard's.
...
>>>POSIX stands for Portable Operating System Interface for uniX.  It
...
>>It is an "abstract interface" for a UNIX-like implementation. There
>>are OS's besides UNIX and possibly in the next ten years or so that
>>an Ada standard would have to live, there may be a bunch more
>>non-UNIX operating systems out there. I have no objection to POSIX
>>or UNIX - just suggesting that an Ada standard would do well to not
>>dictate either POSIX or UNIX as the only possible answer.
> 
> Maybe you have a point here ("all problems can be solved with an
> additional level of indirection", I think was the quote).  It probably
> depends on how difficult it would be to implement POSIX.5 sockets on
> non-POSIX platforms.  Furthermore, I would think that anyone designing
> a new OS in the next ten years would want to make it POSIX-compliant,
> because it would be too difficult to try an impose an alternative API.

That might be good advice, but that has nothing to do with the
present discussion. Embedded systems are not likely to care to
support any concept of POSIX. Also, who knows: maybe there will
be a resurgence of interest in O/S design, and something radically
new and improved will emerge. Why force what can be O/S neutral
to tie itself unnecessarily to one O/S standard?

In fact, I will even go out on a limb here and state that any
Ada.Sockets standard can be completely new in an API sense. It
only has to address the same networking _needs_. The purpose of
the Ada.Sockets package is not for porting C programs to Ada.

New Ada programs can completely disregard prior [API] art,
in terms of how the same functions are achieved. In fact, there
is a strong probability that this will be the case, in order to
preserve the Ada strengths, like Ada streams.

All that is required is that the new standard carefully be
designed to be _portable_ to platforms that it is likely
to be used upon. The rest is mere vendor implementation detail.

> In fact, you've probably noticed that even the MVS and z/OS mainframe
> operating systems became POSIX-compliant for just that reason.
> 
> So, if anyone on this newsgroup wants to implement a sockets package
> in Ada, I'd suggest they make sure the external API is POSIX.5,
> whatever their underlying platform is.

I don't agree, and my reasons are similar to Marin's. Certainly
there is no reason not to use POSIX underneath the hood, where
it makes sense. But I see no need to tie an Ada standard to a
POSIX standard. Nor do I see a need to make an Ada interface
match a C-ish UNIX one (for the record, I am a UNIX fan, saying
this).

>>>P.S. There is already an implementation of the POSIX standard
>>>available at no cost under the GPL.  It is called FLORIST and is
...
> Currently, I am aware of only one platform that remains non-POSIX, and
> that is Windows.  Yet I don't think it would be impossible to write a
> POSIX.5 thick binding on top of it (I mean for sockets, not the entire
> OS).

Given that you will always have O/S's with varieties of O/S APIs, I
see no reason to bind an Ada sockets library on one O/S interface
standard. The goal should be similar to the ones that I presume were
used for Ada.Text_IO : arrive at a portable API that can serve the
majority of needs, for the majority of platforms (I am sure there
are embedded sitatuations where even Text_IO is not implemented).

You'll never standardize an "all singing/dancing"
package, but to come close while remaining portable are the goals
here.

What you seem to imply is that the POSIX API should be the
primary goal instead. This is where I disagree.

-- 
Warren W. Gay VE3WWG
http://home.cogeco.ca/~ve3wwg




  parent reply	other threads:[~2003-06-23 16:36 UTC|newest]

Thread overview: 46+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2003-06-19 21:43 ISO/IEC 14519 - Ada POSIX binding Mark Lorenzen
2003-06-19 21:29 ` tmoran
2003-06-28 23:48   ` Richard Riehle
2003-06-20 11:57 ` Marin David Condic
2003-06-20 14:08   ` Ludovic Brenta
2003-06-20 16:39     ` Warren W. Gay VE3WWG
2003-06-20 18:33       ` tmoran
2003-06-20 19:09         ` Warren W. Gay VE3WWG
2003-06-21 19:14         ` Florian Weimer
2003-06-21 19:42           ` tmoran
2003-06-21 21:04             ` Robert I. Eachus
2003-06-29 15:05             ` Florian Weimer
2003-06-20 19:24       ` Georg Bauhaus
2003-06-20 20:49         ` Warren W. Gay VE3WWG
2003-06-20 20:49       ` Wesley Groleau
2003-06-20 23:05         ` Mark Lorenzen
2003-06-21  1:49         ` David Emery
2003-06-21 19:19           ` Florian Weimer
2003-06-21 21:47             ` David Emery
2003-06-21 22:22               ` Larry Kilgallen
2003-06-23 16:13               ` Warren W. Gay VE3WWG
2003-06-23 22:41                 ` Berend de Boer
2003-06-24  9:52                   ` Lutz Donnerhacke
2003-06-24 20:43                     ` Berend de Boer
2003-06-25  9:02                       ` Pascal Obry
2003-06-25  9:46                       ` Lutz Donnerhacke
2003-06-25 21:19                         ` Berend de Boer
2003-06-21 13:01       ` Pascal Obry
2003-06-21 12:11     ` Marin David Condic
2003-06-21 12:44       ` Ludovic Brenta
2003-06-21 13:03         ` Larry Kilgallen
2003-06-21 22:28           ` Ludovic Brenta
2003-06-22  3:45             ` Larry Kilgallen
2003-06-22  8:47               ` Mark Lorenzen
2003-06-23 16:36         ` Warren W. Gay VE3WWG [this message]
2003-06-24 11:46           ` Marin David Condic
2003-06-21 19:09 ` Florian Weimer
2003-06-21 22:38   ` Mark Lorenzen
2003-06-21 22:51     ` Ludovic Brenta
2003-06-23 16:54       ` Warren W. Gay VE3WWG
2003-06-24 11:49         ` Marin David Condic
2003-06-24 13:31           ` Warren W. Gay VE3WWG
2003-06-23 16:46     ` Warren W. Gay VE3WWG
2003-06-23 22:43       ` Berend de Boer
2003-06-29 15:10     ` Florian Weimer
2003-06-29 20:58       ` David Emery
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox