в языках, заточенных под ембеддед, мишн критикал и реалтайм примитивов для локфри алгоритмов не появилось до сих пор. если бы это было востребовано -- оно бы там было.
а вот средства для выбора типа шедулера, высокоуровневые концепции, дающие разные весёлые гарантии исполнения (и времени исполнения) задач -- вот это вот есть всё.