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

1. 发明授权

US09009020B1 Automatic identification of interesting interleavings in a multithreaded program 有权
标题翻译：在多线程程序中自动识别有趣的交错
公开(公告)号：US09009020B1
公开(公告)日：2015-04-14
申请号：US13047716
申请日：2011-03-14
申请人： Mark H. Oskin , Peter J. Godman , Andrew M. Schwerin , Andrew J. Whitaker , Lucas M. Kreger-Stickles , Kaya Bekiroglu
发明人： Mark H. Oskin , Peter J. Godman , Andrew M. Schwerin , Andrew J. Whitaker , Lucas M. Kreger-Stickles , Kaya Bekiroglu
IPC分类号： G06F9/45 , G06F9/455
CPC分类号： G06F9/455 , G06F8/4434 , G06F9/45504 , G06F9/461 , G06F9/4806 , G06F9/4825 , G06F2009/45575 , G06F2009/45591 , G06F2209/46 , G06F2209/483
摘要： A facility that for a multithreaded program executing on a root machine causes the threads of the program to be executed in a relative scheduling that produces an interesting result. The facility suspends execution of the program. The facility then tests a plurality of relative thread schedulings on one or more virtual machines and observes the result. Based upon the observed result the facility selects one of the tested relative thread schedulings. The facility then resumes execution of the program using the selected relative thread scheduling.
摘要翻译：用于在根机器上执行的多线程程序的功能使程序的线程在相关调度中执行，从而产生有趣的结果。该设施暂停执行该程序。该设备然后在一个或多个虚拟机上测试多个相对线程调度，并观察结果。根据观察结果，设备选择一个测试的相对线程调度。然后，该设备使用所选择的相对线程调度来恢复程序的执行。

2. 发明授权

US09086969B2 Establishing a useful debugging state for multithreaded computer program 有权
标题翻译：为多线程计算机程序建立一个有用的调试状态
公开(公告)号：US09086969B2
公开(公告)日：2015-07-21
申请号：US12969461
申请日：2010-12-15
申请人： Kaya Bekiroglu , Andrew M. Schwerin , Peter J. Godman , Mark H. Oskin
发明人： Kaya Bekiroglu , Andrew M. Schwerin , Peter J. Godman , Mark H. Oskin
IPC分类号： G06F9/44 , G06F11/07 , G06F11/36
CPC分类号： G06F11/079 , G06F11/36 , G06F11/3632 , G06F11/3636
摘要： A facility for supporting the analysis of a multithreaded program is described. For each of a number of threads of the multithreaded program, the facility identifies a semantically meaningful point in the execution of the thread. The facility interrupts the execution of each thread at the point identified for the thread.
摘要翻译：描述了支持多线程程序分析的工具。对于多线程程序的多个线程中的每一个，该设施识别线程执行中的语义上有意义的点。该设施在针对线程识别的点处中断每个线程的执行。

3. 发明授权

US08843910B1 Identifying a set of functionally distinct reorderings in a multithreaded program 有权
标题翻译：在多线程程序中识别一组功能不同的重新排序
公开(公告)号：US08843910B1
公开(公告)日：2014-09-23
申请号：US13047713
申请日：2011-03-14
申请人： Andrew M. Schwerin , Peter J. Godman , Kaya Bekiroglu
发明人： Andrew M. Schwerin , Peter J. Godman , Kaya Bekiroglu
IPC分类号： G06F9/45
CPC分类号： G06F8/458 , G06F11/3612
摘要： A facility for identifying functionally distinct memory access reorderings for a multithreaded program is described. The facility monitors execution of the program to detect, for each of one or more memory locations, an order in which the memory location was accessed by the threads of the program, each access being at least one of a read access and a write access. Among a number of possible memory access reorderings of a read access by a reading thread to a location and a write access by a writing thread to the same location where the write access preceded the read access, the facility identifies as functionally distinct memory access reorderings those possible memory access reorderings where the reading thread could have become newly aware of changed state of the writing thread as a result of the indicated read access.
摘要翻译：描述用于识别用于多线程程序的功能不同的存储器访问重排序的设备。该设施监视程序的执行，以针对一个或多个存储器位置中的每一个来检测存储器位置被程序的线程访问的顺序，每个访问是读访问和写访问中的至少一个。在通过读取线程读取访问位置的许多可能的存储器访问重新排序中，以及通过写入线程到写入访问在读取访问之前的相同位置的写入访问，该设施标识为功能上不同的存储器访问重排序，可能的存储器访问重排序，其中读取线程可能已经变得新意识到作为指示的读取访问的结果的写入线程的改变的状态。

4. 发明申请

US20110179399A1 ESTABLISHING A USEFUL DEBUGGING STATE FOR MULTITHREADED COMPUTER PROGRAM 有权
标题翻译：建立多用途计算机程序的有效调试状态
公开(公告)号：US20110179399A1
公开(公告)日：2011-07-21
申请号：US12969461
申请日：2010-12-15
申请人： Kaya Bekiroglu , Andrew M. Schwerin , Peter J. Godman , Mark H. Oskin
发明人： Kaya Bekiroglu , Andrew M. Schwerin , Peter J. Godman , Mark H. Oskin
IPC分类号： G06F9/44
CPC分类号： G06F11/079 , G06F11/36 , G06F11/3632 , G06F11/3636
摘要： A facility for supporting the analysis of a multithreaded program is described. For each of a number of threads of the multithreaded program, the facility identifies a semantically meaningful point in the execution of the thread. The facility interrupts the execution of each thread at the point identified for the thread.
摘要翻译：描述了支持多线程程序分析的工具。对于多线程程序的多个线程中的每一个，该设施识别线程执行中的语义上有意义的点。该设施在针对线程识别的点处中断每个线程的执行。

你已经成功收藏专利！

检索式保存成功!

IPRDB

热门服务

关于我们

友情链接

联系方式