sync changes:

- M  "site/categories/algorithm analysis.html"

- M  site/categories/algorithms.html

- M  "site/categories/computer science.html"

site/categories/algorithm analysis.html

@@ -183,7 +183,7 @@
         </div>
         <h1>Category: Algorithm Analysis</h1>
         <div class="meta">
-            <span>Last modified: 2025-01-14</span>
+            <span>Last modified: 2025-01-15</span>
 
         </div>
         <div class="content">

site/categories/algorithms.html

@@ -183,7 +183,7 @@
         </div>
         <h1>Category: algorithms</h1>
         <div class="meta">
-            <span>Last modified: 2025-01-14</span>
+            <span>Last modified: 2025-01-15</span>
 
         </div>
         <div class="content">

site/categories/computer science.html

@@ -183,7 +183,7 @@
         </div>
         <h1>Category: Computer Science</h1>
         <div class="meta">
-            <span>Last modified: 2025-01-14</span>
+            <span>Last modified: 2025-01-15</span>
 
         </div>
         <div class="content">

site/categories/database design.html

@@ -183,7 +183,7 @@
         </div>
         <h1>Category: Database Design</h1>
         <div class="meta">
-            <span>Last modified: 2025-01-14</span>
+            <span>Last modified: 2025-01-15</span>
 
         </div>
         <div class="content">

site/categories/database systems.html

@@ -183,7 +183,7 @@
         </div>
         <h1>Category: Database Systems</h1>
         <div class="meta">
-            <span>Last modified: 2025-01-14</span>
+            <span>Last modified: 2025-01-15</span>
 
         </div>
         <div class="content">

site/categories/distributed systems.html

@@ -183,7 +183,7 @@
         </div>
         <h1>Category: Distributed Systems</h1>
         <div class="meta">
-            <span>Last modified: 2025-01-14</span>
+            <span>Last modified: 2025-01-15</span>
 
         </div>
         <div class="content">

site/categories/graph theory.html

@@ -183,7 +183,7 @@
         </div>
         <h1>Category: Graph Theory</h1>
         <div class="meta">
-            <span>Last modified: 2025-01-14</span>
+            <span>Last modified: 2025-01-15</span>
 
         </div>
         <div class="content">

site/categories/index.html

@@ -182,7 +182,7 @@
         </div>
         <h1>Categories</h1>
         <div class="meta">
-            <span>Last modified: 2025-01-14</span>
+            <span>Last modified: 2025-01-15</span>
 
         </div>
         <div class="content">

site/categories/mathematics.html

@@ -183,7 +183,7 @@
         </div>
         <h1>Category: Mathematics</h1>
         <div class="meta">
-            <span>Last modified: 2025-01-14</span>
+            <span>Last modified: 2025-01-15</span>
 
         </div>
         <div class="content">

site/categories/natural language processing.html

@@ -183,7 +183,7 @@
         </div>
         <h1>Category: natural language processing</h1>
         <div class="meta">
-            <span>Last modified: 2025-01-14</span>
+            <span>Last modified: 2025-01-15</span>
 
         </div>
         <div class="content">

site/categories/networking.html

@@ -183,7 +183,7 @@
         </div>
         <h1>Category: networking</h1>
         <div class="meta">
-            <span>Last modified: 2025-01-14</span>
+            <span>Last modified: 2025-01-15</span>
 
         </div>
         <div class="content">

site/categories/operations research.html

@@ -183,7 +183,7 @@
         </div>
         <h1>Category: Operations Research</h1>
         <div class="meta">
-            <span>Last modified: 2025-01-14</span>
+            <span>Last modified: 2025-01-15</span>
 
         </div>
         <div class="content">

site/categories/research.html

@@ -183,7 +183,7 @@
         </div>
         <h1>Category: research</h1>
         <div class="meta">
-            <span>Last modified: 2025-01-14</span>
+            <span>Last modified: 2025-01-15</span>
 
         </div>
         <div class="content">

