Subject: Re: take 2; which way should we go for /etc/rc...
To: None <>
From: Julian Assange <>
List: tech-userlevel
Date: 12/05/1999 17:48:05
Wilfredo Sanchez <> 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].