[coyotos-dev] Hi + some stuff I found researching

[Haplo]

Well, firstly, the links you posted were the ones I tended to ignore  
(as they weren't really helpful or complete, the citeseer stuff sucked).
It was actually
This:
http://www.cs.princeton.edu/courses/archive/fall03/cs518/papers/ 
synthesis.pdf
and later this:
http://web.cecs.pdx.edu/~walpole/papers/ogicse9307.pdf

which I found to be extremely helpful. It seems that dynamic code  
generation itself is not necessarily the 'holy grail' of micro-kernel  
performance, but when combined with supporting techniques produces  
undeniable results. One of the things I found particularly  
interesting was the use of software feedback oriented scheduling. The  
suggested possible implementations of that seem like they would be  
extremely efficient for real-time applications. On the other hand it  
might also create problems in dealing with DoS, but no more or less  
so than the issues already being addressed in coyotos.

I think your security concern is definitely valid. However, it seems  
like a problem with the implementation, not the -concept-. The  
difficulty arises because the concept hasn't really been explored all  
that well, let alone in a security context. The same could be said  
for capabilities based OSs as well though. Either way I'm almost  
certain now that it's something worth pursuing, if only on an  
experimental basis.