<div dir="ltr"><div class="gmail_extra"><br><div class="gmail_quote">On Sun, Mar 8, 2015 at 8:23 AM, Sergey Oboguev <span dir="ltr"><<a href="mailto:oboguev@yahoo.com" target="_blank">oboguev@yahoo.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-color:rgb(204,204,204);border-left-style:solid;padding-left:1ex">If so, he may have a claim to inventing (a hint at) a microkernel concept. ;-)</blockquote></div><br><div class="gmail_default" style="font-family:arial,helvetica,sans-serif">​Dykstra invented the ukernel -- its the THE kernel:  <a href="https://en.wikipedia.org/wiki/THE_multiprogramming_system">https://en.wikipedia.org/wiki/THE_multiprogramming_system</a></div><div class="gmail_default" style="font-family:arial,helvetica,sans-serif"><br></div><div class="gmail_default" style="font-family:arial,helvetica,sans-serif">The paper itself is <a href="http://uosis.mif.vu.lt/~liutauras/books/Dijkstra%20-%20The%20structure%20of%20the%20THE%20multiprogramming%20system.pdf">http://uosis.mif.vu.lt/~liutauras/books/Dijkstra%20-%20The%20structure%20of%20the%20THE%20multiprogramming%20system.pdf</a></div><div class="gmail_default" style="font-family:arial,helvetica,sans-serif"><br></div><div class="gmail_default" style="font-family:arial,helvetica,sans-serif">And all kernel hacker should read it some time.  It where the idea of semaphores are defined and the idea of "up" and "down" - (aka P/V).</div><div class="gmail_default" style="font-family:arial,helvetica,sans-serif"><br></div><div class="gmail_default" style="font-family:arial,helvetica,sans-serif">Clem​</div><br></div></div>