site/categories/software engineering.html

@@ -183,7 +183,7 @@
         </div>
         <h1>Category: Software Engineering</h1>
         <div class="meta">
-            <span>Last modified: 2025-01-14</span>
+            <span>Last modified: 2025-01-15</span>
 
         </div>
         <div class="content">

site/categories/system design.html

@@ -183,7 +183,7 @@
         </div>
         <h1>Category: System Design</h1>
         <div class="meta">
-            <span>Last modified: 2025-01-14</span>
+            <span>Last modified: 2025-01-15</span>
 
         </div>
         <div class="content">

site/categories/system-design.html

@@ -183,7 +183,7 @@
         </div>
         <h1>Category: system-design</h1>
         <div class="meta">
-            <span>Last modified: 2025-01-14</span>
+            <span>Last modified: 2025-01-15</span>
 
         </div>
         <div class="content">

site/categories/systems.html

@@ -183,7 +183,7 @@
         </div>
         <h1>Category: systems</h1>
         <div class="meta">
-            <span>Last modified: 2025-01-14</span>
+            <span>Last modified: 2025-01-15</span>
 
         </div>
         <div class="content">

site/index.html

@@ -182,7 +182,7 @@
         </div>
         <h1></h1>
         <div class="meta">
-            <span>Last modified: 2025-01-14</span>
+            <span>Last modified: 2025-01-15</span>
 
         </div>
         <div class="content">
@@ -206,14 +206,14 @@ <h1></h1>
                     <h2>Recent</h2>
 <ul class='recent-posts'>
                 <li>
-                    <a href="/systems-research/sparsity-notes.html">Sparsity Notes</a>
+                    <a href="/systems-research/exokernel.html">Exokernel: An Operating System Architecture for Application-Level Resource Management</a>
                     <span class="date">2025-01-14</span>
-
+                    <span class="category">systems</span>
                 </li>
                 <li>
-                    <a href="/systems-research/exokernel.html">Exokernel: An Operating System Architecture for Application-Level Resource Management</a>
+                    <a href="/systems-research/sparsity-notes.html">Sparsity Notes</a>
                     <span class="date">2025-01-14</span>
-                    <span class="category">systems</span>
+
                 </li>
                 <li>
                     <a href="/natural-language-processing/neural-networks.html">Feedforward Neural Networks</a>

site/systems-research/exokernel.html

@@ -187,21 +187,48 @@ <h1>Exokernel: An Operating System Architecture for Application-Level Resource M
             <span>Category: <a href="/categories/systems.html">systems</a></span>
         </div>
         <div class="content">
-            <h1 id="source"><a href="https://example.com">source</a></h1>
-<h6 id="exokernel-an-operating-system-architecture-for-application-level-resource-management">Exokernel: An Operating System Architecture for Application-Level Resource Management</h6>
-<hr />
-<h3 id="what-is-the-problem">What is the Problem?</h3>
+            <h3 id="what-is-the-problem">What is the Problem?</h3>
+<p>Operating systems with monolithic kernels prescribe interfaces of key OS abstractions like virtual memory, filesystem, but with these prescriptions come side-effects, particularly in the realm of performance. Applications cannot modify or optimize these abstractions for their specific needs, forcing them to work within the limitations of a "one-size fits all" implementation, which typically prioritizes generality over performance for any specific application.</p>
 <h3 id="summary">Summary</h3>
+<p>The paper covers the exokernel architecture, which aims to minimize the "mechanism" role as much as possible, opting to leave implementations to the client, e.g. to the user's choice of library operating system. The key design choice here is to separate resource protection from management, e.g. to provide secure bindings to access a device, without necessarily understanding the use case.</p>
+<p>The authors were able to realize significant (orders of magnitude) speedups on most primitive tasks compared to a more mature OS (Ultraix) by focusing almost solely on efficiently multiplexing hardware, and by minimizing the number of required system calls during regular operation.</p>
 <h3 id="key-insights">Key Insights</h3>
