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

1. 发明申请

US20070143766A1 Deadlock detection in a computing environment 审中-公开
标题翻译：计算环境中的死锁检测
公开(公告)号：US20070143766A1
公开(公告)日：2007-06-21
申请号：US11314132
申请日：2005-12-21
申请人： Eitan Farchi , Alexander Krits , Yarden Nir-Buchbinder
发明人： Eitan Farchi , Alexander Krits , Yarden Nir-Buchbinder
IPC分类号： G06F9/46
CPC分类号： G06F9/524
摘要： A method and system for detecting deadlock is provided. A second thread monitors a first thread's attempts to lock or release resources in a computing execution environment. A deadlock is detected in response to the second thread determining that the first thread failed to lock or release a resource as expected.
摘要翻译：提供了一种用于检测死锁的方法和系统。第二个线程监视第一个线程在计算执行环境中锁定或释放资源的尝试。响应于第二线程确定第一线程未按预期锁定或释放资源而检测到死锁。

2. 发明申请

US20100064280A1 SYSTEMS AND METHODS FOR IMPLEMENTING TEST APPLICATIONS FOR SYSTEMS USING LOCKS 审中-公开
标题翻译：用于实施使用锁定的系统的测试应用的系统和方法
公开(公告)号：US20100064280A1
公开(公告)日：2010-03-11
申请号：US12206813
申请日：2008-09-09
申请人： Aviad Zlotnick , Eitan Farchi , Yarden Nir-Buchbinder
发明人： Aviad Zlotnick , Eitan Farchi , Yarden Nir-Buchbinder
IPC分类号： G06F9/44
CPC分类号： G06F11/3688
摘要： A method of testing a system includes providing a shared memory including at least one value and at least one lock associated with the at least one value, the at least one lock including one or more shared read sublocks and an exclusive write sublock, providing a plurality of subsystems in communication with the shared memory and configured to access and update the at least one value, providing a test application on at least one of the plurality of subsystems, and running the test application on the one of the plurality of subsystems. A list of locks and values given to the test application includes a pre-existing list of locks and values in the system under the testing.
摘要翻译：一种测试系统的方法包括提供共享存储器，其包括与至少一个值相关联的至少一个值和至少一个锁，所述至少一个锁包括一个或多个共享读取子锁和独占写入子锁，提供多个子系统与所述共享存储器通信并被配置为访问和更新所述至少一个值，在所述多个子系统中的至少一个子系统上提供测试应用，以及在所述多个子系统之一上运行所述测试应用。给测试应用程序的锁和值的列表包括系统中测试前的已有的锁和值列表。

3. 发明授权

US08141050B2 Deadlock detection by lock classification 失效
标题翻译：通过锁分类进行死锁检测
公开(公告)号：US08141050B2
公开(公告)日：2012-03-20
申请号：US11326541
申请日：2006-01-05
申请人： Eitan Farchi , Yarden Nir-Buchbinder , Shmuel Ur
发明人： Eitan Farchi , Yarden Nir-Buchbinder , Shmuel Ur
IPC分类号： G06F9/44 , G06F7/00
CPC分类号： G06F9/524
摘要： Systems and methods for detecting a potential deadlock in a computing execution environment are provided. A plurality of locks taken during one or more test runs are monitored. A runtime identity and a code location for each of the plurality of locks are identified during each test run. One or more locks among the plurality of locks are classified as same locks based on the runtime identity and code location identified for each lock.
摘要翻译：提供了用于在计算执行环境中检测潜在的死锁的系统和方法。监视在一个或多个测试运行期间拍摄的多个锁。在每个测试运行期间识别用于多个锁中的每一个的运行时标识和代码位置。基于为每个锁识别的运行时标识和代码位置，将多个锁中的一个或多个锁分类为相同的锁。

4. 发明申请

US20110093745A1 SYSTEMS AND METHODS FOR IMPLEMENTING TEST APPLICATIONS FOR SYSTEMS USING LOCKS 审中-公开
标题翻译：用于实施使用锁定的系统的测试应用的系统和方法
公开(公告)号：US20110093745A1
公开(公告)日：2011-04-21
申请号：US12581927
申请日：2009-10-20
申请人： Aviad Zlotnick , Eitan Farchi , Yarden Nir-Buchbinder
发明人： Aviad Zlotnick , Eitan Farchi , Yarden Nir-Buchbinder
IPC分类号： G06F11/28 , G06F17/30
CPC分类号： G06F11/3672
摘要： The present invention generally relates to systems and methods for implementing test applications of systems using locks.
摘要翻译：本发明一般涉及用于实现使用锁的系统的测试应用的系统和方法。

