Seminarium: Systemy Rozproszone
23 marca 2017, godzina 12:15, sala 4070
Przemysław Gumienny

Nowatorskie techniki memory checkpointingu

Memory checkpointing jest techniką pozwalająca na przywracanie stanu programu do uprzednio zapisanego punktu. Jak zrobić to żeby uniknąć nadmiernego kopiowania i overheadów? Opowiem o kilku klasycznych metodach rozwiązania tego problemu i dwóch bardziej nowatorskich: najpierw o Speculative Memory Checkpointing opierającym się o moduł w przestrzeni jądra wykorzystującym heurystyki oparte o algorytmy genetyczne, a następnie o Lightweight Memory Checkpointing opierający sie na instrumentacji LLVM kodu i mapie używanej pamięci.

Zapraszam!
Przemysław Gumienny

Bibliografia:

• Dirk Vogt, Armando Miraglia, Georgios Portokalidis, Herbert Bos, Andy Tanenbaum, Cristiano Giuffrida - Speculative Memory Checkpointing
• Dirk Vogt, Cristiano Giuffrida, Herbert Bos and Andrew S. Tanenbaum - Lightweight Memory Checkpointing
• Dirk Vogt, Cristiano Giuffrida, Herbert Bos, Andrew S. Tanenbaum - Techniques for Efficient In-Memory Checkpointing