-
公开(公告)号：US07941616B2
公开(公告)日：2011-05-10
申请号：US12255354
申请日：2008-10-21
CPC分类号： G06F12/145 , G06F9/526
摘要： Locks are used to protect variables. All variables protected by a lock are allocated on a page associated with a lock. When a thread (called the owner) acquires the lock, a local copy of the memory page containing the variable is created, the original memory page is protected, and all access of the variable in the owner thread is directed to the local copy. Upon releasing the lock, the changes from the local copy are carried over to the memory page and the memory page is unprotected. Any concurrent access of the variable by non-owner threads triggers an exception handler (due to the protection mechanism) and delays such an access until after the owner thread has finished accessing the variable.
摘要翻译： 锁用于保护变量。 由锁保护的所有变量都将分配到与锁相关联的页面上。 当一个线程（称为所有者）获取锁定时，将创建包含该变量的内存页面的本地副本，原始内存页面将受到保护，并且所有者线程中的变量的所有访问都将定向到本地副本。 释放锁定后，本地副本的更改将转移到内存页，而内存页不受保护。 非所有者线程的任何并发访问的变量触发异常处理程序（由于保护机制），并延迟访问权限，直到所有者线程完成对该变量的访问。
-
公开(公告)号：US20100100690A1
公开(公告)日：2010-04-22
申请号：US12255354
申请日：2008-10-21
IPC分类号： G06F12/00
CPC分类号： G06F12/145 , G06F9/526
摘要： Locks are used to protect variables. All variables protected by a lock are allocated on a page associated with a lock. When a thread (called the owner) acquires the lock, a local copy of the memory page containing the variable is created, the original memory page is protected, and all access of the variable in the owner thread is directed to the local copy. Upon releasing the lock, the changes from the local copy are carried over to the memory page and the memory page is unprotected. Any concurrent access of the variable by non-owner threads triggers an exception handler (due to the protection mechanism) and delays such an access until after the owner thread has finished accessing the variable.
摘要翻译： 锁用于保护变量。 由锁保护的所有变量都将分配到与锁相关联的页面上。 当一个线程（称为所有者）获取锁定时，将创建包含该变量的内存页面的本地副本，原始内存页面将受到保护，并且所有者线程中的变量的所有访问都将定向到本地副本。 释放锁定后，本地副本的更改将转移到内存页，而内存页不受保护。 非所有者线程的任何并发访问的变量触发异常处理程序（由于保护机制），并延迟访问权限，直到所有者线程完成对该变量的访问。
-
公开(公告)号：US20100169618A1
公开(公告)日：2010-07-01
申请号：US12345857
申请日：2008-12-30
申请人： Ganesan Ramalingam , Sriram Rajamani , Venkatesh-Prasad Ranganath , Kapil Vaswani , Jyotirmoy Vinay Deshmukh
发明人： Ganesan Ramalingam , Sriram Rajamani , Venkatesh-Prasad Ranganath , Kapil Vaswani , Jyotirmoy Vinay Deshmukh
IPC分类号： G06F9/44
CPC分类号： G06F8/456
摘要： The claimed subject matter provides a system and/or a method that facilitates ensuring non-interference between multiple threads that access a shared resource. An interface can receive a portion of sequential code, wherein the portion of sequential code includes a property that is maintained and relied upon when invoked and executed by a sequential client. A synthesizer component can leverage a sequential proof related to the portion of sequential code in order to derive a concurrency control mechanism for a portion of concurrency code that maintains the property when invoked by a concurrent client, wherein the sequential proof identifies a concurrent interference at an execution point that is tolerable for the concurrent client.
摘要翻译： 所要求保护的主题提供了一种有助于确保访问共享资源的多个线程之间的不干扰的系统和/或方法。 接口可以接收一部分顺序代码，其中顺序代码的部分包括当由顺序客户机调用并执行时维护和依赖的属性。 合成器组件可以利用与序列代码部分相关的顺序证明，以便为由并发客户机调用时维护该属性的并行代码的一部分导出并发控制机制，其中该顺序证明标识在 对于并发客户端是可以容忍的执行点。
-
公开(公告)号：US08280899B2
公开(公告)日：2012-10-02
申请号：US12578603
申请日：2009-10-14
IPC分类号： G06F7/00
CPC分类号： G06F17/30539
摘要： An event is described herein as being representable by a quantified abstraction of the event. The event includes at least one predicate, and the at least one predicate has at least one constant symbol corresponding thereto. An instance of the constant symbol corresponding to the event is identified, and the instance of the constant symbol is replaced by a free variable to obtain an abstracted predicate. Thus, a quantified abstraction of the event is composed as a pair: the abstracted predicate and a mapping between the free variable and an instance of the constant symbol that corresponds to the predicate. A data mining algorithm is executed over abstracted, quantified events to ascertain a correlation between the event and another event.
摘要翻译： 这里描述的事件可以通过事件的量化抽象来表示。 所述事件包括至少一个谓词，并且所述至少一个谓词具有与之对应的至少一个常数符号。 识别与事件对应的常量符号的实例，并且常量符号的实例由可用变量替换以获得抽象谓词。 因此，事件的量化抽象由一对组成：抽象谓词和自由变量与对应于谓词的常量符号的实例之间的映射。 在抽象的量化事件上执行数据挖掘算法，以确定事件与另一事件之间的相关性。
-
公开(公告)号：US20110087700A1
公开(公告)日：2011-04-14
申请号：US12578603
申请日：2009-10-14
IPC分类号： G06F17/30
CPC分类号： G06F17/30539
摘要： An event is described herein as being representable by a quantified abstraction of the event. The event includes at least one predicate, and the at least one predicate has at least one constant symbol corresponding thereto. An instance of the constant symbol corresponding to the event is identified, and the instance of the constant symbol is replaced by a free variable to obtain an abstracted predicate. Thus, a quantified abstraction of the event is composed as a pair: the abstracted predicate and a mapping between the free variable and an instance of the constant symbol that corresponds to the predicate. A data mining algorithm is executed over abstracted, quantified events to ascertain a correlation between the event and another event.
摘要翻译： 这里描述的事件可以通过事件的量化抽象来表示。 所述事件包括至少一个谓词，并且所述至少一个谓词具有与之对应的至少一个常数符号。 识别与事件对应的常量符号的实例，并且常量符号的实例由可用变量替换以获得抽象谓词。 因此，事件的量化抽象由一对组成：抽象谓词和自由变量与对应于谓词的常量符号的实例之间的映射。 在抽象的量化事件上执行数据挖掘算法，以确定事件与另一事件之间的相关性。
-
公开(公告)号：US08538909B2
公开(公告)日：2013-09-17
申请号：US12972273
申请日：2010-12-17
CPC分类号： G06F17/30551
摘要： A temporal rule-based feature extraction system and method for extracting features from temporal-based rules satisfied by a trace. Once a temporal-based rule is found that is satisfied by the trace, then embodiments of the temporal rule-based feature extraction system and method leverage that rule to either use as a feature or to extract additional features. The extracted feature then is used to characterize the trace. Embodiments of the system include a feature definition module, which defines features based on the temporal-based rules satisfied by a trace, and a similarity measure module, which defines a similarity measure for the defined features. The defined features include both extrinsic features, which are based on extrinsic properties of the rule, and intrinsic features, which are based on intrinsic properties of the rule. The similarity module generates similarity measures that indicate the similarity of two traces.
摘要翻译： 一种基于时间规则的特征提取系统和方法，用于从轨迹满足的基于时间的规则中提取特征。 一旦找到由跟踪满足的基于时间的规则，则基于时间规则的特征提取系统和方法的实施例利用该规则来将该规则用作特征或提取附加特征。 然后提取的特征用于表征轨迹。 该系统的实施例包括特征定义模块，其定义基于由轨迹满足的基于时间的规则的特征，以及相似性度量模块，其定义所定义特征的相似性度量。 定义的特征包括基于规则的外在属性的外在特征以及基于规则的固有属性的内在特征。 相似性模块生成表示两条迹线相似度的相似性度量。
-
公开(公告)号：US20120159263A1
公开(公告)日：2012-06-21
申请号：US12972273
申请日：2010-12-17
IPC分类号： G06F11/34
CPC分类号： G06F17/30551
摘要： A temporal rule-based feature extraction system and method for extracting features from temporal-based rules satisfied by a trace. Once a temporal-based rule is found that is satisfied by the trace, then embodiments of the temporal rule-based feature extraction system and method leverage that rule to either use as a feature or to extract additional features. The extracted feature then is used to characterize the trace. Embodiments of the system include a feature definition module, which defines features based on the temporal-based rules satisfied by a trace, and a similarity measure module, which defines a similarity measure for the defined features. The defined features include both extrinsic features, which are based on extrinsic properties of the rule, and intrinsic features, which are based on intrinsic properties of the rule. The similarity module generates similarity measures that indicate the similarity of two traces.
摘要翻译： 一种基于时间规则的特征提取系统和方法，用于从轨迹满足的基于时间的规则中提取特征。 一旦找到由跟踪满足的基于时间的规则，则基于时间规则的特征提取系统和方法的实施例利用该规则来将该规则用作特征或提取附加特征。 然后提取的特征用于表征轨迹。 该系统的实施例包括特征定义模块，其定义基于由轨迹满足的基于时间的规则的特征，以及相似性度量模块，其定义所定义特征的相似性度量。 定义的特征包括基于规则的外在属性的外在特征以及基于规则的固有属性的内在特征。 相似性模块生成表示两条迹线相似度的相似性度量。
-
公开(公告)号：US20120331471A1
公开(公告)日：2012-12-27
申请号：US13169060
申请日：2011-06-27
申请人： Ganesan Ramalingam , Kapil Vaswani
发明人： Ganesan Ramalingam , Kapil Vaswani
IPC分类号： G06F9/46
CPC分类号： G06F9/466 , G06F11/1474
摘要： The claimed subject matter provides a method for executing molecular transactions on a distributed platform. The method includes generating a first unique identifier for executing a molecular transaction. The molecular transaction includes a first atomic action. The method further includes persisting a first work list record. The first work list record includes the first unique identifier and a step number for the first atomic action. Additionally, the method includes retrieving, by a first worker process of a runtime, the first work list record. The method also includes executing, by the first worker process, the first atomic action in response to determining that a first successful completion record for the first atomic action does not exist. Further, the method includes persisting, by the first worker process, the first successful completion record for the first atomic action in response to a successful execution of the first atomic action.
摘要翻译： 所要求保护的主题提供了在分布式平台上执行分子交易的方法。 该方法包括生成用于执行分子交易的第一唯一标识符。 分子交易包括第一原子行为。 该方法还包括持续第一工作列表记录。 第一个工作列表记录包括第一个唯一标识符和第一个原子动作的步骤编号。 另外，该方法包括通过运行时的第一工作进程检索第一工作列表记录。 该方法还包括响应于确定第一原子动作的第一成功完成记录不存在，由第一工作进程执行第一原子动作。 此外，该方法包括响应于第一原子动作的成功执行，通过第一工作进程持续第一原子动作的成功完成记录。
-
9.发明授权System and method for a logical-model based application understanding and transformation 失效用于基于逻辑模型的应用程序理解和转换的系统和方法公开(公告)号：US07509298B2
公开(公告)日：2009-03-24
申请号：US11394522
申请日：2006-03-31
摘要： Disclosed is a method of and a system for establishing a logical-model based understanding of a legacy application. The method comprises the steps of providing a physical data model of the legacy application, said physical data model having a plurality of physical elements; establishing a logical data model for the legacy application, said logical data model having a plurality of logical model elements; and establishing links between said logical model elements and said physical elements. One of said physical or logical elements is selected, and said links are used to identify all of the physical or logical elements that are linked to said selected one of said elements. The preferred system may include a component for browsing and navigating the physical data model, logical data model, or the links between them, a component to answer queries about the application expressed using the logical data model, and a component to create a relational data model to support the migration of data stored in legacy databases (including flat files) to relational databases.
摘要翻译： 公开了一种用于建立对遗留应用的基于逻辑模型的理解的方法和系统。 该方法包括以下步骤：提供传统应用的物理数据模型，所述物理数据模型具有多个物理元素; 建立遗留应用的逻辑数据模型，所述逻辑数据模型具有多个逻辑模型元素; 以及在所述逻辑模型元素和所述物理元素之间建立链接。 选择所述物理或逻辑元素中的一个，并且所述链接用于识别链接到所述所选择的所述元素之一的所有物理或逻辑元素。 优选系统可以包括用于浏览和导航物理数据模型，逻辑数据模型或它们之间的链接的组件，用于回答关于使用逻辑数据模型表达的应用的查询的组件以及用于创建关系数据模型的组件 以支持将遗留数据库（包括平面文件）中存储的数据迁移到关系数据库。
-
公开(公告)号：US09383970B2
公开(公告)日：2016-07-05
申请号：US12540381
申请日：2009-08-13
CPC分类号： G06F8/20
摘要： A platform that facilitates software application development, maintenance, and support includes a storage component that receives structured and unstructured data pertaining to at least one application subject to development, maintenance, or support and causes the structured and unstructured data to be stored in a distributed fashion over a plurality of accessible data repositories. The storage component causes the structured and unstructured data to be stored in the data repositories such that the structured and unstructured data is accessible through utilization of a common access format. An executor component executes an analytical process over the structured and unstructured data and generates a first dataset, wherein the storage component causes the first dataset to be stored in at least one of the plurality of accessible data repositories in a format that is accessible by front end analysis applications.
摘要翻译： 促进软件应用程序开发，维护和支持的平台包括一个存储组件，其接收与至少一个受开发，维护或支持的应用有关的结构化和非结构化数据，并导致结构化和非结构化数据以分布式方式存储 在多个可访问的数据存储库中。 存储组件使得结构化和非结构化数据被存储在数据存储库中，使得结构化和非结构化数据可通过利用公共访问格式来访问。 执行器组件对所述结构化和非结构化数据执行分析过程并生成第一数据集，其中所述存储组件使得所述第一数据集以可由前端访问的格式存储在所述多个可访问数据存储库中的至少一个中 分析应用程序。
-
-
-
-
-
-
-
-
-
搜索结果
20 条记录 (耗时 0.02 秒)