5. 发明申请

US20070156939A1 Deadlock detection by lock classification 失效
标题翻译：通过锁分类进行死锁检测
公开(公告)号：US20070156939A1
公开(公告)日：2007-07-05
申请号：US11326541
申请日：2006-01-05
申请人： Eitan Farchi , Yarden Nir-Buchbinder , Shmuel Ur
发明人： Eitan Farchi , Yarden Nir-Buchbinder , Shmuel Ur
IPC分类号： G06F12/14
CPC分类号： G06F9/524
摘要： Systems and methods for detecting a potential deadlock in a computing execution environment are provided. A plurality of locks taken during one or more test runs are monitored. A runtime identity and a code location for each of the plurality of locks are identified during each test run. One or more locks among the plurality of locks are classified as same locks based on the runtime identity and code location identified for each lock.
摘要翻译：提供了用于在计算执行环境中检测潜在的死锁的系统和方法。监视在一个或多个测试运行期间拍摄的多个锁。在每个测试运行期间识别用于多个锁中的每一个的运行时标识和代码位置。基于为每个锁识别的运行时标识和代码位置，将多个锁中的一个或多个锁分类为相同的锁。

6. 发明申请

US20090271770A1 METHOD, SYSTEM, AND COMPUTER PROGRAM PRODUCT FOR GENERATING UNIT TESTING SCRIPTS 审中-公开
标题翻译：用于生成单元测试脚本的方法，系统和计算机程序产品
公开(公告)号：US20090271770A1
公开(公告)日：2009-10-29
申请号：US12110401
申请日：2008-04-28
申请人： Yarden Nir-Buchbinder , Dan Pelleg , Orna Raz-Pelleg
发明人： Yarden Nir-Buchbinder , Dan Pelleg , Orna Raz-Pelleg
IPC分类号： G06F9/45
CPC分类号： G06F11/3684
摘要： A method, system, and computer program product are provided for generating unit testing scripts. The method includes receiving programming code having a condition expressed therein, and transforming the code by wrapping the condition into a mock function. The mock function receives a Boolean argument as an input and provides a Boolean value as an output irrespective of a pre-transformed input and a pre-transformed output of the condition. The Boolean value is capable of selectively being the Boolean argument received as the input or a different value specified by a user. The method further includes receiving a user input specifying a behavior relating to how a return value is generated for the mock function. The Boolean value is provided in accordance with the specified behavior. At least one pre-transformation output of the condition prior to the transforming step is direct-function independent.
摘要翻译：提供了一种用于生成单元测试脚本的方法，系统和计算机程序产品。该方法包括接收具有其中表达的条件的编程代码，并且通过将条件包装成模拟功能来转换代码。模拟函数接收一个布尔参数作为输入，并提供布尔值作为输出，而不管预转换输入和条件的预转换输出。布尔值能够有选择地作为输入接收的布尔参数或用户指定的不同值。该方法还包括接收用户输入，指定与如何为模拟功能生成返回值相关的行为。布尔值根据指定的行为提供。在变换步骤之前的条件的至少一个预变换输出是直接函数独立的。

7. 发明授权

US07539979B1 Method and system for forcing context-switch during mid-access to non-atomic variables 有权
标题翻译：在中间访问非原子变量期间强制上下文切换的方法和系统
公开(公告)号：US07539979B1
公开(公告)日：2009-05-26
申请号：US12060148
申请日：2008-03-31
申请人： Yarden Nir-Buchbinder
发明人： Yarden Nir-Buchbinder
IPC分类号： G06F9/44 , G06F11/00
CPC分类号： G06F11/3632 , G06F9/461 , G06F9/52
摘要： The invention provides an improved method for detecting concurrent bugs in multi-threaded software having at least one command to access a non-atomic variable. The non-atomic variable may have a plurality of memory words. In one approach, the method generally involves storing the memory words as atomic variables and replacing the at least one command to access the non-atomic variable with separate instructions to access each of the atomic variables. A thread-switch command is inserted between the atomic variable access commands to increase the likelihood of exposing and detecting synchronization problems.
摘要翻译：本发明提供一种用于检测多线程软件中的并发错误的改进方法，其具有至少一个访问非原子变量的命令。非原子变量可以具有多个存储字。在一种方法中，该方法通常涉及将存储单词存储为原子变量，并且用独立的指令替换该至少一个命令来访问非原子变量以访问每个原子变量。在原子可变访问命令之间插入一个线程切换命令，以增加暴露和检测同步问题的可能性。

