On 6 September 2011 10:30, Adam Britt <a...@kadmia.com> wrote: > Hi all, > > For my thesis I want to work on something that will be useful. OpenBSD is an > OS I greatly admire for its integrity in terms of both licensing and > software quality and is a project I want to work on/contribute to. > > I have two project ideas and wanted to hear if these sounded like something > useful to the community at large and if there are any project suggestions > that you may have. > > * An evaluation of the various data structures used by the kernel to see if > improvements can be made either in terms of security and/or efficiency. > Chris Okasaki's book Purely Functional Data Structures will be strong source > of inspiration. > > * A tool to statically analyze OpenBSD catered to OpenBSD coding > conventions. Something along the lines of splint etc. > > Thoughts/suggestions are much appreciated. > > Best regards, > > Adam Britt > >
A deep study of all the SMP mechanisms employed by the major OSes, like OpenBSD, DragonFlyBSD, FreeBSD and Linux. This can help in improving the SMP support in the near future, removing the big lock and such...
