Subject: Re: take 2; which way should we go for /etc/rc...
To: None <firstname.lastname@example.org>
From: Julian Assange <email@example.com>
Date: 12/05/1999 17:48:05
Wilfredo Sanchez <firstname.lastname@example.org> writes:
> You'll get a big win on UP as well. There often are phases in the
> startup that are temporarily disk-bound (clean up /tmp) or network
> bound (start sendmail), or CPU bound. If you can launch a few of
> these in parallell, you'll get much better resource usage and faster
> boot times.
Actually, you will probably get incredibly slow boot times, because
netbsd (and most unixs) have no concept of the huge inefficiencies
involved in DISK context switching. And thus make essentially no
attempt to minimise it.
Stefan Kahrs in [Kah96] discusses the
notion of completeness--programs which never go wrong can be
type-checked--which complements Milner's notion of
soundness--type-checked programs never go wrong [Mil78].