Scheduling dynamic dataflow graphs with model checking

With the shift towards many-core computer architectures, dataflow programming has been proposed as one potential solution for producing software that scales to a varying number of processor cores. Programming for parallel architectures is considered difficult as the current popular programming languages are inherently sequential and introducing parallelism is typically up to the programmer. Dataflow, however, is inherently parallel, describing an application as a directed graph, where nodes represent calculations and edges represent a data dependency in form of a queue. These queues are the only allowed communication between the nodes, making the dependencies between the nodes explicit and thereby also the parallelism. Once a node have the su cient inputs available, the node can, independently of any other node, perform calculations, consume inputs, and produce outputs. Data ow models have existed for several decades and have become popular for describing signal processing applications as the graph representation is a very natural representation within this eld. Digital lters are typically described with boxes and arrows also in textbooks. Data ow is also becoming more interesting in other domains, and in principle, any application working on an information stream ts the dataflow paradigm. Such applications are, among others, network protocols, cryptography, and multimedia applications. As an example, the MPEG group standardized a dataflow language called RVC-CAL to be use within reconfigurable video coding. Describing a video coder as a data ow network instead of with conventional programming languages, makes the coder more readable as it describes how the video dataflows through the different coding tools. While dataflow provides an intuitive representation for many applications, it also introduces some new problems that need to be solved in order for data ow to be more widely used. The explicit parallelism of a dataflow program is descriptive and enables an improved utilization of available processing units, however, the independent nodes also implies that some kind of scheduling is required. The need for efficient scheduling becomes even more evident when the number of nodes is larger than the number of processing units and several nodes are running concurrently on one processor core. There exist several data ow models of computation, with different trade-offs between expressiveness and analyzability. These vary from rather restricted but statically schedulable, with minimal scheduling overhead, to dynamic where each ring requires a ring rule to evaluated. The model used in this work, namely RVC-CAL, is a very expressive language, and in the general case it requires dynamic scheduling, however, the strong encapsulation of dataflow nodes enables analysis and the scheduling overhead can be reduced by using quasi-static, or piecewise static, scheduling techniques. The scheduling problem is concerned with nding the few scheduling decisions that must be run-time, while most decisions are pre-calculated. The result is then an, as small as possible, set of static schedules that are dynamically scheduled. To identify these dynamic decisions and to find the concrete schedules, this thesis shows how quasi-static scheduling can be represented as a model checking problem. This involves identifying the relevant information to generate a minimal but complete model to be used for model checking. The model must describe everything that may affect scheduling of the application while omitting everything else in order to avoid state space explosion. This kind of simplification is necessary to make the state space analysis feasible. For the model checker to nd the actual schedules, a set of scheduling strategies are de ned which are able to produce quasi-static schedulers for a wide range of applications. The results of this work show that actor composition with quasi-static scheduling can be used to transform data ow programs to t many different computer architecture with different type and number of cores. This in turn, enables dataflow to provide a more platform independent representation as one application can be fitted to a specific processor architecture without changing the actual program representation. Instead, the program representation is in the context of design space exploration optimized by the development tools to fit the target platform. This work focuses on representing the dataflow scheduling problem as a model checking problem and is implemented as part of a compiler infrastructure. The thesis also presents experimental results as evidence of the usefulness of the approach.

Rural Food System Change in Tanzania during the Post-Ujamaa Era. A Case Study from Western Bagamoyo District

