From: Chris Morgan <cm@mihalis.net>
Subject: Re: Ada
Date: 2000/01/14
Date: 2000-01-15T03:12:17+00:00 [thread overview]
Message-ID: <87iu0wf2pd.fsf@think.mihalis.net> (raw)
In-Reply-To: 85nohj$n25@spool.cs.wisc.edu
"Andy Glew" <glew@cs.wisc.edu> writes:
> > > If you can get C and Unix for free why do you need Ada and Ada-OS?
>
> Just for my own knowledge: does GNU Ada (GNATS) support a full
> Ada-OS, including the real-time and multithreading constructs like
> rendezvous? Do these run on stock hardware? On LINUX?
Full (i.e. strict) compliance with Ada semantics needs root privilege
on some OSs (e.g. Solaris last time I checked) so that your threads
can get true pre-emptive multi-threading (e.g. by running in the
real-time rather than time-sharing scheduling priority
class). Otherwise (again on Solaris, last time I checked) there are
things like threads going to the back of their queue after being
pre-empted by a higher priority thread, which is incorrect for true
pre-emption (it looks to the thread like it got preempted by a
"sibling"). On the other hand you can even chose user-space or kernel
threads. There is some advanced work on this stuff going on at FSU
e.g. to make user-space threads more useful by letting another thread
work when one blocks on I/O.
Additionally the GNAT compiler has lots of other goodies. Check out
www.gnat.com and www.gnuada.org for some nice starting points. Markus
Kuhn at Cambridge has implemented a candidate Serpent (some crypto
scheme) implementation in Ada, don't know how it did.
The above is probably garbled (long day) hope it give you some idea.
Chris
--
Chris Morgan <cm at mihalis.net> http://mihalis.net
next prev parent reply other threads:[~2000-01-14 0:00 UTC|newest]
Thread overview: 91+ messages / expand[flat|nested] mbox.gz Atom feed top
[not found] <MPG.12c98531dcc142319896ce@news.uci.kun.nl>
[not found] ` <83reu2$2soi$1@msunews.cl.msu.edu>
[not found] ` <38615cc4.22862595@news.shuswap.net>
[not found] ` <84dnsu$g69@nnrp1.farm.idt.net>
[not found] ` <84drm7$ss8$1@news.rchland.ibm.com>
[not found] ` <855lqp$t2@nnrp4.farm.idt.net>
[not found] ` <ey3vh54ybxh.fsf@cley.com>
[not found] ` <85l4kt$e9q@nnrp1.farm.idt.net>
[not found] ` <y4wvpdknsm.fsf@mailhost.neuroinformatik.ruhr-uni-bochum.de>
2000-01-14 0:00 ` Ada Andy Glew
2000-01-14 0:00 ` Ada Marin D. Condic
2000-01-15 0:00 ` Ada Andy Glew
2000-01-15 0:00 ` Ada Chris Morgan
2000-01-15 0:00 ` Ada Marin D. Condic
2000-01-14 0:00 ` Chris Morgan [this message]
2005-01-26 20:06 Ada mcf501
2005-01-26 20:24 ` Ada Larry Kilgallen
2005-01-26 23:55 ` Ada Stephen Leake
2005-01-26 20:35 ` Ada Frank J. Lhota
2005-01-26 23:57 ` Ada Stephen Leake
2005-01-26 20:57 ` Ada Ludovic Brenta
2005-01-26 23:54 ` Ada Stephen Leake
2005-01-27 0:42 ` Ada Jeffrey Carter
2005-01-27 1:17 ` Ada Larry Kilgallen
2005-01-27 4:43 ` Ada u_int32_t
2005-01-27 8:10 ` Ada Larry Kilgallen
2005-01-27 21:01 ` Ada Björn Lundin
2005-01-27 7:57 ` Ada Frank Piron
2005-01-27 10:53 ` Ada Larry Kilgallen
2005-01-27 11:05 ` Ada Frank Piron
2005-01-27 11:19 ` Ada Adrien Plisson
2005-01-28 10:27 ` Ada Stephen Leake
2005-01-27 9:12 ` Ada Martin Krischik
-- strict thread matches above, loose matches on Subject: below --
1999-12-23 0:00 Ada Brijesh
1999-12-23 0:00 ` Ada Greg Martin
1999-12-23 0:00 ` Ada Jon Jensen
1999-12-23 0:00 ` Ada Robert Dewar
1999-12-23 0:00 ` Ada tmoran
1999-12-23 0:00 ` Ada reason67
1999-12-23 0:00 ` Ada Robert Dewar
2000-01-03 0:00 ` Ada Terry Sikes
2000-01-03 0:00 ` Ada Hyman Rosen
2000-01-04 0:00 ` Ada Terry Sikes
2000-01-04 0:00 ` Ada Florian Weimer
2000-01-04 0:00 ` Ada Brian Rogoff
2000-01-04 0:00 ` Ada Hyman Rosen
2000-01-04 0:00 ` Ada Robert Dewar
2000-01-04 0:00 ` Ada Hyman Rosen
2000-01-04 0:00 ` Ada Robert A Duff
2000-01-04 0:00 ` Ada Hyman Rosen
2000-01-04 0:00 ` Ada Richard D Riehle
2000-01-04 0:00 ` Ada Hyman Rosen
2000-01-04 0:00 ` Ada Robert A Duff
2000-01-04 0:00 ` Ada Richard D Riehle
2000-01-04 0:00 ` Ada Robert Dewar
2000-01-04 0:00 ` Ada Terry Sikes
2000-01-05 0:00 ` Ada Robert Dewar
2000-01-05 0:00 ` Ada Terry Sikes
2000-01-06 0:00 ` Ada Al Christians
2000-01-06 0:00 ` Ada Terry Sikes
2000-01-07 0:00 ` Ada Robert Dewar
1999-12-23 0:00 ` Ada Roger Racine
1999-12-28 0:00 ` Ada Marin D. Condic
1999-12-31 0:00 ` Ada Richard D Riehle
2000-01-02 0:00 ` Ada Marin D. Condic
2000-01-02 0:00 ` Ada Robert Dewar
2000-01-02 0:00 ` Ada Marin D. Condic
2000-01-03 0:00 ` Ada Robert Dewar
2000-01-03 0:00 ` Ada Marin D. Condic
2000-01-03 0:00 ` Ada Roger Racine
2000-01-03 0:00 ` Ada Larry Kilgallen
2000-01-04 0:00 ` Ada Charles Hixson
2000-01-03 0:00 ` Ada Ted Dennison
2000-01-13 0:00 ` Ada Magnus Alexandersson
2000-01-13 0:00 ` Ada Magnus Alexandersson
2000-01-14 0:00 ` Ada Tarjei T. Jensen
2000-01-14 0:00 ` Ada Larry Kilgallen
2000-01-14 0:00 ` Ada Marin D. Condic
2000-01-14 0:00 ` Ada Magnus Alexandersson
2000-01-14 0:00 ` Ada Marin D. Condic
1997-10-28 0:00 Ada N6101233
1997-08-23 0:00 Ada Jeffrey D. Iverson
1996-08-05 0:00 ada BCummi6553
1996-06-14 0:00 ADA Robert Adams
1990-03-12 2:14 A Poor Man's Ada Library Ted Holden
1990-03-12 5:08 ` Ada William Thomas Wolfe, 2847
1990-03-15 20:32 ` Ada William B. Tyler
1990-03-16 14:08 ` Ada Dennis M. O'Connor
1990-03-08 18:46 ADA jj
1989-11-19 3:33 A farewell to Ada Ted Holden
1989-11-19 17:59 ` Ada William Thomas Wolfe, 2847
1989-11-14 21:24 A farewell to Ada Ted Holden
1989-11-15 16:06 ` Ada William Thomas Wolfe, 2847
1989-11-16 19:08 ` Ada Walter Rowe
1989-11-16 21:33 ` Ada William Thomas Wolfe, 2847
1989-11-17 18:53 ` Ada Pablo Fernicola
1989-11-18 18:55 ` Ada William Thomas Wolfe, 2847
1989-11-21 5:24 ` Ada Andrew Koenig
1989-11-22 9:54 ` Ada Mats Luthman
1989-11-22 18:44 ` Ada William Thomas Wolfe, 2847
1989-11-23 9:44 ` Ada Mats Luthman
1989-11-23 7:12 ` Ada Markku Sakkinen
1989-11-18 6:38 ` Ada Marco S Hyman
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox