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 Ein stabiles magnetisches Bit aus drei Atomen
21.09.2017 | Sonderforschungsbereich 668

nachricht Drohnen sehen auch im Dunkeln
20.09.2017 | Universität Zürich

Alle Nachrichten aus der Kategorie: Informationstechnologie >>>

Die aktuellsten Pressemeldungen zum Suchbegriff Innovation >>>

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

Im Focus: The pyrenoid is a carbon-fixing liquid droplet

Plants and algae use the enzyme Rubisco to fix carbon dioxide, removing it from the atmosphere and converting it into biomass. Algae have figured out a way to increase the efficiency of carbon fixation. They gather most of their Rubisco into a ball-shaped microcompartment called the pyrenoid, which they flood with a high local concentration of carbon dioxide. A team of scientists at Princeton University, the Carnegie Institution for Science, Stanford University and the Max Plank Institute of Biochemistry have unravelled the mysteries of how the pyrenoid is assembled. These insights can help to engineer crops that remove more carbon dioxide from the atmosphere while producing more food.

A warming planet

Im Focus: Hochpräzise Verschaltung in der Hirnrinde

Es ist noch immer weitgehend unbekannt, wie die komplexen neuronalen Netzwerke im Gehirn aufgebaut sind. Insbesondere in der Hirnrinde der Säugetiere, wo Sehen, Denken und Orientierung berechnet werden, sind die Regeln, nach denen die Nervenzellen miteinander verschaltet sind, nur unzureichend erforscht. Wissenschaftler um Moritz Helmstaedter vom Max-Planck-Institut für Hirnforschung in Frankfurt am Main und Helene Schmidt vom Bernstein-Zentrum der Humboldt-Universität in Berlin haben nun in dem Teil der Großhirnrinde, der für die räumliche Orientierung zuständig ist, ein überraschend präzises Verschaltungsmuster der Nervenzellen entdeckt.

Wie die Forscher in Nature berichten (Schmidt et al., 2017. Axonal synapse sorting in medial entorhinal cortex, DOI: 10.1038/nature24005), haben die...

Im Focus: Highly precise wiring in the Cerebral Cortex

Our brains house extremely complex neuronal circuits, whose detailed structures are still largely unknown. This is especially true for the so-called cerebral cortex of mammals, where among other things vision, thoughts or spatial orientation are being computed. Here the rules by which nerve cells are connected to each other are only partly understood. A team of scientists around Moritz Helmstaedter at the Frankfiurt Max Planck Institute for Brain Research and Helene Schmidt (Humboldt University in Berlin) have now discovered a surprisingly precise nerve cell connectivity pattern in the part of the cerebral cortex that is responsible for orienting the individual animal or human in space.

The researchers report online in Nature (Schmidt et al., 2017. Axonal synapse sorting in medial entorhinal cortex, DOI: 10.1038/nature24005) that synapses in...

Im Focus: Tiny lasers from a gallery of whispers

New technique promises tunable laser devices

Whispering gallery mode (WGM) resonators are used to make tiny micro-lasers, sensors, switches, routers and other devices. These tiny structures rely on a...

Im Focus: Wundermaterial Graphen: Gewölbt wie das Polster eines Chesterfield-Sofas

Graphen besitzt extreme Eigenschaften und ist vielseitig verwendbar. Mit einem Trick lassen sich sogar die Spins im Graphen kontrollieren. Dies gelang einem HZB-Team schon vor einiger Zeit: Die Physiker haben dafür eine Lage Graphen auf einem Nickelsubstrat aufgebracht und Goldatome dazwischen eingeschleust. Im Fachblatt 2D Materials zeigen sie nun, warum dies sich derartig stark auf die Spins auswirkt. Graphen kommt so auch als Material für künftige Informationstechnologien infrage, die auf der Verarbeitung von Spins als Informationseinheiten basieren.

Graphen ist wohl die exotischste Form von Kohlenstoff: Alle Atome sind untereinander nur in der Ebene verbunden und bilden ein Netz mit sechseckigen Maschen,...

Alle Focus-News des Innovations-reports >>>

Anzeige

Anzeige

IHR
JOB & KARRIERE
SERVICE
im innovations-report
in Kooperation mit academics
Veranstaltungen

11. BusinessForum21-Kongress „Aktives Schadenmanagement"

22.09.2017 | Veranstaltungen

Internationale Konferenz zum Biomining ab Sonntag in Freiberg

22.09.2017 | Veranstaltungen

Die Erde und ihre Bestandteile im Fokus

21.09.2017 | Veranstaltungen

 
VideoLinks
B2B-VideoLinks
Weitere VideoLinks >>>
Aktuelle Beiträge

11. BusinessForum21-Kongress „Aktives Schadenmanagement"

22.09.2017 | Veranstaltungsnachrichten

DFG bewilligt drei neue Forschergruppen und eine neue Klinische Forschergruppe

22.09.2017 | Förderungen Preise

Lebendiges Gewebe aus dem Drucker

22.09.2017 | Biowissenschaften Chemie