公开(公告)号：US20120102470A1

公开(公告)日：2012-04-26

申请号：US13190316

申请日：2011-07-25

申请人： Junfeng Yang ,  Heming Cui ,  Jingyue Wu

发明人： Junfeng Yang ,  Heming Cui ,  Jingyue Wu

IPC分类号： G06F9/44

CPC分类号： G06F11/3632 ,  G06F8/458

摘要： Methods, systems, and media for providing determinism in multithreaded programs are provided. In some embodiments, methods for providing determinism in multithreaded programs are provided, the methods comprising: instrumenting a program with: a proxy that: receives inputs to the program; and determines whether a schedule corresponding to a set of input constraints satisfied by the inputs has been memoized; and a replayer that: if it is determined that a schedule corresponding to a set of input constraints satisfied by the inputs has been memoized, processes the inputs by the program according to the schedule.

摘要翻译： 提供了在多线程程序中提供确定性的方法，系统和媒体。 在一些实施例中，提供了用于在多线程程序中提供确定性的方法，所述方法包括：使用以下代理来对程序进行测试：代理，其接收对所述程序的输入; 并且确定与输入满足的一组输入约束对应的调度是否被记忆; 以及重播者：如果确定与输入满足的一组输入约束对应的日程表已被记录，则根据该日程表处理该程序的输入。

公开(公告)号：US20120096449A1

公开(公告)日：2012-04-19

申请号：US13189263

申请日：2011-07-22

申请人： Junfeng Yang ,  Heming Cui ,  Jingyue Wu

发明人： Junfeng Yang ,  Heming Cui ,  Jingyue Wu

IPC分类号： G06F9/44

CPC分类号： G06F9/52 ,  G06F8/65

摘要： Methods, systems, and media for protecting applications from races are provided. In some embodiments, methods for protecting applications from races are provided, the methods comprising: adding to at least one cycle of the application an update check to determine when an update to the application is to be made; adding an update engine to the application, wherein the update engine is configured to: receive an update plan that is based on an execution filter that specifies how operations of the application are to be synchronized; and cause synchronization operations to be added to the application based on the update plan that prevent the race from occurring.

摘要翻译： 提供了用于保护应用程序免于种族的方法，系统和媒体。 在一些实施例中，提供了用于保护应用程序免于种族的方法，所述方法包括：向应用程序的至少一个周期添加更新检查，以确定何时进行对应用的更新; 向所述应用添加更新引擎，其中所述更新引擎被配置为：接收基于执行过滤器的更新计划，所述执行过滤器指定所述应用的操作如何被同步; 并且基于防止发生竞争的更新计划使得将同步操作添加到应用程序。

公开(公告)号：US09038048B2

公开(公告)日：2015-05-19

申请号：US13189263

申请日：2011-07-22

申请人： Junfeng Yang ,  Heming Cui ,  Jingyue Wu

发明人： Junfeng Yang ,  Heming Cui ,  Jingyue Wu

IPC分类号： G06F9/44 ,  G06F9/52

CPC分类号： G06F9/52 ,  G06F8/65

摘要： Methods, systems, and media for protecting applications from races are provided. In some embodiments, methods for protecting applications from races are provided, the methods comprising: adding to at least one cycle of the application an update check to determine when an update to the application is to be made; adding an update engine to the application, wherein the update engine is configured to: receive an update plan that is based on an execution filter that specifies how operations of the application are to be synchronized; and cause synchronization operations to be added to the application based on the update plan that prevent the race from occurring.

摘要翻译： 提供了用于保护应用程序免于种族的方法，系统和媒体。 在一些实施例中，提供了用于保护应用程序免于种族的方法，所述方法包括：向应用程序的至少一个周期添加更新检查，以确定何时进行对应用的更新; 向所述应用添加更新引擎，其中所述更新引擎被配置为：接收基于执行过滤器的更新计划，所述执行过滤器指定所述应用的操作如何被同步; 并且基于防止发生竞争的更新计划使得将同步操作添加到应用程序。

公开(公告)号：US09454460B2

公开(公告)日：2016-09-27

申请号：US13190316

申请日：2011-07-25

申请人： Junfeng Yang ,  Heming Cui ,  Jingyue Wu

发明人： Junfeng Yang ,  Heming Cui ,  Jingyue Wu

IPC分类号： G06F9/46 ,  G06F11/36 ,  G06F9/45

CPC分类号： G06F11/3632 ,  G06F8/458

摘要： Methods, systems, and media for providing determinism in multithreaded programs are provided. In some embodiments, methods for providing determinism in multithreaded programs are provided, the methods comprising: instrumenting a program with: a proxy that: receives inputs to the program; and determines whether a schedule corresponding to a set of input constraints satisfied by the inputs has been memoized; and a replayer that: if it is determined that a schedule corresponding to a set of input constraints satisfied by the inputs has been memoized, processes the inputs by the program according to the schedule.

摘要翻译： 提供了在多线程程序中提供确定性的方法，系统和媒体。 在一些实施例中，提供了用于在多线程程序中提供确定性的方法，所述方法包括：使用以下代理来对程序进行测试：代理：接收对所述程序的输入; 并且确定与输入满足的一组输入约束对应的日程表是否被记忆; 以及重播者：如果确定与输入满足的一组输入约束对应的日程表已被记录，则根据该日程表处理该程序的输入。

公开(公告)号：US20150254112A1

公开(公告)日：2015-09-10

申请号：US14681872

申请日：2015-04-08

申请人： Junfeng Yang ,  Jingyue Wu ,  Heming Cui

发明人： Junfeng Yang ,  Jingyue Wu ,  Heming Cui

IPC分类号： G06F9/52 ,  G06F9/445

CPC分类号： G06F9/52 ,  G06F8/65

摘要： Methods, systems, and media for protecting applications from races are provided. In some embodiments, methods for protecting applications from races are provided, the methods comprising: adding to at least one cycle of the application an update check to determine when an update to the application is to be made; adding an update engine to the application, wherein the update engine is configured to: receive an update plan that is based on an execution filter that specifies how operations of the application are to be synchronized; and cause synchronization operations to be added to the application based on the update plan that prevent the race from occurring.

摘要翻译： 提供了用于保护应用程序免于种族的方法，系统和媒体。 在一些实施例中，提供了用于保护应用程序免于种族的方法，所述方法包括：向应用程序的至少一个周期添加更新检查，以确定何时进行对应用的更新; 向所述应用添加更新引擎，其中所述更新引擎被配置为：接收基于执行过滤器的更新计划，所述执行过滤器指定所述应用的操作如何被同步; 并且基于防止发生竞争的更新计划使得将同步操作添加到应用程序。