The Backstroke framework for source level reverse computation applied to parallel discrete event simulation
Winter Simulation Conference(2011)
摘要
We introduce Backstroke, a new open source framework for the automatic generation of reverse code for functions written in C++. Backstroke enables reverse computation for optimistic parallel discrete event simulations. It is built using the ROSE open-source compiler infrastructure, and handles complex C++ features including pointers and pointer types, arrays, function and method calls, class types, inheritance, polymorphism, virtual functions, abstract classes, templated classes and containers. Backstroke also introduces new program inversion techniques based on advanced compiler analysis tools built into ROSE. We explore and illustrate some of the complex language and semantic issues that arise in generating correct reverse code for C++ functions.
更多查看译文
关键词
discrete event simulation,abstract class,correct reverse code,advanced compiler analysis tool,new open source framework,complex language,rose open-source compiler infrastructure,source level reverse computation,backstroke framework,complex c,new program inversion technique,reverse code,reverse computation,computer model,parallel processing,debugging,computational modeling,polymorphism,image restoration,mathematical model
AI 理解论文
溯源树
样例
生成溯源树,研究论文发展脉络