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.

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.

Core Labor Rights

The working paper’s main objective is to explore the extent to which non-compliance to international labor rights is caused by global competition. From the perspective of institutional economics, compliance with core labor rights is beneficial for sustainable development. Nonetheless, violations of these rights occur on a massive scale. The violators usually blame competitive pressures. A number of studies have come to the conclusion that non-compliance does not provide for a competitive edge, thereby denying any economic rationale for non-compliance. While we sympathize with this conclusion, we find that these studies suffer from faulty assumptions in the design of their regression analyses. The assumption of perfect markets devoid of power relations is particularly unrealistic. While workers' rights promise long-term benefits, they may incur short-term production cost increases. On the supply side, the production sites with the highest amount of labor rights violations are characterized by a near perfect competitive situation. The demand side, however, is dominated by an oligopoly of brand name companies and large retailers. Facing a large pool of suppliers, these companies enjoy more bargaining power. Developing countries, the hosts to most of these suppliers, are therefore limited in their ability to raise labor standards on their own. This competitive situation, however, is the very reason why labor rights have to be negotiated internationally. Our exploration starts with an outline of the institutionalist argument of the benefits of core labor rights. Second, we briefly examine some cross-country empirical studies on the impact of trade liberalization (as a proxy for competitive pressures). Third, we develop our own argument which differentiates the impact of trade liberalization along the axes of labor- and capital-intensive production as well as low and medium skill production. Finally, we present evidence from a study on the impact of trade liberalization in Indonesia on the garment industry as an example of a low skill, laborintensive industry on the one hand, and the automobile as an example for a medium skill, capital-intensive industry on the other hand. Because the garment industry’s workforce consists mainly of women, we also discuss the gender dimension of trade liberalization.