Вы, похоже, используете определение "языка сценариев", которое может вызвать удивление, и я не знаю, что это означает в отношении ваших других требований.
В любом случае, вы рассматривали TCL? Я думаю, он будет делать то, что вы хотите.
Поскольку вы включаете в свой список языки довольно общего назначения, я не знаю, насколько сложна для вас реализация. Я был бы удивлен, если бы одна из реализаций zillion Scheme не работала с нативными потоками, но, черт побери, я могу вспомнить только то, что раньше использовал MzScheme, но я помню, что поддержка была отброшена. Конечно, некоторые из реализаций Common LISP делают это хорошо. Если Embeddable Common Lisp (ECL) работает, он может работать для вас. Я не использую его, поэтому не уверен, в каком состоянии находится поддержка потоков, и это, конечно, может зависеть от платформы.
Обновление Кроме того, если я правильно помню, GHC Haskell не выполняет то, о чем вы просите, но может эффективно делать то, что вы хотите, поскольку, опять же, насколько я помню, он будет вращаться нативно. поток на ядро или около того, а затем запустить свои потоки через эти ....