专利快速检索-快速检索全球专利，免费商用专利数据库-IPRDB

1. 发明申请

US20120144372A1 SYSTEMS AND METHODS FOR FINDING CONCURRENCY ERRORS 有权
标题翻译：发现会计差错的系统和方法
公开(公告)号：US20120144372A1
公开(公告)日：2012-06-07
申请号：US13312844
申请日：2011-12-06
申请人： Luis Ceze , Brandon Lucia
发明人： Luis Ceze , Brandon Lucia
IPC分类号： G06F9/44
CPC分类号： G06F8/75 , G06F8/314 , G06F11/3688
摘要： Systems and methods for detecting concurrency bugs are provided. In some embodiments, context-aware communication graphs that represent inter-thread communication are collected during test runs, and may be labeled according to whether the test run was correct or failed. Graph edges that are likely to be associated with failed behavior are determined, and probable reconstructions of failed behavior are constructed to assist in debugging. In some embodiments, software instrumentation is used to collect the communication graphs. In some embodiments, hardware configured to collect the communication graphs is provided.
摘要翻译：提供了检测并发错误的系统和方法。在一些实施例中，表示线程间通信的上下文感知通信图在测试运行期间被收集，并且可以根据测试运行是正确还是失败来标记。确定可能与故障行为相关联的图形边缘，并构建故障行为的可能重建以辅助调试。在一些实施例中，使用软件仪器来收集通信图。在一些实施例中，提供了被配置为收集通信图形的硬件。

2. 发明授权

US08832659B2 Systems and methods for finding concurrency errors 有权
标题翻译：查找并发错误的系统和方法
公开(公告)号：US08832659B2
公开(公告)日：2014-09-09
申请号：US13312844
申请日：2011-12-06
申请人： Luis Ceze , Brandon Lucia
发明人： Luis Ceze , Brandon Lucia
IPC分类号： G06F9/45 , G06F9/44
CPC分类号： G06F8/75 , G06F8/314 , G06F11/3688
摘要： Systems and methods for detecting concurrency bugs are provided. In some embodiments, context-aware communication graphs that represent inter-thread communication are collected during test runs, and may be labeled according to whether the test run was correct or failed. Graph edges that are likely to be associated with failed behavior are determined, and probable reconstructions of failed behavior are constructed to assist in debugging. In some embodiments, software instrumentation is used to collect the communication graphs. In some embodiments, hardware configured to collect the communication graphs is provided.
摘要翻译：提供了检测并发错误的系统和方法。在一些实施例中，表示线程间通信的上下文感知通信图在测试运行期间被收集，并且可以根据测试运行是正确还是失败来标记。确定可能与故障行为相关联的图形边缘，并构建故障行为的可能重建以辅助调试。在一些实施例中，使用软件仪器来收集通信图。在一些实施例中，提供了被配置为收集通信图形的硬件。

你已经成功收藏专利！

检索式保存成功!

IPRDB

热门服务

关于我们

友情链接

联系方式