Further improved scheduler API