Re: [OT] ALSA userspace API complexity

From: Stefan Smietanowski
Date: Fri Jan 06 2006 - 10:17:42 EST


Zan Lynx wrote:
> On Fri, 2006-01-06 at 01:14 +0100, Marcin Dalecki wrote:
>
>>On 2006-01-06, at 00:40, Lee Revell wrote:
>>
>>>Hey, interesting, this is exactly what dmix does in userspace. And we
>>>have not seen any bug reports caused by the concept of userspace
>>>mixing
>>>(just implementation bugs like any piece of software).
>>
>>This attitude that every kind of software has to have bugs is
>>blunt idiotic tale-tale bullshit just showing off complete incompetence.
>>
>>Does the acronym car-ABS and micro-controller maybe perhaps ring a
>>bell for you?
>
>
> Funny that you should mention bug-free code and ABS.
>
> Just a few months ago, Subaru updated the ABS controller code for the
> WRX. They sent me the notice in the mail. It was an optional upgrade,
> the change was only needed to fix some very odd corner cases.
>
> The point being that even critical micro-controller software has bugs.
>
> Even software that has been mathematically proofed can have bugs. Knuth
> uses it as a joke: "Beware bugs in the above code. I have
> proven it correct; I have not actually tried it."
>
> It's so funny because it's so true.

Same as when Renault introduced the keyless system in the Laguna in 2001
(some call it the Laguna II) - it's basically a card you stick into a
slot in the console which enables you to just press a button to start
the car instead of turning a key and it also contained memory about
your chair settings, mirrors and volume/sound settings of the radio.

Now, is this a highly complex piece of software running there to do
those things?

Regardless of how what someone believes - a few months later someone
was out driving and all of a sudden the car started speeding up and
since there was no key you couldn't turn the car off and the breaks
weren't strong enough to slow the car down and running at roughly
200kph he managed to YANK the card out of the slot before it could be
slowed down and the ignition turned off - the guy was lucky to be
alive.

It turns out that it was a combination of a bug in the keyless
system AND the cruise control that made this happen - two bugs
that in themselves wouldn't have triggered but at the right speed,
and when everything matched things went haywire, so no, no matter
how tight you write specifications or papers you can't get
everything bugfree, even in such a simple system as a keycard
for your car. Note that one of the bugs WAS in the keycard.

// Stefan

Attachment: signature.asc
Description: OpenPGP digital signature