nicht angemeldet
Hallo Sven,
Zum einen hängt die Fehlerfreiheit extrem von der gewählten
Programmiersprache ab.
Nein. Die Fehlerquote, ja. Die Fehlerfreiheit: nein.
Und drittens: Man kann auch versuchen, mathematisch zu beweisen,
dass eine Software zu 100% korrekt ist. Ist zwar aufwendig, aber
dann auch bombensicher.
Lass das versuchen weg :-)
Du wirst NIEMLAS eine Software finden, die 100% stabil, auf alle
Situationen angepasst und fehlerfrei läuft. (Ich lasse mich gerne
eines Besseren belehren)Auf dem PC sicherlich nicht. Das fängt schon mit Bugs in der CPU
an, geht mit Bugs im Betriebssystem weiter, Bugs in Treibern,
Peripherie-Firmware etc., und ganz am Ende dann auch Bugs in den
Applikationen.
Nur um das klarzustellen (weil du das etwas undeutlich formuliert
hast): Fehler in der Peripherie haben nichts mit Fehlern in der
Software zu tun. Ich kann dir beweisen, dass ein Programm korrekt
ist -- trotz allem kann es noch zu undefinierten Zustaenden kommen,
einfach weil die Hardware Macken haben kann. Das aendert aber nichts
daran, dass die Software korrekt ist.
Grüße,
CK
<zentrum> wie war noch mal die option in make.conf fuer das benutzen von pipes um das compile zu beschluenigen?
<CK1> CFLAGS="-pipe"
<torsten> Oder man frage einen Gentooer seiner Wahl, wie man 2 km Compilerswitches fuer seine CPU hinbekommt ;)
http://wwwtech.de/