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

1. 发明授权

US09740589B2 Lifting of bounded liveness counterexamples to concrete liveness counterexamples 有权
公开(公告)号：US09740589B2
公开(公告)日：2017-08-22
申请号：US14792964
申请日：2015-07-07
申请人： International Business Machines Corporation
发明人： Jason R. Baumgartner , Raj Kumar Gajavelly , Alexander Ivrii , Pradeep Kumar Nalla
IPC分类号： G06F11/00 , G06F11/34 , G06F11/30
CPC分类号： G06F11/3495 , G06F11/00 , G06F11/3003 , G06F11/3461
摘要： A trace of a bounded liveness failure of a system component is received, by one or more processors, along with fairness constraints and liveness assertion conditions. One or more processors generate randomized values for unassigned input values and register values, of the trace, and simulate traversal of each of a sequence of states of the trace. One or more processors determine whether traversing the sequence of states of the trace results in a repetition of a state, and responsive to determining that traversing the sequence of states of the trace does result in a repetition of a state, and the set of fairness constraints are asserted within the repetition of a state, and that the continuous liveness assertion conditions are maintained throughout the repetition of the state, a concrete counterexample of a liveness property of the system component is reported.

2. 发明授权

US09471482B2 Input/output trace sampling 有权
标题翻译：输入/输出跟踪采样
公开(公告)号：US09471482B2
公开(公告)日：2016-10-18
申请号：US14555114
申请日：2014-11-26
申请人： VMware, Inc.
发明人： Tariq Magdon-Ismail , Duy Nguyen
IPC分类号： G06F12/00 , G06F12/02 , G06F12/08 , G06F11/30 , G06F11/34
CPC分类号： G06F12/0238 , G06F11/3034 , G06F11/3414 , G06F11/3461 , G06F12/0871 , G06F12/0893 , G06F2201/815 , G06F2201/885 , G06F2212/1021 , G06F2212/1044 , G06F2212/314 , G06F2212/601
摘要： Exemplary methods, apparatuses, and systems include a host computer selecting a first workload of a plurality of workloads running on the host computer to be subjected to an input/output (I/O) trace. The host computer determines whether to generate the I/O trace for the first workload for a first length of time or for a second length of time. The first length of time is shorter than the second length of time. The determination is based upon runtime history for the first workload, I/O trace history for the first workload, and/or workload type of the first workload. The host computer generates the I/O trace of the first workload for the selected length of time.
摘要翻译：示例性方法，装置和系统包括主计算机选择在主计算机上运行以承受输入/输出（I / O）跟踪的多个工作负载的第一工作负载。主计算机确定是否为第一个时间长度或第二个时间长度生成第一个工作负载的I / O跟踪。第一个时间长度比第二个时间长。该确定基于第一个工作负载的运行历史记录，第一个工作负载的I / O跟踪历史记录和/或第一个工作负载的工作负载类型。主机在选定的时间长度内生成第一个工作负载的I / O跟踪。

3. 发明授权

US09229838B2 Modeling and evaluating application performance in a new environment 有权
标题翻译：在新环境中建模和评估应用程序性能
公开(公告)号：US09229838B2
公开(公告)日：2016-01-05
申请号：US13544232
申请日：2012-07-09
申请人： Rong N. Chang , Chang-Shing Perng , Byung Chul Tak , Chunqiang Tang
发明人： Rong N. Chang , Chang-Shing Perng , Byung Chul Tak , Chunqiang Tang
IPC分类号： G06F9/45 , G06F11/34
CPC分类号： G06F11/3461 , G06F11/3409 , G06F2201/815 , G06F2201/865
摘要： A method for evaluating the performance of an application when migrated from a first environment in which the application is currently executing to a second, different environment includes generating a virtual application that mimics the resource consuming behavior of the application, executing the virtual application in the second environment, and evaluating the performance of the virtual application in the second environment.
摘要翻译：当从应用程序当前执行的第一环境迁移到第二不同环境时，评估应用程序的性能的方法包括生成模仿应用程序的资源消耗行为的虚拟应用程序，在第二个环境中执行虚拟应用程序环境，并评估虚拟应用程序在第二个环境中的性能。

4. 发明授权

