Forum für Wissenschaft, Industrie und Wirtschaft

Hauptsponsoren:     3M 
Datenbankrecherche:

 

Von Sanduhren und Ladebalken: Alles Warten hat ein Ende

12.09.2006
Freiburger Informatiker entwickeln Methode zur Beseitigung von Fehlern im Betriebssystem

Dass die abstrakte Welt der höheren Mathematik ganz konkrete Auswirkungen auf den Alltag jedes Computernutzers hat, konnte jetzt ein internationales Forscherteam um den Freiburger Informatik-Professor Andreas Podelski unter Beweis stellen. Wer kennt nicht folgendes Problem: Ein Befehl, zum Beispiel zum Drucken eines Dokuments, wird abgeschickt, aber nichts passiert. Stattdessen erscheinen endlos ein Ladebalken oder eine Sanduhr auf dem Bildschirm. Die Lösung: die Mathematik des Unendlichen und ein eher zufällig entdecktes Resultat aus dem Jahr 1930.

Wenn man nach dem Absenden eines Befehls ewig warten muss und am Ende sogar der Computer ganz abstürzt, dann handelt es sich dabei um einen so genannten Terminierungsfehler im Betriebssystem des Computers. Genauer gesagt liegt der Fehler in dem Treiberprogramm, das den Befehl an den Drucker (oder ein anderes Gerät: Scanner, DVD-Laufwerk usw.) weitergibt. Gerätetreiber sind Programme, die z.B. von Microsoft als Teil des Betriebssystems Windows mitgeliefert werden.

Professor Podelski und sein Team stehen in engem Kontakt mit dem Forschungslabor von Microsoft in Cambridge, um an Problemen wie dem Terminierungsfehler zu arbeiten. Ein wichtiges Forschungsziel besteht darin, Terminierungsfehler auszuschließen. Bislang bestanden Qualitätskontrollen in der Entwicklung von Betriebssystemen und Gerätetreibern lediglich darin, möglichst viele Situationen zu simulieren. Die Anzahl der Faktoren, die beim Auftreten von Terminierungsfehlern eine Rolle spielen, ist jedoch sehr groß, und so werden nur die wahrscheinlichen Fälle getestet. Tatsache ist, dass auch die unwahrscheinlichen Fälle irgendwann einmal vorkommen.

Hier setzt die von Professor Podelski und seinem Doktoranden Andrey Rybalchenko neu entwickelte Methode an: Ausgehend von einem Resultat des englischen Mathematikers Sir Frank Ramsey aus dem Jahr 1930 entwickelten sie eine neue Mathematik des Unendlichen, aus der ein neuartiges Testwerkzeug hervorgeht. Stark vereinfacht handelt es sich dabei um eine neue mathematische Behandlung von nicht-terminierenden (mathematisch gesehen: unendlichen) Berechnungsabläufen des Computers.

Durch das neue Testverfahren konnten an einer Reihe von Gerätetreibern bereits Terminierungsfehler entdeckt und langfristig beseitigt werden - mit sichtbaren Ergebnissen für die Nutzer: Das immer wiederkehrende Problem, dass Befehle nicht ausgeführt werden, kann bei vielen gängigen Anwendungen nun ausgeschlossen werden. Noch ist die Zeit der Sanduhren nicht abgelaufen, aber dank des Freiburger Forscherteams wird das Glas nicht ständig von neuem umgedreht.

Kontakt:
Prof. Dr. Andreas Podelski
Albert-Ludwigs-Universität
Institut für Informatik
Georges-Köhler-Allee
79110 Freiburg
Tel. 0761-203 8241
podelski@informatik.uni-freiburg.de

Rudolf-Werner Dreier | idw
Weitere Informationen:
http://www.uni-freiburg.de/

Weitere Berichte zu: Befehl Betriebssystem Ladebalken Mathematik Sanduhr Terminierungsfehler

Weitere Nachrichten aus der Kategorie Informationstechnologie:

nachricht Maschinelles Lernen: Neue Methode ermöglicht genaue Extrapolation
13.07.2018 | Institute of Science and Technology Austria

nachricht Gegen das Verblassen historischer Dokumente
11.07.2018 | Hochschule für Technik, Wirtschaft und Kultur Leipzig

Alle Nachrichten aus der Kategorie: Informationstechnologie >>>

Die aktuellsten Pressemeldungen zum Suchbegriff Innovation >>>

Die letzten 5 Focus-News des innovations-reports im Überblick:

Im Focus: Diamant – ein unverzichtbarer Werkstoff der Fusionstechnologie

Forscher am KIT entwickeln Fenstereinheiten mit Diamantscheiben für Fusionsreaktoren – Neue Scheibe mit Rekorddurchmesser von 180 Millimetern

