heilbrunn fritz; card to heilbrunn karl; group of unidentified soldiers Military; Portraits

correspondence: card from fritz to karl; returned 4/ 16

LLVM-kääntäjäarkkitehtuuri ja sen soveltuvuus Java-virtuaalikoneen toteutuspohjaksi

Low Level Virtual Machine (LLVM) on moderni koko ohjelman elinkaaren optimointeihin keskittyvä kääntäjäarkkitehtuuri. Java-virtuaalikone on puolestaan suosittu korkean tason virtuaalikone, johon monien ohjelmointikielten toteutus nykyään perustuu. Tutkielmassa esitellään alun perin suorituskykyisen C- ja C++-kääntäjän toteuttamiseksi luotu LLVM-järjestelmä ja arvioidaan, miten hyvin LLVM-infrastruktuuri tukee Java-virtuaalikoneen toteuttamista. Tämän lisäksi tutkielmassa pohditaan, miten dynaamisten kielten usein tarvitsemaa suoritusaikaista ja lähdekieliriippuvaista optimointia voidaan tukea lähdekieliriippumattomassa LLVM-järjestelmässä. Lopuksi tutkielmassa esitellään kehitysehdotelma yleisen roskienkeruuinfrastruktuurin toteuttamiseksi LLVM:ssä, mikä tukisi dynaamista muistia automaattisesti hallitsevien kielten, kuten Javan ja sen virtuaalikoneen toteuttamista.

Dance card

Dance card: Hebrew Charity Ball. Black ink on pink paper. Inside is printed with red ink on white paper. 4 pages.

The Soviet Union, Finland and the Cold War : The Finnish Card in Soviet Foreign Policy, 1956-1959

From the Soviet point of view the actual substance of Soviet-Finnish relations in the second half of 1950s clearly differed from the contemporary and later public image, based on friendship and confidence rhetoric. As the polarization between the right and the left became more underlined in Finland in the latter half of the 1950s, the criticism towards the Soviet Union became stronger, and the USSR feared that this development would have influence on Finnish foreign policy. From the Soviet point of view, the security commitments of FCMA-treaty needed additional guarantees through control of Finnish domestic politics and economic relations, especially during international crises. In relation to Scandinavia, Finland was, from the Soviet point of view, the model country of friendship or neutrality policy. The influence of the Second Berlin Crisis or the Soviet-Finnish Night Frost Crisis in 1958-1959 to Soviet policy towards Scandinavia needs to be observed from this point of view. The Soviet Union used Finland as a tool, in agreement with Finnish highest political leadership, for weakening of the NATO membership of Norway and Denmark, and for maintaining Swedish non-alliance. The Finnish interest to EFTA membership in the summer of 1959, at the same time with the Scandinavian countries, seems to have caused a panic reaction in the USSR, as the Soviets feared that these economic arrangements would reverse the political advantages the country had received in Finland after the Night Frost Crisis. Together with history of events, this study observes the interaction of practical interests and ideologies, both in individuals and in decision-making organizations. The necessary social and ideological reforms in the Soviet Union after 1956 had influence both on the legitimacy of the regime, and led to contradictions in the argumentation of Soviet foreign policy. This was observed both in the own camp as well as in the West. Also, in Finland a breakthrough took place in the late 1950's: as the so-called counter reaction lost to the K-line, "a special relationship" developed with the Soviet Union. As a consequence of the Night Frost Crisis the Soviet relationship became a factor decisively defining the limits of domestic politics in Finland, a part of Finnish domestic political argumentation. Understood from this basis, finlandization is not, even from the viewpoint of international relations, a special case, but a domestic political culture formed by the relationship between a dominant state, a superpower, and a subordinate state, Finland.

Field Flow Sensitive Pointer and Escape Analysis for Java Using Heap Array SSA

