Lecture Notes in Computer Science 3544

Transcription

1 Lecture Notes in Computer Science 3544 Commenced Publication in 1973 Founding and Former Series Editors: Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen Editorial Board David Hutchison Lancaster University, UK Takeo Kanade Carnegie Mellon University, Pittsburgh, PA, USA Josef Kittler University of Surrey, Guildford, UK Jon M. Kleinberg Cornell University, Ithaca, NY, USA Friedemann Mattern ETH Zurich, Switzerland John C. Mitchell Stanford University, CA, USA Moni Naor Weizmann Institute of Science, Rehovot, Israel Oscar Nierstrasz University of Bern, Switzerland C. Pandu Rangan Indian Institute of Technology, Madras, India Bernhard Steffen University of Dortmund, Germany Madhu Sudan Massachusetts Institute of Technology, MA, USA Demetri Terzopoulos New York University, NY, USA Doug Tygar University of California, Berkeley, CA, USA Moshe Y. Vardi Rice University, Houston, TX, USA Gerhard Weikum Max-Planck Institute of Computer Science, Saarbruecken, Germany

2 Teruo Higashino (Ed.) Principles of Distributed Systems 8th International Conference, OPODIS 2004 Grenoble, France, December 15-17, 2004 Revised Selected Papers 13

3 Volume Editor Teruo Higashino Osaka University Graduate School of Information Science and Technology 1-5 Yamadaoka, Suita, Osaka , Japan Library of Congress Control Number: CR Subject Classification (1998): C.2.4, D.1.3, D.2.7, D.2.12, D.4.7, C.3 ISSN ISBN Springer Berlin Heidelberg New York ISBN Springer Berlin Heidelberg New York This work is subject to copyright. All rights are reserved, whether the whole or part of the material is concerned, specifically the rights of translation, reprinting, re-use of illustrations, recitation, broadcasting, reproduction on microfilms or in any other way, and storage in data banks. Duplication of this publication or parts thereof is permitted only under the provisions of the German Copyright Law of September 9, 1965, in its current version, and permission for use must always be obtained from Springer. Violations are liable to prosecution under the German Copyright Law. Springer is a part of Springer Science+Business Media springeronline.com Springer-Verlag Berlin Heidelberg 2005 Printed in Germany Typesetting: Camera-ready by author, data conversion by Scientific Publishing Services, Chennai, India Printed on acid-free paper SPIN: /

4 Preface The 8th International Conference on Principles of Distributed Systems (OPODIS 2004) was held during December 15 17, 2004 at Grenoble, France. It continued a tradition of successful conferences with friendly and pleasant atmospheres. The earlier organizations of OPODIS were held in Luzarches (1997), Amiens (1998), Hanoi (1999), Paris (2000), Mexico (2001), Reims (2002) and La Martinique (2003). OPODIS is an open forum for exchange of state-of-the-art knowledge on distributed computing and systems among researchers from around the world. Following the tradition of the previous organizations, the 2004 program was composed of high-quality contributed and invited papers by experts of international caliber in this scientific area. The topics of interest were the theory, specification, design and implementation of distributed systems, which include: - peer-to-peer systems, cluster and grid-based computing - fault tolerance and self-stabilizing systems -real-timeandembeddedsystems - coordination and consistency protocols - distributed and multiprocessor algorithms - communication and synchronization protocols - self-stabilization, reliability and fault tolerance - performance analysis of distributed algorithms and systems - specification and verification of distributed systems - security issues in distributed computing and systems - distributed collaborative environments - location- and context-aware systems - overlay network architectures In response to the call for papers for OPODIS 2004, in total 102 papers in the above areas were submitted from 28 countries from over the world. Each paper was reviewed by three reviewers, and judged according to scientific and presentation quality, originality and relevance to the conference topics. Then the Program Committee selected 30 papers. The acceptance ratio was less than 30%. Besides the technical contributed papers, the program included two exciting invited talks: Prof. David Lee (Ohio State University, USA) and Dr. Joseph Sifakis (Verimag, France). We really appreciate that these two distinguished experts accepted our invitation to share with us their views of various aspects of the field. It is impossible to organize a successful program without the help of many individuals. We would like to express our appreciation to the authors of the submitted papers, Program Committee members and external referees. Furthermore, we would also like to thank the OPODIS Steering Committee mem-

5 VI Preface bers, who supervise and support the continuation of the event. We owe special thanks to the Organizing Committee chair, Prof. Van-Dat Cung (ENSGI-INP Grenoble), the publicity chair, Prof. Yi Zhang (Univ. of Birmingham, UK), and Mr. Akira Uchiyama (Osaka Univ., Japan) for his assistance with the electronic submission and reviewing system. We also thank Prof. Marc Bui (Univ. Paris 8/EPHE, France) for his support in the preparation of the conference proceedings. Finally, we express one more special thanks to all the other Organizing Committee members for their precious efforts that contributed to making OPODIS 2004 a successful conference. December 2004 Teruo Higashino Sponsors Organization With the support of Laboratory of ENS Génie Industriel and INPGrenoble, France Laboratory of CNRS, IMAG, INPGrenoble, INRIA and UJF, France University of Osaka, Japan

