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

31. 发明申请

US20080271004A1 COMPUTER-IMPLEMENTED METHOD, SYSTEM, AND PROGRAM PRODUCT FOR OPTIMIZING A DISTRIBUTED APPLICATION 审中-公开
标题翻译：用于优化分布式应用的计算机实现方法，系统和程序产品
公开(公告)号：US20080271004A1
公开(公告)日：2008-10-30
申请号：US12167258
申请日：2008-07-03
申请人： Jong-Deok Choi , Manish Gupta , Parviz Kermani , Kang-Won Lee , Kyung Dong Ryu , Dinesh C. Verma , Peng Wu
发明人： Jong-Deok Choi , Manish Gupta , Parviz Kermani , Kang-Won Lee , Kyung Dong Ryu , Dinesh C. Verma , Peng Wu
IPC分类号： G06F9/45 , G06F9/44
CPC分类号： G06F8/61
摘要： A computer-implemented method, system, and program product for optimizing a distributed (software) application are provided. Specifically, a configuration of a target computing environment, in which the distributed application is deployed, is discovered upon deployment of the distributed application. Thereafter, based on a set of rules and the discovered configuration, one or more optimization techniques are applied to optimize the distributed application. In a typical embodiment, the set of rules can be embedded in the distributed application, or they can be accessed from an external source such as a repository. Regardless, the optimization techniques applied can include at least one of the following: (1) identification and replacement of an underperforming component of the distributed application with a new component; (2) generation of interface layers (to allow selection of optimal bindings) between distributed objects of the distributed application; and/or (3) execution of code transformation of the distributed application using program analysis techniques.
摘要翻译：提供了一种用于优化分布式（软件）应用程序的计算机实现的方法，系统和程序产品。具体而言，在部署分布式应用程序时发现其中部署了分布式应用的目标计算环境的配置。此后，基于一组规则和所发现的配置，应用一个或多个优化技术来优化分布式应用。在典型的实施例中，该组规则可以嵌入在分布式应用中，或者可以从诸如存储库的外部源访问它们。无论如何，应用的优化技术可以包括以下至少一个：（1）用新的组件识别和替换分布式应用程序的表现不佳的组件; （2）在分布式应用程序的分布式对象之间生成界面层（允许选择最佳绑定）; 和/或（3）使用程序分析技术执行分布式应用程序的代码转换。

32. 发明申请

US20080263194A1 METHOD AND SYSTEM FOR OPTIMAL BINDING SELECTION FOR SERVICE ORIENTED ARCHITECTURES 审中-公开
标题翻译：用于面向服务的架构的最佳绑定选择的方法和系统
公开(公告)号：US20080263194A1
公开(公告)日：2008-10-23
申请号：US11736335
申请日：2007-04-17
申请人： Jong-Deok Choi , Kang-Won Lee , Sang-Jeong Lee , Kyung D. Ryu , Dinesh Verma
发明人： Jong-Deok Choi , Kang-Won Lee , Sang-Jeong Lee , Kyung D. Ryu , Dinesh Verma
IPC分类号： G06F15/173
CPC分类号： H04L67/16 , H04L67/02 , H04L67/14 , H04L67/42
摘要： A method for selecting a best performing binding for a server and a client in a service-oriented architecture includes: discovering configuration information about the service and the operating environment of the server and the client; selecting the best performing binding between the client and the server based on the discovered information; enabling the selected binding in a binding proxy for communication between the client and the server.
摘要翻译：一种在面向服务架构中为服务器和客户端选择最佳执行绑定的方法包括：发现关于服务器和客户机的服务和操作环境的配置信息; 基于发现的信息，选择客户端和服务器之间执行最佳性能的绑定; 使绑定代理中的所选绑定能够在客户端和服务器之间进行通信。

33. 发明授权

