本發明公開了一種基于異步檢查點的多線程軟件動態升級方法, 包括:基于動態插樁的方式能夠在二進制級而非源碼層次上向正在運 行的源程序插入關鍵代碼,使得升級不需要依賴特定編譯器;基于異 步檢查點算法能夠確保所有線程在動態升級前處于阻塞狀態,從而能 夠一次性更新所有線程并避免新舊版本維護帶來的開銷;采用二進制 重寫的方式實現函數間接跳轉,能夠升級未在執行的待更新函數;利 用堆棧重構的方式能夠升級正在執行的待更新函數,使得動