Hello all,
I believe that the Mozart-Oz language could be a marvellous start point : object-oriented, concurrency, logic verification, security (planned)...
What do we need now ?
A good kernel design : security, asynchronous IPC, threading, real time scheduler
A compiler : parser and optimization ( i think a sort of Elsa & Mozart-oz front-end for llvm )
A driver development environment : I believe the most time consuming part
Forget Glibc .... or a poor fork of this => a new library design will be a good challenge too ;-) !
Powerful tools to reengineer legacy programs : http://www.program-transformation.org/Transform/WebHome
1 year of work and 100 very good programmers at least, and I think we will be able to enjoy it ... ;-) !
I am contacting some of the hall of fame, preparing my weapons, no problem. Makus & Neal were too weak because too few, but thanks to their effort, they show us the good way : we can revolutionize the world : linux was only a start point, it's time to port open source philosophy and community to a "military grade" quality ;-) !
Nowadays, is GNU really GNU is not Unix ( I would say GNU is only Linux ... ). Open source life behind a legacy OS ( 30 years ) design : Unix ( & C language too...)
Hey guys, 15 years of development and I send you a mail with a LiveCd : very impressive, all my hardware is detected ( sound & video ok) => better than M$ ...
But the security and the " raw" performance are indeed disappointing ( debian.org hacked 2 times in 2 years => 2000 developers behind ... )
kernel.org shut down one week ( ext3 ... )
Why an asynchronous IPC and a massively multithread model ?
Asynchronous, like in real life : each one takes it times ;-) !
Massively multithread : performance, of course :-) !
I believe that security could be "easily" implemented with a good logic framework, we have marvellous tools to do that.
Best regards,
Guillaume FORTAINE
On Wed Aug 02, 2006 at 18:23:43 +0200, Guillaume FORTAINE wrote:
Massively multithread : performance, of course :-) !
Why does massively multithreaded mean performance? Every thread in the system means extra context switches and extra memory required to store state.
Cheers,
Benno
l4-hackers@os.inf.tu-dresden.de