texera
texera copied to clipboard
Separate scheduling policy from scheduler
Currently scheduler and scheduling policy are tied up in one class. Since we want to support different policies, we want to separate the two. This PR separates the two and introduces two policies - one ready region at a time, all ready regions at a time.