Viewing profile — andikleen3

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 part…

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…

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 h…

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 corr…