GCのある言語でPARDSのような処理

PARDS コンピュータ

ができないものかちょっと考えてみる。今のPARDSの実装のようにforkを使ってしまうと、GCが起こるとメモリの全コピーが起ってしまうので効率を考えると難しそう。しかも、GCがある言語だと、たくさんメモリを確保し勝ちだし。
そう考えると、PARDSのようなセマンティクスを実現しようとすると、言語に組み込みの機能にするしかなさそう。例えば、オブジェクトのオーナーを決めて、オーナー以外のスレッドがオブジェクトを改変することを禁止するとか、PARDS（というかfork）のようにオブジェクトをコピーするようにするとか。もちろんスレッド間の通信は必要なので、Sync変数のようなものも必要。
実装はそんなに難しくなさそうだけど、こういうのって世の中に無いんだろうか？