LRE-TL: an optimal multiprocessor algorithm for sporadic task sets with unconstrained deadlines