From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00,FREEMAIL_FROM
	autolearn=ham autolearn_force=no version=3.4.4
X-Google-Thread: 103376,adb9b9207aecb4b3
X-Google-Attributes: gid103376,public
X-Google-Language: ENGLISH,ASCII-7-bit
Path: 
 g2news1.google.com!news1.google.com!news.glorb.com!news.tele.dk!not-for-mail
Sender: malo@0x5358c09e.boanxx18.adsl-dhcp.tele.dk
Newsgroups: comp.lang.ada
Subject: Re: epoll Ada binding
References: <311c6b78.0410181100.76f4e8ab@posting.google.com>
 <m38ya37pyf.fsf@0x5358c0d0.boanxx18.adsl-dhcp.tele.dk>
 <311c6b78.0410182103.110885b7@posting.google.com>
 <pan.2004.10.19.07.51.40.40538@power.com.pl>
 <m3fz4b6qnt.fsf@0x5358c0d0.boanxx18.adsl-dhcp.tele.dk>
 <pan.2004.10.19.22.20.13.97931@power.com.pl>
 <m3fz49glq7.fsf@0x5358c09a.boanxx18.adsl-dhcp.tele.dk>
 <pan.2004.10.21.09.45.39.527032@power.com.pl>
From: Mark Lorenzen <mark.lorenzen@ofir.dk>
Date: 22 Oct 2004 19:56:21 +0200
Message-ID: <m3pt3ahc1m.fsf@0x5358c09e.boanxx18.adsl-dhcp.tele.dk>
User-Agent: Gnus/5.09 (Gnus v5.9.0) Emacs/21.3
MIME-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Organization: TDC Totalloesninger
NNTP-Posting-Host: 83.88.192.158
X-Trace: 1098467746 dtext02.news.tele.dk 174 83.88.192.158:34461
X-Complaints-To: abuse@post.tele.dk
Xref: g2news1.google.com comp.lang.ada:5647
Date: 2004-10-22T19:56:21+02:00
List-Id: <comp.lang.ada>

Wojtek Narczynski <wojtek@power.com.pl> writes:

> Yes, it is my plan do "stay in Ada". I don't think there is going to be a
> problem with that. FSU Threads (userspace) used to be used to pass ACATS
> tests on platforms which had problematic native threading libraries.

I think that the Native Posix Threads Library used on newer Linux
distributions is very efficient and POSIX compatible. I do not know if
gcc GNAT is up to speed with this or still needs the FSU Threads.

> I'm not really patching it. I am trying to create yet another "flavor".

Sounds like TopLayers approach:

http://www.linuxjournal.com/article.php?sid=3675

(the server seems to be unreachable at the moment).

> You mean this SDL http://www.sdl-forum.org? I merely know that it exists,
> would you recommend studying it to somebody intersted in building
> networking applications?

Yes - the Specification and Description Language. SDL has some
interesting concepts, but is not a wonder in engineering. It is
however (in my view) much better than the state charts in UML.

> 
> Do you think SMTP (my primary protocol of interest right now) would be
> amenable to such (formal) treatment? After all S - stands for Sloppy ;-)

Formal treatment of any protocol is valuable!

> 
> Regards,
> Wojtek

- Mark Lorenzen