US6101524A Deterministic replay of multithreaded applications 失效
标题翻译：多线程应用程序的确定性重播
公开(公告)号：US6101524A
公开(公告)日：2000-08-08
申请号：US956717
申请日：1997-10-23
申请人： Jong-Deok Choi , Harini Srinivasan
发明人： Jong-Deok Choi , Harini Srinivasan
IPC分类号： G06F9/46 , G06F9/48 , G06F9/00 , G06F9/45
CPC分类号： G06F9/4881 , G06F9/52
摘要： A multithreaded program includes sequences of events wherein each sequence is associated with one of a plurality of execution threads. In a record mode, the software tool of the present invention records a run-time representation of the program by distinguishing critical events from non-critical events of the program and identifying the execution order of such critical events. Groups of critical events are generated wherein, for each group G.sub.i, critical events belonging to the group G.sub.i belong to a common execution thread, critical events belonging to the group G.sub.i are consecutive, and only non-critical events occur between any two consecutive critical events in the group G.sub.i. In addition, the groups are ordered and no two adjacent groups include critical events that belong to a common execution thread. For each execution thread, a logical thread schedule is generated that identifies a sequence of said groups associated with the execution thread. The logical thread schedules are stored in persistent storage for subsequent reuse. In a replay mode, for each execution thread, the logical thread schedule associated with the execution thread is loaded from persistent storage and the critical events identified by the logical thread schedule are executed.
摘要翻译：多线程程序包括事件序列，其中每个序列与多个执行线程之一相关联。在记录模式中，本发明的软件工具通过区分程序的关键事件和非关键事件并识别这些关键事件的执行顺序来记录程序的运行时表示。生成关键事件组，其中，对于每个组Gi，属于组Gi的关键事件属于公共执行线程，属于组Gi的关键事件是连续的，并且在任何两个连续关键事件之间仅发生非关键事件在组Gi。此外，组是有序的，并且没有两个相邻组包括属于公共执行线程的关键事件。对于每个执行线程，生成逻辑线程调度，以标识与执行线程相关联的所述组的序列。逻辑线程调度存储在持久存储器中以供后续重用。在重播模式中，对于每个执行线程，与执行线程相关联的逻辑线程调度从持久存储器加载，并且执行由逻辑线程调度所标识的关键事件。

34. 发明授权

US5485616A Using program call graphs to determine the maximum fixed point solution of interprocedural bidirectional data flow problems in a compiler 失效
标题翻译：使用程序调用图来确定编译器中过程间双向数据流问题的最大定点解
公开(公告)号：US5485616A
公开(公告)日：1996-01-16
申请号：US135199
申请日：1993-10-12
申请人： Michael G. Burke , Paul R. Carini , Jong-Deok Choi
发明人： Michael G. Burke , Paul R. Carini , Jong-Deok Choi
IPC分类号： G06F9/45 , G06F9/44
CPC分类号： G06F8/433 , G06F8/434
摘要： By novel use of the Program Call Graph representation of computer programs, this method and apparatus provides a general analysis method for interprocedural bidirection data flow problems in computer software programs. The invention has many uses, including the determination of interprocedural alias analysis of computer software programs which contain pointers.The method starts by constructing a Program Call Graph representation of a computer program with each node of the graph representing a routine of the program. An internal representation of each node is then constructed and initial interprocedural values are associated with appropriate nodes. An interprocedural traversal of the Program Call Graph is performed in which each node is visited; an intraprocedural propagation is performed to develop a new set of interim solution values; and the new interim solution values are interprocedurally propagated. The new interim solution is propagated in a forward and backward direction in one pass of the traversal. The interprocedural traversal of the Program Call Graph is repeated until the interprocedural solution does not change.
摘要翻译：通过小说使用计算机程序的程序调用图表示，该方法和装置为计算机软件程序中的过程间双向数据流问题提供了一种通用的分析方法。本发明具有许多用途，包括确定包含指针的计算机软件程序的过程间别名分析。该方法通过构建计算机程序的程序调用图表示开始，其中每个图形节点表示程序的例程。然后构建每个节点的内部表示，并将初始过程值与适当的节点相关联。执行程序调用图的跨过程遍历，其中每个节点被访问; 进行一个进程内传播以开发一套新的临时解决方案值; 新的临时解决方案值被跨过程传播。新的临时解决方案在遍历的一个遍中向前和向后的方向传播。程序调用图的过程间遍历将重复，直到过程间解决方案不会改变。

35. 发明授权

