Re: [go-nuts] The benefits and costs of writing a POSIX kernel in a high-level language

2018-10-08 Thread Russtopia
This is really interesting! I have only viewed the slideshow quickly, and
have no idea how applicable it would be, but there are projects for getting
Go to run on bare-metal:

https://www.youtube.com/watch?v=8T3VxGrrJwc

if that could be combined or leveraged to run Biscuit, a POSIX kernel 100%
free of C could be a reality. Wouldn't that be amazing?


On Mon, 8 Oct 2018 at 16:17, andrey mirtchovski 
wrote:

> I do not think this has been shared yet, please accept my apologies if
> this is a repeat.
>
> https://www.usenix.org/conference/osdi18/presentation/cutler
>
> The paper contributes Biscuit, a kernel written in Go that implements
> enough of POSIX (virtual memory, mmap, TCP/IP sockets, a logging file
> system, poll, etc.) to execute significant applications. Biscuit makes
> liberal use of Go's HLL features (closures, channels, maps,
> interfaces, garbage collected heap allocation), which subjectively
> made programming easier. The most challenging puzzle was handling the
> possibility of running out of kernel heap memory; Biscuit benefited
> from the analyzability of Go source to address this challenge.
>
> --
> You received this message because you are subscribed to the Google Groups
> "golang-nuts" group.
> To unsubscribe from this group and stop receiving emails from it, send an
> email to golang-nuts+unsubscr...@googlegroups.com.
> For more options, visit https://groups.google.com/d/optout.
>

-- 
You received this message because you are subscribed to the Google Groups 
"golang-nuts" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to golang-nuts+unsubscr...@googlegroups.com.
For more options, visit https://groups.google.com/d/optout.


[go-nuts] The benefits and costs of writing a POSIX kernel in a high-level language

2018-10-08 Thread andrey mirtchovski
I do not think this has been shared yet, please accept my apologies if
this is a repeat.

https://www.usenix.org/conference/osdi18/presentation/cutler

The paper contributes Biscuit, a kernel written in Go that implements
enough of POSIX (virtual memory, mmap, TCP/IP sockets, a logging file
system, poll, etc.) to execute significant applications. Biscuit makes
liberal use of Go's HLL features (closures, channels, maps,
interfaces, garbage collected heap allocation), which subjectively
made programming easier. The most challenging puzzle was handling the
possibility of running out of kernel heap memory; Biscuit benefited
from the analyzability of Go source to address this challenge.

-- 
You received this message because you are subscribed to the Google Groups 
"golang-nuts" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to golang-nuts+unsubscr...@googlegroups.com.
For more options, visit https://groups.google.com/d/optout.