IR
А бывает ли фп задачах чувствительных к latency?
Существуют ли фп-рантаймы не дающие unbounded latency spike?
Size: a a a
2019 November 15
p
Существуют ли фп-рантаймы не дающие unbounded latency spike?
🤷♂
IR
В смысле "правильно ли я понял, что вопрос в ..."
p
В смысле "правильно ли я понял, что вопрос в ..."
Наверное, правильно
PS
А почему же не бывает, бывает. Только в большинстве подобных задач ФП используется для создания генераторов (низкоуровневых) программ на других ЯП.
MP
Был язык Clean, на котором можно было избежать сборки мусора. В Erlang на практике задержки достаточно предсказуемые. В парадизме реактивного программирования теоретически можно реальное время сделать, но реализаций я не видел.
PS
На Clean когда-то делали игры-платформеры. А в играх на Лиспе память выделяли из арены-региона, потом сбрасывали ее в пределах кадра.
YS
А бывает ли фп задачах чувствительных к latency?
да, есть даже конференция FHPC
MP
High-Performance и Low-Latency все же сильно разные задачи.
AV
AV
Зачастую противоположные
YS
раве Low-Latency — не одна из задач High-Performance?
YS
Зачастую противоположные
как они могут быть противоположны?
PS
Простые графические языки из блоков и проводов ведь вполне себе функциональные. А на их основе делают обработку в реальном времени. Тот же звук в случае Pd, Max/MSP. Это как раз reactive programming, которое реально используется :) Кроме того, есть и текстовые dataflow-языки: Lustre, Lucid, StreamIt.
YS
производительность 1 запроса и производительность всех запросов — да, могут конфликтовать, но это всё производительность
AV
как они могут быть противоположны?
Они почти всегда противоположны
AV
Чтобы обеспечить low-latency тебе нужны специальные алгоритмы, которые позволяют прерывать задачи или worst-case структуры
AV
При этом взять и сделать всё до конца или amortized структуры проще и делают в итоге меньше работы
AV
Но при этом отклик на один конкретный ответ может быть выше