https://asplos.dev/wordpress/2022/10/11/lottery-scheduler/