Re: Master's Thesis

[Daniel Villarreal]

I wonder what the OpenBSD developers think about the info I refer to here...
http://youcanlinux.wordpress.com/category/software/

...
> 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...

Re: Master's Thesis

[Christiano F. Haesbaert]

On 6 September 2011 10:30, Adam Britt  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...

Master's Thesis

[Adam Britt]

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