giving synthesis thesis own layout with only simple backlink to site. Also cleaned up conversion errors
This commit is contained in:
parent
fe83998def
commit
1b560ed57d
15
app/controllers/pages_controller.rb
Normal file
15
app/controllers/pages_controller.rb
Normal file
@ -0,0 +1,15 @@
|
|||||||
|
class PagesController < ApplicationController
|
||||||
|
include HighVoltage::StaticPage
|
||||||
|
|
||||||
|
layout :layout_for_page
|
||||||
|
|
||||||
|
private
|
||||||
|
|
||||||
|
def layout_for_page
|
||||||
|
if params[:id].to_s.starts_with?("synthesis/")
|
||||||
|
'synthesis'
|
||||||
|
else
|
||||||
|
'application'
|
||||||
|
end
|
||||||
|
end
|
||||||
|
end
|
15
app/views/layouts/_synthesis_menu.haml
Normal file
15
app/views/layouts/_synthesis_menu.haml
Normal file
@ -0,0 +1,15 @@
|
|||||||
|
#nav
|
||||||
|
%a.home{:href => "/index"} ruby-x.org
|
||||||
|
%a{:href => "index.html"} Abstract
|
||||||
|
%a{:href => "toc.html"} Contents
|
||||||
|
%a{:href => "ch1.html"} Chapter 1
|
||||||
|
%a{:href => "ch2.html"} Chapter 2
|
||||||
|
%a{:href => "ch3.html"} Chapter 3
|
||||||
|
%a{:href => "ch4.html"} Chapter 4
|
||||||
|
%a{:href => "ch5.html"} Chapter 5
|
||||||
|
%a{:href => "ch6.html"} Chapter 6
|
||||||
|
%a{:href => "ch7.html"} Chapter 7
|
||||||
|
%a{:href => "ch8.html"} Chapter 8
|
||||||
|
%a.here{:href => "bib.html"} Bibliography
|
||||||
|
%a{:href => "app-A.html"} Appendix A
|
||||||
|
%a{:href => "ack.html"} Acknowledgements
|
@ -20,4 +20,4 @@
|
|||||||
= yield
|
= yield
|
||||||
%footer.container
|
%footer.container
|
||||||
.row.center
|
.row.center
|
||||||
%p © Copyright Torsten Ruger 2013-20
|
%p © Copyright Torsten Ruger 2013-21
|
||||||
|
30
app/views/layouts/synthesis.haml
Normal file
30
app/views/layouts/synthesis.haml
Normal file
@ -0,0 +1,30 @@
|
|||||||
|
!!! Strict
|
||||||
|
%html
|
||||||
|
%head
|
||||||
|
%meta{:content => "text/html; charset=UTF-8", "http-equiv" => "Content-Type"}/
|
||||||
|
%title Synthesis: An Efficient Implementation of Fundamental Operating System Services - Abstract
|
||||||
|
:css
|
||||||
|
table.fig {
|
||||||
|
text-align: center;
|
||||||
|
border: thin solid #080;
|
||||||
|
margin-top: 1em;
|
||||||
|
width: 90%;
|
||||||
|
margin-left: 5%;
|
||||||
|
margin-right: 5%;
|
||||||
|
}
|
||||||
|
table.fig caption {
|
||||||
|
background-color: #8C8;
|
||||||
|
caption-side: bottom;
|
||||||
|
width: 90%;
|
||||||
|
margin-left: 5%;
|
||||||
|
margin-right: 5%;
|
||||||
|
}
|
||||||
|
td.fig-rd { background-color: #D98; border: thin solid black }
|
||||||
|
td.fig-wr { background-color: #8CD; border: thin solid black }
|
||||||
|
td.fig-p1 { background-color: #CC8; border: thin solid black }
|
||||||
|
td.fig-p2 { background-color: #8D8; border: thin solid black }
|
||||||
|
%body
|
||||||
|
= render "layouts/synthesis_menu"
|
||||||
|
= yield
|
||||||
|
%br
|
||||||
|
= render "layouts/synthesis_menu"
|
@ -1,30 +1,4 @@
|
|||||||
!!! Strict
|
#content
|
||||||
%html
|
|
||||||
%head
|
|
||||||
%meta{:content => "text/html; charset=UTF-8", "http-equiv" => "Content-Type"}/
|
|
||||||
%title Synthesis: An Efficient Implementation of Fundamental Operating System Services - Abstract
|
|
||||||
%link{:href => "../css/style.css", :rel => "stylesheet", :type => "text/css"}/
|
|
||||||
%link{:href => "style.css", :rel => "stylesheet", :type => "text/css"}/
|
|
||||||
%body
|
|
||||||
#nav
|
|
||||||
%a.home{:href => "../index.html"} Alexia's Home
|
|
||||||
%a{:href => "index.html"} Dissertation
|
|
||||||
%a.here{:href => "abs.html"} Abstract
|
|
||||||
%a{:href => "ack.html"} Acknowledgements
|
|
||||||
%a{:href => "toc.html"} Contents
|
|
||||||
%a{:href => "ch1.html"} Chapter 1
|
|
||||||
%a{:href => "ch2.html"} Chapter 2
|
|
||||||
%a{:href => "ch3.html"} Chapter 3
|
|
||||||
%a{:href => "ch4.html"} Chapter 4
|
|
||||||
%a{:href => "ch5.html"} Chapter 5
|
|
||||||
%a{:href => "ch6.html"} Chapter 6
|
|
||||||
%a{:href => "ch7.html"} Chapter 7
|
|
||||||
%a{:href => "ch8.html"} Chapter 8
|
|
||||||
%a{:href => "bib.html"} Bibliography
|
|
||||||
%a{:href => "app-A.html"} Appendix A
|
|
||||||
#running-title
|
|
||||||
Synthesis: An Efficient Implementation of Fundamental Operating System Services - Abstract
|
|
||||||
#content
|
|
||||||
%h1 Abstract
|
%h1 Abstract
|
||||||
%p
|
%p
|
||||||
This dissertation shows that operating systems can provide fundamental services an order of magnitude more efficiently than traditional implementations. It describes the implementation of a new operating system kernel, Synthesis, that achieves this level of performance.
|
This dissertation shows that operating systems can provide fundamental services an order of magnitude more efficiently than traditional implementations. It describes the implementation of a new operating system kernel, Synthesis, that achieves this level of performance.
|
||||||
|
@ -1,30 +1,4 @@
|
|||||||
!!! Strict
|
#content
|
||||||
%html
|
|
||||||
%head
|
|
||||||
%meta{:content => "text/html; charset=UTF-8", "http-equiv" => "Content-Type"}/
|
|
||||||
%title Synthesis: An Efficient Implementation of Fundamental Operating System Services - Abstract
|
|
||||||
%link{:href => "../css/style.css", :rel => "stylesheet", :type => "text/css"}/
|
|
||||||
%link{:href => "style.css", :rel => "stylesheet", :type => "text/css"}/
|
|
||||||
%body
|
|
||||||
#nav
|
|
||||||
%a.home{:href => "../index.html"} Alexia's Home
|
|
||||||
%a{:href => "index.html"} Dissertation
|
|
||||||
%a{:href => "abs.html"} Abstract
|
|
||||||
%a.here{:href => "ack.html"} Acknowledgements
|
|
||||||
%a{:href => "toc.html"} Contents
|
|
||||||
%a{:href => "ch1.html"} Chapter 1
|
|
||||||
%a{:href => "ch2.html"} Chapter 2
|
|
||||||
%a{:href => "ch3.html"} Chapter 3
|
|
||||||
%a{:href => "ch4.html"} Chapter 4
|
|
||||||
%a{:href => "ch5.html"} Chapter 5
|
|
||||||
%a{:href => "ch6.html"} Chapter 6
|
|
||||||
%a{:href => "ch7.html"} Chapter 7
|
|
||||||
%a{:href => "ch8.html"} Chapter 8
|
|
||||||
%a{:href => "bib.html"} Bibliography
|
|
||||||
%a{:href => "app-A.html"} Appendix A
|
|
||||||
#running-title
|
|
||||||
Synthesis: An Efficient Implementation of Fundamental Operating System Services - Abstract
|
|
||||||
#content
|
|
||||||
%h1 Acknowledgements
|
%h1 Acknowledgements
|
||||||
%p
|
%p
|
||||||
Many people contributed to making this research effort a success. First and foremost, I want to thank my advisor, Calton Pu. He was instrumental in bringing this thesis to fruition. He helped clarify the ideas buried in my "collection of fast assembly-language routines," and his dedication through difficult times encouraged me to keep pushing forward. Without him, this dissertation would not exist.
|
Many people contributed to making this research effort a success. First and foremost, I want to thank my advisor, Calton Pu. He was instrumental in bringing this thesis to fruition. He helped clarify the ideas buried in my "collection of fast assembly-language routines," and his dedication through difficult times encouraged me to keep pushing forward. Without him, this dissertation would not exist.
|
||||||
|
@ -1,30 +1,4 @@
|
|||||||
!!! Strict
|
#content
|
||||||
%html
|
|
||||||
%head
|
|
||||||
%meta{:content => "text/html; charset=UTF-8", "http-equiv" => "Content-Type"}/
|
|
||||||
%title Synthesis: An Efficient Implementation of Fundamental Operating System Services - Abstract
|
|
||||||
%link{:href => "../css/style.css", :rel => "stylesheet", :type => "text/css"}/
|
|
||||||
%link{:href => "style.css", :rel => "stylesheet", :type => "text/css"}/
|
|
||||||
%body
|
|
||||||
#nav
|
|
||||||
%a.home{:href => "../index.html"} Alexia's Home
|
|
||||||
%a{:href => "index.html"} Dissertation
|
|
||||||
%a{:href => "abs.html"} Abstract
|
|
||||||
%a{:href => "ack.html"} Acknowledgements
|
|
||||||
%a{:href => "toc.html"} Contents
|
|
||||||
%a{:href => "ch1.html"} Chapter 1
|
|
||||||
%a{:href => "ch2.html"} Chapter 2
|
|
||||||
%a{:href => "ch3.html"} Chapter 3
|
|
||||||
%a{:href => "ch4.html"} Chapter 4
|
|
||||||
%a{:href => "ch5.html"} Chapter 5
|
|
||||||
%a{:href => "ch6.html"} Chapter 6
|
|
||||||
%a{:href => "ch7.html"} Chapter 7
|
|
||||||
%a{:href => "ch8.html"} Chapter 8
|
|
||||||
%a{:href => "bib.html"} Bibliography
|
|
||||||
%a.here{:href => "app-A.html"} Appendix A
|
|
||||||
#running-title
|
|
||||||
Synthesis: An Efficient Implementation of Fundamental Operating System Services - Abstract
|
|
||||||
#content
|
|
||||||
Appendix A
|
Appendix A
|
||||||
%span.smallcaps Unix
|
%span.smallcaps Unix
|
||||||
Emulator Test Programs
|
Emulator Test Programs
|
||||||
|
@ -1,30 +1,4 @@
|
|||||||
!!! Strict
|
#content
|
||||||
%html
|
|
||||||
%head
|
|
||||||
%meta{:content => "text/html; charset=UTF-8", "http-equiv" => "Content-Type"}/
|
|
||||||
%title Synthesis: An Efficient Implementation of Fundamental Operating System Services - Abstract
|
|
||||||
%link{:href => "../css/style.css", :rel => "stylesheet", :type => "text/css"}/
|
|
||||||
%link{:href => "style.css", :rel => "stylesheet", :type => "text/css"}/
|
|
||||||
%body
|
|
||||||
#nav
|
|
||||||
%a.home{:href => "../index.html"} Alexia's Home
|
|
||||||
%a{:href => "index.html"} Dissertation
|
|
||||||
%a{:href => "abs.html"} Abstract
|
|
||||||
%a{:href => "ack.html"} Acknowledgements
|
|
||||||
%a{:href => "toc.html"} Contents
|
|
||||||
%a{:href => "ch1.html"} Chapter 1
|
|
||||||
%a{:href => "ch2.html"} Chapter 2
|
|
||||||
%a{:href => "ch3.html"} Chapter 3
|
|
||||||
%a{:href => "ch4.html"} Chapter 4
|
|
||||||
%a{:href => "ch5.html"} Chapter 5
|
|
||||||
%a{:href => "ch6.html"} Chapter 6
|
|
||||||
%a{:href => "ch7.html"} Chapter 7
|
|
||||||
%a{:href => "ch8.html"} Chapter 8
|
|
||||||
%a.here{:href => "bib.html"} Bibliography
|
|
||||||
%a{:href => "app-A.html"} Appendix A
|
|
||||||
#running-title
|
|
||||||
Synthesis: An Efficient Implementation of Fundamental Operating System Services - Abstract
|
|
||||||
#content
|
|
||||||
%h1 Bibliography
|
%h1 Bibliography
|
||||||
.bib-conference
|
.bib-conference
|
||||||
%span.bib-number [1]
|
%span.bib-number [1]
|
||||||
|
@ -1,30 +1,4 @@
|
|||||||
!!! Strict
|
#content
|
||||||
%html
|
|
||||||
%head
|
|
||||||
%meta{:content => "text/html; charset=UTF-8", "http-equiv" => "Content-Type"}/
|
|
||||||
%title Synthesis: An Efficient Implementation of Fundamental Operating System Services - Abstract
|
|
||||||
%link{:href => "../css/style.css", :rel => "stylesheet", :type => "text/css"}/
|
|
||||||
%link{:href => "style.css", :rel => "stylesheet", :type => "text/css"}/
|
|
||||||
%body
|
|
||||||
#nav
|
|
||||||
%a.home{:href => "../index.html"} Alexia's Home
|
|
||||||
%a{:href => "index.html"} Dissertation
|
|
||||||
%a{:href => "abs.html"} Abstract
|
|
||||||
%a{:href => "ack.html"} Acknowledgements
|
|
||||||
%a{:href => "toc.html"} Contents
|
|
||||||
%a.here{:href => "ch1.html"} Chapter 1
|
|
||||||
%a{:href => "ch2.html"} Chapter 2
|
|
||||||
%a{:href => "ch3.html"} Chapter 3
|
|
||||||
%a{:href => "ch4.html"} Chapter 4
|
|
||||||
%a{:href => "ch5.html"} Chapter 5
|
|
||||||
%a{:href => "ch6.html"} Chapter 6
|
|
||||||
%a{:href => "ch7.html"} Chapter 7
|
|
||||||
%a{:href => "ch8.html"} Chapter 8
|
|
||||||
%a{:href => "bib.html"} Bibliography
|
|
||||||
%a{:href => "app-A.html"} Appendix A
|
|
||||||
#running-title
|
|
||||||
Synthesis: An Efficient Implementation of Fundamental Operating System Services - Abstract
|
|
||||||
#content
|
|
||||||
%h1 1. Introduction
|
%h1 1. Introduction
|
||||||
#chapter-quote
|
#chapter-quote
|
||||||
I must Create a System, or be enslav'd by another Man's;
|
I must Create a System, or be enslav'd by another Man's;
|
||||||
|
@ -1,30 +1,4 @@
|
|||||||
!!! Strict
|
#content
|
||||||
%html
|
|
||||||
%head
|
|
||||||
%meta{:content => "text/html; charset=UTF-8", "http-equiv" => "Content-Type"}/
|
|
||||||
%title Synthesis: An Efficient Implementation of Fundamental Operating System Services - Abstract
|
|
||||||
%link{:href => "../css/style.css", :rel => "stylesheet", :type => "text/css"}/
|
|
||||||
%link{:href => "style.css", :rel => "stylesheet", :type => "text/css"}/
|
|
||||||
%body
|
|
||||||
#nav
|
|
||||||
%a.home{:href => "../index.html"} Alexia's Home
|
|
||||||
%a{:href => "index.html"} Dissertation
|
|
||||||
%a{:href => "abs.html"} Abstract
|
|
||||||
%a{:href => "ack.html"} Acknowledgements
|
|
||||||
%a{:href => "toc.html"} Contents
|
|
||||||
%a{:href => "ch1.html"} Chapter 1
|
|
||||||
%a.here{:href => "ch2.html"} Chapter 2
|
|
||||||
%a{:href => "ch3.html"} Chapter 3
|
|
||||||
%a{:href => "ch4.html"} Chapter 4
|
|
||||||
%a{:href => "ch5.html"} Chapter 5
|
|
||||||
%a{:href => "ch6.html"} Chapter 6
|
|
||||||
%a{:href => "ch7.html"} Chapter 7
|
|
||||||
%a{:href => "ch8.html"} Chapter 8
|
|
||||||
%a{:href => "bib.html"} Bibliography
|
|
||||||
%a{:href => "app-A.html"} Appendix A
|
|
||||||
#running-title
|
|
||||||
Synthesis: An Efficient Implementation of Fundamental Operating System Services - Abstract
|
|
||||||
#content
|
|
||||||
%h1 2. Previous Work
|
%h1 2. Previous Work
|
||||||
#chapter-quote
|
#chapter-quote
|
||||||
If I have seen farther than others, it is because
|
If I have seen farther than others, it is because
|
||||||
|
@ -1,30 +1,4 @@
|
|||||||
!!! Strict
|
#content
|
||||||
%html
|
|
||||||
%head
|
|
||||||
%meta{:content => "text/html; charset=UTF-8", "http-equiv" => "Content-Type"}/
|
|
||||||
%title Synthesis: An Efficient Implementation of Fundamental Operating System Services - Abstract
|
|
||||||
%link{:href => "../css/style.css", :rel => "stylesheet", :type => "text/css"}/
|
|
||||||
%link{:href => "style.css", :rel => "stylesheet", :type => "text/css"}/
|
|
||||||
%body
|
|
||||||
#nav
|
|
||||||
%a.home{:href => "../index.html"} Alexia's Home
|
|
||||||
%a{:href => "index.html"} Dissertation
|
|
||||||
%a{:href => "abs.html"} Abstract
|
|
||||||
%a{:href => "ack.html"} Acknowledgements
|
|
||||||
%a{:href => "toc.html"} Contents
|
|
||||||
%a{:href => "ch1.html"} Chapter 1
|
|
||||||
%a{:href => "ch2.html"} Chapter 2
|
|
||||||
%a.here{:href => "ch3.html"} Chapter 3
|
|
||||||
%a{:href => "ch4.html"} Chapter 4
|
|
||||||
%a{:href => "ch5.html"} Chapter 5
|
|
||||||
%a{:href => "ch6.html"} Chapter 6
|
|
||||||
%a{:href => "ch7.html"} Chapter 7
|
|
||||||
%a{:href => "ch8.html"} Chapter 8
|
|
||||||
%a{:href => "bib.html"} Bibliography
|
|
||||||
%a{:href => "app-A.html"} Appendix A
|
|
||||||
#running-title
|
|
||||||
Synthesis: An Efficient Implementation of Fundamental Operating System Services - Abstract
|
|
||||||
#content
|
|
||||||
%h1 3. Kernel Code Generator
|
%h1 3. Kernel Code Generator
|
||||||
#chapter-quote
|
#chapter-quote
|
||||||
For, behold, I create new heavens and a new earth.
|
For, behold, I create new heavens and a new earth.
|
||||||
|
@ -1,30 +1,4 @@
|
|||||||
!!! Strict
|
#content
|
||||||
%html
|
|
||||||
%head
|
|
||||||
%meta{:content => "text/html; charset=UTF-8", "http-equiv" => "Content-Type"}/
|
|
||||||
%title Synthesis: An Efficient Implementation of Fundamental Operating System Services - Abstract
|
|
||||||
%link{:href => "../css/style.css", :rel => "stylesheet", :type => "text/css"}/
|
|
||||||
%link{:href => "style.css", :rel => "stylesheet", :type => "text/css"}/
|
|
||||||
%body
|
|
||||||
#nav
|
|
||||||
%a.home{:href => "../index.html"} Alexia's Home
|
|
||||||
%a{:href => "index.html"} Dissertation
|
|
||||||
%a{:href => "abs.html"} Abstract
|
|
||||||
%a{:href => "ack.html"} Acknowledgements
|
|
||||||
%a{:href => "toc.html"} Contents
|
|
||||||
%a{:href => "ch1.html"} Chapter 1
|
|
||||||
%a{:href => "ch2.html"} Chapter 2
|
|
||||||
%a{:href => "ch3.html"} Chapter 3
|
|
||||||
%a.here{:href => "ch4.html"} Chapter 4
|
|
||||||
%a{:href => "ch5.html"} Chapter 5
|
|
||||||
%a{:href => "ch6.html"} Chapter 6
|
|
||||||
%a{:href => "ch7.html"} Chapter 7
|
|
||||||
%a{:href => "ch8.html"} Chapter 8
|
|
||||||
%a{:href => "bib.html"} Bibliography
|
|
||||||
%a{:href => "app-A.html"} Appendix A
|
|
||||||
#running-title
|
|
||||||
Synthesis: An Efficient Implementation of Fundamental Operating System Services - Abstract
|
|
||||||
#content
|
|
||||||
%h1 4. Kernel Structure
|
%h1 4. Kernel Structure
|
||||||
#chapter-quote
|
#chapter-quote
|
||||||
All things should be made as simple as possible, but no simpler.
|
All things should be made as simple as possible, but no simpler.
|
||||||
|
@ -1,30 +1,4 @@
|
|||||||
!!! Strict
|
#content
|
||||||
%html
|
|
||||||
%head
|
|
||||||
%meta{:content => "text/html; charset=UTF-8", "http-equiv" => "Content-Type"}/
|
|
||||||
%title Synthesis: An Efficient Implementation of Fundamental Operating System Services - Abstract
|
|
||||||
%link{:href => "../css/style.css", :rel => "stylesheet", :type => "text/css"}/
|
|
||||||
%link{:href => "style.css", :rel => "stylesheet", :type => "text/css"}/
|
|
||||||
%body
|
|
||||||
#nav
|
|
||||||
%a.home{:href => "../index.html"} Alexia's Home
|
|
||||||
%a{:href => "index.html"} Dissertation
|
|
||||||
%a{:href => "abs.html"} Abstract
|
|
||||||
%a{:href => "ack.html"} Acknowledgements
|
|
||||||
%a{:href => "toc.html"} Contents
|
|
||||||
%a{:href => "ch1.html"} Chapter 1
|
|
||||||
%a{:href => "ch2.html"} Chapter 2
|
|
||||||
%a{:href => "ch3.html"} Chapter 3
|
|
||||||
%a{:href => "ch4.html"} Chapter 4
|
|
||||||
%a.here{:href => "ch5.html"} Chapter 5
|
|
||||||
%a{:href => "ch6.html"} Chapter 6
|
|
||||||
%a{:href => "ch7.html"} Chapter 7
|
|
||||||
%a{:href => "ch8.html"} Chapter 8
|
|
||||||
%a{:href => "bib.html"} Bibliography
|
|
||||||
%a{:href => "app-A.html"} Appendix A
|
|
||||||
#running-title
|
|
||||||
Synthesis: An Efficient Implementation of Fundamental Operating System Services - Abstract
|
|
||||||
#content
|
|
||||||
%h1 5. Concurrency and Synchronization
|
%h1 5. Concurrency and Synchronization
|
||||||
#chapter-quote
|
#chapter-quote
|
||||||
%h2 5.1 Synchronization in OS Kernels
|
%h2 5.1 Synchronization in OS Kernels
|
||||||
|
@ -1,50 +1,4 @@
|
|||||||
!!! Strict
|
#content
|
||||||
%html
|
|
||||||
%head
|
|
||||||
%meta{:content => "text/html; charset=UTF-8", "http-equiv" => "Content-Type"}/
|
|
||||||
%title Synthesis: An Efficient Implementation of Fundamental Operating System Services - Abstract
|
|
||||||
%link{:href => "../css/style.css", :rel => "stylesheet", :type => "text/css"}/
|
|
||||||
%link{:href => "style.css", :rel => "stylesheet", :type => "text/css"}/
|
|
||||||
:css
|
|
||||||
table.fig {
|
|
||||||
text-align: center;
|
|
||||||
border: thin solid #080;
|
|
||||||
margin-top: 1em;
|
|
||||||
width: 90%;
|
|
||||||
margin-left: 5%;
|
|
||||||
margin-right: 5%;
|
|
||||||
}
|
|
||||||
table.fig caption {
|
|
||||||
background-color: #8C8;
|
|
||||||
caption-side: bottom;
|
|
||||||
width: 90%;
|
|
||||||
margin-left: 5%;
|
|
||||||
margin-right: 5%;
|
|
||||||
}
|
|
||||||
td.fig-rd { background-color: #D98; border: thin solid black }
|
|
||||||
td.fig-wr { background-color: #8CD; border: thin solid black }
|
|
||||||
td.fig-p1 { background-color: #CC8; border: thin solid black }
|
|
||||||
td.fig-p2 { background-color: #8D8; border: thin solid black }
|
|
||||||
%body
|
|
||||||
#nav
|
|
||||||
%a.home{:href => "../index.html"} Alexia's Home
|
|
||||||
%a{:href => "index.html"} Dissertation
|
|
||||||
%a{:href => "abs.html"} Abstract
|
|
||||||
%a{:href => "ack.html"} Acknowledgements
|
|
||||||
%a{:href => "toc.html"} Contents
|
|
||||||
%a{:href => "ch1.html"} Chapter 1
|
|
||||||
%a{:href => "ch2.html"} Chapter 2
|
|
||||||
%a{:href => "ch3.html"} Chapter 3
|
|
||||||
%a{:href => "ch4.html"} Chapter 4
|
|
||||||
%a{:href => "ch5.html"} Chapter 5
|
|
||||||
%a.here{:href => "ch6.html"} Chapter 6
|
|
||||||
%a{:href => "ch7.html"} Chapter 7
|
|
||||||
%a{:href => "ch8.html"} Chapter 8
|
|
||||||
%a{:href => "bib.html"} Bibliography
|
|
||||||
%a{:href => "app-A.html"} Appendix A
|
|
||||||
#running-title
|
|
||||||
Synthesis: An Efficient Implementation of Fundamental Operating System Services - Abstract
|
|
||||||
#content
|
|
||||||
%h1 6. Fine-Grain Scheduling
|
%h1 6. Fine-Grain Scheduling
|
||||||
#chapter-quote
|
#chapter-quote
|
||||||
The most exciting phrase to hear in science, the
|
The most exciting phrase to hear in science, the
|
||||||
|
@ -1,30 +1,4 @@
|
|||||||
!!! Strict
|
#content
|
||||||
%html
|
|
||||||
%head
|
|
||||||
%meta{:content => "text/html; charset=UTF-8", "http-equiv" => "Content-Type"}/
|
|
||||||
%title Synthesis: An Efficient Implementation of Fundamental Operating System Services - Abstract
|
|
||||||
%link{:href => "../css/style.css", :rel => "stylesheet", :type => "text/css"}/
|
|
||||||
%link{:href => "style.css", :rel => "stylesheet", :type => "text/css"}/
|
|
||||||
%body
|
|
||||||
#nav
|
|
||||||
%a.home{:href => "../index.html"} Alexia's Home
|
|
||||||
%a{:href => "index.html"} Dissertation
|
|
||||||
%a{:href => "abs.html"} Abstract
|
|
||||||
%a{:href => "ack.html"} Acknowledgements
|
|
||||||
%a{:href => "toc.html"} Contents
|
|
||||||
%a{:href => "ch1.html"} Chapter 1
|
|
||||||
%a{:href => "ch2.html"} Chapter 2
|
|
||||||
%a{:href => "ch3.html"} Chapter 3
|
|
||||||
%a{:href => "ch4.html"} Chapter 4
|
|
||||||
%a{:href => "ch5.html"} Chapter 5
|
|
||||||
%a{:href => "ch6.html"} Chapter 6
|
|
||||||
%a.here{:href => "ch7.html"} Chapter 7
|
|
||||||
%a{:href => "ch8.html"} Chapter 8
|
|
||||||
%a{:href => "bib.html"} Bibliography
|
|
||||||
%a{:href => "app-A.html"} Appendix A
|
|
||||||
#running-title
|
|
||||||
Synthesis: An Efficient Implementation of Fundamental Operating System Services - Abstract
|
|
||||||
#content
|
|
||||||
%h1 7. Measurements and Evaluation
|
%h1 7. Measurements and Evaluation
|
||||||
#chapter-quote
|
#chapter-quote
|
||||||
15. Everything should be built top-down, except the first time.
|
15. Everything should be built top-down, except the first time.
|
||||||
|
@ -1,30 +1,4 @@
|
|||||||
!!! Strict
|
#content
|
||||||
%html
|
|
||||||
%head
|
|
||||||
%meta{:content => "text/html; charset=UTF-8", "http-equiv" => "Content-Type"}/
|
|
||||||
%title Synthesis: An Efficient Implementation of Fundamental Operating System Services - Abstract
|
|
||||||
%link{:href => "../css/style.css", :rel => "stylesheet", :type => "text/css"}/
|
|
||||||
%link{:href => "style.css", :rel => "stylesheet", :type => "text/css"}/
|
|
||||||
%body
|
|
||||||
#nav
|
|
||||||
%a.home{:href => "../index.html"} Alexia's Home
|
|
||||||
%a{:href => "index.html"} Dissertation
|
|
||||||
%a{:href => "abs.html"} Abstract
|
|
||||||
%a{:href => "ack.html"} Acknowledgements
|
|
||||||
%a{:href => "toc.html"} Contents
|
|
||||||
%a{:href => "ch1.html"} Chapter 1
|
|
||||||
%a{:href => "ch2.html"} Chapter 2
|
|
||||||
%a{:href => "ch3.html"} Chapter 3
|
|
||||||
%a{:href => "ch4.html"} Chapter 4
|
|
||||||
%a{:href => "ch5.html"} Chapter 5
|
|
||||||
%a{:href => "ch6.html"} Chapter 6
|
|
||||||
%a{:href => "ch7.html"} Chapter 7
|
|
||||||
%a.here{:href => "ch8.html"} Chapter 8
|
|
||||||
%a{:href => "bib.html"} Bibliography
|
|
||||||
%a{:href => "app-A.html"} Appendix A
|
|
||||||
#running-title
|
|
||||||
Synthesis: An Efficient Implementation of Fundamental Operating System Services - Abstract
|
|
||||||
#content
|
|
||||||
%h1 8. Conclusion
|
%h1 8. Conclusion
|
||||||
#chapter-quote
|
#chapter-quote
|
||||||
A dissertation is never finished.
|
A dissertation is never finished.
|
||||||
|
@ -1,45 +1,16 @@
|
|||||||
!!! Strict
|
#content
|
||||||
%html
|
%h1 Abstract
|
||||||
%head
|
%p
|
||||||
%meta{:content => "text/html; charset=UTF-8", "http-equiv" => "Content-Type"}/
|
This dissertation shows that operating systems can provide fundamental services an order of magnitude more efficiently than traditional implementations. It describes the implementation of a new operating system kernel, Synthesis, that achieves this level of performance.
|
||||||
%title Synthesis: An Efficient Implementation of Fundamental Operating System Services - Abstract
|
%p
|
||||||
%link{:href => "../css/style.css", :rel => "stylesheet", :type => "text/css"}/
|
The Synthesis kernel combines several new techniques to provide high performance without sacrificing the expressive power or security of the system. The new ideas include:
|
||||||
%link{:href => "style.css", :rel => "stylesheet", :type => "text/css"}/
|
%ul
|
||||||
%body
|
%li
|
||||||
#nav
|
Run-time code synthesis - a systematic way of creating executable machine code at runtime to optimize frequently-used kernel routines - queues, buffers, context switchers, interrupt handlers, and system call dispatchers - for specific situations, greatly reducing their execution time.
|
||||||
%a.home{:href => "../index.html"} Alexia's Home
|
%li
|
||||||
%a.here{:href => "index.html"} Dissertation
|
Fine-grain scheduling - a new process-scheduling technique based on the idea of feedback that performs frequent scheduling actions and policy adjustments (at submillisecond intervals) resulting in an adaptive, self-tuning system that can support real-time data streams.
|
||||||
%a{:href => "abs.html"} Abstract
|
%li
|
||||||
%a{:href => "ack.html"} Acknowledgements
|
Lock-free optimistic synchronization is shown to be a practical, efficient alternative to lock-based synchronization methods for the implementation of multiprocessor operating system kernels.
|
||||||
%a{:href => "toc.html"} Contents
|
%li
|
||||||
%a{:href => "ch1.html"} Chapter 1
|
An extensible kernel design that provides for simple expansion to support new kernel services and hardware devices while allowing a tight coupling between the kernel and the applications, blurring the distinction between user and kernel services.
|
||||||
%a{:href => "ch2.html"} Chapter 2
|
The result is a significant performance improvement over traditional operating system implementations in addition to providing new services.
|
||||||
%a{:href => "ch3.html"} Chapter 3
|
|
||||||
%a{:href => "ch4.html"} Chapter 4
|
|
||||||
%a{:href => "ch5.html"} Chapter 5
|
|
||||||
%a{:href => "ch6.html"} Chapter 6
|
|
||||||
%a{:href => "ch7.html"} Chapter 7
|
|
||||||
%a{:href => "ch8.html"} Chapter 8
|
|
||||||
%a{:href => "bib.html"} Bibliography
|
|
||||||
%a{:href => "app-A.html"} Appendix A
|
|
||||||
#running-title
|
|
||||||
Synthesis: An Efficient Implementation of Fundamental Operating System Services - Abstract
|
|
||||||
#content
|
|
||||||
#title
|
|
||||||
Synthesis:
|
|
||||||
%br/
|
|
||||||
An Efficient Implementation
|
|
||||||
%br/
|
|
||||||
of Fundamental
|
|
||||||
%br/
|
|
||||||
Operating System Services
|
|
||||||
#author Alexia Massalin
|
|
||||||
#subtext
|
|
||||||
Submitted in partial fulfillment of the
|
|
||||||
requirements for the degree
|
|
||||||
of Doctor of Philosophy in the
|
|
||||||
Graduate School of Arts and Sciences.
|
|
||||||
#institution Columbia University
|
|
||||||
#year 1992
|
|
||||||
%br/
|
|
||||||
%hr/
|
|
||||||
|
@ -1,30 +1,4 @@
|
|||||||
!!! Strict
|
#content
|
||||||
%html
|
|
||||||
%head
|
|
||||||
%meta{:content => "text/html; charset=UTF-8", "http-equiv" => "Content-Type"}/
|
|
||||||
%title Synthesis: An Efficient Implementation of Fundamental Operating System Services - Abstract
|
|
||||||
%link{:href => "../css/style.css", :rel => "stylesheet", :type => "text/css"}/
|
|
||||||
%link{:href => "style.css", :rel => "stylesheet", :type => "text/css"}/
|
|
||||||
/ CUSTOM STYLE GOES HERE
|
|
||||||
%body
|
|
||||||
#nav
|
|
||||||
%a{:href => "index.html"} Title
|
|
||||||
%a{:href => "abs.html"} Abstract
|
|
||||||
%a{:href => "ack.html"} Acknowledgements
|
|
||||||
%a.here{:href => "toc.html"} Contents
|
|
||||||
%a{:href => "ch1.html"} Chapter 1
|
|
||||||
%a{:href => "ch2.html"} Chapter 2
|
|
||||||
%a{:href => "ch3.html"} Chapter 3
|
|
||||||
%a{:href => "ch4.html"} Chapter 4
|
|
||||||
%a{:href => "ch5.html"} Chapter 5
|
|
||||||
%a{:href => "ch6.html"} Chapter 6
|
|
||||||
%a{:href => "ch7.html"} Chapter 7
|
|
||||||
%a{:href => "ch8.html"} Chapter 8
|
|
||||||
%a{:href => "bib.html"} Bibliography
|
|
||||||
%a{:href => "app-A.html"} Appendix A
|
|
||||||
#running-title
|
|
||||||
Synthesis: An Efficient Implementation of Fundamental Operating System Services - Abstract
|
|
||||||
#content
|
|
||||||
.toc
|
.toc
|
||||||
%h1 Contents
|
%h1 Contents
|
||||||
%ul
|
%ul
|
||||||
|
@ -1,4 +1,4 @@
|
|||||||
# use page path on root , rather than /pages/XXX
|
# use page path on root , rather than /pages/XXX
|
||||||
HighVoltage.configure do |config|
|
HighVoltage.configure do |config|
|
||||||
config.route_drawer = HighVoltage::RouteDrawers::Root
|
config.routes = false
|
||||||
end
|
end
|
||||||
|
@ -1,6 +1,6 @@
|
|||||||
Rails.application.routes.draw do
|
Rails.application.routes.draw do
|
||||||
|
|
||||||
root to: 'high_voltage/pages#show' , id: 'index'
|
root to: 'pages#show', id: 'index'
|
||||||
|
|
||||||
get "/slides/*slide" , to: 'slides#index', :as => :slide
|
get "/slides/*slide" , to: 'slides#index', :as => :slide
|
||||||
|
|
||||||
@ -9,4 +9,6 @@ Rails.application.routes.draw do
|
|||||||
get "/blog" , to: "blog#index" , as: :blog_index
|
get "/blog" , to: "blog#index" , as: :blog_index
|
||||||
get "/blog/*title" , to: "blog#post" , as: :blog_post
|
get "/blog/*title" , to: "blog#post" , as: :blog_post
|
||||||
|
|
||||||
|
get "/*id" => 'pages#show', as: :page, format: false
|
||||||
|
|
||||||
end
|
end
|
||||||
|
Loading…
x
Reference in New Issue
Block a user