Hobby x86 kernel written with Zig

Re:Hobby x86 kernel written with Zig by alehander42 on Monday January 06, 2020 @08:28AM (#21968936)

you're right, it is confusing, but it is optional: some toy kernels already work in nim , and with latest work on memory, you should be able to use most of the language for kernel development ! not the perfect language for that yet though, but i hope we should see more nim os examples

[ Parent | on HN ]

Re:Hobby x86 kernel written with Zig by Touche on Monday January 06, 2020 @09:09AM (#21969192)

Are you saying that the GC is optional? If you don't use it how do you allocate/free memory?

[ Parent | on HN ]

Re:Hobby x86 kernel written with Zig by mratsim on Monday January 06, 2020 @10:31AM (#21969815)

You call malloc/free, or if working with GPU cudaMalloc/free. You can write your own memory pool or object pools, you can use destructors, and even implement your own reference counting scheme.

This is what I use for my own multithreading runtime in Nim and the memory subsystem makes it faster and more robust than any runtime (including OpenMP and Intel TBB) that I've been benchmarking against, see memory subsystem details here: https://github.com/mratsim/weave/tree/master/weave/memory

Example of atomic refcounting in this PR here: https://github.com/mratsim/weave/blob/025387510/weave/dataty...

Also one important thing, Nim current GC is based on TLSF (http://www.gii.upv.es/tlsf/) which is a memory reclamation scheme for real-time system, it provides provably bounded O(1) allocations. You can tune Nim GC with max-pauses for latency critical applications.

[ Parent | on HN ]

Re:Hobby x86 kernel written with Zig by Touche on Monday January 06, 2020 @11:49AM (#21970609)

Does the standard library use malloc/free or does it depend on the GC? This is the part that's puzzling to me, if the stdlib depends on GC then it's harder to say that GC is optional. Technically optional but not super practical.

[ Parent | on HN ]

Re:Hobby x86 kernel written with Zig by nimmer on Monday January 06, 2020 @02:07PM (#21972040)

The majority of stdlib modules does not depend on GC.

Also, the new ARC memory manager replaces GC and can run in a kernel.

[ Parent | on HN ]

Re:Hobby x86 kernel written with Zig by mratsim on Monday January 06, 2020 @03:48PM (#21973129)

No that's not true.

As soon as you use sequences or strings or async you depend on the GC.

You can however compile with gc:destructors or gc:arc so that those are managed by RAII.

[ Parent | on HN ]

Re:Hobby x86 kernel written with Zig by nimmer on Monday January 06, 2020 @06:28PM (#21974729)

I used various modules with gc:none

I meant that new ARC GC, that will replace the current one, can be used for the kernel.

It's still a GC, technically, but, quoting Araq on ARC:

Nim is getting the "one GC to rule them all". However calling it a GC doesn't do it justice, it's plain old reference counting with optimizations thanks to move semantics.

[ Parent | on HN ]

Re:Hobby x86 kernel written with Zig by alehander42 on Monday January 06, 2020 @10:07AM (#21969639)

overally i think for small os-es you can write easily a micro libc core in C or even in Nim where you define malloc/free etc and just use them directly as in C and zig.

otherwise you should be able to use something like destructors eventually

[ Parent | on HN ]

Re:Hobby x86 kernel written with Zig by guggle on Monday January 06, 2020 @09:53AM (#21969524)

Didn't test this but some clues: https://nim-lang.org/docs/gc.html

Then I guess you would use new/dealloc

[ Parent | on HN ]

Re:Hobby x86 kernel written with Zig by guggle on Monday January 06, 2020 @10:04AM (#21969617)

more here: https://nim-lang.org/araq/destructors.html

[ Parent | on HN ]