AT
и посмотреть как оно может быть связано с "мета-сепарационкой" контекстов в линейщине
ага, как-то также думал про контексты в линейщине
Size: a a a
2021 March 16
AG
пока правда я только более-менее начал разбираться в операциональных аспектах классического игросема
AG
где стратегии это просто деревья
AG
для асинхронных нужно их обобщать до структур событий :)
AT
для асинхронных нужно их обобщать до структур событий :)
занятно, я сейчас вижу всё больше публикаций, где структуры событий всплывают
AT
наверное баадер-майнховыч
AG
ну щас их все пытаются приклеить к слабой памяти
AG
вот этот кусок у абрамского меня заинтересовал недавно
The key feature of games, by comparison with the many extant models of computation (labelled transition systems, event structures, etc. etc.) is that they provide an explicit representation of the environment, and hence model interaction in an intrinsic fashion. (By contrast, interaction is modelled in, say, labelled transition systems using some additional structure, typically a “synchronization algebra” on the labels.)
The key feature of games, by comparison with the many extant models of computation (labelled transition systems, event structures, etc. etc.) is that they provide an explicit representation of the environment, and hence model interaction in an intrinsic fashion. (By contrast, interaction is modelled in, say, labelled transition systems using some additional structure, typically a “synchronization algebra” on the labels.)
w
вот этот кусок у абрамского меня заинтересовал недавно
The key feature of games, by comparison with the many extant models of computation (labelled transition systems, event structures, etc. etc.) is that they provide an explicit representation of the environment, and hence model interaction in an intrinsic fashion. (By contrast, interaction is modelled in, say, labelled transition systems using some additional structure, typically a “synchronization algebra” on the labels.)
The key feature of games, by comparison with the many extant models of computation (labelled transition systems, event structures, etc. etc.) is that they provide an explicit representation of the environment, and hence model interaction in an intrinsic fashion. (By contrast, interaction is modelled in, say, labelled transition systems using some additional structure, typically a “synchronization algebra” on the labels.)
Не читаемо в текстовом виде.
AG
получается асинхронный игросем это что-то вроде разворачивания PCM/SA на структурах событий в полноценные сессионные протоколы
AG
а мутабельный стейт локфришного толка интерпретируется через "процессную" трансляцию в месседж-пассинг модель специфического вида, где у нас из коробки есть примитивы для консенсуса любого порядка (CASы или их аналоги)
AG
ну и всякие слабые штуки это муторного вида ограничения на консистентность, которые выбиваются из классической конкурентной иерархии strong-linearizable-quiescent-sequential-causal-PRAM
AG
получается типа такой франкенштейн из конкурентной и распределенной модели
AG
муторность штук можно оценить например тут https://raw.githubusercontent.com/chicago-relaxed-memory/seqcomp/master/paper/DRAFT.pdf
AG
алекс вообще говорит что слабая память это хаос и ад :)
AG
типа по хорошему надо сначала разобраться с классическими моделями консистентности для конкурентного и распределенного
AG
а потом уже пытаться их скрещивать :)
AT
муторность штук можно оценить например тут https://raw.githubusercontent.com/chicago-relaxed-memory/seqcomp/master/paper/DRAFT.pdf
пасиб, прикольная штука