Как работает планировщик и как устроены его очереди (local/global run queue)? Планировщик работает по принципу work stealing или work sharing?