Can we really think at a new OS design nowadays ?
guillaume.fortaine at wanadoo.fr
Sat Aug 5 19:50:05 CEST 2006
Here is the start point of my reflexion :
I believe that we can do extremely complex and reliable software with a
few people, thanks to the powerful formal and design tools available now.
Moreover, I think that this OS has to support three key things to be
able to survive ( an essential key to have a long term development ) :
synergy ,transition & usability.
-The first one is the start of any important project : developers can
have the possibility to share complex ideas with minimum requirements
and to integrate them in a coherent environment. ( see
http://www.gnu.org/software/hurd/ => 23 years old and even the goals are
not well defined )
-The second feature provide any user the ability to develop on it with
existing materials and to have the support of developers of legacy OS. (
see www.tunes.org => maybe too innovative and this :
-The third one needs that a device driver framework needs to be rapidly
envisaged. ( again http://www.gnu.org/software/hurd/ => no good driver
kit at this date, the same for linux :
http://www.kroah.com/log/2006/05/24/, 15 years later ). Who wants to
have an OS that boots only a black screen with a beep sound ? If we
follow the Moore law, an OS design of the future would be thought for
quadruple play ( mobility, audio, video, Internet ) and security of course.
Time is maybe our worst ennemy : more and more technologies are created
day by day and we need to understand and to be able to use them
And it's maybe our better friend : as the hardware/software becomes mor
and more complex, the tools to develop them becomes more powerful too.
The tools developed to understand and create complex systems give us the
ability to design and implement an OS design secure & reliable.
Here are my guidelines to start :
First : Users collaboration :_
_Second - Formal tools :_
Z method :
_Second - Software design :_
Third - Language Designer's Toolkit :_
Abstraction will be the solution,
More information about the l4-hackers