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.

Producers’ motivation for collective action for kola production and marketing in Cameroon

Collective action has been used as a strategy to improve the benefits of smallholder producers of kola nuts in Cameroon. Despite demonstrated benefits, not all producers are involved in the collective action. The presented study used a modified Technology Acceptance Model (TAM) namely the Collective Action Behaviour model (CAB model) to analyse kola producers’ motivation for collective action activities. Five hypotheses are formulated and tested using data obtained from 185 farmers who are involved in kola production and marketing in theWestern highlands of Cameroon. Results which were generated using Partial Least Squares (PLS) approach for Structural Equation Modelling (SEM) showed that farmers’ intrinsic motivators and ease of use influenced their behavioural intent to join a group marketing activities. The perceived usefulness that was mainly related to the economic benefits of group activities did not influence farmers’ behavioural intent. It is therefore concluded that extension messages and promotional activities targeting collective action need to emphasise the perceived ease of use of involvement and social benefits associated with group activities in order to increase farmers’ participation.

Characteristics, socioeconomic benefits and household livelihoods of beef buffalo and beef cattle farming in Northeast Thailand

Since the Thai economy experiences rapid growth, agricultural systems, i.e. crop-livestock systems, are changing rapidly. On account of these changes, buffalo and cattle production has to be re-examined in terms of performance characteristics and roles of livestock for farm households in order to initiate suitable development programmes. Therefore, this study aimed to investigate the present characteristics of beef buffalo and beef cattle farms in Northeast Thailand. Using a semi-structured questionnaire, 121 randomly selected beef buffalo and beef cattle farms were interviewed in Nakhon Ratchasima province between October 2007 and May 2008. Both buffaloes and cattle were mostly integrated in mixed crop-livestock systems with medium to large farm sizes (7.9 ha), whereof less than half of the area was used for livestock. Family members were mainly responsible for the different activities of livestock farming and salaried labourers were only found on large-scale farms. The dominant roles of livestock were income generation to build up wealth or savings, the coverage of expected and unexpected expenses and earning of regular and additional income. Another important issue was the improvement of the social status, which increased with herd size. In order to improve farmers’ livelihoods and develop sustainable farming systems in Northeast Thailand the changing economic circumstances of cattle and especially buffalo production should receive more attention of researchers, governmental institutions and stakeholders.

Individuals' (re-)action in the face of global warming

Climate change remains a major challenge for today’s and future societies due to its immense impacts on human lives and the natural environment. This thesis investigates the extent to which individuals are willing and prepared to voluntarily contribute to climate protection and to adjust to new climatic conditions in order to cope with the consequences of climate change and reduce the severity of potential negative impacts. The thesis thereby combines research in the fields of the private provision of environmental public goods and adaptation to climate change, which is still widely unconnected in the existing literature. The six contributions of this thesis mainly focus on microeconometric analyses using data from international surveys in China, Germany, and the USA. The main findings are: (i) A substantial share of individuals is willing to voluntarily contribute to climate protection and to adapt to climatic change. The engagement in both strategies is positively interrelated at the individual level and the analyses reveal hardly any evidence that adaptation activities crowd out individuals’ incentives to engage in climate protection. (ii) The main determinants of individuals’ adaptation activities seem to be the subjective risk perception as well as socio-economic and socio-demographic characteristics like age, gender, education, and income, while their climate protection efforts are found to be broadly motivated by financial advantages from these activities and additional immaterial benefits. (iii) The empirical findings also suggest a significantly positive relationship between certain climate protection activities. Substitutions are found to occur merely if one measure is perceived to be more effective in providing climate protection or if individuals have high environmental preferences. (iv) This thesis further reveals a common understanding of a (normatively) fair burden-sharing in international climate policy across citizens in China, Germany, and the USA. The highest preferences are found for the accountability principle.

Alley cropping of willows and grassland for bioenergy provision: productivity, tree-crop interactions and energy balance

The demand for biomass for bioenergy has increased rapidly in industrialized countries in the recent years. Biogenic energy carriers are known to reduce CO2 emissions. However, the resource-inefficient production of biomass often caused negative impacts on the environment, e.g. biodiversity losses, nitrate leaching, and erosion. The detrimental effects evolved mainly from annual crops. Therefore, the aim of modern bioenergy cropping systems is to combine yield stability and environmental benefits by the establishment of mixed-cropping systems. A particular emphasis is on perennial crops which are perceived as environmentally superior to annual crops. Agroforestry systems represent such mixed perennial cropping systems and consist of a mix of trees and arable crops or grassland within the same area of land. Agroforestry practices vary across the globe and alley cropping is a type of agroforestry system which is well adapted to the temperate zone, with a high degree of mechanization. Trees are planted in rows and crops are planted in the alleyways, which facilitates their management by machinery. This study was conducted to examine a young alley cropping system of willows and two grassland mixtures for bioenergy provision under temperate climate conditions. The first part of the thesis identified possible competition effects between willows and the two grassland mixtures. Since light seemed to be the factor most affecting the yield performance of the understory in temperate agroforestry systems, a biennial in situ artificial shade experiment was established over a separate clover-grass stand to quantify the effects of shade. Data to possible below- and aboveground interactions among willows and the two grassland mixtures and their effects on productivity, sward composition, and quality were monitored along a tree-grassland interface within the alleys. In the second part, productivity of the alley cropping system was examined on a triennial time frame and compared to separate grassland and willow stands as controls. Three different conversion technologies (combustion of hay, integrated generation of solid fuel and biogas from biomass, whole crop digestion) were applied to grassland biomass as feedstock and analyzed for its energetic potential. The energetic potential of willow wood chips was calculated by applying combustion as conversion technique. Net energy balances of separate grassland stands, agroforestry and pure willow stands evaluated their energy efficiency. Results of the biennial artificial shade experiment showed that severe shade (80 % light reduction) halved grassland productivity on average compared to a non-shaded control. White clover as heliophilous plant responded sensitively to limited radiation and its dry matter contribution in the sward decreased with increasing shade, whereas non-leguminous forbs (mainly segetal species) benefited. Changes in nutritive quality could not be confirmed by this experiment. Through the study on interactions within the alleys of the young agroforestry system it was possible to outline changes of incident light, soil temperature and sward composition of clover-grass along the tree-grassland interface. Nearly no effects of trees on precipitation, soil moisture and understory productivity occurred along the interface during the biennial experiment. Considering the results of the productivity and the net energy yield alley cropping system had lower than pure grassland stands, irrespective of the grassland seed mixture or fertilization, but was higher than that for pure willow stands. The comparison of three different energetic conversion techniques for the grassland biomass showed highest net energy yields for hay combustion, whereas the integrated generation of solid fuel and biogas from biomass (IFBB) and whole crop digestion performed similarly. However, due to the low fuel quality of hay, its direct combustion cannot be recommended as a viable conversion technique, whereas IFBB fuels were of a similar quality to wood chip from willow.