mark Scheduler::run() as noreturn
move RWLock to posix namespace + consistency fixes