US08990778B1 Shadow test replay service 有权
标题翻译：影子测试重播服务
公开(公告)号：US08990778B1
公开(公告)日：2015-03-24
申请号：US13619197
申请日：2012-09-14
申请人： William W. Allocca , James Cade Bodley , Ram Cherukuri , Bharathi Masilamani , Harsha Ramalingam , Nandan U. Telang
发明人： William W. Allocca , James Cade Bodley , Ram Cherukuri , Bharathi Masilamani , Harsha Ramalingam , Nandan U. Telang
IPC分类号： G06F9/44 , G06F11/36
CPC分类号： G06F11/3664 , G06F11/3457 , G06F11/3461 , G06F11/3692
摘要： The techniques described herein provide software testing of a candidate version of software. In some examples, an interceptor intercepts at least one production request to a production version of the software and issues the production request to a shadow proxy service as a shadow request. The shadow proxy service causes the at least one shadow request to be processed by the candidate version of the software being validated and an authority version of the software being used to validate the candidate version. The shadow proxy service may then compare and/or analyze at least one candidate response to the shadow request from the candidate version and at least one authority response to the shadow request from the authority version. A dashboard service may provide at least some of the resulting information and issue a request the shadow proxy service to replay at least one of the shadow requests.
摘要翻译：本文描述的技术提供软件的候选版本的软件测试。在一些示例中，拦截器拦截至软件的生产版本的至少一个生产请求，并向影子代理服务发出生产请求作为影子请求。影子代理服务使得至少一个影子请求被待验证的软件的候选版本处理，并且软件的授权版本被用于验证候选版本。然后，影子代理服务可以从候选版本和从权限版本到影子请求的至少一个权限响应来比较和/或分析至于影子请求的至少一个候选响应。仪表板服务可以提供至少一些所得到的信息，并且发出影子代理服务以重播至少一个影子请求的请求。

5. 发明申请

US20150007198A1 Assessment of a High Performance Computing Application in Relation to Network Latency Due to the Chosen Interconnects 有权
标题翻译：由于选择的互连，评估与网络延迟有关的高性能计算应用
公开(公告)号：US20150007198A1
公开(公告)日：2015-01-01
申请号：US13928050
申请日：2013-06-26
申请人： Silicon Graphics International Corp.
发明人： Daniel Thomas , John Baron
IPC分类号： G06F9/54
CPC分类号： G06F11/3006 , G06F11/3404 , G06F11/3419 , G06F11/3428 , G06F11/3447 , G06F11/3457 , G06F11/3461 , G06F11/3466 , G06F11/3668 , G06F17/5009
摘要： A method and computer program product for testing a high performance computing application performing a computation within a clustered computer arrangement is disclosed. The high performance computing arrangement performances computations across processors in parallel wherein the processors cooperate to perform the computation. The application can be tested by adding delay and therefore latency to one or more commands inside of the precompiled application. The addition of delay can be used to simulate the performance of different interconnects that are used within the high performance computing arrangement.
摘要翻译：公开了一种用于测试在集群计算机装置内执行计算的高性能计算应用的方法和计算机程序产品。并行处理器的高性能计算布置性能计算，其中处理器协作以执行计算。可以通过对预编译应用程序中的一个或多个命令添加延迟并因此进行延迟来测试应用程序。可以使用延迟的添加来模拟在高性能计算布置中使用的不同互连的性能。

6. 发明授权

US08433777B1 Communication with multiple storage processors via direct connections 有权
标题翻译：通过直接连接与多个存储处理器进行通信
公开(公告)号：US08433777B1
公开(公告)日：2013-04-30
申请号：US11904129
申请日：2007-09-26
申请人： Qing Liu , Ying Guo
发明人： Qing Liu , Ying Guo
IPC分类号： G06F15/16
CPC分类号： G06F11/2089 , G06F3/0626 , G06F3/0659 , G06F3/0689 , G06F11/2005 , G06F11/201 , G06F11/2221 , G06F11/2294 , G06F11/3461
摘要： A system that provides efficient expansion capability of a storage unit under test including multiple storage processors and reduces a number of required Ethernet ports on a client device and a reduced number of physical connections on the client device. A first processor and a peer processor of a storage processor system may be coupled to counterpart processors on one or more other storage processor systems using direct port-to-port connections and/or using a network infrastructure. A command from the client device may be passed among first processors and peer processors of the multiple storage processor systems until the correct destination processor for the command is reached, and data packets may be passed from a source processor of a storage processor system through processors of other storage processor systems until the client device is reached.
摘要翻译：提供被测存储单元的有效扩展能力的系统，包括多个存储处理器，并减少客户端设备上所需的以太网端口数量，减少客户端设备上的物理连接数量。存储处理器系统的第一处理器和对等处理器可以使用直接端口到端口连接和/或使用网络基础设施耦合到一个或多个其他存储处理器系统上的对应处理器。可以在多个存储处理器系统的第一处理器和对等处理器之间传递来自客户端设备的命令，直到达到用于该命令的正确目的地处理器，并且可以从存储处理器系统的源处理器通过处理器其他存储处理器系统，直到达到客户端设备。

