Actor model theory и физика

[ermouth]

Так вышло, что я больше люблю Erlang, чем Go (хотя на первом почти не пишу, а на втором вообще ахаха). Erlang я люблю, потому что там паралеллизм вычислений обеспечивает actor model, а Go не люблю за то, что там CSP model.

CSP – это когда узлы анонимны, зато каналы передачи сообщений поименованы. Акторы – это когда узлы сети имеют имена и сообщения отправляются именованным получателям.

Акторы в некотором смысле больше похожи на реальный мир, мне проще в них думать. Их я использую часто и с удовольствием, jquerymy мой любимый неявно имплементит actor model.

Так вот, я неждано-негадано наткнулся в английской Википедии на статью об actor model theory. И статья эта нереально прекрасна, хоть и существенно неполна.

Я никогда до этого не встречал в статьях по информатике настолько к месту, органично и общепонятно упомянутую физику. Более того, там с помощью физических чисто принципов доказываются в одно соображение штуки, которые в работах типа FLP result занимают несколько страниц выкладок.

Например:

Because of the transmission of energy, the activation ordering is relativistically invariant; that is, for all events e1.e2, if e1 -≈→ e2, then the time of e1 precedes the time of e2 in the relativistic frames of reference of all observers.

Круто! Аналогичное соображение с отсылкой к СТО я не раз встречал, но значительно многословнее описанные, как правило с мировыми линиями, конусами и прочее, и прочее.

Цитата выше, напротив, пригодна для рассказа в средней школе.

И там такая вся статья. У меня какой-то почти детский восторг, чесслово.