By the pricking of my thumbs, something wicked this way comes

[checkpoint]

Правильно ли я понимаю, что поток управления запускает strand и всегда дожидается его завершения, после чего запускает следующий и т.д. ?

[zzeng]

В данный момент да.
Но если пофантазировать, возможно и спекулятивное исполнение.
Отдельный декодер для потока управления должен сильно облегчить это.

[yamifa_1234]

1. Получается механизм Vluint7 позволяет автоматически сжимать исходную программу? Например для передачи числа 1, достаточно одного байта, остальные нули...

2. Насколько эффективно использовать стек как место хранения переменных? Что если в процессе вычисления придется доставить 250й элемент стека, то все остальные значения будут просто выброшены? Или первые 249 будут вычитания в какую-то память а потом записаны обратно в стек?

[zzeng]

1) да
2) стек это просто кэшируемая область памяти, для нее возможно стоит использовать выделенный (под инструкции push/eval и арифметику) кэш на несколько десятков слов.