Context sensitive pointer analyses based on Whaley and Lam’s bddbddb system have been shown to scale to large Java programs. We provide a technique to incorporate flow sensitivity for Java fields into one such analysis and obtain an escape analysis based on it. First, we express an intraprocedural field flow sensitive analysis, using Fink et al.’s Heap Array SSA form in Datalog. We then extend this analysis interprocedurally by introducing two new φ functions for Heap Array SSA Form and adding deduction rules corresponding to them. Adding a few more rules gives us an escape analysis. We describe two types of field flow sensitivity: partial (PFFS) and full (FFFS), the former without strong updates to fields and the latter with strong updates. We compare these analyses with two different (field flow insensitive) versions of Whaley-Lam analysis: one of which is flow sensitive for locals (FS) and the other, flow insensitive for locals (FIS). We have implemented this analysis on the bddbddb system while using the SOOT open source framework as a front end. We have run our analysis on a set of 15 Java programs. Our experimental results show that the time taken by our field flow sensitive analyses is comparable to that of the field flow insensitive versions while doing much better in some cases. Our PFFS analysis achieves average reductions of about 23% and 30% in the size of the points-to sets at load and store statements respectively and discovers 71% more “caller-captured” objects than FIS.

Migration-Development Nexus in the Malawian Health Sector: European Union Blue Card – circular migration for development?

The European Union has agreed on implementing the Policy Coherence for Development (PCD) principle in all policy sectors that are likely to have a direct impact on developing countries. This is in order to take account of and support the EU development cooperation objectives and the achievement of the internationally agreed Millennium Development Goals. The common EU migration policy and the newly introduced EU Blue Card directive present an example of the implementation of the principle in practice: the directive is not only designed to respond to the occurring EU labour demand by attracting highly skilled third-country professionals, but is also intended to contribute to the development objectives of the migrant-sending developing countries, primarily through the tool of circular migration and the consequent skills transfers. My objective in this study is to assess such twofold role of the EU Blue Card and to explore the idea that migration could be harnessed for the benefit of development in conformity with the notion that the two form a positive nexus. Seeing that the EU Blue Card fails to differentiate the most vulnerable countries and sectors from those that are in a better position to take advantage of the global migration flows, the developmental consequences of the directive must be accounted for even in the most severe settings. Accordingly, my intention is to question whether circular migration, as claimed, could address the problem of brain drain in the Malawian health sector, which has witnessed an excessive outflow of its professionals to the UK during the past decade. In order to assess the applicability, likelihood and relevance of circular migration and consequent skills transfers for development in the Malawian context, a field study of a total of 23 interviews with local health professionals was carried out in autumn 2010. The selected approach not only allows me to introduce a developing country perspective to the on-going discussion at the EU level, but also enables me to assess the development dimension of the EU Blue Card and the intended PCD principle through a local lens. Thus these interviews and local viewpoints are at the very heart of this study. Based on my findings from the field, the propensity of the EU Blue Card to result in circular migration and to address the persisting South-North migratory flows as well as the relevance of skills transfers can be called to question. This is as due to the bias in its twofold role the directive overlooks the importance of the sending country circumstances, which are known to determine any developmental outcomes of migration, and assumes that circular migration alone could bring about immediate benefits. Without initial emphasis on local conditions, however, positive outcomes for vulnerable countries such as Malawi are ever more distant. Indeed it seems as if the EU internal interests in migration policy forbid the fulfilment of the PCD principle and diminish the attempt to harness migration for development to bare rhetoric.

Dynamic path profile aided recompilation in a JAVA just-in-time compiler

Just-in-Time (JIT) compilers for Java can be augmented by making use of runtime profile information to produce better quality code and hence achieve higher performance. In a JIT compilation environment, the profile information obtained can be readily exploited in the same run to aid recompilation and optimization of frequently executed (hot) methods. This paper discusses a low overhead path profiling scheme for dynamically profiling AT produced native code. The profile information is used in recompilation during a subsequent invocation of the hot method. During recompilation tree regions along the hot paths are enlarged and instruction scheduling at the superblock level is performed. We have used the open source LaTTe AT compiler framework for our implementation. Our results on a SPARC platform for SPEC JVM98 benchmarks indicate that (i) there is a significant reduction in the number of tree regions along the hot paths, and (ii) profile aided recompilation in LaTTe achieves performance comparable to that of adaptive LaTTe in spite of retranslation and profiling overheads.

Java Memory Model aware Software validation

The Java Memory Model (JMM) provides a semantics of Java multithreading for any implementation platform. The JMM is defined in a declarative fashion with an allowed program execution being defined in terms of existence of "commit sequences" (roughly, the order in which actions in the execution are committed). In this work, we develop OpMM, an operational under-approximation of the JMM. The immediate motivation of this work lies in integrating a formal specification of the JMM with software model checkers. We show how our operational memory model description can be integrated into a Java Path Finder (JPF) style model checker for Java programs.