US09015683B2 Method and apparatus for transforming program code 有权
标题翻译：用于转换程序代码的方法和装置
公开(公告)号：US09015683B2
公开(公告)日：2015-04-21
申请号：US12977786
申请日：2010-12-23
申请人： Seung-Mo Cho , Jong-Deok Choi , Jaejin Lee
发明人： Seung-Mo Cho , Jong-Deok Choi , Jaejin Lee
IPC分类号： G06F9/44 , G06F9/45
CPC分类号： G06F8/458 , G06F8/433 , G06F8/456
摘要： Provided is a method of transforming program code written such that a plurality of work-items are allocated respectively to and concurrently executed on a plurality of processing elements included in a computing unit. A program code translator may identify, in the program code, two or more code regions, which are to be enclosed by work-item coalescing loops (WCLs), based on a synchronization barrier function contained in the program code, such that the work-items are serially executable on a smaller number of processing elements than a number of the processing elements, and may enclose the identified code regions with the WCLs, respectively.
摘要翻译：提供了一种将被写入的程序代码变换为分别被分配并且在包括在计算单元中的多个处理元素并行执行的方法。程序代码转换器可以基于程序代码中包含的同步屏障功能，在程序代码中识别要由工作项合并循环（WCL）包围的两个或多个代码区域，项目可以在比处理元件的数量少的处理元件上串行执行，并且可以分别用WCL包围所识别的代码区域。

36. 发明授权

US08464223B2 Method and apparatus for efficient and precise datarace detection for multithreaded object-oriented programs 失效
标题翻译：用于多线程面向对象程序的高效精确数据采集检测方法和装置
公开(公告)号：US08464223B2
公开(公告)日：2013-06-11
申请号：US12366446
申请日：2009-02-05
申请人： Jong-Deok Choi , Keunwoo Lee , Robert W. O'Callahan , Vivek Sarkar , Manu Sridharan
发明人： Jong-Deok Choi , Keunwoo Lee , Robert W. O'Callahan , Vivek Sarkar , Manu Sridharan
IPC分类号： G06F9/44
CPC分类号： G06F9/52 , G06F11/3632
摘要： A method of detecting a datarace between memory accesses within a program includes determining whether a datarace exists between a first access event in a first statement and a second access event in a second statement. It is then determined whether a third statement is more weakly protected than one of the first statement and the second statement.
摘要翻译：一种检测程序内的存储器访问之间的数据段的方法，包括确定第一语句中的第一访问事件和第二语句中的第二访问事件之间是否存在数据库。然后确定第三个语句是否比第一个语句和第二个语句之一更弱的保护。

37. 发明申请

US20120303857A1 Checkpointed Tag Prefetcher 有权
标题翻译：检查点标签预取器
公开(公告)号：US20120303857A1
公开(公告)日：2012-11-29
申请号：US13564829
申请日：2012-08-02
申请人： Harold Wade Cain, III , Jong-Deok Choi
发明人： Harold Wade Cain, III , Jong-Deok Choi
IPC分类号： G06F12/08
CPC分类号： G06F12/0862 , G06F2212/6024
摘要： A cache management method using checkpoint tags in checkpoint mode includes steps of: receiving a request to save data; fetching at least one cache block including the data from cache memory; writing the data from the at least one cache block into the data array; writing a physical address and metadata of the cache block into an array of cache memory tags; and upon receipt of a restore request: fetching an identifier for the at least one cache block stored in the checkpoint tag array; reloading the cache memory with the at least one cache block in the checkpoint tag array; and switching to normal mode.
摘要翻译：在检查点模式中使用检查点标签的高速缓存管理方法包括以下步骤：接收保存数据的请求; 从高速缓冲存储器中取出包含数据的至少一个缓存块; 将来自所述至少一个高速缓存块的数据写入所述数据阵列; 将高速缓存块的物理地址和元数据写入高速缓存存储器标签阵列; 并且在接收到恢复请求时：获取存储在所述检查点标签阵列中的所述至少一个高速缓存块的标识符; 使用所述检查点标签阵列中的所述至少一个高速缓存块重新加载所述高速缓冲存储器; 并切换到正常模式。