Klimafreundliche und fast unbegrenzte Energie aus dem Fusionskraftwerk – für dieses Ziel kooperieren Wissenschaftlerinnen und Wissenschaftler weltweit. Bislang...

Im Focus: Wiener Forscher finden vollkommen neues Konzept zur Messung von Quantenverschränkung

Quantenphysiker/innen der ÖAW entwickelten eine neuartige Methode für den Nachweis von hochdimensional verschränkten Quantensystemen. Diese ermöglicht mehr Effizienz, Sicherheit und eine weitaus geringere Fehleranfälligkeit gegenüber bisher gängigen Mess-Methoden, wie die Forscher/innen nun im Fachmagazin „Nature Physics“ berichten.

Die Vision einer vollständig abhörsicheren Übertragung von Information rückt dank der Verschränkung von Quantenteilchen immer mehr in Reichweite. Wird eine...

Im Focus: Was passiert, wenn wir das Atomgitter eines Magneten plötzlich aufheizen?

„Wir haben jetzt ein klares Bild davon, wie das heiße Atomgitter und die kalten magnetischen Spins eines ferrimagnetischen Nichtleiters miteinander ins Gleichgewicht gelangen“, sagt Ilie Radu, Wissenschaftler am Max-Born-Institut in Berlin. Das internationale Forscherteam fand heraus, dass eine Energieübertragung sehr schnell stattfindet und zu einem neuartigen Zustand der Materie führt, in dem die Spins zwar heiß sind, aber noch nicht ihr gesamtes magnetisches Moment verringert haben. Dieser „Spinüberdruck“ wird durch wesentlich langsamere Prozesse abgebaut, die eine Abgabe von Drehimpuls an das Gitter ermöglichen. Die Forschungsergebnisse sind jetzt in "Science Advances" erschienen.

Magnete faszinieren die Menschheit bereits seit mehreren tausend Jahren und sind im Zeitalter der digitalen Datenspeicherung von großer praktischer Bedeutung....

Im Focus: Erste Beweise für Quelle extragalaktischer Teilchen

Zum ersten Mal ist es gelungen, die kosmische Herkunft höchstenergetischer Neutrinos zu bestimmen. Eine Forschungsgruppe um IceCube-Wissenschaftlerin Elisa Resconi, Sprecherin des Sonderforschungsbereichs SFB1258 an der Technischen Universität München (TUM), liefert ein wichtiges Indiz in der Beweiskette, dass die vom Neutrino-Teleskop IceCube am Südpol detektierten Teilchen mit hoher Wahrscheinlichkeit von einer Galaxie in vier Milliarden Lichtjahren Entfernung stammen.

Um andere Ursprünge mit Gewissheit auszuschließen, untersuchte das Team um die Neutrino-Physikerin Elisa Resconi von der TU München und den Astronom und...

Im Focus: First evidence on the source of extragalactic particles

For the first time ever, scientists have determined the cosmic origin of highest-energy neutrinos. A research group led by IceCube scientist Elisa Resconi, spokesperson of the Collaborative Research Center SFB1258 at the Technical University of Munich (TUM), provides an important piece of evidence that the particles detected by the IceCube neutrino telescope at the South Pole originate from a galaxy four billion light-years away from Earth.

To rule out other origins with certainty, the team led by neutrino physicist Elisa Resconi from the Technical University of Munich and multi-wavelength...

Alle Focus-News des Innovations-reports >>>

Anzeige

Anzeige

VideoLinks
Industrie & Wirtschaft
Veranstaltungen

Wie geht es unserer Ostsee? Ein aktueller Zustandsbericht

17.07.2018 | Veranstaltungen

Interdisziplinäre Konferenz: Diabetesforscher und Bioingenieure diskutieren Forschungskonzepte

13.07.2018 | Veranstaltungen

Conference on Laser Polishing – LaP: Feintuning für Oberflächen

12.07.2018 | Veranstaltungen

VideoLinks
Wissenschaft & Forschung
Weitere VideoLinks im Überblick >>>
 
Aktuelle Beiträge

Optische Kontrolle von Herzfrequenz oder Insulinsekretion durch lichtschaltbaren Wirkstoff

17.07.2018 | Biowissenschaften Chemie

Umweltressourcen nachhaltig nutzen

17.07.2018 | Ökologie Umwelt- Naturschutz

Textilien 4.0: Smarte Kleidung und Wearables als Innovation

17.07.2018 | Innovative Produkte

Weitere B2B-VideoLinks
IHR
JOB & KARRIERE
SERVICE
im innovations-report
in Kooperation mit academics