Food systems in Sub-Saharan Africa have been rapidly transforming during the recent decades with diverse outcomes on human development and environment. This study explores the food system change in rural villages in eastern Tanzania where subsistence agriculture has traditionally been the main source of livelihood. The focus is on the salient changes in the spatial dimensions and structural composition of the food system in the context of economic liberalization that has taken place after the end of the socialist ujamaa era in the mid-1980s. In addition, the linkages of the changes are examined in relation to food security, socio-economic situation, livelihoods, and local environment. The approach of the study is geographical, but also involves various multi-disciplinary elements, particularly from development studies. The research methods included thematic and questionnaire interviews, participatory tools, and the analysis of land use/ cover data and official documents. Several earlier studies that were made in the area during the late 1970s and 1980s provided an important reference base. The study shows that subsistence farming has lost its dominant role in food provisioning due to the declining productivity of land, livestock losses, and the increasing shift of labour to non-farm sectors. Also rapid population growth has added to the pressure on land and other natural resources. Despite the increasing need for money for buying marketed foods and other necessities, the nutritional situation shows improvement and severe malnutrition has diminished. However, the long-term sustainability of this transformation raises concerns. Firstly, the food security situation continues to be fragile and prone to shocks such as adverse climatic conditions, crop failures and price hikes. Secondly, the commodification of the food system and livelihoods in general is linked to rapid environmental degradation in the area, particularly the loss of soil fertility and deforestation. The situation calls for efforts that take more determined and holistic approaches towards sustainable development of the rural food system with particular focus on the role and viability of small-scale farming.

Kaksoiselämäni teatteritaiteen palveluksessa : ammatti-identiteettini rakennuselementit

In my thesis I discuss the elements of my professional identity from the perspective of an actor, a director and a team. What are acting and directing to me? What are the problems in the symbiosis of acting and directing? What are the difficulties in acting and directing and how important are the issues related to responsibility, power, trust and confidence in my work? I also discuss the consept of self-confidence. Behind all of this, there is also the thought of my ancestry and its dualism, how my roots from my father's and mother's side are struggling against each other or supporting each other, and how they affect my professional identity. The basic idea in the present thesis is the perspective of the traditional theatre and a professional team. Also the childhood influence on my professional identity is being considered. Education is discussed at the end. Moreover, a discussion on the kind of future theatre maker I want to be considered as, is included. I also try to handle all these topics through Harri Virtanen's Kiinteistövälittäjä vastoin tahtoaan (2005), which I directed, and my latest role in Arto Paasilinna's and Kristian Smeds' Jäniksen vuosi (2006). The conclusion of the present thesis is that it is very important for me to be a member of different communities, in which I can express my professional identity. My professional identity is formed by many elements that support each other. Such elements in their own right form an inticate relationship, which at the end, makes me what I am. In conclusion, I am a theatre maker, who in an alternative field of theater has opportunities to form the professional identity, as different situations and projects require.

Changes in understorey biomass and species composition after water level drawdown on pine mires in southern Finland

Tiivistelmä: Vedenpinnan alenemisen vaikutus sararämeen pintakasvillisuuden biomassaan ja lajistoon

Composition and cross-sectional area of muscle fibre types in relation to daily gain and lean and fat content of carcass in Landrace and Yorkshire pigs

Selostus: Lihassolutyypin ja lihassolun poikkipinta-alan yhteys sian kasvuun ja ruhon koostumukseen maatiaisessa ja yorkshiressa

Effects of composite casein and [beta]-lactoglobulin genotypes on renneting properties and composition of bovine milk by assuming an animal model

Selostus: Kaseiinien yhdistelmägenotyyppien ja [beta]-laktoglobuliinin genotyyppien vaikutus maidon juoksettumisominaisuuksiin ja koostumukseen

Effect of species composition on economic return in amixed stand of Norway spruce and Scots Pine

Summary

Integrated environmental research and networking of economy and information in rural areas of Finland

Selostus: Kestävän kehityksen integroidun tutkimuksen ja verkostotalouden teorian tutkimusmenetelmälliset ongelmat

Effect of soil wetness on air composition and nitrous oxide emission in a loam soil

Selostus: Maan märkyyden vaikutus ilman koostumukseen ja dityppioksidiemissioon hiuemaassa

Yields, plant characteristics, total N and fibre composition of timothy cultivars grown at two latitudes

Selostus: Timoteilajikkeiden sadot, kasvuominaisuudet sekä typpi- ja kuitupitoisuus kahdella leveysasteella