Decomposition of preemptive scheduling in the Go! component-based operating system