/dev/random
os-test: Measuring POSIX compliance on every single OS
<p>os-test: Measuring POSIX compliance on every single OS</p>
<p>What happens if you run tests on every POSIX system? You find a <em>lot</em> of bugs in every single OS. I parsed the new POSIX.1-2024 standard into API definitions, generated tests, and measured exactly how much of the standard is implemented. I invoked every libc function to see if they work, and began writing detailed test suites. As it turns out, if there's a sentence in POSIX, someone probably implemented it incorrectly. I found missing interfaces, incompatible declarations, namespace pollution, a lot of bugs, interesting benign differences, and many more issues. I published all tests and results as os-test. The volume of test failures makes it virtually impossible to report all individual issues to each upstream. However as all of the data is publicly available online, vendors are now beginning to incorporate os-test feedback into their development and testing process, which ultimately leads to improved POSIX compliance and software interoperability.</p>
<p>In this talk we will dive into the challenges of testing 16 different operating systems, survey the main findings of os-test, and finally determine which operating system takes the lead when it comes to POSIX conformance.</p>
<p>https://sortix.org/os-test/
https://sortix.org/blog/os-testing-posix-headers/</p>
<p>os-test is currently funded by Next Generation Internet Zero Commons.</p>
Additional information
| Live Stream | https://live.fosdem.org/watch/h2215 |
|---|---|
| Type | lightningtalk |
| Language | English |
More sessions
| 2/1/26 |
<p>Open source is often discussed through a familiar narrative: community-led collaboration, neutral governance, and voluntary participation driven by shared technical interests.</p> <p>However, when looking at China in 2025, open source often looks noticeably different — not because different tools are used, but because the constraints shaping them are fundamentally different.</p> <p>This talk explores how open source in China has evolved under the convergence of three forces: vendor-led ...
|
| 2/1/26 |
<p><a href="https://cspp.ie">CS++</a> is an entirely-led student computer science society in TU Dublin. Our goal is to give our members experiences and skills they won't get in class, this includes going to FOSDEM!</p> <p>Ontop of that, CS++ maintains a cluster of servers that runs services for themselves and several other societies in the university. Which we have to maintain even though students are in university for only four years.</p> <p>This <em>Four Year Bus</em> talk covers how we went ...
|
| 2/1/26 |
<p>Okular is multi-platform, fast and packed with features, Okular allows you to read PDF documents, comics and EPub books, browse images, visualize Markdown documents, and much more.</p> <p>In this talk we will give a quick overview of the past, present and future of Okular.</p>
|
| 2/1/26 |
<p>The goal of the talk is to present the SucréLA project. SucréLA is a fast (USB 3.0) and fully open logic analyzer. For the feature set, it takes inspiration on the great Saleae products. But the goal is to be more affordable for hackers and be fully open source. The board is open (all Kicad files), the PC software is open (sigrok/PulseView), the FPGA gateware is open (in Migen, based on LiteX SoC toolkit, available on gitlab), the mcu fw is open (also on gitlab) and you only need open ...
|
| 2/1/26 |
<p>The humble cellular automaton is a well-studied concept in computer science and has been around for many decades.</p> <p>A very famous cellular automaton is Conway's Game of Life, which models a simple two-dimensional system of cells living and dying. This cellular automaton, and many others like it, are expressly designed to simulate some aspect of the real world, however simplified the model might be.</p> <p>I instead like to design cellular automata that have pretty animations and do not ...
|
| 2/1/26 |
<p>PerlOnJava provides a Perl distribution designed to run natively on the Java Virtual Machine (JVM). It allows Perl scripts to integrate seamlessly with Java-based ecosystems while offering familiar tools and modules for Perl development.</p> <p>https://github.com/fglock/PerlOnJava</p>
|
| 2/1/26 |
<p><strong>FOSDEM is legendary, but it doesn't run on magic, it runs on people.</strong></p> <p>Apart from the core organizers, an enthusiastic team of volunteers helps make FOSDEM the fun and safe community event we all love every year. As a long-time attendee, I made the jump to volunteering during the event and discovered a new side of the conference.</p> <p>In this talk, I'll share my personal journey and what volunteering involves: from simple tasks like setting up directional signs or ...
|
