Architecture of Computing Systems - ARCS 2010: 23rd International Conference, Hannover, Germany, February 22-25, 2010. Proceedings

257 Pages·2010·5.67 MB·English

by  Karsten Schwan

Lecture Notes in Computer Science 5974
CommencedPublicationin1973
FoundingandFormerSeriesEditors:
GerhardGoos,JurisHartmanis,andJanvanLeeuwen
EditorialBoard
DavidHutchison
LancasterUniversity,UK
TakeoKanade
CarnegieMellonUniversity,Pittsburgh,PA,USA
JosefKittler
UniversityofSurrey,Guildford,UK
JonM.Kleinberg
CornellUniversity,Ithaca,NY,USA
AlfredKobsa
UniversityofCalifornia,Irvine,CA,USA
FriedemannMattern
ETHZurich,Switzerland
JohnC.Mitchell
StanfordUniversity,CA,USA
MoniNaor
WeizmannInstituteofScience,Rehovot,Israel
OscarNierstrasz
UniversityofBern,Switzerland
C.PanduRangan
IndianInstituteofTechnology,Madras,India
BernhardSteffen
TUDortmundUniversity,Germany
MadhuSudan
MicrosoftResearch,Cambridge,MA,USA
DemetriTerzopoulos
UniversityofCalifornia,LosAngeles,CA,USA
DougTygar
UniversityofCalifornia,Berkeley,CA,USA
GerhardWeikum
Max-PlanckInstituteofComputerScience,Saarbruecken,Germany
Christian Müller-Schloer
Wolfgang Karl SamiYehia (Eds.)
Architecture of
Computing Systems -
ARCS 2010
23rd International Conference
Hannover, Germany, February 22-25, 2010
Proceedings
1 3
VolumeEditors
ChristianMüller-Schloer
LeibnizUniversityHannover
Appelstraße4,30167Hannover,Germany
E-mail:[email protected]
WolfgangKarl
KarlsruheInstituteofTechnology(KIT)
Kaiserstraße12,76131Karlsruhe,Germany
E-mail:[email protected]
SamiYehia
ThalesResearchandTechnology,CampusPolytechnique
1AvenueAugustinFresnel,91767PalaiseauCedex,France
E-mail:[email protected]
LibraryofCongressControlNumber:2010921317
CRSubjectClassification(1998):C.2,C.5.3,D.4,D.2.11,H.3.5,H.4,H.5.4
LNCSSublibrary:SL1–TheoreticalComputerScienceandGeneralIssues
ISSN 0302-9743
ISBN-10 3-642-11949-2SpringerBerlinHeidelbergNewYork
ISBN-13 978-3-642-11949-1SpringerBerlinHeidelbergNewYork
Thisworkissubjecttocopyright.Allrightsarereserved,whetherthewholeorpartofthematerialis
concerned,specificallytherightsoftranslation,reprinting,re-useofillustrations,recitation,broadcasting,
reproductiononmicrofilmsorinanyotherway,andstorageindatabanks.Duplicationofthispublication
orpartsthereofispermittedonlyundertheprovisionsoftheGermanCopyrightLawofSeptember9,1965,
initscurrentversion,andpermissionforusemustalwaysbeobtainedfromSpringer.Violationsareliable
toprosecutionundertheGermanCopyrightLaw.
springer.com
©Springer-VerlagBerlinHeidelberg2010
PrintedinGermany
Typesetting:Camera-readybyauthor,dataconversionbyScientificPublishingServices,Chennai,India
Printedonacid-freepaper 06/3180 543210
Preface
TheARCSseriesofconferenceshasover30yearsoftraditionreportingtop-notch
results in computer architecture and operating systems research.It is organized
by the special interest group on “Computer and System Architecture”of the GI
(Gesellschaftfu¨rInformatike.V.)andITG(InformationstechnischeGesellschaft
imVDE InformationTechnologySociety).In2010,ARCSwashostedbyLeibniz
University Hannover.
This year’s special focus was on heterogeneous systems. The conference’s
topics comprised design aspects of multi-cores and memory systems, adaptive
system architectures such as reconfigurable systems in hardware and software,
customization and application-specific accelerators in heterogeneous architec-
tures, organic and autonomic computing, energy-awareness, system aspects of
ubiquitous and pervasive computing, and embedded systems.
Thecallforpapersattractedabout55submissionsfromallaroundtheworld.
Each submission was assigned to at least three members of the Program Com-
mittee for review. The ProgramCommittee decided to accept 20 papers, which
were arrangedin seven sessions. The accepted papers are from Belgium, China,
France, Germany, Italy, Spain, Turkey, and the UK. Two keynotes on heteroge-
neous systems complemented the strong technical program.
Wewouldliketothankallthosewhocontributedtothesuccessofthisconfer-
ence, in particular the members of the ProgramCommittee (and the additional
reviewers) for carefully reviewing the contributions and selecting a high-quality
program. The Workshops and Tutorials were organized and coordinated per-
fectlybyMichaelBeiglandFranciscoJ.CazorlaAlmeida.Ourspecialthanksgo
to the members of the Organizing Committee for their numerous contributions:
RainerBuchtysetuptheconferencesoftware.ThomasB.Preußlerdesignedand
maintained the website. David Kramer and Martin Schindewolf took over the
tremendous task of preparing this volume. We especially would like to thank
Yvonne Bernard, J¨org Ha¨hner, Bjo¨rn Hurling, and Ju¨rgen Brehm for taking
care of the local arrangements and the many other aspects of preparing the
conference.
February 2010 Christian Mu¨ller-Schloer
Wolfgang Karl
Sami Yehia
Organization
General Chair
Christian Mu¨ller-Schloer Leibniz Universita¨t Hannover,
Germany
Program Chairs
Wolfgang Karl Karlsruhe Institute of Technology (KIT),
Germany
Sami Yehia THALES Research and Technology, France
Workshop and Tutorial Chair
Michael Beigl TU Braunschweig,Germany
Francisco J.C. Almeida Barcelona Supercomputing Center (BSC),
Spain
Proceedings
David Kramer Karlsruhe Institute of Technology (KIT),
Germany
Martin Schindewolf Karlsruhe Institute of Technology (KIT),
Germany
Local Organization
J¨org Ha¨hner Leibniz Universita¨t Hannover, Germany
Yvonne Bernard Leibniz Universit¨at Hannover, Germany
Local Organization and Finance
Ju¨rgen Brehm Leibniz Universit¨at Hannover, Germany
Program Committee
Frank Bellosa Karlsruhe Institute of Technology (KIT),
Germany
Mladen Berekovic TU Braunschweig,Germany
Arndt Bode Technische Universita¨t Mu¨nchen, Germany
Plamenka Borovska TU Sofia, Bulgaria
VIII Organization
Koen De Bosschere Ghent University, Belgium
Ju¨rgen Branke University of Warwick, UK
Uwe Brinkschulte University of Frankfurt, Germany
Philip Brisk EPFL, Lausanne, Switzerland
Jiannong Cao The Hong Kong Polytechnic University, China
Joa˜o M.P. Cardoso FEUP/University of Porto, Portugal
Luigi Carro Universidade Federal do Rio Grande do Sul,
Brazil
Nate Clark Georgia Institute of Technology, USA
Nikitas Dimopoulos University of Victoria, Canada
Oliver Diessel University of New South Wales, Australia
Marc Duranton NXP, France
Babak Falsafi EPFL Lausanne, Switzerland
Paolo Faraboschi HP Labs Barcelona, Spain
Fabrizio Ferrandi Polimi, Italy
Alois Ferscha University of Linz, Austria
Bj¨orn Franke University of Edinburgh, UK
J¨org Henkel Karlsruhe Institute of Technology (KIT),
Germany
Andreas Herkersdorf Technische Universita¨t Mu¨nchen, Germany
Mike Hinchey Lero University of Limerick, Ireland
Christian Hochberger TU Dresden, Germany
Murali Jayapala IMEC, Belgium
Gert Jervan Tallin University of Technology, Estonia
Chris Jesshope University of Amsterdam, The Netherlands
Ben Juurlink Delft University of Technology,
The Netherlands
Andreas Koch TU Darmstadt, Germany
Krzysztof Kuchcinski Lund University, Sweden
Paul Lukowicz University of Passau, Germany
Erik Maehle Universit¨at zu Lu¨beck, Germany
Ahmed El Mahdy Alexandria University, Egypt
Tom Martin Virginia Tech, USA
Dragomir Milojevic ULM Brussels, Belgium
Dimitrios Nikoplopoulos FORTH, Greece
Alex Orailoglu UCSD, USA
Emre Ozer ARM, UK
Daniel Gracia Perez CEA, France
Andy Pimentel University of Amsterdam, The Netherlands
PascalSainrat Universit´e Paul Sabatier, Toulouse, France
Toshinori Sato Kyushu University, Japan
Yiannakis Sazeides University of Cyprus, Cyprus
Burghardt Schallenberger Siemens AG, Germany
Organization IX
Hartmut Schmeck Karlsruhe Institute of Technology (KIT),
Germany
Karsten Schwan Georgia Tech, USA
Olaf Spinczyk University of Dortmund, Germany
Martin Schulz LLNL, USA
Cristina Silvano Polimi, Italy
Leonel Sousa TU Lisbon, Portugal
Rainer G. Spallek TU Dresden, Germany
Jarmo Takala Tampere University of Technology, Finland
Djamshjd Tavangarian University of Rostock, Germany
Ju¨rgen Teich Universit¨at Erlangen, Germany
Olivier Temam INRIA, France
Lothar Thiele ETH Zurich, Switzerland
Pedro Trancoso University of Cyprus, Cyprus
Theo Ungerer University of Augsburg, Germany
Mateo Valero UPC, Spain
Stephane Vialle Supelec, France
Lucian Vintan Lucian Blaga University of Sibiu, Romania
Klaus Waldschmidt University of Frankfurt, Germany
Stephan Wong Delft University of Technology,
The Netherlands
Reviewers
Fakhar Anjam Alois Ferscha
Ramon Beivide Bjo¨rn Franke
Frank Bellosa Jo¨rg Henkel
Mladen Berekovic Andreas Herkersdorf
Arndt Bode Mike Hinchey
Plamenka Borovska Christian Hochberger
Koen De Bosschere Murali Jayapala
Ju¨rgen Branke Gert Jervan
Uwe Brinkschulte Chris Jesshope
Philip Brisk Ben Juurlink
Jiannong Cao Kamil Kedzierski
Joa˜o M.P. Cardoso Andreas Koch
Luigi Carro Krzysztof Kuchcinski
Fran Cazorla Paul Lukowicz
Nate Clark Erik Maehle
Nikitas Dimopoulos Ahmed El Mahdy
Oliver Diessel Dragomir Milojevic
Marc Duranton Faisal Nadeem
Babak Falsafi Dimitrios Nikoplopoulos
Paolo Faraboschi Alex Orailoglu
Fabrizio Ferrandi Emre Ozer
X Organization
Daniel Gracia Perez Jarmo Takala
Miquel Pericas Djamshjd Tavangarian
Andy Pimentel Ju¨rgen Teich
PascalSainrat Olivier Temam
Toshinori Sato Lothar Thiele
Yiannakis Sazeides Pedro Trancoso
Burghardt Schallenberger Theo Ungerer
Hartmut Schmeck Mateo Valero
Karsten Schwan Stephane Vialle
Olaf Spinczyk Lucian Vintan
Martin Schulz Klaus Waldschmidt
Cristina Silvano Yao Wang
Leonel Sousa Stephan Wong
Rainer G. Spallek
Table of Contents
Keynote
HyVM - Hybrid Virtual Machines - Efficient Use of Future
Heterogeneous Chip Multiprocessors................................ 1
Karsten Schwan, Ada Gavrilovska, and Sudha Yalamanchili
Processor Design
How to Enhance a Superscalar Processor to Provide Hard Real-Time
Capable In-Order SMT ........................................... 2
J¨org Mische, Irakli Guliashvili, Sascha Uhrig, and Theo Ungerer
Complexity-Effective Rename Table Design for Rapid Speculation
Recovery........................................................ 15
G¨orkem A¸sılıo˘glu, Emine Merve Kaya, and O˘guz Ergin
An Embedded GC Module with Support for Multiple Mutators and
Weak References................................................. 25
Thomas B. Preußer, Peter Reichel, and Rainer G. Spallek
Embedded Systems
A Hierarchical Distributed Control for Power and Performances
Optimization of Embedded Systems ................................ 37
Patrick Bellasi, William Fornaciari, and David Siorpaes
Autonomic Workload Management for Multi-core Processor Systems ... 49
Johannes Zeppenfeld and Andreas Herkersdorf
Firefly Flashing Synchronization as Inspiration for Self-synchronization
of Walking Robot Gait Patterns Using a Decentralized Robot Control
Architecture..................................................... 61
Bojan Jakimovski, Benjamin Meyer, and Erik Maehle
Organic Computing and Self-organization
The JoSchKa System: Organic Job Distribution in Heterogeneous and
Unreliable Environments.......................................... 73
Matthias Bonn and Hartmut Schmeck
On Deadlocks and Fairness in Self-organizing Resource-Flow Systems... 87
Jan-Philipp Stegh¨ofer, Pratik Mandrekar, Florian Nafz,
Hella Seebach, and Wolfgang Reif
XII Table of Contents
Ad-Hoc Information Spread between Mobile Devices: A Case Study in
Analytical Modeling of Controlled Self-organization in IT Systems ..... 101
Kamil Kloch, Jan W. Kantelhardt, Paul Lukowicz,
Patrick Wu¨chner, and Hermann de Meer
Processor Design and Transactional Memory
MLP-Aware Instruction Queue Resizing: The Key to Power-Efficient
Performance..................................................... 113
Pavlos Petoumenos, Georgia Psychou, Stefanos Kaxiras,
Juan Manuel Cebrian Gonzalez, and Juan Luis Aragon
Exploiting Inactive Rename Slots for Detecting Soft Errors............ 126
Mehmet Kayaalp, O˘guz Ergin, Osman S. U¨nsal, and Mateo Valero
Efficient Transaction Nesting in Hardware Transactional Memory ...... 138
Yi Liu, Yangming Su, Cui Zhang, Mingyu Wu, Xin Zhang,
He Li, and Depei Qian
Energy Management in Distributed Environments
and Ad-Hoc Grids
Decentralized Energy-Management to Control Smart-Home
Architectures.................................................... 150
Birger Becker, Florian Allerding, Ulrich Reiner, Mattias Kahl,
Urban Richter, Daniel Pathmaperuma, Hartmut Schmeck, and
Thomas Leibfried
EnergySaving Cluster Roll: Power Saving System for Clusters ......... 162
Manuel F. Dolz, Juan C. Ferna´ndez, Rafael Mayo, and
Enrique S. Quintana-Ort´ı
Effect of the Degree of Neighborhoodon Resource Discovery in Ad Hoc
Grids........................................................... 174
Tariq Abdullah, Koen Bertels, Luc Onana Alima, and Zubair Nawaz
Performance Modelling and Benchmarking
Compiler-Directed Performance Model Construction for Parallel
Programs ....................................................... 187
Martin Schindewolf, David Kramer, and Marcelo Cintra
A Method for Accurate High-Level Performance Evaluation of MPSoC
Architectures Using Fine-Grained Generated Traces .................. 199
Roman Plyaskin and Andreas Herkersdorf