Live data from Hacker News

Xv6, a simple Unix-like teaching operating system

pdos.csail.mit.edu

11–20 of 34 posts

Re: Xv6, a simple Unix-like teaching operating system

#12

Russ Cox was involved in this, and also Go. There are important connections between them.

Russ cox also wrote re2, an awesome regex library using finite automata, and providing protection against regex match taking exponential time.

>regex library using finite automata

Ehh

Re: Xv6, a simple Unix-like teaching operating system

#13
For some purposes, I wonder if OpenBSD would also be a strong candidate for learning about operating systems, given their focus on correctness, openness, portability, etc., and the fact that everything learned then becomes useful on a fully general-purpose OS that one could use in the long term (ie, lots of headroom, less need to start over for learning some things, somewhere else).

The quality and good order of the documentation in particular makes it less or not necessary to go doing web searches etc to find out how to do things, but they take one in an orderly progression from installation, via FAQs and excellent manual pages, all the way along to useful development info.

Re: Xv6, a simple Unix-like teaching operating system

#14
post #13

For some purposes, I wonder if OpenBSD would also be a strong candidate for learning about operating systems, given their focus on correctness, openness, portability, etc., and the fact that everything learned then becomes useful on a fully general-purpose OS that one could use in the long term (ie, lots of headroom, less need to start over for learning some things, somewhere else). The quality and good order of the…

OpenBSD is huge (just like any general-purpose OS would be today). It's not a "teaching OS."

Minix would be a better alternative, IMHO.

Re: Xv6, a simple Unix-like teaching operating system

#15

Earlier quoted context omitted.

Russ cox also wrote re2, an awesome regex library using finite automata, and providing protection against regex match taking exponential time.

>regex library using finite automata Ehh

>>regex library using finite automata >Ehh

By which you mean?

Re: Xv6, a simple Unix-like teaching operating system

#16

Earlier quoted context omitted.

Russ cox also wrote re2, an awesome regex library using finite automata, and providing protection against regex match taking exponential time.

>regex library using finite automata Ehh

https://en.m.wikipedia.org/wiki/Deterministic_finite_automat...

Re: Xv6, a simple Unix-like teaching operating system

#17

Earlier quoted context omitted.

>regex library using finite automata Ehh

>>regex library using finite automata >Ehh By which you mean?

I remember learning RE in the context of finite automata so I'm gathering that they are questioning the novelty of that implementation strategy?

Re: Xv6, a simple Unix-like teaching operating system

#18

Earlier quoted context omitted.

>>regex library using finite automata >Ehh By which you mean?

I remember learning RE in the context of finite automata so I'm gathering that they are questioning the novelty of that implementation strategy?

It's essential to it. Literally computer science 101

Re: Xv6, a simple Unix-like teaching operating system

#19
post #14
post #13

For some purposes, I wonder if OpenBSD would also be a strong candidate for learning about operating systems, given their focus on correctness, openness, portability, etc., and the fact that everything learned then becomes useful on a fully general-purpose OS that one could use in the long term (ie, lots of headroom, less need to start over for learning some things, somewhere else). The quality and good order of the…

OpenBSD is huge (just like any general-purpose OS would be today). It's not a "teaching OS." Minix would be a better alternative, IMHO.

Minix is still huge compared to xv6

Re: Xv6, a simple Unix-like teaching operating system

#20
post #14
post #13

For some purposes, I wonder if OpenBSD would also be a strong candidate for learning about operating systems, given their focus on correctness, openness, portability, etc., and the fact that everything learned then becomes useful on a fully general-purpose OS that one could use in the long term (ie, lots of headroom, less need to start over for learning some things, somewhere else). The quality and good order of the…

OpenBSD is huge (just like any general-purpose OS would be today). It's not a "teaching OS." Minix would be a better alternative, IMHO.

agree - possibly any of the BSD's might be a good follow up for 'advanced' study since the codebase & kernel structures have a direct lineage. Maybe doing the 'base' course on like 4.2BSD which is still smaller and close to v7 might make sense
Post reply on HN