8. 发明授权

US08607198B2 Cross-concern code coverage assessment 失效
标题翻译：交叉关注代码覆盖评估
公开(公告)号：US08607198B2
公开(公告)日：2013-12-10
申请号：US12636853
申请日：2009-12-14
申请人： Yarden Nir-Buchbinder , Dan Pelleg , Orna Raz-Pelleg , Shmuel Ur , Aviad Zlotnick
发明人： Yarden Nir-Buchbinder , Dan Pelleg , Orna Raz-Pelleg , Shmuel Ur , Aviad Zlotnick
IPC分类号： G06F9/44
CPC分类号： G06F11/3616 , G06F11/3676
摘要： A method for software processing includes extracting from software code under test respective items of meta-information pertaining to elements of the software code and receiving respective quality data regarding the elements of software code. The quality data and meta-information are processed in a computer so as to assign respective metrics to the items of the meta-information responsively to the quality data regarding the elements of the software code to which the items pertain. At least some of the meta-information is presented to a user in accordance with the assigned metrics.
摘要翻译：一种用于软件处理的方法包括：从软件代码中提取与软件代码的元素相关的元信息的相应项目，并接收关于软件代码元素的各个质量数据。在计算机中处理质量数据和元信息，以便响应于关于项目所属的软件代码的元素的质量数据，将元数据的项目分配给各个度量。根据分配的度量，至少一些元信息被呈现给用户。

9. 发明申请

US20090235002A1 Deadlock Prevention in a Computing Environment 有权
标题翻译：计算环境中的死锁预防
公开(公告)号：US20090235002A1
公开(公告)日：2009-09-17
申请号：US12049399
申请日：2008-03-17
申请人： Yarden Nir-Buchbinder , Rachel Tzoref , Shmuel Ur
发明人： Yarden Nir-Buchbinder , Rachel Tzoref , Shmuel Ur
IPC分类号： G06F13/14
CPC分类号： G06F9/524
摘要： A method for preventing deadlocks in a multiprocessing environment is provided. The method comprises receiving one or more strongly connected components (SCCs) as input, wherein a first SCC represents a set of locks such that each pair of locks in the set may potentially be involved in a deadlock situation; creating a first gate lock for the first SCC, wherein a first process or process element acquires the first gate lock before acquiring a first lock in the first SCC and releases the first gate lock after releasing a number of locks in the first SCC; and removing the first gate lock, in response to determining that the first gate lock introduces new deadlocks.
摘要翻译：提供了一种用于防止多处理环境中的死锁的方法。该方法包括接收一个或多个强连接的组件（SCC）作为输入，其中第一SCC表示一组锁，使得组中的每对锁可能潜在地参与死锁情况; 为第一SCC创建第一门锁，其中第一处理或处理元件在获取第一SCC中的第一锁定之前获取第一门锁，并且在释放第一SCC中的数量的锁之后释放第一门锁; 以及响应于确定所述第一门锁引入新的死锁而移除所述第一门锁。

10. 发明授权

US09612942B2 Verification of a computer program in respect to an unexpected response to an access request 有权
公开(公告)号：US09612942B2
公开(公告)日：2017-04-04
申请号：US12948788
申请日：2010-11-18
申请人： Daniel Citron , Yarden Nir-Buchbinder , Aviad Zlotnick
发明人： Daniel Citron , Yarden Nir-Buchbinder , Aviad Zlotnick
IPC分类号： G06F9/45 , G06F11/36
CPC分类号： G06F11/3672
摘要： Testing a computer program comprises identification of resource access requests by the computer program to a resource provided by an underlying host. The resource access requests may be intercepted and a determined response may be returned instead of the actual response of the underlying host. In some exemplary embodiments, the resource may a clock of the underlying host and the response may be the time of the clock. In some exemplary embodiments, the computer program may be tested to check for validity during execution on a cloud computing environment, in which access to resources may yield results that on a non-cloud computing environments are generally not expectable. The testing may be performed on a non-cloud computing environments and simulate scenarios applicable to cloud computing environments.

你已经成功收藏专利！

检索式保存成功!

IPRDB

热门服务

关于我们

友情链接

联系方式