On the Benefits of Abstraction in Concurrent Haskell

Heutzutage haben selbst durchschnittliche Computersysteme mehrere unabhängige Recheneinheiten (Kerne). Wird ein rechenintensives Problem in mehrere Teilberechnungen unterteilt, können diese parallel und damit schneller verarbeitet werden. Obwohl die Entwicklung paralleler Programme mittels Abstraktionen vereinfacht werden kann, ist es selbst für Experten anspruchsvoll, effiziente und korrekte Programme zu schreiben. Während traditionelle Programmiersprachen auf einem eher geringen Abstraktionsniveau arbeiten, bieten funktionale Programmiersprachen wie z.B. Haskell, Möglichkeiten zur fortgeschrittenen Abstrahierung. Das Ziel der vorliegenden Dissertation war es, zu untersuchen, wie gut verschiedene Arten der Abstraktion das Programmieren mit Concurrent Haskell unterstützen. Concurrent Haskell ist eine Bibliothek für Haskell, die parallele Programmierung auf Systemen mit gemeinsamem Speicher ermöglicht. Im Mittelpunkt der Dissertation standen zwei Forschungsfragen. Erstens wurden verschiedene Synchronisierungsansätze verglichen, die sich in ihrem Abstraktionsgrad unterscheiden. Zweitens wurde untersucht, wie Abstraktionen verwendet werden können, um die Komplexität der Parallelisierung vor dem Entwickler zu verbergen. Bei dem Vergleich der Synchronisierungsansätze wurden Locks, Compare-and-Swap Operationen und Software Transactional Memory berücksichtigt. Die Ansätze wurden zunächst bezüglich ihrer Eignung für die Synchronisation einer Prioritätenwarteschlange auf Basis von Skiplists untersucht. Anschließend wurden verschiedene Varianten des Taskpool Entwurfsmusters implementiert (globale Taskpools sowie private Taskpools mit und ohne Taskdiebstahl). Zusätzlich wurde für das Entwurfsmuster eine Abstraktionsschicht entwickelt, welche eine einfache Formulierung von Taskpool-basierten Algorithmen erlaubt. Für die Untersuchung der Frage, ob Haskells Abstraktionsmethoden die Komplexität paralleler Programmierung verbergen können, wurden zunächst stencil-basierte Algorithmen betrachtet. Es wurde eine Bibliothek entwickelt, die eine deklarative Beschreibung von stencil-basierten Algorithmen sowie ihre parallele Ausführung erlaubt. Mit Hilfe dieses deklarativen Interfaces wurde die parallele Implementation vollständig vor dem Anwender verborgen. Anschließend wurde eine eingebettete domänenspezifische Sprache (EDSL) für Knoten-basierte Graphalgorithmen sowie eine entsprechende Ausführungsplattform entwickelt. Die Plattform erlaubt die automatische parallele Verarbeitung dieser Algorithmen. Verschiedene Beispiele zeigten, dass die EDSL eine knappe und dennoch verständliche Formulierung von Graphalgorithmen ermöglicht.

Metabolic disorders in the transition period indicate that the dairy cows' ability to adapt is overstressed

Metabolic disorders are a key problem in the transition period of dairy cows and often appear before the onset of further health problems. They mainly derive from difficulties the animals have in adapting to changes and disturbances occurring both outside and inside the organisms and due to varying gaps between nutrient supply and demand. Adaptation is a functional and target-oriented process involving the whole organism and thus cannot be narrowed down to single factors. Most problems which challenge the organisms can be solved in a number of different ways. To understand the mechanisms of adaptation, the interconnectedness of variables and the nutrient flow within a metabolic network need to be considered. Metabolic disorders indicate an overstressed ability to balance input, partitioning and output variables. Dairy cows will more easily succeed in adapting and in avoiding dysfunctional processes in the transition period when the gap between nutrient and energy demands and their supply is restricted. Dairy farms vary widely in relation to the living conditions of the animals. The complexity of nutritional and metabolic processes Animals 2015, 5 979 and their large variations on various scales contradict any attempts to predict the outcome of animals’ adaptation in a farm specific situation. Any attempts to reduce the prevalence of metabolic disorders and associated production diseases should rely on continuous and comprehensive monitoring with appropriate indicators on the farm level. Furthermore, low levels of disorders and diseases should be seen as a further significant goal which carries weight in addition to productivity goals. In the long run, low disease levels can only be expected when farmers realize that they can gain a competitive advantage over competitors with higher levels of disease.