Real-Time Database and Information Systems: Research Advances

437 Pages·1997·16.663 MB·English

by  Sanjoy K. Baruah, Azer Bestavros (auth.), Azer Bestavros, Victor Fay-Wolfe (eds.)

REAL-TIME DATABASE AND
INFORMATION SYSTEMS:
Research Advances
THE KLUWER INTERNATIONAL SERIES
IN ENGINEERING AND COMPUTER SCIENCE
REAL-TIME SYSTEMS
Consulting Editor
John A. Stankovic
HARD REAL-TIME COMPUTING SYSTEMS: Predictable Scheduling Algorithms and
Applications, by Giorgio C. Buttazzo, ISBN: 0-7923-9994-3
REAL-TIME SYSTEMS: Design Principles for Distributed Embedded Applications. by
Hermann Kopetz, ISBN: 0-7923-9894-7
REAL-TIME DATABASE SYSTEMS: Issues and Applications, edited by Azer
Bestavros, Kwei-Jay Lin and Sang Hyuk Son, ISBN: 0-7923-9897-1
FAULT-TOLERANT REAL-TIME SYSTEMS: The Problem ofR eplica Determinism,
by Stefan Poledna, ISBN: 0-7923-9657-X
RESPONSIVE COMPUTER SYSTEMS: Steps Toward Fault-Tolerant Real-Time
Systems, by Donald Fussell and Miroslaw Malek, ISBN: 0-7923-9563-8
IMPRECISE AND APPROXIMATE COMPUTATION, by Swarninathan Natarajan,
ISBN: 0-7923-9579-4
FOUNDATIONS OF DEPENDABLE COMPUTING: System Implementation, edited
by Gary M. Koob and Clifford G. Lau, ISBN: 0-7923-9486-0
FOUNDATIONS OF DEPENDABLE COMPUTING: Paradigms for Dependable
Applications, edited by Gary M. Koob and Clifford G. Lau, ISBN: 0-7923-9485-2
FOUNDATIONS OF DEPENDABLE COMPUTING: Models and Frameworks for
Dependable Systems, edited by Gary M. Koob and Clifford G. Lau, ISBN: 0-7923-9484-4
THE TESTABILITY OF DISTRIBUTED REAL-TIME SYSTEMS,
Werner SchUtz; ISBN: 0-7923-9386-4
A PRACTITIONER'S HANDBOOK FOR REAL-TIME ANALYSIS: Guide to Rate
Monotonic Analysis for Real-Time Systems, Carnegie Mellon University (Mark Klein,
Thomas Ralya, Bill Pollak, Ray Obenza, Michale Gonzalez Harbour);
ISBN: 0-7923-9361-9
FORMAL TECHNIQUES IN REAL-TIME FAULT-TOLERANT SYSTEMS, J.
Vytopil; ISBN: 0-7923-9332-5
SYNCHRONOUS PROGRAMMING OF REACTIVE SYSTEMS, N. Halbwachs;
ISBN: 0-7923-9311-2
REAL-TIME SYSTEMS ENGINEERING AND APPLICATIONS, M. Schiebe, S.
Pferrer; ISBN: 0-7923-9196-9
SYNCHRONIZATION IN REAL-TIME SYSTEMS: A Priority Inheritance Approach,
R. Rajkumar; ISBN: 0-7923-9211-6
CONSTRUCTING PREDICTABLE REAL TIME SYSTEMS, W. A. Halang, A. D.
Stoyenko; ISBN: 0-7923-9202-7
FOUNDATIONS OF REAL-TIME COMPUTING: Formal Specifications and Methods,
A. M. van Tilborg, G. M. Koob; ISBN: 0-7923-9167-5
FOUNDATIONS OF REAL-TIME COMPUTING: Scheduling and Resource
Management, A. M. van Tilborg, G. M. Koob; ISBN: 0-7923-9166-7
REAL-TIME UNIX SYSTEMS: Design and Application Guide. B. Furht, D. Grostick,
D. Gluch, G. Rabbat, J. Parker, M. McRoberts, ISBN: 0-7923-9099-7
REAL-TIME DATABASE AND
INFORMATION SYSTEMS:
Research Advances
edited by
Azer BEST AV ROS
Boston University
Boston, Massachusetts, USA
and
Victor FAY-WOLFE
0/
University Rhode Island
Kingston, Rhode Island, USA
Springer Science+Business Media, LLC
ISBN 978-1-4613-7780-1 ISBN 978-1-4615-6069-2 (eBook)
DOI 10.1007/978-1-4615-6069-2
Library of Congress Cataloging-in-Publication Data
A C.I.P. Catalogue record for this book is available
from the Library of Congress.
Copyright © 1997 by Springer Science+Business Media New York
Originally published by Kluwer Academic Publishers in 1997
Softcover reprint ofthe hardcover 1st edition 1997
All rights reserved. No part of this publication may be reproduced, stored in a
retrieval system or transmitted in any form or by any means, mechanical, photo
copying, recording, or otherwise, without the prior written permission of the
publisher Springer Science+Business Media, LLC.
Printed on acid-free paper.
CONTENTS
Table of Contents
v
Preface
xvii
Contributors
xix
Reviewers
xx
I:
SECTION
ApPLICATIONS
1 REAL-TIME MUTABLE BROADCAST
DISKS
Sanjoy K. Baruah and Azer Bestavros 3
1 Introduction 3
2 Proportionate Progress 7
3 Representing Bdisk Programs as Pfair Schedules 10
4 Updating broadcast files 12
5 Update latency 16
6 Summary 18
REFERENCES 19
v
vi REAL-TIME DATABASE AND INFORMATION SYSTEMS
2 REAL-TIME DATA AND COORDINATION
CONTROL FOR RECONFIGURABLE
MANUFACTURING SYSTEMS
Malek Tayara, Nandit Soparkar, John Yook, and Dawn
M~ ~
1 Introduction 23
2 Background 25
3 A Two-Axis Milling Machine 27
4 Distributed Coordination 31
5 Level 3 Database Constraints 34
6 Software Design 37
7 Simulation and QoS 43
8 Conclusions 47
REFERENCES 48
3 FILE LAYOUT DESIGN OF VBR VIDEO ON
ZONED-DISKS
Yu-Chung Wang, Shiao-Li Tsao, Meng Chang Chen,
Jan-Ming Ho and Ming-Tat Ko 49
1 Introduction 49
2 Problem Description and Modeling 52
3 Disk Layout Algorithms 54
4 Experiment Results 59
5 Conclusion 60
REFERENCES 61
Contents
Vll
4 A FRAMEWORK FOR USING REDUNDANT
DATA TO OPTIMIZE READ-INTENSIVE
DATABASE APPLICATIONS
Timothy Griffin, Richard Hull, Bharat Kumar, Daniel
Lieuwen, and Gang Zhou 63
1 Database Design for Real-time Applications 63
2 OLFP and FIDO 65
3 OLFP vs. OLAP 66
4 An Example 68
5 Research Directions 74
REFERENCES 75
5 OBJECT-ORIENTED DATA MANAGEMENT
AND DISTRIBUTION FOR REAL-TIME
COMMAND AND CONTROL SYSTEMS
Roman Ginis, Eric Hughes, Steven Wohlever, Bhavani
Thuraisingham, Peter Krupp, and John Maurer 77
1 Introduction 77
2 Real-Time ORB 80
3 Real-Time ODBMS 81
4 Summary and Directions 83
REFERENCES 84
Vlll REAL-TIME DATABASE AND INFORMATION SYSTEMS
II:
SECTION
SCHEDULING
6 INTEGRATING FIXED PRIORITY AND
STATIC SCHEDULING FOR EXTERNAL
CONSISTENCY
Wolfgang Albrecht and Dieter Zobel 89
1 Introduction 89
2 Model 92
3 Age Constraint Scheduling 93
4 Integrated scheduling 95
5 Concluding Remarks 98
APPENDIX A 100
REFERENCES 102
7 SCHEDULING NESTED TRANSACTIONS
IN REAL-TIME DATABASE SYSTEMS
Erdogan Dogdu and Gultekin Ozsoyoglu 105
1 Introduction 105
2 Real-Time Nested Transaction Model 107
3 Scheduling 108
4 Concurrency Control 111
5 Performance Evaluation 117
6 Conclusions and Future Work 127
REFERENCES 129
Contents IX
8 DATA STATE DEPENDENT APPROACH
FOR CRITICALITY ASSIGNMENT IN
REAL-TIME ACTIVE DATABASES
Kam-yiu Lam, Gary Law and Victor C.S. Lee 131
1 Introduction 131
2 Factors Affecting the Scheduling of Triggered Transactions 132
3 Data State Dependent (DSD) Approach 134
4 Performance Study 136
5 Conclusions 141
REFERENCES 142
9 TOWARDS UNIFYING DATABASE
SCHEDULING AND CONCURRENCY
CONTROL: A FRONTIER APPROACH
Gregory Jones, Lisa Cingiser DiPippo, and Victor Fay
~olfe 145
1 Introduction 145
2 General Scheduling Model 147
3 An Incremental Approach 152
4 Conclusion 161
REFERENCES 163
x REAL-TIME DATABASE AND INFORMATION SYSTEMS
III:
SECTION
CONCURRENCY MANAGEMENT
10 A STUDY OF PRIORITY COGNIZANCE IN
CONFLICT RESOLUTION FOR FIRM REAL
TIME DATABASE SYSTEMS
Anindya Datta, Igor R. Viguier, Sang H. Son and
Vijay Kumar 167
1 Introduction 167
2 New CC Algorithm 169
3 Performance Evaluation 173
4 Conclusion 179
REFERENCES 180
11 A PERFORMANCE STUDY OF THE
SEMANTIC-BASED CONCURRENCY
CONTROL PROTOCOL IN AIR TRAFFIC
CONTROL SYSTEMS
Ching-Shan Peng, Kwei-Jay Lin and Tony P. Ng* 181
1 Introduction 181
2 Background and Motivation 182
3 Real-Time Semantic-Based Concurrency Control 183
4 Air Traffic Control System 186
5 Simulation Model 192
6 Simulation Result 194
7 Conclusions 203
REFERENCES 204