andikleen3

3 ms·

1. 1.▲
   by andikleen3 4y ago

   An eternity ago a particular Linux kernel developer gave a series of "Why user space sucks" talks at Linux conferences. It was just going through strace logs and making fun of particularly bad examples. Here's one instance:
2. 2.▲
   by andikleen3 4y ago

   You just have to be very careful with the algorithms in that paper, they had some serious problems (apart from their basic inability to deal with faster links). I like this old but fairly damning analysis from an early Linux TCP developer:
3. 3.▲
   by andikleen3 6y ago

   I can confirm the issues with formal methods. I was working on a new type of locking mechanism and thought I would be smart by modelling it in spin [ http://spinroot.com ], which has been used for these kind of things before. I en
4. 4.▲
   by andikleen3 8y ago

   I maintain a tool that reports errors on Linux systems with ECC memory, and also a website describing the tool ( http://mcelog.org ). I wrote about patterns in the access logs correlated to time some time ago in my blog: http:&#x