Hard real-time computing systems: predictable scheduling algorithms and applications
Saved in:
| Main Author: | |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
New York, NY
Springer
2005
|
| Edition: | 2. ed. |
| Series: | Real-time systems series
23 |
| Subjects: | |
| Online Access: | Inhaltsverzeichnis |
| Item Description: | Includes bibliographical references and index |
| Physical Description: | XIII, 425 S. graph. Darst. |
| ISBN: | 0387231374 |
Staff View
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV019770720 | ||
| 003 | DE-604 | ||
| 005 | 20110810 | ||
| 007 | t | ||
| 008 | 050413s2005 xxud||| |||| 00||| eng d | ||
| 010 | |a 2004058935 | ||
| 020 | |a 0387231374 |c alk. paper |9 0-387-23137-4 | ||
| 035 | |a (OCoLC)634781335 | ||
| 035 | |a (DE-599)BVBBV019770720 | ||
| 040 | |a DE-604 |b ger |e rakwb | ||
| 041 | 0 | |a eng | |
| 044 | |a xxu |c US | ||
| 049 | |a DE-861 |a DE-83 |a DE-11 |a DE-634 |a DE-384 |a DE-92 | ||
| 050 | 0 | |a QA76.54 | |
| 082 | 0 | |a 004/.33 |2 22 | |
| 084 | |a ST 234 |0 (DE-625)143621: |2 rvk | ||
| 084 | |a ST 260 |0 (DE-625)143632: |2 rvk | ||
| 084 | |a 90B35 |2 msc | ||
| 100 | 1 | |a Buttazzo, Giorgio C. |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Hard real-time computing systems |b predictable scheduling algorithms and applications |c Giorgio C. Buttazzo |
| 250 | |a 2. ed. | ||
| 264 | 1 | |a New York, NY |b Springer |c 2005 | |
| 300 | |a XIII, 425 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Real-time systems series |v 23 | |
| 500 | |a Includes bibliographical references and index | ||
| 650 | 7 | |a Algoritmen |2 gtt | |
| 650 | 7 | |a Real-time systemen |2 gtt | |
| 650 | 4 | |a Temps réel | |
| 650 | 7 | |a Wachttijdproblemen |2 gtt | |
| 650 | 4 | |a aReal-time data processing | |
| 650 | 0 | 7 | |a Hartes Echtzeitsystem |0 (DE-588)4694996-3 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Echtzeitsystem |0 (DE-588)4131397-5 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Echtzeitverarbeitung |0 (DE-588)4151002-1 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Hartes Echtzeitsystem |0 (DE-588)4694996-3 |D s |
| 689 | 0 | 1 | |a Echtzeitverarbeitung |0 (DE-588)4151002-1 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Echtzeitsystem |0 (DE-588)4131397-5 |D s |
| 689 | 1 | |8 1\p |5 DE-604 | |
| 830 | 0 | |a Real-time systems series |v 23 |w (DE-604)BV019788981 |9 23 | |
| 856 | 4 | 2 | |m GBV Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=013096869&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-013096869 | ||
| 883 | 1 | |8 1\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
Record in the Search Index
| _version_ | 1804133250725052416 |
|---|---|
| adam_text | HARD REAL-TIME COMPUTING SYSTEMS PREDICTABLE SCHEDULING ALGORITHMS AND
APPLICATIONS SECOND EDITION GIORGIO C. BUTTAZZO UNIVERSITY OFPAVIA,
ITALY SPRINGER CONTENTS PREFACE IX 1 A GENERAL VIEW L 1.1 INTRODUCTION 1
1.2 WHAT DOES REAL TIME MEAN? 4 1.3 ACHIEVING PREDICTABILITY 12 2 BASIC
CONCEPTS 21 2.1 INTRODUCTION 21 2.2 TYPES OF TASK CONSTRAINTS 23 2.3
DEFINITION OF SCHEDULING PROBLEMS 31 2.4 SCHEDULING ANOMALIES 39 3
APERIODIC TASK SCHEDULING 45 3.1 INTRODUCTION 45 3.2 JACKSON S ALGORITHM
46 3.3 HORN S ALGORITHM 50 3.4 NON-PREEMPTIVE SCHEDULING 55 3.5
SCHEDULING WITH PRECEDENCE CONSTRAINTS 62 3.6 SUMMARY 68 4 PERIODIC TASK
SCHEDULING 71 4.1 INTRODUCTION 71 4.2 TIMELINE SCHEDULING 76 4.3 RATE
MONOTONIE SCHEDULING 78 4.4 EARLIEST DEADLINE FIRST 92 4.5 DEADLINE
MONOTONIE 95 4.6 EDF WITH DEADLINES LESS THAN PERIODS 101 4.7 COMPARISON
BETWEEN RM AND EDF 107 VI HARD REAL-TIME COMPUTING SYSTEMS
FIXED-PRIORITY SERVERS ILL 5.1 INTRODUCTION 111 112 113 118 126 133 139
143 145 147 151 151 152 157 161 164 168 171 175 179 6.10 SUMMARY 186
RESOURCE ACCESS PROTOCOLS 191 7.1 INTRODUCTION 191 7.2 THE PRIORITY
INVERSION PHENOMENON 192 7.3 PRIORITY INHERITANCE PROTOCOL 195 7.4
PRIORITY CEILING PROTOCOL 210 7.5 STACK RESOURCE POLICY 218 7.6 SUMMARY
230 HANDLING OVERLOAD CONDITIONS 233 8.1 INTRODUCTION 233 8.2 HANDLING
ACTIVATION OVERRUNS 237 8.3 HANDLING EXECUTION OVERRUNS 260 8.4 HANDLING
PERMANENT OVERLOADS 263 5.2 5.3 5.4 5.5 5.6 5.7 5.8 5.9 5.10 BACKGROUND
SCHEDULING POLLING SERVER DEFERRABLE SERVER PRIORITY EXCHANGE SPORADIC
SERVER SLACK STEALING NON-EXISTENCE OF OPTIMAL SERVERS PERFORMANCE
EVALUATION SUMMARY DYNAMIC PRIORITY SERVERS 6.1 6.2 6.3 6.4 6.5 6.6 6.7
6.8 6.9 INTRODUCTION DYNAMIC PRIORITY EXCHANGE SERVER DYNAMIC SPORADIC
SERVER TOTAL BANDWIDTH SERVER EARLIEST DEADLINE LATE SERVER IMPROVED
PRIORITY EXCHANGE SERVER IMPROVING TBS PERFORMANCE EVALUATION THE
CONSTANT BANDWIDTH SERVER CONTENTS VLL 9 KERNEL DESIGN ISSUES 281 9. 1
STRUCTURE OF A REAL-TIME KERNEL 281 9.2 PROCESS STATES 283 9.3 DATA
STRUCTURES 288 9.4 MISCELLANEOUS 292 9.5 KERNEL PRIMITIVES 298 9.6
INTERTASK COMMUNICATION MECHANISMS 317 9.7 SYSTEM OVERHEAD 324 10
APPLICATION DESIGN ISSUES 329 10.1 INTRODUCTION 330 10.2 TIME
CONSTRAINTS DEFINITION 333 10.3 HIERARCHICAL DESIGN 340 10.4 A ROBOT
CONTROL EXAMPLE 345 11 REAL-TIME OPERATING SYSTEMS AND STANDARDS 351
11.1 STANDARDS FOR REAL-TIME OPERATING SYSTEMS 351 11.2 COMMERCIAL
REAL-TIME SYSTEMS 356 11.3 LINUX RELATED REAL-TIME KERNELS 360 11.4
RESEARCH KERNELS 364 12 SOLUTIONS TO THE EXERCISES 373 GLOSSARY 395
REFERENCES 405 INDEX 419
|
| any_adam_object | 1 |
| author | Buttazzo, Giorgio C. |
| author_facet | Buttazzo, Giorgio C. |
| author_role | aut |
| author_sort | Buttazzo, Giorgio C. |
| author_variant | g c b gc gcb |
| building | Verbundindex |
| bvnumber | BV019770720 |
| callnumber-first | Q - Science |
| callnumber-label | QA76 |
| callnumber-raw | QA76.54 |
| callnumber-search | QA76.54 |
| callnumber-sort | QA 276.54 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | ST 234 ST 260 |
| ctrlnum | (OCoLC)634781335 (DE-599)BVBBV019770720 |
| dewey-full | 004/.33 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 004 - Computer science |
| dewey-raw | 004/.33 |
| dewey-search | 004/.33 |
| dewey-sort | 14 233 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| edition | 2. ed. |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02179nam a2200565 cb4500</leader><controlfield tag="001">BV019770720</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20110810 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">050413s2005 xxud||| |||| 00||| eng d</controlfield><datafield tag="010" ind1=" " ind2=" "><subfield code="a">2004058935</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0387231374</subfield><subfield code="c">alk. paper</subfield><subfield code="9">0-387-23137-4</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)634781335</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV019770720</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakwb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="044" ind1=" " ind2=" "><subfield code="a">xxu</subfield><subfield code="c">US</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-861</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-11</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-92</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA76.54</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">004/.33</subfield><subfield code="2">22</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 234</subfield><subfield code="0">(DE-625)143621:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 260</subfield><subfield code="0">(DE-625)143632:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">90B35</subfield><subfield code="2">msc</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Buttazzo, Giorgio C.</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Hard real-time computing systems</subfield><subfield code="b">predictable scheduling algorithms and applications</subfield><subfield code="c">Giorgio C. Buttazzo</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">2. ed.</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">New York, NY</subfield><subfield code="b">Springer</subfield><subfield code="c">2005</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XIII, 425 S.</subfield><subfield code="b">graph. Darst.</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">Real-time systems series</subfield><subfield code="v">23</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Includes bibliographical references and index</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Algoritmen</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Real-time systemen</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Temps réel</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Wachttijdproblemen</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">aReal-time data processing</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Hartes Echtzeitsystem</subfield><subfield code="0">(DE-588)4694996-3</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Echtzeitsystem</subfield><subfield code="0">(DE-588)4131397-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Echtzeitverarbeitung</subfield><subfield code="0">(DE-588)4151002-1</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Hartes Echtzeitsystem</subfield><subfield code="0">(DE-588)4694996-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Echtzeitverarbeitung</subfield><subfield code="0">(DE-588)4151002-1</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" ind2="0"><subfield code="a">Echtzeitsystem</subfield><subfield code="0">(DE-588)4131397-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="8">1\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Real-time systems series</subfield><subfield code="v">23</subfield><subfield code="w">(DE-604)BV019788981</subfield><subfield code="9">23</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">GBV Datenaustausch</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=013096869&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-013096869</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">1\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield></record></collection> |
| id | DE-604.BV019770720 |
| illustrated | Illustrated |
| indexdate | 2024-07-09T20:05:44Z |
| institution | BVB |
| isbn | 0387231374 |
| language | English |
| lccn | 2004058935 |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-013096869 |
| oclc_num | 634781335 |
| open_access_boolean | |
| owner | DE-861 DE-83 DE-11 DE-634 DE-384 DE-92 |
| owner_facet | DE-861 DE-83 DE-11 DE-634 DE-384 DE-92 |
| physical | XIII, 425 S. graph. Darst. |
| publishDate | 2005 |
| publishDateSearch | 2005 |
| publishDateSort | 2005 |
| publisher | Springer |
| record_format | marc |
| series | Real-time systems series |
| series2 | Real-time systems series |
| spelling | Buttazzo, Giorgio C. Verfasser aut Hard real-time computing systems predictable scheduling algorithms and applications Giorgio C. Buttazzo 2. ed. New York, NY Springer 2005 XIII, 425 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Real-time systems series 23 Includes bibliographical references and index Algoritmen gtt Real-time systemen gtt Temps réel Wachttijdproblemen gtt aReal-time data processing Hartes Echtzeitsystem (DE-588)4694996-3 gnd rswk-swf Echtzeitsystem (DE-588)4131397-5 gnd rswk-swf Echtzeitverarbeitung (DE-588)4151002-1 gnd rswk-swf Hartes Echtzeitsystem (DE-588)4694996-3 s Echtzeitverarbeitung (DE-588)4151002-1 s DE-604 Echtzeitsystem (DE-588)4131397-5 s 1\p DE-604 Real-time systems series 23 (DE-604)BV019788981 23 GBV Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=013096869&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis 1\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk |
| spellingShingle | Buttazzo, Giorgio C. Hard real-time computing systems predictable scheduling algorithms and applications Real-time systems series Algoritmen gtt Real-time systemen gtt Temps réel Wachttijdproblemen gtt aReal-time data processing Hartes Echtzeitsystem (DE-588)4694996-3 gnd Echtzeitsystem (DE-588)4131397-5 gnd Echtzeitverarbeitung (DE-588)4151002-1 gnd |
| subject_GND | (DE-588)4694996-3 (DE-588)4131397-5 (DE-588)4151002-1 |
| title | Hard real-time computing systems predictable scheduling algorithms and applications |
| title_auth | Hard real-time computing systems predictable scheduling algorithms and applications |
| title_exact_search | Hard real-time computing systems predictable scheduling algorithms and applications |
| title_full | Hard real-time computing systems predictable scheduling algorithms and applications Giorgio C. Buttazzo |
| title_fullStr | Hard real-time computing systems predictable scheduling algorithms and applications Giorgio C. Buttazzo |
| title_full_unstemmed | Hard real-time computing systems predictable scheduling algorithms and applications Giorgio C. Buttazzo |
| title_short | Hard real-time computing systems |
| title_sort | hard real time computing systems predictable scheduling algorithms and applications |
| title_sub | predictable scheduling algorithms and applications |
| topic | Algoritmen gtt Real-time systemen gtt Temps réel Wachttijdproblemen gtt aReal-time data processing Hartes Echtzeitsystem (DE-588)4694996-3 gnd Echtzeitsystem (DE-588)4131397-5 gnd Echtzeitverarbeitung (DE-588)4151002-1 gnd |
| topic_facet | Algoritmen Real-time systemen Temps réel Wachttijdproblemen aReal-time data processing Hartes Echtzeitsystem Echtzeitsystem Echtzeitverarbeitung |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=013096869&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV019788981 |
| work_keys_str_mv | AT buttazzogiorgioc hardrealtimecomputingsystemspredictableschedulingalgorithmsandapplications |