makespan is O(n²·log n) — re-sorts the ready list on every completion
#10
Reference in New Issue
Block a user
Delete Branch "%!s()"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?
schedule.py:127re-sortsreadyafter every task completion. Fine at hundreds of drvs; a--coldNixOS closure (5–20k drvs) × the 24-cell (nodes×cores) grid crawls.Implementation:
heapqon negated priority, tie-broken by node id).Fixed and merged to main (commit
837b885).