4 ms·
After starting to become more interested in microkernels/exokernels/unikernels, I've started wondering if POSIX in all of its glory (and I've always been a huge
by bluejekyll 11y ago
After starting to become more interested in microkernels/exokernels/unikernels, I've started wondering if POSIX in all of its glory (and I've always been a huge POSIX fan) is perhaps holding us back from a different and better development model.
What I like about this post is that it's trying to point out some specific things that are perhaps the most constraining, though I'm not sure the solutions or conclusions are correct.
The question is the right one though.
- tremon 11y agoWhich question is that? I've so far only skimmed the article, but I haven't been able to find a central theme or discussion point.
- bluejekyll 11y agoI guess more specifically, the question is does the UNIX/POSIX principle/specification currently constrain our development methodology such that we are building software that could otherwise be simpler?
- seagreen 11y agoThanks for the nice words. I'm not sure about my conclusions either -- I'm particularly unhappy with how I described the type system for the data store. Type systems need more than ten minutes thought. As other people have pointed out in this thread pretty much everything I talk about has been implemented by one program or another. It hasn't all been collected into one user environment though, and without doing that it's hard to envision the details of how things in that environment should fit together.