公开(公告)号：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.

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

公开(公告)号：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.

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

公开(公告)号：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.

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

公开(公告)号：US20130152057A1

公开(公告)日：2013-06-13

申请号：US13325049

申请日：2011-12-13

申请人： Qifa Ke ,  Vijayan Prabhakaran ,  Yinglian Xie ,  Yuan Yu ,  Jingyue Wu ,  Junfeng Yang

发明人： Qifa Ke ,  Vijayan Prabhakaran ,  Yinglian Xie ,  Yuan Yu ,  Jingyue Wu ,  Junfeng Yang

IPC分类号： G06F9/44

CPC分类号： G06F8/453

摘要： A data partitioning plan is automatically generated that—given a data-parallel program and a large input dataset, and without having to first run the program on the input dataset—substantially optimizes performance of the distributed execution system that explicitly measures and infers various properties of both data and computation to perform cost estimation and optimization. Estimation may comprise inferring the cost of a candidate data partitioning plan, and optimization may comprise generating an optimal partitioning plan based on the estimated costs of computation and input/output.

摘要翻译： 自动生成数据分区计划，给定数据并行程序和大型输入数据集，无需首先在输入数据集上运行程序，从而大大优化了分布式执行系统的性能，从而明确地测量和推断出 数据和计算都要进行成本估算和优化。 估计可以包括推断候选数据分割计划的成本，并且优化可以包括基于计算和输入/输出的估计成本来生成最优分割计划。

公开(公告)号：US09235396B2

公开(公告)日：2016-01-12

申请号：US13325049

申请日：2011-12-13

申请人： Qifa Ke ,  Vijayan Prabhakaran ,  Yinglian Xie ,  Yuan Yu ,  Jingyue Wu ,  Junfeng Yang

发明人： Qifa Ke ,  Vijayan Prabhakaran ,  Yinglian Xie ,  Yuan Yu ,  Jingyue Wu ,  Junfeng Yang

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

CPC分类号： G06F8/453

摘要： A data partitioning plan is automatically generated that—given a data-parallel program and a large input dataset, and without having to first run the program on the input dataset—substantially optimizes performance of the distributed execution system that explicitly measures and infers various properties of both data and computation to perform cost estimation and optimization. Estimation may comprise inferring the cost of a candidate data partitioning plan, and optimization may comprise generating an optimal partitioning plan based on the estimated costs of computation and input/output.

摘要翻译： 自动生成数据分区计划，给定数据并行程序和大型输入数据集，无需首先在输入数据集上运行程序，从而大大优化了分布式执行系统的性能，从而明确地测量和推断出 数据和计算都要进行成本估算和优化。 估计可以包括推断候选数据分割计划的成本，并且优化可以包括基于计算和输入/输出的估计成本来生成最优分割计划。