-
公开(公告)号:US20120166422A1
公开(公告)日:2012-06-28
申请号:US12979182
申请日:2010-12-27
申请人: Arne Harren , Tobias Elfner , Gerd Forstmann , Maciej Kabala , Carsten Binnig , Stefan Kain , Franz Faerber , Till Westmann
发明人: Arne Harren , Tobias Elfner , Gerd Forstmann , Maciej Kabala , Carsten Binnig , Stefan Kain , Franz Faerber , Till Westmann
IPC分类号: G06F17/30
CPC分类号: G06F17/30463
摘要: Methods and apparatus, including computer program products, are provided for providing for processing calculation plans. In one aspect, there is provided a computer-implemented method. The method may include generating a calculation plan including a plurality of nodes; determining whether at least one of the nodes includes a function node; and compiling the function node into executable code to enable execution of the plurality of nodes including the function node at the database. Related apparatus, systems, methods, and articles are also described.
摘要翻译: 提供包括计算机程序产品在内的方法和装置,用于提供处理计算计划。 一方面,提供了一种计算机实现的方法。 该方法可以包括生成包括多个节点的计算计划; 确定所述节点中的至少一个是否包括功能节点; 以及将所述功能节点编译成可执行代码以使得能够执行包括所述数据库处的所述功能节点的所述多个节点。 还描述了相关装置,系统,方法和制品。
-
公开(公告)号:US09026525B2
公开(公告)日:2015-05-05
申请号:US12979182
申请日:2010-12-27
申请人: Arne Harren , Tobias Elfner , Gerd Forstmann , Maciej Kabala , Carsten Binnig , Stefan Kain , Franz Faerber , Till Westmann
发明人: Arne Harren , Tobias Elfner , Gerd Forstmann , Maciej Kabala , Carsten Binnig , Stefan Kain , Franz Faerber , Till Westmann
IPC分类号: G06F17/30
CPC分类号: G06F17/30463
摘要: Methods and apparatus, including computer program products, are provided for providing for processing calculation plans. In one aspect, there is provided a computer-implemented method. The method may include generating a calculation plan including a plurality of nodes; determining whether at least one of the nodes includes a function node; and compiling the function node into executable code to enable execution of the plurality of nodes including the function node at the database. Related apparatus, systems, methods, and articles are also described.
摘要翻译: 提供包括计算机程序产品在内的方法和装置,用于提供处理计算计划。 一方面,提供了一种计算机实现的方法。 该方法可以包括生成包括多个节点的计算计划; 确定所述节点中的至少一个是否包括功能节点; 以及将所述功能节点编译成可执行代码以使得能够执行包括所述数据库处的所述功能节点的所述多个节点。 还描述了相关装置,系统,方法和制品。
-
公开(公告)号:US09069832B2
公开(公告)日:2015-06-30
申请号:US13725972
申请日:2012-12-21
申请人: Philipp Becker , Markus Eble , Tobias Elfner , Ivan Galkin , Vaidas Gasiunas , Arne Harren , Maciej Kabala , Klaus Kretzschmar
发明人: Philipp Becker , Markus Eble , Tobias Elfner , Ivan Galkin , Vaidas Gasiunas , Arne Harren , Maciej Kabala , Klaus Kretzschmar
CPC分类号: G06F17/30575
摘要: Approaches to memory management and synchronization are described relating to provision of highly robust and highly available servers that can serve multiple requests in parallel. Programming objects can be analyzed at design time by comparison to predefined patterns to identify a set of requirements and rules that must be followed to ensure that all part of a program cooperate. In highly complex programming environments, enforcement of such rules for a program as a whole can be quite difficult. As such, analysis of compliance can desirably occur at a programming object level.
摘要翻译: 描述了存储器管理和同步的方法涉及提供可以并行地服务多个请求的高度鲁棒和高度可用的服务器。 可以在设计阶段通过与预定义模式进行比较来分析编程对象,以确定必须遵循的一组要求和规则,以确保程序的所有部分合作。 在高度复杂的编程环境中,对整个程序执行此类规则可能相当困难。 因此,顺应性的分析可以期望地在程序对象级别发生。
-
公开(公告)号:US09026857B2
公开(公告)日:2015-05-05
申请号:US13656091
申请日:2012-10-19
申请人: Philipp Becker , Markus Eble , Tobias Elfner , Ivan Galkin , Vaidas Gasiunas , Arne Harren , Maciej Kabala , Klaus Kretzschmar
发明人: Philipp Becker , Markus Eble , Tobias Elfner , Ivan Galkin , Vaidas Gasiunas , Arne Harren , Maciej Kabala , Klaus Kretzschmar
CPC分类号: G06F11/0751 , G06F11/0793 , G06F11/366
摘要: According to some embodiments, a system and method for determining a value for an error code for a program operation; determining whether the operation supports postponing a determination of an occurrence of an error for the operation; proceeding to evaluate a next operation in an instance the operation does support postponing the determination of an occurrence of an error for the operation; and checking the error code for the operation in an instance the operation does not support postponing the determination of an occurrence of an error for the operation.
摘要翻译: 根据一些实施例,一种用于确定用于程序操作的错误代码的值的系统和方法; 确定所述操作是否支持延迟所述操作的错误的发生的确定; 进行评估在一个实例中的下一个操作,该操作确实支持延迟操作的错误的发生的确定; 并且在一个实例中检查用于操作的错误代码,该操作不支持延迟确定操作的错误的发生。
-
公开(公告)号:US20140115402A1
公开(公告)日:2014-04-24
申请号:US13656091
申请日:2012-10-19
申请人: Philipp Becker , Markus Eble , Tobias Elfner , Ivan Galkin , Vaidas Gasiunas , Arne Harren , Maciej Kabala , Klaus Kretzschmar
发明人: Philipp Becker , Markus Eble , Tobias Elfner , Ivan Galkin , Vaidas Gasiunas , Arne Harren , Maciej Kabala , Klaus Kretzschmar
IPC分类号: G06F11/36
CPC分类号: G06F11/0751 , G06F11/0793 , G06F11/366
摘要: According to some embodiments, a system and method for determining a value for an error code for a program operation; determining whether the operation supports postponing a determination of an occurrence of an error for the operation; proceeding to evaluate a next operation in an instance the operation does support postponing the determination of an occurrence of an error for the operation; and checking the error code for the operation in an instance the operation does not support postponing the determination of an occurrence of an error for the operation.
摘要翻译: 根据一些实施例,一种用于确定用于程序操作的错误代码的值的系统和方法; 确定所述操作是否支持延迟所述操作的错误的发生的确定; 进行评估在一个实例中的下一个操作,该操作确实支持延迟操作的错误的发生的确定; 并且在一个实例中检查用于操作的错误代码,该操作不支持延迟确定操作的错误的发生。
-
公开(公告)号:US20150149745A1
公开(公告)日:2015-05-28
申请号:US14245643
申请日:2014-04-04
申请人: Markus Eble , Vaidas Gasiunas , Ivan Galkin , Maciej Kabala , Arne Harren , Klaus Kretzschmar , Tobias Elfner , Philipp Becker
发明人: Markus Eble , Vaidas Gasiunas , Ivan Galkin , Maciej Kabala , Arne Harren , Klaus Kretzschmar , Tobias Elfner , Philipp Becker
IPC分类号: G06F9/38
CPC分类号: G06F8/445 , G06F9/526 , G06F2209/523
摘要: In one general aspect, a method can include executing multiple functions calls in parallel, and receiving, by each function call, at least one data object passed as a parameter to the function call, the at least one data object associated with a data sharing mode that defines a restricted subset of allowed operations for performing by the function call on the at least one data object. The method can further include performing, by each function call, at least one operation on the at least one data object, the at least one operation included in the restricted subset of allowed operations, and performing at least one check to ensure that the at least one operation performed by the function call on the at least one data object received by the function call is included in the restricted subset of allowed operations.
摘要翻译: 在一个一般方面,一种方法可以包括并行执行多个函数调用,并且通过每个函数调用接收作为参数传递给函数调用的至少一个数据对象,所述至少一个数据对象与数据共享模式相关联 其定义用于通过对至少一个数据对象的函数调用执行的允许操作的受限子集。 该方法还可以包括通过每个功能调用来执行至少一个数据对象上的至少一个操作,所述至少一个操作包括在允许的操作的受限子集中,以及执行至少一个检查以确保至少 由功能调用所接收的至少一个数据对象上的函数调用执行的一个操作被包括在允许操作的受限子集中。
-
公开(公告)号:US20140181024A1
公开(公告)日:2014-06-26
申请号:US13725972
申请日:2012-12-21
申请人: Philipp Becker , Markus Eble , Tobias Elfner , Ivan Galkin , Vaidas Gasiunas , Arne Harren , Maciej Kabala , Klaus Kretzschmar
发明人: Philipp Becker , Markus Eble , Tobias Elfner , Ivan Galkin , Vaidas Gasiunas , Arne Harren , Maciej Kabala , Klaus Kretzschmar
IPC分类号: G06F17/30
CPC分类号: G06F17/30575
摘要: Approaches to memory management and synchronization are described relating to provision of highly robust and highly available servers that can serve multiple requests in parallel. Programming objects can be analyzed at design time by comparison to predefined patterns to identify a set of requirements and rules that must be followed to ensure that all part of a program cooperate. In highly complex programming environments, enforcement of such rules for a program as a whole can be quite difficult. As such, analysis of compliance can desirably occur at a programming object level.
摘要翻译: 描述了存储器管理和同步的方法涉及提供可以并行地服务多个请求的高度鲁棒和高度可用的服务器。 可以在设计阶段通过与预定义模式进行比较来分析编程对象,以确定必须遵循的一组要求和规则,以确保程序的所有部分合作。 在高度复杂的编程环境中,对整个程序执行此类规则可能相当困难。 因此,顺应性的分析可以期望地在程序对象级别发生。
-
-
-
-
-
-