6 Table of Contents Invited Session I Protocol System Integration, Interface and Interoperability David Lee, Christine Liu, Mihalis Yannakakis... 1 Session I (Design of Distributed Systems I) DART: Distributed Automated Regression Testing for Large-Scale Network Applications Brent N. Chun Testing Mobile and Distributed Systems: Method and Experimentation Patrice Laurençot, Sébastien Salva A UNITY-Based Framework Towards Component Based Systems I.S.W.B. Prasetya, T.E.J. Vos, A. Azurat, S.D. Swierstra Session II (Ad-Hoc Networks and Mobile Agents) Searching for a Black Hole in Tree Networks Jurek Czyzowicz, Dariusz Kowalski, Euripides Markou, Andrzej Pelc Fast Localized Delaunay Triangulation Filipe Araújo, Luís Rodrigues Robust Topology Control Protocols Sukumar Ghosh, Kevin Lillis, Saurav Pandit, Sriram Pemmaraju A Scheme Encouraging Mobile Nodes to Forward Packets via Multiple Wireless Links Aggregating System Between the Internet and Mobile Ad Hoc Networks Yosuke Ito, Hiroshi Mineno, Susumu Ishihara Session III (Grid and Networks) A Protocol for Recording Provenance in Service-Oriented Grids Paul Groth, Michael Luck, Luc Moreau

7 X Table of Contents Self-optimizing DHTs Using Request Profiling Alina Bejan, Sukumar Ghosh Computing All the Best Swap Edges Distributively Paola Flocchini, Linda Pagli, Giuseppe Prencipe, Nicola Santoro, Peter Widmayer, Tranos Zuva SRF TCP: A TCP-Friendly and Fair Congestion Control Method for High-Speed Networks Masahiko Fukuhara, Fumiaki Hirose, Tomoya Hatano, Hiroshi Shigeno, Ken-ichi Okada Invited Session II Embedded Systems - Challenges and Work Directions Joseph Sifakis Session IV (Security) Comparison of Failures and Attacks on Random and Scale-Free Networks Jean-Loup Guillaume, Matthieu Latapy, Clémence Magnien Firewall Queries Alex X. Liu, Mohamed G. Gouda, Huibo H. Ma, Anne HH. Ngu Session V (Distributed Algorithms) Self-tuning Reactive Distributed Trees for Counting and Balancing Phuong Hoai Ha, Marina Papatriantafilou, Philippas Tsigas Optimal Resilience Asynchronous Approximate Agreement Ittai Abraham, Yonatan Amit, Danny Dolev Lock-Free and Practical Doubly Linked List-Based Deques Using Single-Word Compare-and-Swap Håkan Sundell, Philippas Tsigas Session VI (Self-stabilization) A Dynamic Reconfiguration Tolerant Self-stabilizing Token Circulation Algorithm in Ad-Hoc Networks Hirotsugu Kakugawa, Masafumi Yamashita

8 Table of Contents XI Snap-Stabilizing Depth-First Search on Arbitrary Networks Alain Cournier, Stéphane Devismes, Franck Petit, Vincent Villain A Self-stabilizing Link-Coloring Protocol Resilient to Byzantine Faults in Tree Networks Yusuke Sakurai, Fukuhito Ooshita, Toshimitsu Masuzawa A Hierarchy-Based Fault-Local Stabilizing Algorithm for Tracking in Sensor Networks Murat Demirbas, Anish Arora, Tina Nolte, Nancy Lynch Session VII (Design of Distributed Systems II) The Quorum Deployment Problem Seth Gilbert, Grzegorz Malewicz A Constraint-Based Formalism for Consistency in Replicated Systems Marc Shapiro, Karthikeyan Bhargavan, Nishith Krishna Analyzing Convergence in Consistency Models for Distributed Objects Francisco J. Torres-Rojas, Esteban Meneses Session VIII (Sensor Networks) Directional Versus Omnidirectional Antennas for Energy Consumption and k-connectivity of Networks of Sensors Evangelos Kranakis, Danny Krizanc, Eric Williams Secure Location Verification Using Radio Broadcast Adnan Vora, Mikhail Nesterenko Sentries and Sleepers in Sensor Networks Mohamed G. Gouda, Young-ri Choi, Anish Arora Clock Synchronization for Wireless Networks Rui Fan, Indraneel Chakraborty, Nancy Lynch Session IX (Task/Resource Allocation) Task Assignment Based on Prioritising Traffic Flows James Broberg, Zahir Tari, Panlop Zeephongsekul

9 XII Table of Contents A Novel Distributed Scheduling Algorithm for Resource Sharing Under Near-Heavy Load Diego Carvalho, Fábio Protti, Massimo De Gregorio, Felipe M.G. França Internet Computing of Tasks with Dependencies Using Unreliable Workers Li Gao, Grzegorz Malewicz Author Index