Please keep in mind that Linux is just an amateur operating system written by a college kid from Finland :) It has/had a lot of interesting bugs, like this one in the scheduler: https://www.ece.ubc.ca/~sasha/papers/eurosys16-final29.pdf