Skip site navigation (1)Skip section navigation (2)
Date:      Mon, 26 Feb 2001 11:23:06 -0600
From:      seebs@plethora.net (Peter Seebach)
To:        freebsd-hackers@freebsd.org
Subject:   Re: Setting memory allocators for library functions. 
Message-ID:  <200102261723.f1QHN6613015@guild.plethora.net>
In-Reply-To: Your message of "Mon, 26 Feb 2001 10:19:01 MST." <15002.36869.925599.285850@nomad.yogotech.com> 

next in thread | previous in thread | raw e-mail | index | archive | help
In message <15002.36869.925599.285850@nomad.yogotech.com>, Nate Williams writes
:
>Even in this case, there's no way to prove your code is not going to
>crash.

Sure.  But you can at least prove that all crashes are the result of bugs,
not merely design "features".  From the point of view of proving that a
system is designed correctly, memory overcommit is a "bug".  ;)

-s

To Unsubscribe: send mail to majordomo@FreeBSD.org
with "unsubscribe freebsd-hackers" in the body of the message




Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?200102261723.f1QHN6613015>