Path: ...!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: anton@mips.complang.tuwien.ac.at (Anton Ertl)
Newsgroups: comp.arch
Subject: Re: What is an N-bit machine?
Date: Sun, 01 Dec 2024 08:35:12 GMT
Organization: Institut fuer Computersprachen, Technische Universitaet Wien
Lines: 12
Message-ID: <2024Dec1.093512@mips.complang.tuwien.ac.at>
References: <memo.20241128153105.12904U@jgd.cix.co.uk> <20241128185548.000031c9@yahoo.com> <vidtpt$pon$1@gal.iecc.com> <vieben$3lh9n$1@dont-email.me> <vifpn1$1fja$1@gal.iecc.com> <6d465123692bdef4f43de8013a0562e4@www.novabbs.org> <vih66o$2b2iu$1@dont-email.me>
Injection-Date: Sun, 01 Dec 2024 09:37:42 +0100 (CET)
Injection-Info: dont-email.me; posting-host="2f8875923af00366d4283fd291a6efc2";
	logging-data="2466818"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1+NAlgEI+K6DSIbAzNnPssr"
Cancel-Lock: sha1:x6Mjo48Oxo7R2x0HrE/5TQjyCNo=
X-newsreader: xrn 10.11
Bytes: 1564

Thomas Koenig <tkoenig@netcologne.de> writes:
>I recently read that 6502 processors are still in use in pacemakers.
>You just hope that there is no stack overflow...

No need to hope.  Programs of this size and criticality (and the
corresponding budget) are within reach of verified (or probably rather
proved-by-construction) software.

- anton
-- 
'Anyone trying for "industrial quality" ISA should avoid undefined behavior.'
  Mitch Alsup, <c17fcd89-f024-40e7-a594-88a85ac10d20o@googlegroups.com>