Use a simple round-robin scheduler for now, but some more sophisticated algorithm might be developed in the future.