dPool : a distributed data structure for factored operating systems
Thesis (Ph. D.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 2012.
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | Thesis |
| Language: | eng |
| Published: |
Massachusetts Institute of Technology
2012
|
| Subjects: | |
| Online Access: | http://hdl.handle.net/1721.1/71494 |
| _version_ | 1811087473066901504 |
|---|---|
| author | Wentzlaff, David, 1979- |
| author2 | Anant Agarwal and Srinivas Devadas. |
| author_facet | Anant Agarwal and Srinivas Devadas. Wentzlaff, David, 1979- |
| author_sort | Wentzlaff, David, 1979- |
| collection | MIT |
| description | Thesis (Ph. D.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 2012. |
| first_indexed | 2024-09-23T13:46:39Z |
| format | Thesis |
| id | mit-1721.1/71494 |
| institution | Massachusetts Institute of Technology |
| language | eng |
| last_indexed | 2024-09-23T13:46:39Z |
| publishDate | 2012 |
| publisher | Massachusetts Institute of Technology |
| record_format | dspace |
| spelling | mit-1721.1/714942019-04-12T09:28:24Z dPool : a distributed data structure for factored operating systems Distributed data structure for factored operating systems Wentzlaff, David, 1979- Anant Agarwal and Srinivas Devadas. Massachusetts Institute of Technology. Dept. of Electrical Engineering and Computer Science. Massachusetts Institute of Technology. Dept. of Electrical Engineering and Computer Science. Electrical Engineering and Computer Science. Thesis (Ph. D.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 2012. Cataloged from PDF version of thesis. Includes bibliographical references (p. 151-158). Future computer architectures will likely exhibit increased parallelism through the addition of more processor cores. Architectural trends such as exponentially increasing parallelism and the possible lack of scalable shared memory motivate the reevaluation of operating system design. This thesis work takes place in the context of Factored Operating Systems which leverage distributed system ideas to increase the scalability of multicore processor operating systems. fos, a Factored Operating System, explores a new design point for operating systems where traditional low-level operating system services are fine-grain parallelized while internally only using explicit message passing for communication. fos factors an operating system first by system service and then further parallelizes inside of the system service by splitting the service into a fleet of server processes which communicate via messaging. Constructing parallel low-level operating system services which only internally use messaging is challenging because shared resources must be partitioned across servers and the services must provide scalable performance when met with uneven demand. To ease the construction of parallel fos system services, this thesis develops the dPool distributed data structure. The dPool data structure provides concurrent access to an unordered collection of elements by server processes within a fos fleet. Internal to a single dPool instance, all communication between different portions of a dPool is done via messaging. This thesis uses the dPool data structure within the parallel fos Physical Memory Allocation fleet and demonstrates that it is possible to use a dPool to manage shared state in a factored operating system's physical page allocator. This thesis begins by presenting the design of the prototype fos operating system. In the context of fos system service fleets, this thesis describes the dPool data structure, its design, different implementations, and interfaces. The dPool data structure is shown to achieve scalability across even and uneven micro-benchmark workloads. This thesis shows that common parallel and distributed programming techniques apply to the creation of dPool and that background threads within a dPool can increase performance. Finally, this thesis evaluates different dPool implementations and demonstrates that intelligently pushing elements between dPool parts can increase scalability. by David Wentzlaff. Ph.D. 2012-07-02T15:47:52Z 2012-07-02T15:47:52Z 2012 2012 Thesis http://hdl.handle.net/1721.1/71494 795583966 eng M.I.T. theses are protected by copyright. They may be viewed from this source for any purpose, but reproduction or distribution in any format is prohibited without written permission. See provided URL for inquiries about permission. http://dspace.mit.edu/handle/1721.1/7582 158 p. application/pdf Massachusetts Institute of Technology |
| spellingShingle | Electrical Engineering and Computer Science. Wentzlaff, David, 1979- dPool : a distributed data structure for factored operating systems |
| title | dPool : a distributed data structure for factored operating systems |
| title_full | dPool : a distributed data structure for factored operating systems |
| title_fullStr | dPool : a distributed data structure for factored operating systems |
| title_full_unstemmed | dPool : a distributed data structure for factored operating systems |
| title_short | dPool : a distributed data structure for factored operating systems |
| title_sort | dpool a distributed data structure for factored operating systems |
| topic | Electrical Engineering and Computer Science. |
| url | http://hdl.handle.net/1721.1/71494 |
| work_keys_str_mv | AT wentzlaffdavid1979 dpooladistributeddatastructureforfactoredoperatingsystems AT wentzlaffdavid1979 distributeddatastructureforfactoredoperatingsystems |