Real-time embedded systems: open-source operating systems perspective
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Buch |
| Sprache: | English |
| Veröffentlicht: |
Boca Raton, FL
CRC Press
2012
|
| Schriftenreihe: | Embedded systems
|
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | Includes bibliographical references (p. 485-491) and index |
| Beschreibung: | XXVII, 506 S. Ill., graph. Darst. 24 cm |
| ISBN: | 9781439841549 |
Internformat
MARC
| LEADER | 00000nam a2200000zc 4500 | ||
|---|---|---|---|
| 001 | BV040254428 | ||
| 003 | DE-604 | ||
| 005 | 20121025 | ||
| 007 | t | ||
| 008 | 120615s2012 xxuad|| |||| 00||| eng d | ||
| 010 | |a 2011277442 | ||
| 020 | |a 9781439841549 |9 978-1-4398-4154-9 | ||
| 035 | |a (OCoLC)785852166 | ||
| 035 | |a (DE-599)BVBBV040254428 | ||
| 040 | |a DE-604 |b ger |e aacr | ||
| 041 | 0 | |a eng | |
| 044 | |a xxu |c US | ||
| 049 | |a DE-20 |a DE-473 | ||
| 050 | 0 | |a TK7895.E42 | |
| 082 | 0 | |a 006.22 | |
| 084 | |a ST 153 |0 (DE-625)143597: |2 rvk | ||
| 100 | 1 | |a Bertolotti, Ivan Cibrario |e Verfasser |0 (DE-588)1023953684 |4 aut | |
| 245 | 1 | 0 | |a Real-time embedded systems |b open-source operating systems perspective |c Ivan Cibrario Bertolotti ; Gabriele Manduchi |
| 264 | 1 | |a Boca Raton, FL |b CRC Press |c 2012 | |
| 300 | |a XXVII, 506 S. |b Ill., graph. Darst. |c 24 cm | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 0 | |a Embedded systems | |
| 500 | |a Includes bibliographical references (p. 485-491) and index | ||
| 650 | 4 | |a Embedded computer systems | |
| 650 | 4 | |a Operating systems (Computers) | |
| 650 | 4 | |a Real-time data processing | |
| 650 | 0 | 7 | |a Eingebettetes System |0 (DE-588)4396978-1 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Echtzeitverarbeitung |0 (DE-588)4151002-1 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Eingebettetes System |0 (DE-588)4396978-1 |D s |
| 689 | 0 | 1 | |a Echtzeitverarbeitung |0 (DE-588)4151002-1 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Manduchi, Gabriele |e Sonstige |4 oth | |
| 856 | 4 | 2 | |m Digitalisierung UB Bamberg |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=025110330&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-025110330 | ||
Datensatz im Suchindex
| _version_ | 1804149252778098688 |
|---|---|
| adam_text | Contents
1
Introduction
1
1 Concurrent Programming Concepts
9
2
A Case Study: Vision Control
11
2.1
Input Output on Computers
.................. 12
2.1.1
Accessing the I/O Registers
............... 12
2.1.2
Synchronization in I/O
................. 15
2.1.3
Direct Memory Access (DMA)
............. 20
2.2
Input/Output Operations and the Operating System
.... 22
2.2.1
User and Kernel Modes
................. 23
2.2.2
Input/Output Abstraction in Linux
.......... 26
2.3
Acquiring Images from a Camera Device
........... 28
2.3.1
Synchronous Read from a Camera Device
....... 29
2.3.2
Virtual Memory
..................... 34
2.3.3
Handling Data Streaming from the Camera Device
. . 37
2.4
Edge Detection
.......................... 42
2.4.1
Optimizing the Code
................... 45
2.5
Finding the Center Coordinates of a Circular Shape
..... 54
2.6
Summary
............................. 61
3
Real-Time Concurrent Programming Principles
63
3.1
The Role of Parallelism
..................... 63
3.2
Definition of Process
....................... 65
3.3
Process State
........................... 67
3.4
Process Life Cycle and Process State Diagram
........ 70
3.5
Multithreading
.......................... 75
3.6
Summary
............................. 77
4
Deadlock
79
4.1
A Simple Example
........................ 79
4.2
Formal Definition of Deadlock
................. 83
4.3
Reasoning about Deadlock: The Resource Allocation Graph
84
4.4
Living with Deadlock
...................... 86
4.5
Deadlock Prevention
....................... 87
4.6
Deadlock Avoidance
....................... 91
4.7
Deadlock Detection and Recovery
............... 98
xxiii
XXIV
4.8
Summary
.............................
Ю1
5
Interprocess Communication
Beised
on Shared Variables
103
5.1
Race Conditions and Critical Regions
............. 103
5.2
Hardware-Assisted Lock Variables
............... 113
5.3
Software-Based Mutual Exclusion
............... 116
5.4
From Active to Passive Wait
.................. 121
5.5
Semaphores
............................ 125
5.6
Monitors
............................. 130
5.7
Summary
............................. 139
6
Interprocess Communication Based on Message Passing
141
6.1
Basics of Message Passing
.................... 142
6.2
Naming Scheme
......................... 143
6.3
Synchronization Model
..................... 145
6.4
Message Buffers
......................... 150
6.5
Message Structure and Contents
................ 151
6.6
Producer-Consumer Problem with Message Passing
..... 153
6.7
Summary
............................. 156
7
Interprocess Communication Primitives in POSIX/Linux
159
7.1
Threads and Processes
..................... 160
7.1.1
Creating Threads
..................... 162
7.1.2
Creating Processes
.................... 169
7.2
Interprocess Communication among Threads
......... 175
7.2.1
Mutexes and Condition Variables
............ 175
7.3
Interprocess Communication among Processes
........ 180
7.3.1
Semaphores
........................ 180
7.3.2
Message Queues
..................... 183
7.3.3
Signals
........................... 186
7.4
Clocks and Timers
........................ 187
7.5
Threads or Processes?
...................... 188
7.6
Summary
............................. 189
8
Interprocess Communication Primitives in FreeRTOS
191
8.1
FreeRTOS Threads and Processes
............... 192
8.2
Message Queues
......................... 199
8.3
Counting, Binary, and Mutual Exclusion Semaphores
.... 207
8.4
Clocks and Timers
........................ 213
8.5
Summary
............................. 216
9
Network Communication
219
9.1
The Ethernet Protocol
..................... 220
9.2
TCP/IP and
UDP
........................ 222
9.3
Sockets
.............................. 225
9.3.1
TCP/IP Sockets
..................... 225
xxv
9.4
UDP
Sockets
........................... 232
9.5
Summary
............................. 236
10
Lock and Wait-Free Communication
239
10.1
Basic Principles and Definitions
................ 240
10.2
Multidigit Registers
....................... 241
10.3
Application to the Readers/Writer Problem
.......... 251
10.4
Universal Constructions
..................... 254
10.5
Summary
............................. 262
11 Real-Time Scheduling Analysis
263
11
Real-Time Scheduling Based on the Cyclic Executive
265
11.1
Scheduling and Process Models
................. 266
11.2
The Cyclic Executive
...................... 269
11.3
Choice of Major and Minor Cycle Length
........... 272
11.4
Tasks with Large Period or Execution Time
......... 273
11.5
Summary
............................. 277
12
Real-Time,
Task-Based Scheduling
279
12.1
Fixed and Variable Task Priority
................ 280
12.1.1
Preemption
........................ 280
12.1.2
Variable Priority in General Purpose Operating
Systems
.......................... 281
12.2
Rate
Monotonie
......................... 283
12.2.1
Proof of Rate
Monotonie
Optimality
.......... 285
12.3
The Earliest Deadline First Scheduler
............. 292
12.4
Summary
.............................
293
13
Schedulability Analysis Based on Utilization
295
13.1
Processor Utilization
......................
29b
13.2
Sufficient Schedulability Test for Rate
Monotonie
...... 298
13.2.1
Uiub for Two Tasks
....................
298
13.2.2
Uiub for
N
Tasks
.....................
303
13.3
Schedulability Test for EDF
..................
306
13.4
Summary
.............................
Ш
14
Schedulability Analysis Based on Response Time Analysis
315
14.1
Response Time Analysis
....................
315
14.2
Computing the Worst-Case Execution Time
......... 321
14.3
Aperiodic and Sporadic Tasks
.................
oz<i
14.4
Summary
.............................
33°
XXVI
15
Task Interactions and Blocking
333
15.1
The Priority Inversion Problem
................ 334
15.2
The Priority Inheritance Protocol
............... 337
15.3
The Priority Ceiling Protocol
.................. 348
15.4
Schedulability Analysis and Examples
............. 353
15.5
Summary
............................. 359
16
Self-Suspension and Schedulability Analysis
361
16.1
Self-Suspension and the Critical Instant Theorem
...... 362
16.2
Self-Suspension and Task Interaction
............. 365
16.3
Extension of the Response Time Analysis Method
...... 369
16.4
Summary
............................. 372
III Advanced Topics
373
17
Internal Structure of PreeRTOS
375
17.1
Task Scheduler/Context Switch
................ 375
17.2
Synchronization Primitives
................... 383
17.3
Porting FreeRTOS to a New Architecture
........... 389
17.4
Summary
............................. 400
18
Internal Structures and Operating Principles of Linux
Real-
Time
Extensions
401
18.1
The Linux Scheduler
...................... 402
18.2
Kernel Preemption
........................ 406
18.3
The PREEMPTJtT Linux Patch
............... 409
18.3.1
Practical Considerations
................. 410
18.4
The Dual-Kernel Approach
................... 412
18.4.1
Adeos
........................... 412
18.4.2
Xenomai
.......................... 414
18.4.3
RTAI
........................... 416
18.5
Summary
............................. 419
19
OS Abstraction Layer
421
19.1
An Object Oriented Interface to Threads and Other IPC Mech¬
anisms
.............................. 423
19.1.1
Linux Implementation
.................. 424
19.1.2
FreeRTOS Implementation
............... 430
19.2
A Sample Multiplatform Application
............. 436
19.3
Summary
............................. 440
20
Control Theory and Digital Signal Processing Primer
443
20.1
Case Study
1:
Controlling the Liquid Level in a Tank
.... 444
20.1.1
The Use of Differential Equations to Describe the
Dynamics of the System
................. 445
20.1.2
Introducing an Integral Gain
.............. 448
XXVII
20.1.3
Using
Transfer
Functions in the Laplace Domain
. . . 450
20.1.4
Deriving System Properties from Its Transfer Function
452
20.1.5
Implementing a Transfer Function
........... 455
20.1.6
What We Have Learned
................. 461
20.2
Case Study
2:
Implementing a Digital low-pass Filter
.... 462
20.2.1
Harmonics and the Fourier Transform
......... 462
20.2.2
Low-Pass Filters
..................... 466
20.2.3
The Choice of the Sampling Period
........... 473
20.2.4
Building the Digital Low-Pass Filter
.......... 479
20.2.5
Signal to Noise Ratio
(SNR)
.............. 482
20.3
Summary
............................. 483
Bibliography
485
Index
493
|
| any_adam_object | 1 |
| author | Bertolotti, Ivan Cibrario |
| author_GND | (DE-588)1023953684 |
| author_facet | Bertolotti, Ivan Cibrario |
| author_role | aut |
| author_sort | Bertolotti, Ivan Cibrario |
| author_variant | i c b ic icb |
| building | Verbundindex |
| bvnumber | BV040254428 |
| callnumber-first | T - Technology |
| callnumber-label | TK7895 |
| callnumber-raw | TK7895.E42 |
| callnumber-search | TK7895.E42 |
| callnumber-sort | TK 47895 E42 |
| callnumber-subject | TK - Electrical and Nuclear Engineering |
| classification_rvk | ST 153 |
| ctrlnum | (OCoLC)785852166 (DE-599)BVBBV040254428 |
| dewey-full | 006.22 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 006 - Special computer methods |
| dewey-raw | 006.22 |
| dewey-search | 006.22 |
| dewey-sort | 16.22 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01800nam a2200457zc 4500</leader><controlfield tag="001">BV040254428</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20121025 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">120615s2012 xxuad|| |||| 00||| eng d</controlfield><datafield tag="010" ind1=" " ind2=" "><subfield code="a">2011277442</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781439841549</subfield><subfield code="9">978-1-4398-4154-9</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)785852166</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV040254428</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">aacr</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-20</subfield><subfield code="a">DE-473</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">TK7895.E42</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">006.22</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 153</subfield><subfield code="0">(DE-625)143597:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Bertolotti, Ivan Cibrario</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)1023953684</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Real-time embedded systems</subfield><subfield code="b">open-source operating systems perspective</subfield><subfield code="c">Ivan Cibrario Bertolotti ; Gabriele Manduchi</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Boca Raton, FL</subfield><subfield code="b">CRC Press</subfield><subfield code="c">2012</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XXVII, 506 S.</subfield><subfield code="b">Ill., graph. Darst.</subfield><subfield code="c">24 cm</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="0" ind2=" "><subfield code="a">Embedded systems</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Includes bibliographical references (p. 485-491) and index</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Embedded computer systems</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Operating systems (Computers)</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Real-time data processing</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Eingebettetes System</subfield><subfield code="0">(DE-588)4396978-1</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">Eingebettetes System</subfield><subfield code="0">(DE-588)4396978-1</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="700" ind1="1" ind2=" "><subfield code="a">Manduchi, Gabriele</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Digitalisierung UB Bamberg</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=025110330&sequence=000002&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-025110330</subfield></datafield></record></collection> |
| id | DE-604.BV040254428 |
| illustrated | Illustrated |
| indexdate | 2024-07-10T00:20:05Z |
| institution | BVB |
| isbn | 9781439841549 |
| language | English |
| lccn | 2011277442 |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-025110330 |
| oclc_num | 785852166 |
| open_access_boolean | |
| owner | DE-20 DE-473 DE-BY-UBG |
| owner_facet | DE-20 DE-473 DE-BY-UBG |
| physical | XXVII, 506 S. Ill., graph. Darst. 24 cm |
| publishDate | 2012 |
| publishDateSearch | 2012 |
| publishDateSort | 2012 |
| publisher | CRC Press |
| record_format | marc |
| series2 | Embedded systems |
| spelling | Bertolotti, Ivan Cibrario Verfasser (DE-588)1023953684 aut Real-time embedded systems open-source operating systems perspective Ivan Cibrario Bertolotti ; Gabriele Manduchi Boca Raton, FL CRC Press 2012 XXVII, 506 S. Ill., graph. Darst. 24 cm txt rdacontent n rdamedia nc rdacarrier Embedded systems Includes bibliographical references (p. 485-491) and index Embedded computer systems Operating systems (Computers) Real-time data processing Eingebettetes System (DE-588)4396978-1 gnd rswk-swf Echtzeitverarbeitung (DE-588)4151002-1 gnd rswk-swf Eingebettetes System (DE-588)4396978-1 s Echtzeitverarbeitung (DE-588)4151002-1 s DE-604 Manduchi, Gabriele Sonstige oth Digitalisierung UB Bamberg application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=025110330&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Bertolotti, Ivan Cibrario Real-time embedded systems open-source operating systems perspective Embedded computer systems Operating systems (Computers) Real-time data processing Eingebettetes System (DE-588)4396978-1 gnd Echtzeitverarbeitung (DE-588)4151002-1 gnd |
| subject_GND | (DE-588)4396978-1 (DE-588)4151002-1 |
| title | Real-time embedded systems open-source operating systems perspective |
| title_auth | Real-time embedded systems open-source operating systems perspective |
| title_exact_search | Real-time embedded systems open-source operating systems perspective |
| title_full | Real-time embedded systems open-source operating systems perspective Ivan Cibrario Bertolotti ; Gabriele Manduchi |
| title_fullStr | Real-time embedded systems open-source operating systems perspective Ivan Cibrario Bertolotti ; Gabriele Manduchi |
| title_full_unstemmed | Real-time embedded systems open-source operating systems perspective Ivan Cibrario Bertolotti ; Gabriele Manduchi |
| title_short | Real-time embedded systems |
| title_sort | real time embedded systems open source operating systems perspective |
| title_sub | open-source operating systems perspective |
| topic | Embedded computer systems Operating systems (Computers) Real-time data processing Eingebettetes System (DE-588)4396978-1 gnd Echtzeitverarbeitung (DE-588)4151002-1 gnd |
| topic_facet | Embedded computer systems Operating systems (Computers) Real-time data processing Eingebettetes System Echtzeitverarbeitung |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=025110330&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT bertolottiivancibrario realtimeembeddedsystemsopensourceoperatingsystemsperspective AT manduchigabriele realtimeembeddedsystemsopensourceoperatingsystemsperspective |