A profile-based tool for finding pipeline parallelism in sequential programs

Traditional static analysis fails to auto-parallelize programs with a complex control and data flow. Furthermore, thread-level parallelism in such programs is often restricted to pipeline parallelism, which can be hard to discover by a programmer. In this paper we propose a tool that, based on profiling information, helps the programmer to discover parallelism. The programmer hand-picks the code transformations from among the proposed candidates which are then applied by automatic code transformation techniques.

This paper contributes to the literature by presenting a profiling tool for discovering thread-level parallelism. We track dependencies at the whole-data structure level rather than at the element level or byte level in order to limit the profiling overhead. We perform a thorough analysis of the needs and costs of this technique. Furthermore, we present and validate the belief that programs with complex control and data flow contain significant amounts of exploitable coarse-grain pipeline parallelism in the program’s outer loops. This observation validates our approach to whole-data structure dependencies. As state-of-the-art compilers focus on loops iterating over data structure members, this observation also explains why our approach finds coarse-grain pipeline parallelism in cases that have remained out of reach for state-of-the-art compilers. In cases where traditional compilation techniques do find parallelism, our approach allows to discover higher degrees of parallelism, allowing a 40% speedup over traditional compilation techniques. Moreover, we demonstrate real speedups on multiple hardware platforms.

Il performance measurement negli enti locali. Strumenti innovativi nella prospettiva economico-aziendale

In un'epoca di risorse scarse e di crescente disaffezione verso la politica, l'azione degli enti locali ha un impatto sempre più rilevante sulla qualità della vita del cittadino. A tal fine, l'adozione di sistemi di programmazione e controllo, supportati da idonei strumenti, diviene essenziale per il perseguimento dell'efficienza e dell'efficacia e dunque per riconquistare la fiducia del cittadino stesso. Il volume, sulla base di un'analisi della normativa (dai primi anni Novanta fino al DL 174/2012 e s.m.i.) e della letteratura nazionale ed internazionale in tema di performance measurement, identifica un Modello ottimale (Modello PerformEL) per la redazione di due documenti che possono avere un ruolo centrale nel sistema di programmazione e controllo locale: il Piano e la Relazione sulla Performance. La capacità informativa di questi ultimi è testata tramite un'indagine empirica che ha coinvolto i comuni con almeno 50.000 abitanti, comparando struttura, forma e contenuti di tali documenti con quelli ritenuti ottimali e quindi inseriti nel Modello. Sulla base dei risultati dell'indagine, che mostrano una diffusa inadeguatezza informativa degli strumenti analizzati, viene proposto un percorso evolutivo per la graduale realizzazione di documenti di programmazione e controllo che, al di là della loro 'etichetta formale' (Piano della Performance piuttosto che Piano Esecutivo di Gestione, Relazione sulla Performance o Report dei Controlli interni) permetta di semplificare l'architettura informativa dell'ente locale (nel rispetto del DL 174/2012) e parimenti di trasformare i molteplici inutili adempimenti in utili documenti di performance measurement.

Does social deprivation influence inter-group contact outcomes for pupils in Northern Ireland?

The education system in Northern Ireland is characterized by division, with
around 95% of the pupil population attending predominantly co-religionist
schools. In a society that is transitioning from a thirty year conflict that has been
framed by hostilities between the main Catholic and Protestant communities, reconciliation
interventions in education have sought to promote the value of intergroup
contact between pupils attending separate schools. Some qualitative research
suggests that such initiatives are more likely to have positive outcomes for
pupils from more middle class backgrounds than those from more disadvantaged
communitiesand areas that experienced high levels of conflict related incidents and deaths during the pre-ceasefire years. Drawing on contact theory and empirical evidence from a large scale quantitative study, we seek to examine this theory. Using free school meals as a proxy for social class, our findings are consistent in finding that there is a differential impact of contact for those from less affluent backgrounds, and we conclude by arguing that this should be reflected in policy responses.

Performance and Fault Tolerance of Preconditioned Iterative Solvers on Low-Power ARM Architectures

As the complexity of computing systems grows, reliability and energy are two crucial challenges asking for holistic solutions. In this paper, we investigate the interplay among concurrency, power dissipation, energy consumption and voltage-frequency scaling for a key numerical kernel for the solution of sparse linear systems. Concretely, we leverage a task-parallel implementation of the Conjugate Gradient method, equipped with an state-of-the-art pre-conditioner embedded in the ILUPACK software, and target a low-power multi core processor from ARM.In addition, we perform a theoretical analysis on the impact of a technique like Near Threshold Voltage Computing (NTVC) from the points of view of increased hardware concurrency and error rate.

Super suburbia: developing resilience by closing resource cycles in North Belfast

Sustainability can be described as having three interlinked strands, known as the ‘trias energetica’, without which resilience is difficult to achieve. These strands are environmental, social and economic: and if taken as indicators, the suburbs of North Belfast are very poorly performing indeed. Places such as Ligoneal and Glen Cairn have poor housing stock energetically, and also little economic activity. This paper describes propositional work completed by Queens University and Belfast City Council as part of the UK’s Technology Strategy Board’s Future Cities Programme, which aimed to develop new synergies in these neighbourhoods by the insertion of closed cycle economies.

By utilising a research by design methodology, the paper develops a process-based and phased design to develop a new emergent form to these neighbourhoods, one in which new productive systems are embedded into the city, at a small-scales. These include a peak-load hydro-electric project in Ligoneal; a productive landscape in Glen Cairn and a city-wide energy refurbishment utilising neighbourhood waste streams.

These designs allow for a roadmap for development to be created that could change the modus operandi of an area over a relatively short period of time, and show that even modest investments of productive technologies at a local scale could fundamentally change the form and the economic and environmental operation of the city in the future, and create a new resilient city, one that can be less externally dependent and more socially just.