-<h2 id="-">-</h2>
+<ul>
+<li>Separating resource protection from resource management allows for more flexible and efficient OS abstractions</li>
+<li>Low-level hardware interfaces can be safely exposed to applications through secure bindings</li>
+<li>Library operating systems can implement traditional OS abstractions more efficiently by specializing them for specific applications</li>
+<li>The "end-to-end argument" applies to OS design - applications know better than the OS how to manage resources for their needs</li>
+</ul>
 <h3 id="notable-design-detailsstrengths">Notable Design Details/Strengths</h3>
-<h2 id="-_1">-</h2>
+<ul>
+<li>Secure bindings provide protection while allowing direct hardware access</li>
+<li>Visible resource revocation lets applications participate in resource management</li>
+<li>Download code into kernel (e.g. packet filters) for efficient resource management</li>
+<li>Library OS approach maintains backward compatibility while enabling customization</li>
+<li>Simple kernel focused only on protection leads to better performance</li>
+</ul>
 <h3 id="limitationsweaknesses">Limitations/Weaknesses</h3>
-<h2 id="-_2">-</h2>
+<ul>
+<li>Increased complexity for application developers who must now implement OS functionality</li>
+<li>Potential for fragmentation with many custom library OS implementations</li>
+<li>May be harder to reason about system-wide properties with distributed control</li>
+<li>Some hardware may not support secure exposure to applications</li>
+</ul>
 <h3 id="summary-of-key-results">Summary of Key Results</h3>
-<h2 id="-_3">-</h2>
+<ul>
+<li>Basic operations 10-100x faster than traditional OS (Ultrix)</li>
+<li>Exception handling 5x faster than previous best implementation</li>
+<li>Application-level virtual memory and IPC 5-40x faster than kernel implementations</li>
+<li>Demonstrated flexibility through custom schedulers, page tables, and IPC mechanisms</li>
+</ul>
 <h3 id="open-questions">Open Questions</h3>
-<h2 id="-_4">-</h2>
+<ul>
+<li>How to balance flexibility vs complexity for application developers?</li>
+<li>What is the right division of functionality between exokernel and library OS?</li>
+<li>How does the approach scale to modern hardware/software complexity?</li>
+<li>Can the security properties be maintained with untrusted library OSes?</li>
+</ul>
+<p>The paper presents a compelling case for application-level resource management through careful kernel design. The significant performance improvements and demonstrated flexibility suggest the approach has merit, though questions remain about complexity and security tradeoffs.</p>
         </div>
         <div class='tags'>Tags: <a href="/tags/exokernel.html">exokernel</a>, <a href="/tags/operating%20systems.html">operating systems</a>, <a href="/tags/resource%20management.html">resource management</a></div>
     </main>

site/tags/acyclic graphs.html

@@ -183,7 +183,7 @@
         </div>
         <h1>Tag: acyclic graphs</h1>
         <div class="meta">
-            <span>Last modified: 2025-01-14</span>
+            <span>Last modified: 2025-01-15</span>
 
         </div>
         <div class="content">

site/tags/algorithm-analysis.html

@@ -183,7 +183,7 @@
         </div>
         <h1>Tag: algorithm-analysis</h1>
         <div class="meta">
-            <span>Last modified: 2025-01-14</span>
+            <span>Last modified: 2025-01-15</span>
 
         </div>
         <div class="content">

site/tags/algorithm.html

@@ -183,7 +183,7 @@
         </div>
         <h1>Tag: algorithm</h1>
         <div class="meta">
-            <span>Last modified: 2025-01-14</span>
+            <span>Last modified: 2025-01-15</span>
 
         </div>
         <div class="content">

site/tags/algorithms.html

@@ -183,7 +183,7 @@
         </div>
         <h1>Tag: algorithms</h1>
         <div class="meta">
-            <span>Last modified: 2025-01-14</span>
+            <span>Last modified: 2025-01-15</span>
 
         </div>
         <div class="content">