Gate Drive Card for High Power Three Phase PWM Converters

Gate driver is an integral part of every power converter, drives the power semiconductor devices and also provides protection for the switches against short-circuit events and over-voltages during shut down. Gate drive card for IGBTs and MOSFETs with basic features can be designed easily by making use of discrete electronic components. Gate driver ICs provides attractive features in a single package, which improves reliability and reduces effort of design engineers. Either case needs one or more isolated power supplies to drive each power semiconductor devices and provide isolation to the control circuitry from the power circuit. The primary emphasis is then to provide simplified and compact isolated power supplies to the gate drive card with the requisite isolation strength and which consumes less space, and for providing thermal protection to the power semiconductor modules for 3-� 3 wire or 4 wire inverters.

Does lean imply green?: a study of the power performance implications of Java runtime bloat

The presence of software bloat in large flexible software systems can hurt energy efficiency. However, identifying and mitigating bloat is fairly effort intensive. To enable such efforts to be directed where there is a substantial potential for energy savings, we investigate the impact of bloat on power consumption under different situations. We conduct the first systematic experimental study of the joint power-performance implications of bloat across a range of hardware and software configurations on modern server platforms. The study employs controlled experiments to expose different effects of a common type of Java runtime bloat, excess temporary objects, in the context of the SPECPower_ssj2008 workload. We introduce the notion of equi-performance power reduction to characterize the impact, in addition to peak power comparisons. The results show a wide variation in energy savings from bloat reduction across these configurations. Energy efficiency benefits at peak performance tend to be most pronounced when bloat affects a performance bottleneck and non-bloated resources have low energy-proportionality. Equi-performance power savings are highest when bloated resources have a high degree of energy proportionality. We develop an analytical model that establishes a general relation between resource pressure caused by bloat and its energy efficiency impact under different conditions of resource bottlenecks and energy proportionality. Applying the model to different "what-if" scenarios, we predict the impact of bloat reduction and corroborate these predictions with empirical observations. Our work shows that the prevalent software-only view of bloat is inadequate for assessing its power-performance impact and instead provides a full systems approach for reasoning about its implications.

A Drift Card Study in Monterey Bay, California, September 1971 to April 1973: Annual Report, Part 4, 1973

Drift cards were released in Monterey Bay, California, to detect seasonal variations in the California Current system, and seasonal and diurnal wind variations in the immediate vicinity of the bay. About 23% of the cards were recovered, although the recovery rate varied from about 5% in the winter to about 60% in the late summer. Drift card speeds ranged from 1 to 8 km/day, in the winter and summer months respectively. Good agreement was observed between geostrophic current, wind, drogue, and drift card data, although drift cards were observed to be primarily wind driven. A weekend bias in drift card recoveries was observed for the entire period of study; however, it was less pronounced for those cards released during the summer months. Two bogus releases were used to estimate the discovery lag time, reported position accuracy, and longshore drift currents. Diurnal winds were observed during a 24-hour study, and indicated daily variations in the wind field may be as important as seasonal changes in moving surface water. The drift card speed was observed to be about 3% of the wind velocity, and 1 m/sec was estimated as the minimum effective wind. The wind factor, ranging from 2.2% to 4.0%, was used to estimate the actual paths of drift cards and to examine the role of diurnal winds in affecting surface water movement. (PDF contains 79 pages)

Programazioaren oinarriak: C-ko eta Java-ko praktikak

Helburuak: Ikasmaterial honen helburu nagusia ikasleek C-ko eta Java-ko klase teorikoetan lantzen dituzten ezagutzak sendotzea da. Norentzat: Programazioari buruzko lehen ezagutzak sendotu nahi dituen edozein ikasleei zuzenduta, baina bereziki telekomunikazio ikasketak egiten ari diren ikasleei.

Biodiversity study of Southern Biscayne Bay and Card Sound 1968-1973

A multi-disciplinary investigation was conducted in southern Biscayne Bay and Card Sound from 1968 to 1973. The purpose of the investigation was to conduct an integrated study of the ecology of southern Biscayne Bay with special emphasis on the effects of the heated effluent from the Turkey Point fossil fuel power plant, and to predict the impact of additional effluent from the planned conversion of the plant to nuclear fuel. The results of this investigation have been discussed in numerous publications. This report contains the unpublished biology data that resulted from the investigation. (PDF contains 44 pages)