b
и тут Act 2, вторая часть моего повествования
Size: a a a
2020 September 03
b
какая модель вычислений будет у такой виртуальной машины?
b
какие инструкции
b
понятно что на самом лоу–левеле это будут: добавить ребро, удалить ребро, посмотреть версии ребра, версии вершины и тд
b
но тут есть уже интересная архитектурная особенность
b
т.к. мы уже не работаем с обычным вектором (ram), наши данные стали сложнее. мы теперь работаем со sparse данными, у которых в каком–то смысле своя логика
b
например, на графах можно выполнять поисковые задачи, быстро считать потоки (это важно везде где ты можешь определить меру throughput или типа того)
b
самая банальная инструкция это grandfather операция в графовых базах. ты можешь одним выражением (морфизмом) захватить кучу “входных точек” для дальнейшего запроса
b
эти морфизмы компонуются, кэшируются, JIT–оптимизируются
p
хоть на расте божемой мне вообще похуй
Можно
b
т.е. ассемблер для такой компьютерной архитектуры должен одновременно предоставлять как низкоуровневые инструкции для самых базовых манипуляций с графовым представлением (вершины, ребра, версионирование)
так и для высокоуровневых (дейкстра, флойд–фалкерсон, алгоритмы по остовным деревьям, А* и так далее)
так и для высокоуровневых (дейкстра, флойд–фалкерсон, алгоритмы по остовным деревьям, А* и так далее)
p
Ну я сам не вытяну
p
Если хиро хочет
p
То я тоже пойду
H
эти морфизмы компонуются, кэшируются, JIT–оптимизируются
То есть твоя идея в том, чтобы вместо (грубо говоря) линейной памяти у нас она была представлена в виде графа?
b
То есть твоя идея в том, чтобы вместо (грубо говоря) линейной памяти у нас она была представлена в виде графа?
совершенно верно
H
С последующими вытекающими в виде инструкций
b
и специальный ассемблер для графовых вычислений
b
оптимизирующий* ассемблер