site/tags/approximation.html

@@ -183,7 +183,7 @@
         </div>
         <h1>Tag: approximation</h1>
         <div class="meta">
-            <span>Last modified: 2025-01-14</span>
+            <span>Last modified: 2025-01-15</span>
 
         </div>
         <div class="content">

site/tags/asymptotic notation.html

@@ -183,7 +183,7 @@
         </div>
         <h1>Tag: asymptotic notation</h1>
         <div class="meta">
-            <span>Last modified: 2025-01-14</span>
+            <span>Last modified: 2025-01-15</span>
 
         </div>
         <div class="content">

site/tags/batch processing.html

@@ -183,7 +183,7 @@
         </div>
         <h1>Tag: batch processing</h1>
         <div class="meta">
-            <span>Last modified: 2025-01-14</span>
+            <span>Last modified: 2025-01-15</span>
 
         </div>
         <div class="content">

site/tags/bipartite graphs.html

@@ -183,7 +183,7 @@
         </div>
         <h1>Tag: bipartite graphs</h1>
         <div class="meta">
-            <span>Last modified: 2025-01-14</span>
+            <span>Last modified: 2025-01-15</span>
 
         </div>
         <div class="content">

site/tags/bipartite matching.html

@@ -183,7 +183,7 @@
         </div>
         <h1>Tag: bipartite matching</h1>
         <div class="meta">
-            <span>Last modified: 2025-01-14</span>
+            <span>Last modified: 2025-01-15</span>
 
         </div>
         <div class="content">

site/tags/breadth-first search.html

@@ -183,7 +183,7 @@
         </div>
         <h1>Tag: breadth-first search</h1>
         <div class="meta">
-            <span>Last modified: 2025-01-14</span>
+            <span>Last modified: 2025-01-15</span>
 
         </div>
         <div class="content">

site/tags/caching.html

@@ -183,7 +183,7 @@
         </div>
         <h1>Tag: caching</h1>
         <div class="meta">
-            <span>Last modified: 2025-01-14</span>
+            <span>Last modified: 2025-01-15</span>
 
         </div>
         <div class="content">

site/tags/classification.html

@@ -183,7 +183,7 @@
         </div>
         <h1>Tag: classification</h1>
         <div class="meta">
-            <span>Last modified: 2025-01-14</span>
+            <span>Last modified: 2025-01-15</span>
 
         </div>
         <div class="content">

site/tags/column-oriented storage.html

@@ -183,7 +183,7 @@
         </div>
         <h1>Tag: column-oriented storage</h1>
         <div class="meta">
-            <span>Last modified: 2025-01-14</span>
+            <span>Last modified: 2025-01-15</span>
 
         </div>
         <div class="content">

site/tags/compatibility.html

@@ -183,7 +183,7 @@
         </div>
         <h1>Tag: compatibility</h1>
         <div class="meta">
-            <span>Last modified: 2025-01-14</span>
+            <span>Last modified: 2025-01-15</span>
 
         </div>
         <div class="content">

site/tags/complexity analysis.html

@@ -183,7 +183,7 @@
         </div>
         <h1>Tag: complexity analysis</h1>
         <div class="meta">
-            <span>Last modified: 2025-01-14</span>
+            <span>Last modified: 2025-01-15</span>
 
         </div>
         <div class="content">

site/tags/complexity-analysis.html

@@ -183,7 +183,7 @@
         </div>
         <h1>Tag: complexity-analysis</h1>
         <div class="meta">
-            <span>Last modified: 2025-01-14</span>
+            <span>Last modified: 2025-01-15</span>
 
         </div>
         <div class="content">

site/tags/connected components.html

@@ -183,7 +183,7 @@
         </div>
         <h1>Tag: connected components</h1>
         <div class="meta">
-            <span>Last modified: 2025-01-14</span>
+            <span>Last modified: 2025-01-15</span>
 
         </div>
         <div class="content">