summaryrefslogtreecommitdiff
path: root/microkernel/viengoos
diff options
context:
space:
mode:
Diffstat (limited to 'microkernel/viengoos')
-rw-r--r--microkernel/viengoos/documentation.mdwn60
-rw-r--r--microkernel/viengoos/projects.mdwn12
2 files changed, 36 insertions, 36 deletions
diff --git a/microkernel/viengoos/documentation.mdwn b/microkernel/viengoos/documentation.mdwn
index d7af9632..0c077df9 100644
--- a/microkernel/viengoos/documentation.mdwn
+++ b/microkernel/viengoos/documentation.mdwn
@@ -18,38 +18,38 @@ directory, which documents the Viengoos API and the Hurd API.
Academic Papers:
* [Viengoos: A Framework for Stakeholder-Directed Resource
- Allocation](http://walfield.org/papers/2009-walfield-viengoos-a-framework-for-stakeholder-directed-resource-allocation.pdf). By
- Neal H. Walfield. Submitted to EuroSys 2009.
-
-General-purpose operating systems not only fail to provide adaptive
-applications the information they need to intelligently adapt, but
-also schedule resources in such a way that were applications to
-aggressively adapt, resources would be inappropriately scheduled. The
-problem is that these systems use demand as the primary indicator of
-utility, which is a poor indicator of utility for adaptive
-applications.
-
-We present a resource management framework appropriate for traditional
-as well as adaptive applications. The primary difference from current
-schedulers is the use of stakeholder preferences in addition to
-demand. We also show how to revoke memory, compute the amount of
-memory available to each principal, and account shared
-memory. Finally, we introduce a prototype system, Viengoos, and
-present some benchmarks that demonstrate that it can efficiently
-support multiple aggressively adaptive applications simultaneously.
+ Allocation](http://walfield.org/papers/2009-walfield-viengoos-a-framework-for-stakeholder-directed-resource-allocation.pdf).
+ By Neal H. Walfield. Submitted to EuroSys 2009.
+
+ General-purpose operating systems not only fail to provide adaptive
+ applications the information they need to intelligently adapt, but
+ also schedule resources in such a way that were applications to
+ aggressively adapt, resources would be inappropriately scheduled. The
+ problem is that these systems use demand as the primary indicator of
+ utility, which is a poor indicator of utility for adaptive
+ applications.
+
+ We present a resource management framework appropriate for traditional
+ as well as adaptive applications. The primary difference from current
+ schedulers is the use of stakeholder preferences in addition to
+ demand. We also show how to revoke memory, compute the amount of
+ memory available to each principal, and account shared
+ memory. Finally, we introduce a prototype system, Viengoos, and
+ present some benchmarks that demonstrate that it can efficiently
+ support multiple aggressively adaptive applications simultaneously.
* [Improving Usability via Access Decomposition and Policy
Refinement with Marcus
- Brinkmann](http://walfield.org/papers/20070104-walfield-access-decomposition-policy-refinement.pdf). By
- Neal H. Walfield and Marcus Brinkmann. Technical report
+ Brinkmann](http://walfield.org/papers/20070104-walfield-access-decomposition-policy-refinement.pdf).
+ By Neal H. Walfield and Marcus Brinkmann. Technical report
(submitted to HotOS 2007).
-Commodity operating systems fail to meet the security, resource
-management and integration expectations of users. We propose a unified
-solution based on a capability framework as it supports fine grained
-objects, straightforward access propagation and virtualizable
-interfaces and explore how to improve resource use via access
-decomposition and policy refinement with minimum interposition. We
-argue that only a small static number of scheduling policies are
-needed in practice and advocate hierarchical policy specification and
-central realization.
+ Commodity operating systems fail to meet the security, resource
+ management and integration expectations of users. We propose a unified
+ solution based on a capability framework as it supports fine grained
+ objects, straightforward access propagation and virtualizable
+ interfaces and explore how to improve resource use via access
+ decomposition and policy refinement with minimum interposition. We
+ argue that only a small static number of scheduling policies are
+ needed in practice and advocate hierarchical policy specification and
+ central realization.
diff --git a/microkernel/viengoos/projects.mdwn b/microkernel/viengoos/projects.mdwn
index a2e9f48a..e4599dc1 100644
--- a/microkernel/viengoos/projects.mdwn
+++ b/microkernel/viengoos/projects.mdwn
@@ -10,9 +10,9 @@ is included in the section entitled
Some projects:
-* Minor:
+# Minor
-** New hash function
+## New hash function
The current hash function in libhurd-ihash results in a lot of
collisions when the hash table is 80% full. To overcome this, we keep
@@ -22,11 +22,11 @@ appropriate in the general case or one that works well in a relevant,
specific case, e.g., viengoos/object.c uses a hash to find the object
corresponding to a frame, which is keyed on its physical address.
-* Major:
+# Major
-* Thesis:
+# Thesis
-** Capability aware compiler
+## Capability aware compiler
Modify, e.g., gcc to understand capability semantics and teach gcc how
-to optimize it, e.g., how to batch and combine calls. \ No newline at end of file
+to optimize it, e.g., how to batch and combine calls.