Actors with multiheaded clauses.

[thesz]

Actors with Multi-Headed Receive Clauses, статья.

Цитата:Here's a simple example of a market-place actor

receive
Seller x, Buyer x -> "match found"
We employ the combination of multiple messages in a receive pattern and non-linear patterns to test for a matching seller and a buyer. Non-linear patterns are in fact a short-hand for guards. That is

Comments

[sleepy_drago]

>Получается, что я могу автоматически преобразовать любую (и C++/Java/что там ещё)программу в такой вот граф потока данных и выполнить с максимальным параллелизмом.

простите, выполнить на чём?

[thesz]

На том, что такой параллелизм может обеспечить. Или хотя бы приближение к нему. ;)

[thesz]

AV - ?

Над оптимизацией всего этого дела я думаю в фоновом режиме.

[thesz]

(про оптимизацию)

Тут, правда, возникают две ветки рассуждений - для программной реализации будет одно, для железа - другое. Например, в железе длина ключа-контекста фиксирована, чего можно избежать в программной реализации.

Оптимизации получатся разные.