An implementation of the earliest deadline first algorithm in Linux