A layered virtual memory manager:
This thesis presents a specification for the Multics virtual memory manager. The virtual memory manager is that part of the operating system which coordinates the usage of physical memory and which manages the bindings between logical memory and physical memory. In the case of Multics, physical memo...
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Abschlussarbeit Buch |
| Sprache: | English |
| Veröffentlicht: |
Cambridge, Mass.
Mass. Inst. of Technology, Lab. for Computer Science
1977
|
| Schlagworte: | |
| Zusammenfassung: | This thesis presents a specification for the Multics virtual memory manager. The virtual memory manager is that part of the operating system which coordinates the usage of physical memory and which manages the bindings between logical memory and physical memory. In the case of Multics, physical memory is composed of fixed-length blocks called frames and logical memory consists of segments, representing sets of frames. The original specification is now obsolete because it describes an overly complicated structure. The specification described here compatibly updates the functionality of the Multics virtual memory manager, simplifies the requisite structure, and addresses resource control problems. The specification is in the form of a model, using the methodologies of type extension and layers of abstraction. These methodologies provide the tools to develop a precise model structure, which is capable of handling the intricacies of resource control. The end result is organizational simplicity, certifiability, and comprehensibility. |
| Beschreibung: | 133 S. |
Internformat
MARC
| LEADER | 00000nam a2200000zc 4500 | ||
|---|---|---|---|
| 001 | BV021878895 | ||
| 003 | DE-604 | ||
| 005 | 20200903 | ||
| 007 | t | ||
| 008 | 880701s1977 m||| 00||| eng d | ||
| 035 | |a (OCoLC)227474410 | ||
| 035 | |a (DE-599)BVBBV021878895 | ||
| 040 | |a DE-604 |b ger | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-706 | ||
| 088 | |a MIT/LCS/TR-177 | ||
| 100 | 1 | |a Mason, Andrew H. |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a A layered virtual memory manager |c Andrew Halstead Mason |
| 264 | 1 | |a Cambridge, Mass. |b Mass. Inst. of Technology, Lab. for Computer Science |c 1977 | |
| 300 | |a 133 S. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 502 | |a Zugl.: Diss., 1977 | ||
| 520 | 3 | |a This thesis presents a specification for the Multics virtual memory manager. The virtual memory manager is that part of the operating system which coordinates the usage of physical memory and which manages the bindings between logical memory and physical memory. In the case of Multics, physical memory is composed of fixed-length blocks called frames and logical memory consists of segments, representing sets of frames. The original specification is now obsolete because it describes an overly complicated structure. The specification described here compatibly updates the functionality of the Multics virtual memory manager, simplifies the requisite structure, and addresses resource control problems. The specification is in the form of a model, using the methodologies of type extension and layers of abstraction. These methodologies provide the tools to develop a precise model structure, which is capable of handling the intricacies of resource control. The end result is organizational simplicity, certifiability, and comprehensibility. | |
| 650 | 7 | |a Addressing |2 dtict | |
| 650 | 7 | |a Allocations |2 dtict | |
| 650 | 7 | |a Computer Hardware |2 scgdst | |
| 650 | 7 | |a Computer Programming and Software |2 scgdst | |
| 650 | 7 | |a Computer architecture |2 dtict | |
| 650 | 7 | |a Computer files |2 dtict | |
| 650 | 7 | |a Computer logic |2 dtict | |
| 650 | 7 | |a Configuration management |2 dtict | |
| 650 | 7 | |a Data management |2 dtict | |
| 650 | 7 | |a Data storage systems |2 dtict | |
| 650 | 7 | |a Hierarchies |2 dtict | |
| 650 | 7 | |a Input output models |2 dtict | |
| 650 | 7 | |a Layers |2 dtict | |
| 650 | 7 | |a Memory devices |2 dtict | |
| 650 | 7 | |a Modification |2 dtict | |
| 650 | 7 | |a Modular construction |2 dtict | |
| 650 | 7 | |a Paging |2 dtict | |
| 650 | 7 | |a Resource management |2 dtict | |
| 650 | 7 | |a Theses |2 dtict | |
| 650 | 0 | 7 | |a Speicherverwaltung |0 (DE-588)4182146-4 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Virtueller Speicher |0 (DE-588)4381328-8 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)4113937-9 |a Hochschulschrift |2 gnd-content | |
| 689 | 0 | 0 | |a Speicherverwaltung |0 (DE-588)4182146-4 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Virtueller Speicher |0 (DE-588)4381328-8 |D s |
| 689 | 1 | |5 DE-604 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-015094389 | ||
Datensatz im Suchindex
| _version_ | 1804135818846011392 |
|---|---|
| adam_txt | |
| any_adam_object | |
| any_adam_object_boolean | |
| author | Mason, Andrew H. |
| author_facet | Mason, Andrew H. |
| author_role | aut |
| author_sort | Mason, Andrew H. |
| author_variant | a h m ah ahm |
| building | Verbundindex |
| bvnumber | BV021878895 |
| ctrlnum | (OCoLC)227474410 (DE-599)BVBBV021878895 |
| format | Thesis Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02935nam a2200589zc 4500</leader><controlfield tag="001">BV021878895</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20200903 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">880701s1977 m||| 00||| eng d</controlfield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)227474410</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV021878895</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-706</subfield></datafield><datafield tag="088" ind1=" " ind2=" "><subfield code="a">MIT/LCS/TR-177</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Mason, Andrew H.</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">A layered virtual memory manager</subfield><subfield code="c">Andrew Halstead Mason</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cambridge, Mass.</subfield><subfield code="b">Mass. Inst. of Technology, Lab. for Computer Science</subfield><subfield code="c">1977</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">133 S.</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="502" ind1=" " ind2=" "><subfield code="a">Zugl.: Diss., 1977</subfield></datafield><datafield tag="520" ind1="3" ind2=" "><subfield code="a">This thesis presents a specification for the Multics virtual memory manager. The virtual memory manager is that part of the operating system which coordinates the usage of physical memory and which manages the bindings between logical memory and physical memory. In the case of Multics, physical memory is composed of fixed-length blocks called frames and logical memory consists of segments, representing sets of frames. The original specification is now obsolete because it describes an overly complicated structure. The specification described here compatibly updates the functionality of the Multics virtual memory manager, simplifies the requisite structure, and addresses resource control problems. The specification is in the form of a model, using the methodologies of type extension and layers of abstraction. These methodologies provide the tools to develop a precise model structure, which is capable of handling the intricacies of resource control. The end result is organizational simplicity, certifiability, and comprehensibility.</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Addressing</subfield><subfield code="2">dtict</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Allocations</subfield><subfield code="2">dtict</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Computer Hardware</subfield><subfield code="2">scgdst</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Computer Programming and Software</subfield><subfield code="2">scgdst</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Computer architecture</subfield><subfield code="2">dtict</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Computer files</subfield><subfield code="2">dtict</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Computer logic</subfield><subfield code="2">dtict</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Configuration management</subfield><subfield code="2">dtict</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Data management</subfield><subfield code="2">dtict</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Data storage systems</subfield><subfield code="2">dtict</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Hierarchies</subfield><subfield code="2">dtict</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Input output models</subfield><subfield code="2">dtict</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Layers</subfield><subfield code="2">dtict</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Memory devices</subfield><subfield code="2">dtict</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Modification</subfield><subfield code="2">dtict</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Modular construction</subfield><subfield code="2">dtict</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Paging</subfield><subfield code="2">dtict</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Resource management</subfield><subfield code="2">dtict</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Theses</subfield><subfield code="2">dtict</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Speicherverwaltung</subfield><subfield code="0">(DE-588)4182146-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Virtueller Speicher</subfield><subfield code="0">(DE-588)4381328-8</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)4113937-9</subfield><subfield code="a">Hochschulschrift</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Speicherverwaltung</subfield><subfield code="0">(DE-588)4182146-4</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">Virtueller Speicher</subfield><subfield code="0">(DE-588)4381328-8</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-015094389</subfield></datafield></record></collection> |
| genre | (DE-588)4113937-9 Hochschulschrift gnd-content |
| genre_facet | Hochschulschrift |
| id | DE-604.BV021878895 |
| illustrated | Not Illustrated |
| index_date | 2024-07-02T16:03:41Z |
| indexdate | 2024-07-09T20:46:33Z |
| institution | BVB |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-015094389 |
| oclc_num | 227474410 |
| open_access_boolean | |
| owner | DE-706 |
| owner_facet | DE-706 |
| physical | 133 S. |
| publishDate | 1977 |
| publishDateSearch | 1977 |
| publishDateSort | 1977 |
| publisher | Mass. Inst. of Technology, Lab. for Computer Science |
| record_format | marc |
| spelling | Mason, Andrew H. Verfasser aut A layered virtual memory manager Andrew Halstead Mason Cambridge, Mass. Mass. Inst. of Technology, Lab. for Computer Science 1977 133 S. txt rdacontent n rdamedia nc rdacarrier Zugl.: Diss., 1977 This thesis presents a specification for the Multics virtual memory manager. The virtual memory manager is that part of the operating system which coordinates the usage of physical memory and which manages the bindings between logical memory and physical memory. In the case of Multics, physical memory is composed of fixed-length blocks called frames and logical memory consists of segments, representing sets of frames. The original specification is now obsolete because it describes an overly complicated structure. The specification described here compatibly updates the functionality of the Multics virtual memory manager, simplifies the requisite structure, and addresses resource control problems. The specification is in the form of a model, using the methodologies of type extension and layers of abstraction. These methodologies provide the tools to develop a precise model structure, which is capable of handling the intricacies of resource control. The end result is organizational simplicity, certifiability, and comprehensibility. Addressing dtict Allocations dtict Computer Hardware scgdst Computer Programming and Software scgdst Computer architecture dtict Computer files dtict Computer logic dtict Configuration management dtict Data management dtict Data storage systems dtict Hierarchies dtict Input output models dtict Layers dtict Memory devices dtict Modification dtict Modular construction dtict Paging dtict Resource management dtict Theses dtict Speicherverwaltung (DE-588)4182146-4 gnd rswk-swf Virtueller Speicher (DE-588)4381328-8 gnd rswk-swf (DE-588)4113937-9 Hochschulschrift gnd-content Speicherverwaltung (DE-588)4182146-4 s DE-604 Virtueller Speicher (DE-588)4381328-8 s |
| spellingShingle | Mason, Andrew H. A layered virtual memory manager Addressing dtict Allocations dtict Computer Hardware scgdst Computer Programming and Software scgdst Computer architecture dtict Computer files dtict Computer logic dtict Configuration management dtict Data management dtict Data storage systems dtict Hierarchies dtict Input output models dtict Layers dtict Memory devices dtict Modification dtict Modular construction dtict Paging dtict Resource management dtict Theses dtict Speicherverwaltung (DE-588)4182146-4 gnd Virtueller Speicher (DE-588)4381328-8 gnd |
| subject_GND | (DE-588)4182146-4 (DE-588)4381328-8 (DE-588)4113937-9 |
| title | A layered virtual memory manager |
| title_auth | A layered virtual memory manager |
| title_exact_search | A layered virtual memory manager |
| title_exact_search_txtP | A layered virtual memory manager |
| title_full | A layered virtual memory manager Andrew Halstead Mason |
| title_fullStr | A layered virtual memory manager Andrew Halstead Mason |
| title_full_unstemmed | A layered virtual memory manager Andrew Halstead Mason |
| title_short | A layered virtual memory manager |
| title_sort | a layered virtual memory manager |
| topic | Addressing dtict Allocations dtict Computer Hardware scgdst Computer Programming and Software scgdst Computer architecture dtict Computer files dtict Computer logic dtict Configuration management dtict Data management dtict Data storage systems dtict Hierarchies dtict Input output models dtict Layers dtict Memory devices dtict Modification dtict Modular construction dtict Paging dtict Resource management dtict Theses dtict Speicherverwaltung (DE-588)4182146-4 gnd Virtueller Speicher (DE-588)4381328-8 gnd |
| topic_facet | Addressing Allocations Computer Hardware Computer Programming and Software Computer architecture Computer files Computer logic Configuration management Data management Data storage systems Hierarchies Input output models Layers Memory devices Modification Modular construction Paging Resource management Theses Speicherverwaltung Virtueller Speicher Hochschulschrift |
| work_keys_str_mv | AT masonandrewh alayeredvirtualmemorymanager |