7. 发明申请

US20110119044A1 PROCESSOR SIMULATION USING INSTRUCTION TRACES OR MARKUPS 审中-公开
标题翻译：处理器模拟使用指令跟踪或标记
公开(公告)号：US20110119044A1
公开(公告)日：2011-05-19
申请号：US12198595
申请日：2008-08-26
申请人： Anthony Dean Walker
发明人： Anthony Dean Walker
IPC分类号： G06F9/455
CPC分类号： G06F17/5022 , G06F11/3409 , G06F11/3461 , G06F11/349 , G06F2201/87 , G06F2201/88 , G06F2201/885
摘要： An efficient, cycle-accurate processor execution simulator models a target processor by executing a program execution image comprising instructions having run-time dependencies resolved by execution on an existing processor compatible with the target processor. The instructions may have been executed upon a processor in an I/O environment too complex to model. In one embodiment, the simulator executes instructions that were directly executed on a processor. In another embodiment, a markup engine alters a compiled program image, with reference to instructions executed on a processor, to remove run-time dependencies. The marked up program image is then executed by the simulator. The processor execution simulator includes an update engine operative to cycle-accurately simulate instruction execution, and a communication engine operative to model each communication bus of the target processor.
摘要翻译：有效的，循环精确的处理器执行模拟器通过执行程序执行图像来建模目标处理器，该程序执行图像包括具有通过在与目标处理器兼容的现有处理器上的执行而被解决的运行时依赖性的指令指令可能已经在I / O环境中的处理器上执行过于复杂，无法建模。在一个实施例中，模拟器执行在处理器上直接执行的指令。在另一个实施例中，标记引擎参照在处理器上执行的指令来改变已编译的程序图像，以去除运行时依赖性。标记的程序图像然后由模拟器执行。处理器执行模拟器包括可操作以循环精确地模拟指令执行的更新引擎和可操作以对目标处理器的每个通信总线进行建模的通信引擎。

8. 发明授权

US07716335B2 System and method for automated workload characterization of an application server 有权
标题翻译：用于应用服务器自动化工作负载表征的系统和方法
公开(公告)号：US07716335B2
公开(公告)日：2010-05-11
申请号：US11346900
申请日：2006-02-03
申请人： Darpan Dinker , Herbert D. Schwetman , Jan L. Bonebakker
发明人： Darpan Dinker , Herbert D. Schwetman , Jan L. Bonebakker
IPC分类号： G06F15/173
CPC分类号： G06F11/3409 , G06F11/3461 , G06F11/3466 , G06F11/3476 , G06F2201/865 , G06F2201/87 , G06F2201/88 , G06F2201/885
摘要： An application server may be instrumented to provide a resource measurement framework to collect resource usage data regarding request processing by the application server and applications executing on the application server. The resource measurement framework of an application server may collect hardware and software resource usage data regarding request processing at interception points located at interfaces between application components and services or other components of the application server by instrumenting those interfaces. The resource measurement framework may collect resource usage by instrumenting standard interfaces and/or methods of various specifications, such as implemented by containers or other components of the application server. Thus, the resource measurement framework may collect resource usage for applications or application components that do not include any resource measuring capabilities. The collected resource usage data may be parsed and combined to create an overall characterization of resource usage corresponding to the application server's request processing.
摘要翻译：可以对应用服务器进行测试，以提供资源测量框架来收集关于应用服务器和在应用服务器上执行的应用的请求处理的资源使用数据。应用服务器的资源测量框架可以通过测试这些接口来收集关于位于应用组件和应用服务或应用服务器的其他组件之间的接口处的拦截点处的请求处理的硬件和软件资源使用数据。资源测量框架可以通过测试标准接口和/或各种规范的方法（例如由应用服务器的容器或其他组件实现）来收集资源使用。因此，资源测量框架可以收集不包括任何资源测量能力的应用或应用组件的资源使用。收集的资源使用数据可以被解析和组合，以创建与应用服务器的请求处理相对应的资源使用的总体特性。

