Introduction to operating system design and implementation: the OSP 2 approach
Saved in:
| Main Authors: | , |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
London
Springer
2007
|
| Series: | Undergraduate topics in computer science
|
| Subjects: | |
| Online Access: | Inhaltsverzeichnis |
| Physical Description: | XII, 172 S. graph. Darst. |
| ISBN: | 9781846288425 9781846288432 1846288428 |
Staff View
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV022656278 | ||
| 003 | DE-604 | ||
| 005 | 20170925 | ||
| 007 | t | ||
| 008 | 070829s2007 d||| |||| 00||| eng d | ||
| 015 | |a 07,N08,0042 |2 dnb | ||
| 016 | 7 | |a 982783418 |2 DE-101 | |
| 020 | |a 9781846288425 |c : ca. EUR 32.05 (freier Pr.), ca. sfr 49.50 (freier Pr.) |9 978-1-84628-842-5 | ||
| 020 | |a 9781846288432 |9 978-1-84628-843-2 | ||
| 020 | |a 1846288428 |c : ca. EUR 32.05 (freier Pr.), ca. sfr 49.50 (freier Pr.) |9 1-84628-842-8 | ||
| 024 | 3 | |a 9781846288425 | |
| 028 | 5 | 2 | |a 11942689 |
| 035 | |a (OCoLC)122284780 | ||
| 035 | |a (DE-599)BVBBV022656278 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-703 |a DE-824 |a DE-91G |a DE-20 |a DE-11 |a DE-83 | ||
| 050 | 0 | |a QA76.76.O63 | |
| 082 | 0 | |a 005.43 |2 22 | |
| 084 | |a ST 260 |0 (DE-625)143632: |2 rvk | ||
| 084 | |a DAT 400f |2 stub | ||
| 084 | |a 004 |2 sdnb | ||
| 100 | 1 | |a Kifer, Michael |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Introduction to operating system design and implementation |b the OSP 2 approach |c Michael Kifer and Scott A. Smolka |
| 264 | 1 | |a London |b Springer |c 2007 | |
| 300 | |a XII, 172 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 0 | |a Undergraduate topics in computer science | |
| 630 | 0 | 4 | |a OSP (Computer file) |
| 650 | 4 | |a Operating systems (Computers) | |
| 650 | 0 | 7 | |a Betriebssystem |0 (DE-588)4006216-8 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Systementwicklung |0 (DE-588)4126945-7 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Betriebssystem |0 (DE-588)4006216-8 |D s |
| 689 | 0 | 1 | |a Systementwicklung |0 (DE-588)4126945-7 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Smolka, Scott A. |e Verfasser |4 aut | |
| 856 | 4 | 2 | |m HBZ Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=015862206&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-015862206 | ||
Record in the Search Index
| _version_ | 1804136835641769984 |
|---|---|
| adam_text | Contents
Preface ix
1. Organization of OST 2 1
1.1 Chapter Objective 1
1.2 Operating System Basics 1
1.3 ÖSV 2 Organization 6
1.4 Simulated Hardware in ÖSV 2 8
1.5 Utilities 11
1.6 ÖSV 2 Events 16
1.7 ÖSV 2 Daemons 18
1.8 Compiling and Running Projects 19
1.9 General Rules of Engagement 24
1.9.1 A Day in the Life of an ÖSV 2 Thread 25
1.9.2 Convention for Calling Student Methods 26
1.9.3 Static vs. Instance Methods 28
1.9.4 Obfuscation of Method and Class Names 28
1.9.5 Possible Hanging After Errors 29
1.9.6 Possible Exceptions After the End of Execution 29
1.9.7 General Advice: How to Figure it Out 29
1.10 System Log, Snapshots, and Statistics 30
1.11 Debugging 31
1.12 Project Submission 35
2. Putting it All Together: An Example Session with OST 2 .. 39
2.1 Chapter Objective 39
2.2 Overview of Thread Management in ÖSV 2 39
2.3 The Student Method do_resume() 40
2.4 Step 1: Compiling and Running the Project 41
2.5 Step 2: Examining the OSP. log File 42
2.6 Step 3: Introducing an Error into do_resume() 43
3. Tasks: Management of Tasks (a.k.a. Processes) 45
3.1 Chapter Objective 45
3.2 Conceptual Background 45
3.3 Class TaskCB 46
3.4 Methods Exported by the Tasks Package 53
4. Threads: Management and Scheduling of Threads 57
4.1 Chapter Objective 57
4.2 Overview of Threads 57
4.3 The Class ThreadCB 61
4.4 The Class TimerlnterruptHandler 71
4.5 Methods Exported by the Threads Package 72
5. Memory: Virtual Memory Management 75
5.1 Chapter Objective 75
5.2 Overview of Memory Management 75
5.3 Class FrameTableEntry 83
5.4 Class PageTableEntry 86
5.5 Class PageTable 90
5.6 Class MMU 91
5.7 Class PageFaultHandler 95
5.8 Methods Exported by Package Memory 10°
6. Devices: Scheduling of Disk Requests 103
6.1 Chapter Objective 103
6.2 Overview of I/O Handling 103
6.3 Class IORB 106
6.4 Class Device 109
6.5 Class DisklnterruptHandler 114
6.6 Methods Exported by Package Devices 117
7. FileSys: The File System 119
7.1 Chapter Objective 119
7.2 File System Design Objectives 119
7.3 Overview of the (DSV 2 File System 121
7.4 Class MountTable 123
7.5 Class INode 127 ;
7.6 Class DirectoryEntry 129
7.7 Glass OpenFile 131
7.8 Class FileSys 136
7.9 Methods Exported by the FileSys Packagc 141
8. Ports: Interprocess Communication 143
8.1 Chapter Objective 143
8.2 Interprocess Communication in OSV 2 143
8.3 The Message Class 144
8.4 The PortCB Class 146
8.5 Methods Exported by Package PORTS 151
9. Resources: Resource Management 153
9.1 Chapter Objective 153
9.2 Overview of Resource Management 153
9.3 Overview of Resource Management in ÖSV 2 155
9.4 Class ResourceTable 156
9.5 Class RRB 157
9.6 Class ResourceCB 160
9.7 Methods Exported by the Resources Package 166
Index 167
|
| adam_txt |
Contents
Preface ix
1. Organization of OST 2 1
1.1 Chapter Objective 1
1.2 Operating System Basics 1
1.3 ÖSV 2 Organization 6
1.4 Simulated Hardware in ÖSV 2 8
1.5 Utilities 11
1.6 ÖSV 2 Events 16
1.7 ÖSV 2 Daemons 18
1.8 Compiling and Running Projects 19
1.9 General Rules of Engagement 24
1.9.1 A Day in the Life of an ÖSV 2 Thread 25
1.9.2 Convention for Calling Student Methods 26
1.9.3 Static vs. Instance Methods 28
1.9.4 Obfuscation of Method and Class Names 28
1.9.5 Possible Hanging After Errors 29
1.9.6 Possible Exceptions After the End of Execution 29
1.9.7 General Advice: How to Figure it Out 29
1.10 System Log, Snapshots, and Statistics 30
1.11 Debugging 31
1.12 Project Submission 35
2. Putting it All Together: An Example Session with OST 2 . 39
2.1 Chapter Objective 39
2.2 Overview of Thread Management in ÖSV 2 39
2.3 The Student Method do_resume() 40
2.4 Step 1: Compiling and Running the Project 41
2.5 Step 2: Examining the OSP. log File 42
2.6 Step 3: Introducing an Error into do_resume() 43
3. Tasks: Management of Tasks (a.k.a. Processes) 45
3.1 Chapter Objective 45
3.2 Conceptual Background 45
3.3 Class TaskCB 46
3.4 Methods Exported by the Tasks Package 53
4. Threads: Management and Scheduling of Threads 57
4.1 Chapter Objective 57
4.2 Overview of Threads 57
4.3 The Class ThreadCB 61
4.4 The Class TimerlnterruptHandler 71
4.5 Methods Exported by the Threads Package 72
5. Memory: Virtual Memory Management 75
5.1 Chapter Objective 75
5.2 Overview of Memory Management 75
5.3 Class FrameTableEntry 83
5.4 Class PageTableEntry 86
5.5 Class PageTable 90
5.6 Class MMU 91
5.7 Class PageFaultHandler 95
5.8 Methods Exported by Package Memory 10°
6. Devices: Scheduling of Disk Requests 103
6.1 Chapter Objective 103
6.2 Overview of I/O Handling 103
6.3 Class IORB 106
6.4 Class Device 109
6.5 Class DisklnterruptHandler 114
6.6 Methods Exported by Package Devices 117
7. FileSys: The File System 119
7.1 Chapter Objective 119
7.2 File System Design Objectives 119
7.3 Overview of the (DSV 2 File System 121
7.4 Class MountTable 123
7.5 Class INode 127 ;
7.6 Class DirectoryEntry 129
7.7 Glass OpenFile 131
7.8 Class FileSys 136
7.9 Methods Exported by the FileSys Packagc 141
8. Ports: Interprocess Communication 143
8.1 Chapter Objective 143
8.2 Interprocess Communication in OSV 2 143
8.3 The Message Class 144
8.4 The PortCB Class 146
8.5 Methods Exported by Package PORTS 151
9. Resources: Resource Management 153
9.1 Chapter Objective 153
9.2 Overview of Resource Management 153
9.3 Overview of Resource Management in ÖSV 2 155
9.4 Class ResourceTable 156
9.5 Class RRB 157
9.6 Class ResourceCB 160
9.7 Methods Exported by the Resources Package 166
Index 167 |
| any_adam_object | 1 |
| any_adam_object_boolean | 1 |
| author | Kifer, Michael Smolka, Scott A. |
| author_facet | Kifer, Michael Smolka, Scott A. |
| author_role | aut aut |
| author_sort | Kifer, Michael |
| author_variant | m k mk s a s sa sas |
| building | Verbundindex |
| bvnumber | BV022656278 |
| callnumber-first | Q - Science |
| callnumber-label | QA76 |
| callnumber-raw | QA76.76.O63 |
| callnumber-search | QA76.76.O63 |
| callnumber-sort | QA 276.76 O63 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | ST 260 |
| classification_tum | DAT 400f |
| ctrlnum | (OCoLC)122284780 (DE-599)BVBBV022656278 |
| dewey-full | 005.43 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 005 - Computer programming, programs, data, security |
| dewey-raw | 005.43 |
| dewey-search | 005.43 |
| dewey-sort | 15.43 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| discipline_str_mv | Informatik |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01989nam a2200505 c 4500</leader><controlfield tag="001">BV022656278</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20170925 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">070829s2007 d||| |||| 00||| eng d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">07,N08,0042</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">982783418</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781846288425</subfield><subfield code="c">: ca. EUR 32.05 (freier Pr.), ca. sfr 49.50 (freier Pr.)</subfield><subfield code="9">978-1-84628-842-5</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781846288432</subfield><subfield code="9">978-1-84628-843-2</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">1846288428</subfield><subfield code="c">: ca. EUR 32.05 (freier Pr.), ca. sfr 49.50 (freier Pr.)</subfield><subfield code="9">1-84628-842-8</subfield></datafield><datafield tag="024" ind1="3" ind2=" "><subfield code="a">9781846288425</subfield></datafield><datafield tag="028" ind1="5" ind2="2"><subfield code="a">11942689</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)122284780</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV022656278</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakddb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-703</subfield><subfield code="a">DE-824</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-11</subfield><subfield code="a">DE-83</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA76.76.O63</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.43</subfield><subfield code="2">22</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">DAT 400f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">004</subfield><subfield code="2">sdnb</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Kifer, Michael</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Introduction to operating system design and implementation</subfield><subfield code="b">the OSP 2 approach</subfield><subfield code="c">Michael Kifer and Scott A. Smolka</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">London</subfield><subfield code="b">Springer</subfield><subfield code="c">2007</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XII, 172 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="0" ind2=" "><subfield code="a">Undergraduate topics in computer science</subfield></datafield><datafield tag="630" ind1="0" ind2="4"><subfield code="a">OSP (Computer file)</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Operating systems (Computers)</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Betriebssystem</subfield><subfield code="0">(DE-588)4006216-8</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Systementwicklung</subfield><subfield code="0">(DE-588)4126945-7</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Betriebssystem</subfield><subfield code="0">(DE-588)4006216-8</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Systementwicklung</subfield><subfield code="0">(DE-588)4126945-7</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">Smolka, Scott A.</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">HBZ 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=015862206&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-015862206</subfield></datafield></record></collection> |
| id | DE-604.BV022656278 |
| illustrated | Illustrated |
| index_date | 2024-07-02T18:23:24Z |
| indexdate | 2024-07-09T21:02:43Z |
| institution | BVB |
| isbn | 9781846288425 9781846288432 1846288428 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-015862206 |
| oclc_num | 122284780 |
| open_access_boolean | |
| owner | DE-703 DE-824 DE-91G DE-BY-TUM DE-20 DE-11 DE-83 |
| owner_facet | DE-703 DE-824 DE-91G DE-BY-TUM DE-20 DE-11 DE-83 |
| physical | XII, 172 S. graph. Darst. |
| publishDate | 2007 |
| publishDateSearch | 2007 |
| publishDateSort | 2007 |
| publisher | Springer |
| record_format | marc |
| series2 | Undergraduate topics in computer science |
| spelling | Kifer, Michael Verfasser aut Introduction to operating system design and implementation the OSP 2 approach Michael Kifer and Scott A. Smolka London Springer 2007 XII, 172 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Undergraduate topics in computer science OSP (Computer file) Operating systems (Computers) Betriebssystem (DE-588)4006216-8 gnd rswk-swf Systementwicklung (DE-588)4126945-7 gnd rswk-swf Betriebssystem (DE-588)4006216-8 s Systementwicklung (DE-588)4126945-7 s DE-604 Smolka, Scott A. Verfasser aut HBZ Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=015862206&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Kifer, Michael Smolka, Scott A. Introduction to operating system design and implementation the OSP 2 approach OSP (Computer file) Operating systems (Computers) Betriebssystem (DE-588)4006216-8 gnd Systementwicklung (DE-588)4126945-7 gnd |
| subject_GND | (DE-588)4006216-8 (DE-588)4126945-7 |
| title | Introduction to operating system design and implementation the OSP 2 approach |
| title_auth | Introduction to operating system design and implementation the OSP 2 approach |
| title_exact_search | Introduction to operating system design and implementation the OSP 2 approach |
| title_exact_search_txtP | Introduction to operating system design and implementation the OSP 2 approach |
| title_full | Introduction to operating system design and implementation the OSP 2 approach Michael Kifer and Scott A. Smolka |
| title_fullStr | Introduction to operating system design and implementation the OSP 2 approach Michael Kifer and Scott A. Smolka |
| title_full_unstemmed | Introduction to operating system design and implementation the OSP 2 approach Michael Kifer and Scott A. Smolka |
| title_short | Introduction to operating system design and implementation |
| title_sort | introduction to operating system design and implementation the osp 2 approach |
| title_sub | the OSP 2 approach |
| topic | OSP (Computer file) Operating systems (Computers) Betriebssystem (DE-588)4006216-8 gnd Systementwicklung (DE-588)4126945-7 gnd |
| topic_facet | OSP (Computer file) Operating systems (Computers) Betriebssystem Systementwicklung |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=015862206&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT kifermichael introductiontooperatingsystemdesignandimplementationtheosp2approach AT smolkascotta introductiontooperatingsystemdesignandimplementationtheosp2approach |