38. 发明申请

US20110167222A1 UNBOUNDED TRANSACTIONAL MEMORY SYSTEM AND METHOD 有权
标题翻译：无关紧要的交易记忆系统和方法
公开(公告)号：US20110167222A1
公开(公告)日：2011-07-07
申请号：US12964128
申请日：2010-12-09
申请人： Jaejin LEE , Jong-Deok Choi , Seung-Mo Cho
发明人： Jaejin LEE , Jong-Deok Choi , Seung-Mo Cho
IPC分类号： G06F12/08
CPC分类号： G06F9/528 , G06F9/3004 , G06F9/30087 , G06F9/3857 , G06F12/0811 , G06F12/0815 , G06F12/0864
摘要： An unbounded transactional memory system which can process overflow data. The unbounded transactional memory system may include a host processor, a memory, and a memory processor. The host processor may include an execution unit to perform a transaction, and a cache to temporarily store data. The memory processor may store overflow data in overflow storage included in the memory in response to an overflow event in which the overflow data is generated in the cache during the transaction.
摘要翻译：一个可以处理溢出数据的无界事务内存系统。无界交易存储器系统可以包括主处理器，存储器和存储器处理器。主处理器可以包括用于执行事务的执行单元和用于临时存储数据的高速缓存。存储器处理器可以响应于在事务期间在高速缓存中产生溢出数据的溢出事件来存储包含在存储器中的溢出存储器中的溢出数据。

39. 发明授权

US07818722B2 Computer implemented method and system for accurate, efficient and adaptive calling context profiling 失效
标题翻译：计算机实现的方法和系统，用于准确，高效和自适应的调用上下文分析
公开(公告)号：US07818722B2
公开(公告)日：2010-10-19
申请号：US11450656
申请日：2006-06-09
申请人： Harold Wade Cain, III , Jong-Deok Choi , Mauricio Jose Serrano , Xiaotong Zhuang
发明人： Harold Wade Cain, III , Jong-Deok Choi , Mauricio Jose Serrano , Xiaotong Zhuang
IPC分类号： G06F9/44
CPC分类号： G06F11/3466 , G06F2201/865
摘要： Computer implemented method, system and computer usable program code for profiling the execution of an application that is both space- and time-efficient and highly accurate. A computer implemented method for profiling the execution of an application includes sampling execution characteristics of the application at a plurality of sampling points to provide samples, and deriving a calling context of the samples. The application is continuously executed between sampling points while additional profiling data is gathered.
摘要翻译：计算机实现的方法，系统和计算机可用程序代码，用于分析空间和时间高效且高度准确的应用程序的执行。用于分析应用的执行的计算机实现的方法包括在多个采样点处对应用的采样执行特性，以提供采样，以及导出样本的呼叫上下文。应用程序在采样点之间持续执行，同时收集附加的分析数据。

40. 发明申请

US20080263257A1 Checkpointed Tag Prefetcher 有权
标题翻译：检查点标签预取器
公开(公告)号：US20080263257A1
公开(公告)日：2008-10-23
申请号：US11736548
申请日：2007-04-17
申请人： Harold Wade Cain III , Jong-Deok Choi
发明人： Harold Wade Cain III , Jong-Deok Choi
IPC分类号： G06F12/08
CPC分类号： G06F12/0862 , G06F2212/6024
摘要： A dual-mode prefetch mechanism for implementing checkpoint tag prefetching includes: a data array for storing data fetched from cache memory; a set of cache tags for identifying the data stored in the data array; a set of checkpoint tags for storing data identification; a cache controller including prefetch logic, the prefetch logic including a checkpoint prefetch controller and a checkpoint prefetch operator.
摘要翻译：用于实现检查点标签预取的双模式预取机制包括：用于存储从高速缓冲存储器取出的数据的数据阵列; 用于识别存储在数据阵列中的数据的一组缓存标签; 一组用于存储数据识别的检查点标签; 包括预取逻辑的高速缓存控制器，预取逻辑包括检查点预取控制器和检查点预取操作符。

你已经成功收藏专利！

检索式保存成功!

IPRDB

热门服务

关于我们

友情链接

联系方式