9. 发明申请

US20090138859A1 SAMPLING BASED RUNTIME OPTIMIZER FOR EFFICIENT DEBUGGING OF APPLICATIONS 有权
标题翻译：基于采样的运行时优化器进行有效的调试
公开(公告)号：US20090138859A1
公开(公告)日：2009-05-28
申请号：US11945989
申请日：2007-11-27
申请人： William Y. Chen , Jiwei Lu
发明人： William Y. Chen , Jiwei Lu
IPC分类号： G06F9/44 , G06F9/45
CPC分类号： G06F11/3628 , G06F11/3461 , G06F11/3476 , G06F11/3632 , G06F11/3664 , G06F2201/86 , G06F2201/865
摘要： A method of reproducing runtime environment for debugging an application is disclosed. The method includes reading an optimizer file from a non-volatile storage medium. The optimizer file includes a runtime environment, application definition information, and a log. The log includes summaries of a plurality of events, the plurality of actions, and a time mark of occurrence for each of the plurality of actions. A runtime environment for debugging the application is then defined and the application runtime is set up using the application definition information in the optimizer file. Further, the method includes running the application and attaching an optimizer, then triggering each of the plurality of actions to occur at each time mark of occurrence associated with the each of the plurality of actions, and analyzing each of the plurality of actions and the plurality of events associated with the each of the plurality of actions, the analyzing includes comparing the events produced by running the application with the plurality of events in the optimizer file. If a fault is produced by the triggering, a debugger is invoked to analyze the fault.
摘要翻译：公开了一种再现用于调试应用的运行时环境的方法。该方法包括从非易失性存储介质读取优化器文件。优化程序文件包括运行时环境，应用程序定义信息和日志。日志包括多个事件的摘要，多个动作以及多个动作中的每个动作的发生时间标记。然后定义用于调试应用程序的运行时环境，并使用优化程序文件中的应用程序定义信息设置应用程序运行时间。此外，该方法包括运行应用程序并附加优化器，然后触发多个动作中的每一个发生在与多个动作中的每一个相关联的发生的每个时间标记处，并且分析多个动作和多个动作中的每个动作与所述多个动作中的每一个相关联的事件，所述分析包括将通过运行应用程序产生的事件与所述优化器文件中的所述多个事件进行比较。如果触发产生故障，则调用调试器来分析故障。

10. 发明申请

US20090077557A1 METHOD AND COMPUTER FOR SUPPORTING CONSTRUCTION OF BACKUP CONFIGURATION 有权
标题翻译：支持支持配置的方法和计算机
公开(公告)号：US20090077557A1
公开(公告)日：2009-03-19
申请号：US12020799
申请日：2008-01-28
申请人： Naoko ICHIKAWA , Yuichi Taguchi , Masayuki Yamamoto , Takashi Watanabe
发明人： Naoko ICHIKAWA , Yuichi Taguchi , Masayuki Yamamoto , Takashi Watanabe
IPC分类号： G06F12/16 , G06F9/46
CPC分类号： G06F11/3485 , G06F11/1471 , G06F11/3447 , G06F11/3461
摘要： For a storage system which holds backup data of a first data storage extent in one or more second data storage extents in use of a first backup method, a backup status in a first backup method in a prescribed period is acquired and a first backup performance in a first backup configuration is computed based on this backup status. Meanwhile, a second backup performance in a second backup configuration is estimated based on a prescribed assumption in a prescribed period. Information is outputted based on the computed first backup performance and the estimated second backup performance.
摘要翻译：对于在使用第一备份方法的一个或多个第二数据存储盘区中保存第一数据存储盘区的备份数据的存储系统，获取在规定时段内的第一备份方法中的备份状态，并且在第基于此备份状态计算第一个备份配置。同时，基于规定期间中的规定假设来估计第二备份配置中的第二备份性能。基于计算出的第一备份性能和估计的第二备份性能输出信息。

你已经成功收藏专利！

检索式保存成功!

IPRDB

热门服务

关于我们

友情链接

联系方式