[mp] use hash from state in dfs #206
Conversation
crates/dslab-mp/src/mc/system.rs
Outdated
| for event in self.events.iter() { | ||
| let mut h = DefaultHasher::default(); | ||
| event.hash(&mut h); | ||
| hash_events ^= h.finish(); |
There was a problem hiding this comment.
Немного здесь порассуждаю. Нам нужно сделать так, чтобы хэш не зависел от порядка событий в events. Сейчас это сделано с помощью XOR (есть еще подход с суммированием, но непонятно какой из них лучше). У такой реализации есть недостаток, что надо создавать hasher на каждый элемент, что может добавлять заметный оверхед для небольших событий типа таймеров.
Альтернативный подход - хранить события изначально в некотором фиксированном порядке. Тогда можно было бы пользоваться готовой реализацией Hash, без такого оверхеда. Но здесь есть проблема с выбором подходящей структуры данных. BTreeSet не подходит, потому что теоретически у нас может быть несколько полностью совпадающих событий (идентичных сообщений между парой процессов или таймеров с одинаковым именем у одного процесса). И надо еще чтобы эта структура была удобна для работы с ней в стратегии, где надо извлекать произвольные события.
Посколько мы хотим в ближайшее время заменить events на Dependency Resolver, то предлагаю пока оставить вычисление хэша как есть. А после миграции на Resolver еще раз посмотреть, можно ли будет перейти на альтернативный подход.
osukhoroslov
changed the title
AnthonyUdovichenko
force-pushed
the
mc-initial
branch
2 times, most recently
from
c17e6f2 to
adc7bc2
Compare
Co-authored-by: Oleg Sukhoroslov <oleg.sukhoroslov@gmail.com>
Co-authored-by: Konstantin Amelichev <kostya.amelichev@gmail.com>
Co-authored-by: Oleg Sukhoroslov <oleg.sukhoroslov@gmail.com>
Co-authored-by: Oleg Sukhoroslov <oleg.sukhoroslov@gmail.com>
Co-authored-by: Oleg Sukhoroslov <oleg.sukhoroslov@gmail.com>
Co-authored-by: Oleg Sukhoroslov <oleg.sukhoroslov@gmail.com>
Co-authored-by: Oleg Sukhoroslov <oleg.sukhoroslov@gmail.com>
Co-authored-by: Oleg Sukhoroslov <oleg.sukhoroslov@gmail.com>
AnthonyUdovichenko
force-pushed
the
mc-initial
branch
from
b790bdc to
20f6e0f
Compare
less hashing
AnthonyUdovichenko
force-pushed
the
mc-initial
branch
from
3c81f6d to
6ba6b1d
Compare
No description provided.