ReSeer: Efficient search-based replay for multiprocessor virtual machines

•We proposed a replay approach which searches non-deterministic execution paths.•ReSeer can search paths in a suspicious period between adjacent checkpoints.•ReSeer limits the search space in writing shared memory with the page protection.•ReSeer uses an efficient and parallel genetic algorithm to s...

Celý popis

Uložené v:
Podrobná bibliografia
Vydané v:The Journal of systems and software Ročník 126; s. 101 - 112
Hlavní autori: Wang, Tao, Xu, Jiwei, Zhang, Wenbo, Zhang, Jianhua, Wei, Jun, Zhong, Hua
Médium: Journal Article
Jazyk:English
Vydavateľské údaje: Elsevier Inc 01.04.2017
Predmet:
ISSN:0164-1212, 1873-1228
On-line prístup:Získať plný text
Tagy: Pridať tag
Žiadne tagy, Buďte prvý, kto otaguje tento záznam!
Buďte prvý, kto okomentuje tento záznam!
Najprv sa musíte prihlásiť.