在计算空间中管理分布计算的方法和装置.pdf

本发明提供一种方法，用于提供分布计算的操纵的操作。计算闭包管理架构确定接收用于指定在一个或多个计算空间上执行的一个或多个操作的请求，其中所述一个或多个计算空间表示在各自一个或多个计算空间中作为一个或多个图的一个或多个计算处理。所述计算闭包管理架构确定检索一个或多个计算空间、一个或多个计算空间中的一个或多个图、一个或多个图的一个或多个子图、或其组合。所述计算闭包管理架构确定在一个或多个计算空间、一个或多个图、一个或多个子图、或其组合上应用一个或多个操作，以更新一个或多个计算空间的至少一个，生成至少一个额外计算空间，或其组合。

权利要求书一种方法，包括：
确定接收用于指定在一个或多个计算空间上执行的一个或多个操作的请求，其中所述一个或多个计算空间表示在各自一个或多个计算空间中作为一个或多个图的一个或多个计算处理；
确定检索一个或多个计算空间、一个或多个计算空间中的一个或多个图、一个或多个图的一个或多个子图、或其组合；和
确定在一个或多个计算空间、一个或多个图、一个或多个子图、或其组合上应用一个或多个操作，以更新一个或多个计算空间的至少一个，生成至少一个额外计算空间，或其组合。
如权利要求1所述的方法，其中所述一个或多个操作的至少一个是对应于一个或多个计算空间的第一计算空间和一个或多个计算空间的第二计算空间的合并操作，该方法还包括：
确定统一第一计算空间的第一图和第二计算空间的第二图；和
确定至少部分地基于所述统一修改第一计算空间、第二计算空间、额外计算空间、或其组合。
如权利要求2所述的方法，还包括：
确定至少部分地基于所述统一在第一计算空间、第二计算空间、额外计算空间、或其组合上应用起源操作、冲突解决操作、或其组合。
如权利要求1所述的方法，其中所述一个或多个操作的至少一个是对应于一个或多个计算空间中的一个的投影操作，该方法还包括：
确定从一个计算空间的图提取子图，其中至少部分地基于提取的子图生成额外计算空间；和
确定至少部分地基于额外计算空间的生成更新投影计算空间的名称集，所述名称集相关于所述一个计算空间。
如权利要求4所述的方法，其中用于投影操作的请求至少部分地包括指定的子图，该方法还包括：
至少部分地基于指定的子图确定一个计算空间；和
至少部分地基于分区函数、推导闭包机制、或其组合确定一个计算空间的计算内容、规则集、或其组合；
其中至少部分地基于计算内容、规则集、或其组合生成额外计算空间。
如权利要求1所述的方法，其中一个或多个操作的至少一个是对应于一个或多个计算空间的第一计算空间和一个或多个计算空间的第二计算空间的添加操作，以及其中一个或多个计算空间的第二个包括来自一个或多个计算空间的第一个的投影内容，该方法还包括：
确定至少部分地基于所述投影内容过滤一个或多个计算空间的第一个的图；和
确定至少部分地基于所述过滤将一个或多个计算空间的第一个的图插入至一个或多个计算空间的第二个的图中。
如权利要求6所述的方法，还包括：
确定一个或多个计算空间的第一个的名称是否在一个或多个计算空间的第二个的投影计算空间的名称集中，其中一个或多个计算的第一个的图的插入至少部分地基于关于名称的确定；和
确定至少部分地基于关于名称的确定从名称集移除所述名称。
如权利要求1所述的方法，其中一个或多个操作的至少一个是对应于一个或多个计算空间的一个的分割操作，该方法还包括：
确定从一个计算空间的图提取子图，其中至少部分地基于提取的子图生成额外计算空间；和
确定至少部分地基于额外计算空间的生成更新分割计算空间的名称集，所述名称集相关于所述一个计算空间。
如权利要求8所述的方法，其中用于分割操作的请求至少部分地包括指定的子图，该方法还包括：
至少部分地基于指定的子图确定一个计算空间；和
至少部分地基于分区函数、推导闭包机制、历史保存边界、或其组合确定一个计算空间的计算内容、规则集、或其组合；
其中至少部分地基于计算内容、规则集、或其组合生成额外计算空间。
如权利要求1所述的方法，还包括：
对于一个或多个操作、一个或多个计算空间、一个或多个图、一个或多个子图、或其组合确定边界节点集；
其中一个或多个操作的应用还至少部分地基于所述边界节点集。
一种装置，包括：
至少一个处理器；以及
包括计算机程序代码的至少一个存储器；
所述至少一个存储器和计算机程序代码被配置为，利用所述至少一个处理器，使得所述装置至少执行以下步骤：
确定接收用于指定在一个或多个计算空间上执行的一个或多个操作的请求，其中所述一个或多个计算空间表示在各自一个或多个计算空间中作为一个或多个图的一个或多个计算处理；
确定检索一个或多个计算空间、一个或多个计算空间中的一个或多个图、一个或多个图的一个或多个子图、或其组合；和
确定在一个或多个计算空间、一个或多个图、一个或多个子图、或其组合上应用一个或多个操作，以更新一个或多个计算空间的至少一个，生成至少一个额外计算空间，或其组合。
如权利要求11所述的装置，其中所述一个或多个操作的至少一个是对应于一个或多个计算空间的第一计算空间和一个或多个计算空间的第二计算空间的合并操作，其中还使得该装置：
确定统一第一计算空间的第一图和第二计算空间的第二图；和
确定至少部分地基于所述统一修改第一计算空间、第二计算空间、额外计算空间、或其组合。
如权利要求12所述的装置，其中还使得该装置：
确定至少部分地基于所述统一在第一计算空间、第二计算空间、额外计算空间、或其组合上应用起源操作、冲突解决操作、或其组合。
如权利要求11所述的装置，其中所述一个或多个操作的至少一个是对应于一个或多个计算空间中的一个的投影操作，其中还使得该装置：
确定从一个计算空间的图提取子图，其中至少部分地基于提取的子图生成额外计算空间；和
确定至少部分地基于额外计算空间的生成更新投影计算空间的名称集，所述名称集相关于所述一个计算空间。
如权利要求14所述的装置，其中用于投影操作的请求至少部分地包括指定的子图，其中还使得该装置：
至少部分地基于指定的子图确定一个计算空间；和
至少部分地基于分区函数、推导闭包机制、或其组合确定一个计算空间的计算内容、规则集、或其组合；
其中至少部分地基于计算内容、规则集、或其组合生成额外计算空间。
如权利要求11所述的装置，其中一个或多个操作的至少一个是对应于一个或多个计算空间的第一计算空间和一个或多个计算空间的第二计算空间的添加操作，以及其中一个或多个计算空间的第二个包括来自一个或多个计算空间的第一个的投影内容，其中还使得该装置：
确定至少部分地基于所述投影内容过滤一个或多个计算空间的第一个的图；和
确定至少部分地基于所述过滤将一个或多个计算空间的第一个的图插入至一个或多个计算空间的第二个的图中。
如权利要求16所述的装置，其中还使得该装置：
确定一个或多个计算空间的第一个的名称是否在一个或多个计算空间的第二个的投影计算空间的名称集中，其中一个或多个计算的第一个的图的插入至少部分地基于关于名称的确定；和
确定至少部分地基于关于名称的确定从名称集移除所述名称。
如权利要求11所述的装置，其中一个或多个操作的至少一个是对应于一个或多个计算空间的一个的分割操作，其中还使得该装置：
确定从一个计算空间的图提取子图，其中至少部分地基于提取的子图生成额外计算空间；和
确定至少部分地基于额外计算空间的生成更新分割计算空间的名称集，所述名称集相关于所述一个计算空间。
如权利要求18所述的装置，其中用于分割操作的请求至少部分地包括指定的子图，其中还使得该装置：
至少部分地基于指定的子图确定一个计算空间；和
至少部分地基于分区函数、推导闭包机制、历史保存边界、或其组合确定一个计算空间的计算内容、规则集、或其组合；
其中至少部分地基于计算内容、规则集、或其组合生成额外计算空间。
如权利要求11所述的装置，其中还使得该装置：
对于一个或多个操作、一个或多个计算空间、一个或多个图、一个或多个子图、或其组合确定边界节点集；
其中一个或多个操作的应用还至少部分地基于所述边界节点集。
一种方法，包括：
确定接收用于指定在一个或多个计算空间上执行的一个或多个操作的请求，其中所述一个或多个计算空间表示在各自一个或多个计算空间中作为一个或多个图的一个或多个计算处理；
确定检索一个或多个计算空间、一个或多个计算空间中的一个或多个图、一个或多个图的一个或多个子图、或其组合；和
确定在一个或多个计算空间、一个或多个图、一个或多个子图、或其组合上应用一个或多个操作，以更新一个或多个计算空间的至少一个，生成至少一个额外计算空间，或其组合。
如权利要求21所述的方法，其中所述一个或多个操作的至少一个是对应于一个或多个计算空间的第一计算空间和一个或多个计算空间的第二计算空间的合并操作，该方法还包括：
确定统一第一计算空间的第一图和第二计算空间的第二图；和
确定至少部分地基于所述统一修改第一计算空间、第二计算空间、额外计算空间、或其组合。
如权利要求22所述的方法，还包括：
确定至少部分地基于所述统一在第一计算空间、第二计算空间、额外计算空间、或其组合上应用起源操作、冲突解决操作、或其组合。
如权利要求21‑23中任一项所述的方法，其中所述一个或多个操作的至少一个是对应于一个或多个计算空间中的一个的投影操作，该方法还包括：
确定从一个计算空间的图提取子图，其中至少部分地基于提取的子图生成额外计算空间；和
确定至少部分地基于额外计算空间的生成更新投影计算空间的名称集，所述名称集相关于所述一个计算空间。
如权利要求24所述的方法，其中用于投影操作的请求至少部分地包括指定的子图，该方法还包括：
至少部分地基于指定的子图确定一个计算空间；和
至少部分地基于分区函数、推导闭包机制、或其组合确定一个计算空间的计算内容、规则集、或其组合；
其中至少部分地基于计算内容、规则集、或其组合生成额外计算空间。
如权利要求21‑25中任一项所述的方法，其中一个或多个操作的至少一个是对应于一个或多个计算空间的第一计算空间和一个或多个计算空间的第二计算空间的添加操作，以及其中一个或多个计算空间的第二个包括来自一个或多个计算空间的第一个的投影内容，该方法还包括：
确定至少部分地基于所述投影内容过滤一个或多个计算空间的第一个的图；和
确定至少部分地基于所述过滤将一个或多个计算空间的第一个的图插入至一个或多个计算空间的第二个的图中。
如权利要求26所述的方法，还包括：
确定一个或多个计算空间的第一个的名称是否在一个或多个计算空间的第二个的投影计算空间的名称集中，其中一个或多个计算的第一个的图的插入至少部分地基于关于名称的确定；和
确定至少部分地基于关于名称的确定从名称集移除所述名称。
如权利要求21‑27中任一项所述的方法，其中一个或多个操作的至少一个是对应于一个或多个计算空间的一个的分割操作，该方法还包括：
确定从一个计算空间的图提取子图，其中至少部分地基于提取的子图生成额外计算空间；和
确定至少部分地基于额外计算空间的生成更新分割计算空间的名称集，所述名称集相关于所述一个计算空间。
如权利要求28所述的方法，其中用于分割操作的请求至少部分地包括指定的子图，该方法还包括：
至少部分地基于指定的子图确定一个计算空间；和
至少部分地基于分区函数、推导闭包机制、历史保存边界、或其组合确定一个计算空间的计算内容、规则集、或其组合；
其中至少部分地基于计算内容、规则集、或其组合生成额外计算空间。
如权利要求21‑29中任一项所述的方法，还包括：
对于一个或多个操作、一个或多个计算空间、一个或多个图、一个或多个子图、或其组合确定边界节点集；
其中一个或多个操作的应用还至少部分地基于所述边界节点集。
一种装置，包括：
至少一个处理器；以及
包括计算机程序代码的至少一个存储器；
所述至少一个存储器和计算机程序代码被配置为，利用所述至少一个处理器，使得所述装置至少执行以下步骤：
确定接收用于指定在一个或多个计算空间上执行的一个或多个操作的请求，其中所述一个或多个计算空间表示在各自一个或多个计算空间中作为一个或多个图的一个或多个计算处理；
确定检索一个或多个计算空间、一个或多个计算空间中的一个或多个图、一个或多个图的一个或多个子图、或其组合；和
确定在一个或多个计算空间、一个或多个图、一个或多个子图、或其组合上应用一个或多个操作，以更新一个或多个计算空间的至少一个，生成至少一个额外计算空间，或其组合。
如权利要求31所述的装置，其中所述一个或多个操作的至少一个是对应于一个或多个计算空间的第一计算空间和一个或多个计算空间的第二计算空间的合并操作，其中还使得该装置：
确定统一第一计算空间的第一图和第二计算空间的第二图；和
确定至少部分地基于所述统一修改第一计算空间、第二计算空间、额外计算空间、或其组合。
如权利要求32所述的装置，其中还使得该装置：
确定至少部分地基于所述统一在第一计算空间、第二计算空间、额外计算空间、或其组合上应用起源操作、冲突解决操作、或其组合。
如权利要求31‑33中任一项所述的装置，其中所述一个或多个操作的至少一个是对应于一个或多个计算空间中的一个的投影操作，其中还使得该装置：
确定从一个计算空间的图提取子图，其中至少部分地基于提取的子图生成额外计算空间；和
确定至少部分地基于额外计算空间的生成更新投影计算空间的名称集，所述名称集相关于所述一个计算空间。
如权利要求34所述的装置，其中用于投影操作的请求至少部分地包括指定的子图，其中还使得该装置：
至少部分地基于指定的子图确定一个计算空间；和
至少部分地基于分区函数、推导闭包机制、或其组合确定一个计算空间的计算内容、规则集、或其组合；
其中至少部分地基于计算内容、规则集、或其组合生成额外计算空间。
如权利要求31‑35中任一项所述的装置，其中一个或多个操作的至少一个是对应于一个或多个计算空间的第一计算空间和一个或多个计算空间的第二计算空间的添加操作，以及其中一个或多个计算空间的第二个包括来自一个或多个计算空间的第一个的投影内容，其中还使得该装置：
确定至少部分地基于所述投影内容过滤一个或多个计算空间的第一个的图；和
确定至少部分地基于所述过滤将一个或多个计算空间的第一个的图插入至一个或多个计算空间的第二个的图中。
如权利要求36所述的装置，其中还使得该装置：
确定一个或多个计算空间的第一个的名称是否在一个或多个计算空间的第二个的投影计算空间的名称集中，其中一个或多个计算的第一个的图的插入至少部分地基于关于名称的确定；和
确定至少部分地基于关于名称的确定从名称集移除所述名称。
如权利要求31‑37中任一项所述的装置，其中一个或多个操作的至少一个是对应于一个或多个计算空间的一个的分割操作，其中还使得该装置：
确定从一个计算空间的图提取子图，其中至少部分地基于提取的子图生成额外计算空间；和
确定至少部分地基于额外计算空间的生成更新分割计算空间的名称集，所述名称集相关于所述一个计算空间。
如权利要求38所述的装置，其中用于分割操作的请求至少部分地包括指定的子图，其中还使得该装置：
至少部分地基于指定的子图确定一个计算空间；和
至少部分地基于分区函数、推导闭包机制、历史保存边界、或其组合确定一个计算空间的计算内容、规则集、或其组合；
其中至少部分地基于计算内容、规则集、或其组合生成额外计算空间。
如权利要求31‑39中任一项所述的装置，其中还使得该装置：
对于一个或多个操作、一个或多个计算空间、一个或多个图、一个或多个子图、或其组合确定边界节点集；
其中一个或多个操作的应用还至少部分地基于所述边界节点集。
一种计算机可读存储介质，承载一个或多个指令的一个或多个序列，当由一个或多个处理器执行时，使得装置至少执行权利要求1‑10中任一项的方法。
一种装置，包括执行权利要求1‑10中任一项的方法的部件。
如权利要求42所述的装置，其中所述装置是移动电话，还包括：
用户接口电路和用户接口软件，配置为通过使用显示器促使移动电话的至少一些功能的用户控制和配置为响应于用户输入；和
显示器和显示器电路，配置为显示移动电话的用户界面的至少一部分，所述显示器和显示器电路配置为促使移动电话的至少一些功能的用户控制。
一种计算机程序产品，包括一个或多个指令的一个或多个序列，当由一个或多个处理器执行时，使得装置至少执行权利要求1‑10中任一项的方法。
一种方法，包括促使访问至少一个接口，其被配置为允许访问至少一个服务，所述至少一个服务配置为执行权利要求1‑10中任一项的方法。

说明书在计算空间中管理分布计算的方法和装置
背景技术
如今，对于许多人来说，具有各种连接方法的移动设备正在成为到因特网的主要网关，以及用于个人信息的重要存储点。将这些设备与他们的应用以及那些应用存储的信息组合是互连性的一个重要挑战。这可通过多个、个体和个人的信息空间来实现，其中个人、个人的组等可用他们自己本地同意的语义放置、共享、交互、和操作信息的网。
此外，除了信息，信息空间可与共享的和交互的计算或计算空间的网站组合，从而具有到计算空间的连接性的设备可具有在计算空间环境中操纵的信息空间的信息以及向设备交付的结果，而并非在本地由设备执行整个处理。这些组合的信息空间和计算空间通常称为智能空间，是“巨大全局图（Giant Global Graph）”的扩展，其中一个人可在本地水平应用语义和推理。
一个实施例中，信息和计算空间是分别用分布信息嵌入的工作空间以及跨越允许人们通过从计算机或其他设备有效访问信息和计算而工作的计算机、信息装置、处理设备和传感器的计算架构。信息空间或计算空间可通过计算设备物理地呈现为异构网络（有线和无线）。然而，尽管可按不同粒度分布由各个空间呈现的信息和计算，但是在例如Nokia的Mobile的异构环境中仍旧存在实现可扩展的高度上下文信息处理的挑战。一个这样的挑战是实现适配计算平台以提升设备的信息处理能力，由此他与各个外部信息处理器交互。为了克服这个挑战，介绍建立适配计算平台以结合信息处理器提供粒度和反映处理迁移的方案。然而，在计算的数目和复杂度增加时，跟踪各个计算空间之间的组合和/或提取的计算的挑战也增加。
发明内容
因此，需要一种方法，按计算空间的水平提供分布计算的操纵的操作，同时保持计算空间上的操作的历史以及在信息空间中包含的语义协议或规则。
根据一个实施例，一种方法，包括：确定接收用于指定在一个或多个计算空间上执行的一个或多个操作的请求，其中所述一个或多个计算空间表示在各自一个或多个计算空间中作为一个或多个图的一个或多个计算处理。该方法还包括：确定检索一个或多个计算空间、一个或多个计算空间中的一个或多个图、一个或多个图的一个或多个子图、或其组合。该方法还包括：确定在一个或多个计算空间、一个或多个图、一个或多个子图、或其组合上应用一个或多个操作，以更新一个或多个计算空间的至少一个，生成至少一个额外计算空间，或其组合。
根据另一实施例，一种装置，包括：至少一个处理器；以及包括计算机程序代码的至少一个存储器；所述至少一个存储器和计算机程序代码被配置为，利用所述至少一个处理器，使得所述装置：确定接收用于指定在一个或多个计算空间上执行的一个或多个操作的请求，其中所述一个或多个计算空间表示在各自一个或多个计算空间中作为一个或多个图的一个或多个计算处理。还使得所述装置：确定检索一个或多个计算空间、一个或多个计算空间中的一个或多个图、一个或多个图的一个或多个子图、或其组合。还使得所述装置：确定在一个或多个计算空间、一个或多个图、一个或多个子图、或其组合上应用一个或多个操作，以更新一个或多个计算空间的至少一个，生成至少一个额外计算空间，或其组合。
根据另一实施例，一种计算机可读存储介质，承载一个或多个指令的一个或多个序列，当由一个或多个处理器执行时，使得装置：确定接收用于指定在一个或多个计算空间上执行的一个或多个操作的请求，其中所述一个或多个计算空间表示在各自一个或多个计算空间中作为一个或多个图的一个或多个计算处理。还使得所述装置：确定检索一个或多个计算空间、一个或多个计算空间中的一个或多个图、一个或多个图的一个或多个子图、或其组合。还使得所述装置：确定在一个或多个计算空间、一个或多个图、一个或多个子图、或其组合上应用一个或多个操作，以更新一个或多个计算空间的至少一个，生成至少一个额外计算空间，或其组合。
根据另一实施例，一种装置，包括：确定接收用于指定在一个或多个计算空间上执行的一个或多个操作的请求的部件，其中所述一个或多个计算空间表示在各自一个或多个计算空间中作为一个或多个图的一个或多个计算处理。所述装置还包括：确定检索一个或多个计算空间、一个或多个计算空间中的一个或多个图、一个或多个图的一个或多个子图、或其组合的部件。所述装置还包括：确定在一个或多个计算空间、一个或多个图、一个或多个子图、或其组合上应用一个或多个操作，以更新一个或多个计算空间的至少一个，生成至少一个额外计算空间，或其组合的部件。
简单地，通过示出包括用于执行本发明的最佳实施方式的多个特定实施例和方案，可从以下具体描述，使得本发明的其他方面、特征、和优点容易变得清楚。本发明还能够用其他和不同实施例，并且可在各个明显方面修改其若干细节，而不脱离本发明的精神和范围。由此，可将附图和说明书看作示例型，并非限制性。
附图说明
在附图中，通过实例而并非限制，示出本发明的实施例：
图1是根据一个实施例的能够提供分布计算的操纵的操作的系统的视图；
图2是根据一个实施例的计算闭包管理架构的组件的视图；
图3是根据一个实施例的提供分布计算的操纵的操作的处理的流程图；
图4A‑4B是根据一个实施例的在设备之间循环的计算闭包的视图；
图5是根据一个实施例的构建分布计算的处理的流程图；
图6A‑6C是根据各个实施例的计算分布的视图；
图7是根据一个实施例的用户设备集的视图；
图8是根据一个实施例的处理迁移的视图；
图9是根据一个实施例的从一个设备向另一设备的处理迁移的视图；
图10是根据一个实施例的提供分布计算的系统的层之间的排列的视图；
图11A是根据一个实施例的在计算空间上应用分割操作的处理的流程图；
图11B是根据一个实施例的在计算空间上应用合并操作的处理的流程图；
图12是根据一个实施例的定义计算空间的边界的处理的流程图；
图13A是根据一个实施例的考虑边界和历史信息在计算空间上应用分割操作的处理的流程图；
图13B是根据一个实施例的考虑边界和历史信息在计算空间上应用合并操作的处理的流程图；
图14A‑14B分别是根据一个实施例的在计算空间上应用投影操作的处理的流程图和视图；
图15是根据一个实施例的使用等式在计算空间上应用投影操作的处理的流程图；
图16A‑16B分别是根据一个实施例的在计算空间上应用添加操作的处理的流程图和视图；
图17是根据一个实施例的使用公式在计算空间上应用添加操作的处理的流程图；
图18A‑18D分别是根据各个实施例的在计算空间上应用分割、合并、投影和添加操作的示例性用例的视图；
图19是可用于实施本发明实施例的硬件的视图；
图20是可用于实施本发明实施例的芯片集的视图；和
图21是可用于实施本发明实施例的移动终端（例如手机）的视图。
具体实施方式
公开了提供分布计算的操纵的操作的方法、装置、和计算机程序的实例。在以下描述中，为了说明的目的，阐述了多个具体细节，以提供本发明实施例的全面理解。然而，本领域技术人员清楚，本发明的实施例可以在没有这些具体细节或具有等同部署的情况下实现。其他实例中，以框图形式示出公知结构和设备，以避免不必要地掩盖本发明的实施例。
这里，术语“信息空间”指的是来自不同源的聚集信息集。这样的多个来源非常灵活，因为他考虑和依赖相同信息可来自不同源的观测。例如，相同信息（例如特定联系人的联系人信息）可出现在来自多个源的相同信息空间中（例如本地存储的联系人数据库、公共目录、工作联系人数据库等）。一个实施例中，信息空间或智能空间中的信息通过使用如下内容来表示：语义网标准（例如资源描述框架（RDF））、RDF方案（RDFS）、OWL（网络实体语言）、FOAF（朋友的朋友实体）、RuleML（规则标记语言）中的规则集等。此外，这里，RDF指的是网际网络联盟（W3C）规范的族，其初始被设计为元数据的数据模型。其已经用作概念性描述或在网络资源中实现的信息的建模的一般性方法；使用各种句法格式。
这里，术语“反映计算”指的是系统自身推理或行动的能力。反映系统是提供适合于检查和适配的其自身行为的表示的系统。反映能够在运行时进行系统的检查和适配。检查允许系统的当前状态被观察，而适配允许系统的行为在运行时被更改为更好。尽管关于反映计算描述了各个实施例，但是可理解这里描述的方法可通过其他计算系统和架构来使用。
这里，术语“粒度处理”指的是将特定计算处理进行如何精细地细分（例如，可用于执行处理的任务或功能的代码的最小单元）。通过实例，处理的粒度（例如，最小等级的粒度、不同级别的粒度等）可由处理的开发者来定义，或者可由系统100来动态确定。
这里，术语“计算闭包”识别特定计算过程以及各个处理之间的关系和通信，包括传递参数、共享处理结果、数据和处理结果的流等。计算闭包（例如指令、数据、和/或相关执行上下文或状态的粒度反映集）提供对处理进行切片并在设备、架构和信息空间之间发送计算切片的能力。
这里，术语“计算空间”指的是来自不同源的计算闭包的会聚集。一个实施例中，计算空间中的计算使用如下内容来表示：语义网标准（例如资源描述框架（RDF））、RDF方案（RDFS）、OWL（网络实体语言）、FOAF（朋友的朋友实体）、RuleML（规则标记语言）中的规则集等。一个实施例中，包括会聚计算闭包的信息空间也已知为计算空间。
这里，术语“智能空间”指的是一个或多个信息空间和一个或多个计算空间的组合，其中计算空间包括关于信息空间中的信息操作的计算闭包。尽管参照信息空间和RDF描述各个实施例，但是可理解，这里所述的方法可通过用于建立信息和计算的模型的其他结构和概念性描述方法来使用。
图1是根据一个实施例的能够提供分布计算的操纵的操作的系统的视图。如先前所述，智能空间包括信息和计算空间，其每个包括若干分布式设备，他们经由共享存储器传送信息和计算闭包（例如RDF图）。信息空间环境中的设备可在其自身存储器空间中本地存储计算闭包，或在智能空间中的全局可访问环境上发布计算闭包。在第一情况下，设备负责计算的组合或提取所需的任何处理，而在第二情况下，可由全局可访问环境进行处理。然而，许多情况下，计算闭包可组织为可包括许多计算元素（例如商品库存操作、联系人列表管理相关的初级计算闭包等）的列表或集。
信息空间技术的基本概念包括为智能空间的范围内的各个设备提供到分布式信息的访问，这样计算的分布特征对用户隐藏，并且对用户呈现为好像所有计算在相同设备上执行。计算空间还通过在工作设备、家庭设备、或便携式设备之间传送计算而使得用户对计算分布具有控制。例如，用户想要在工作设备、家庭设备、和便携式设备之间传送计算。目前的技术使得移动设备的用户能够经由他们的用户设备的用户接口的元素来操作上下文（例如数据和信息）。然而，通常用户不具有与计算环境中的数据和信息相关或作用于其上的计算和处理的分布的控制。换句话说，计算空间通常不向用户（例如计算空间上分布的信息或计算闭包的集合的所有者）提供控制例如作用于该信息的应用的相关计算和处理的分布的能力。例如，处理在一个或多个信息或计算空间中分布的联系人信息的联系人管理应用通常在单独设备上执行（例如，通过还在相同设备上执行的应用的全部处理和计算）以关于分布信息进行操作。一些情况下（例如，当计算复杂，数据集较大等时），提供除了信息空间还分布相关计算的部件是有利的。
这个目的通过引入构建、分布、和会聚计算以及他们的相关数据来实现。更具体地，为了使得智能空间的用户（其经由一个或多个用户设备连接至智能空间）在访问信息空间的一个或多个用户设备或其他设备之间分布计算，将每个计算拆解成其基础的或原始的处理或计算闭包。这里，计算闭包指的是各个计算之间的计算过程以及关系和通信，包括传递参数、共享处理结果、数据和处理结果的流等。一旦将计算分成其原始计算闭包，在每个闭包中或由其表示的处理可按分布方式执行，并且将处理的结果收集和会聚成初始总体计算的执行的结果中。
一个实施例中，计算的每个高上下文集可表示成处理的封闭集（例如敏感闭包），从而可单独地（例如通过分布处理设备）执行闭包。可遍历敏感闭包，以呈现对每个特定执行上下文附加的粒度反映处理。计算空间环境的机制提供了分布推导闭包，作为预计算的、计算闭包的可循环集，其可在各个设备和架构之间分布或通过存储在与智能空间相关的信息空间涉及的任意存储位置上而在一个或多个智能空间的用户之间共享。
另一实施例中，遍及为未来使用可访问的计算空间，在一个或多个库中可实现所提供的分布计算。这个实施例中，智能空间可在库中搜索先前生成的单机计算，然后尝试生成他们。这个机制提供了可被提取和组合在为了提供各个服务而利用的集中的可循环计算。然而，为了有效和精确的使用分布计算，需要组合（合并）来自不同源的分布计算和计算空间。此外，由于例如安全性问题、改变协议等的若干原因，对于计算空间可能必需分成两个或更多个更小空间。分割一个计算空间的处理可能是易失性的，意味着因为在计算之间的一些链接可能丢失，所有分割后的空间再次在一起则无法生成原始空间。通常，没有严格的顺序来证明“分割‑合并”或“合并‑分割”过程。该处理涉及高易失性，由此分割后的空间可被合并以及固定的空间（早前合并的）可不损坏初始内容地被分割。
此外，计算空间中，用户请求的计算可在若干库上分布，因此为了推导计算的子集，需要从不同源向新计算空间中提取（例如投影（projecting））或组合（例如添加（injecting））计算。在许多场合，跟踪提取现有计算空间的部分的处理，而跟踪提取（例如投影）可代替简单地分割或不保持与提取相关的计算来使用。换句话说，投影的处理保持存储器（例如，提取什么计算的日志以及向哪里发送计算），而分割的操作不保持这样的存储器。此外，计算的许多应用可涉及向原始计算空间返回计算空间的提取部分的计算内容（添加）。为了能够计算的返回，通过计算空间之间计算的传播将计算保持最新的问题是重要的。
如图1所示，系统100包括：用户设备UE 107a‑107i的一个或多个集101a‑101n，其每个具有经由通信网络105到计算闭包管理架构103的连接。通过实例，系统100的通信网络105可包括一个或多个网络，例如数据网络（未示出）、无线网络（未示出）、电话网络（未示出）、或其任意组合。可设想，数据网络可以是任意局域网（LAN）、城域网（MAN）、广域网（WAN）、公共数据位（例如因特网）、短距离无线网、或任意其他适合的分组交换网络，例如商业所有、专用分组交换网，例如专属电缆或光纤网络。此外，无线网络可以是例如蜂窝网络，以及可采用各种技术，包括用于全球演进的高级数据率（EDGE）、通用分组无线业务（GPRS）、全球移动通信系统（GSM）、因特网协议多媒体子系统（IMS）、通用移动电信系统（UMTS）等、以及任意其他适合无线介质，例如微波接入（WiMAX）、长期演进（LTE）网络、码分多址（CDMA）、无线保真（WiFi）、卫星、移动自组织网络（MANET）等、或其任意组合。
UE 107a‑107i是任意类型的移动终端、固定终端、或便携式终端，包括移动手机、站、单元、设备、多媒体计算机、多媒体平板、因特网节点、通信器、桌面型计算机、膝上型计算机、笔记本计算机、网络本计算机、平板计算机、个人数字助理（PDA）、音频/视频播放器、数码相机/摄录像机、定位设备、电视接收机、无线电广播接收机、电子书设备、游戏设备、或其任意组合，包括这些设备的附属和外围设备、或其任意组合。还可假设，UE 107a‑107i可支持对用户的任意类型的接口（例如“可佩戴”电路等）。
一个实施例中，UE 107a‑107i分别配备有一个或多个用户接口（UI）109a‑109i。每个UI 109a‑109i可在任意时刻包括若干UI元素（未示出），取决于正在使用的服务。UI元素可以是表示用户上下文的图标，例如信息（如音乐信息、联系人信息、视频信息等）、功能（如设置、搜索等）和/或处理（如下载、播放、编辑、保存等）。此外，每个UI元素可通过粒度迁移绑定至上下文/处理。一个实施例中，粒度迁移使得处理能够在设备、计算空间、和其他架构之间隐含地或显式地迁移。处理迁移可通过例如单播（例如仅到另一UE 107）或多播（例如到多个其他UE 107）来启动。此外，处理迁移可经由手势识别来触发，其中用户预先选择UI元素的特定集并做出手势以模仿将所选UI元素从一个设备“倾倒”至另一设备。
如图1所示，UE 107a‑107i的用户可拥有、使用或具有在计算空间111a‑111i和信息空间115a‑115j的智能空间113a上分布的各条信息，其中一个或多个计算空间111a‑111i的每个包括一个或多个计算闭包。用户可经由集101a（包括UE 107a‑107i）来访问信息，其中每个107a‑107i配备有一个或多个用户接口（UI）109a‑109i。此外，每个107a‑107i可访问用于操作信息空间115a‑115j中存储的信息并生成UE的用户所请求的结果的处理119a‑119k的执行上下文117a。
一个实施例中，计算闭包管理架构103包括关于对每个UE 107a‑107i的执行117a和处理119a‑119k的信息。该信息可包括例如输入参数、输入类型和格式、输出类型和格式、处理结构、数据流、在处理119a‑119k之间传送的通信部件和参数等的信息。
计算信息能够使得UE 107a‑107i将计算分成他们的主要计算闭包，其中每个计算闭包可独立于属于相同计算的其他计算闭包来执行。例如，涉及音乐下载的计算可被划分成寻找最适合下载站点的搜索处理、确定用户是否有资格从该站点下载的验证处理、验证要下载文件的足够资源（例如存储空间）的初始化处理、验证音乐文件的类型和相关播放环境的处理、确定在UE 107上播放器是否可用的处理、在下载完成之后激活播放器的处理等。一个实施例中，这些处理或从处理119a‑119k导出的计算闭包可存储在计算空间111a‑111i中并彼此独立执行。在独立处理的执行之后，可交换从执行得到的数据和参数，以能够会聚结果并对智能空间环境中可用的音乐应用进行操作。此外，将音乐相关的计算到独立处理的划分可基于例如UE的特征、下载站点的限制、音乐文件类型、播放器类型和需求等的因素而不同。一个实施例中，计算到他们的主要处理或计算闭包的划分通过计算闭包管理架构103来管理。此外，将计算闭包序列化成例如信息语义，例如RDF三元组，然后经由计算空间存储。
通过实例，集101a‑101n的UE 107a‑107i、计算闭包管理架构103、和智能空间113a‑113n使用已知、新或仍旧开发中的协议来彼此以及与通信网络105的其他组件通信。这个上下文中，协议包括定义通信网络105中的网络节点如何基于通信链路上发送的信息彼此交互的一组规则集。协议在每个节点中的不同操作层是有效的，从生成和接收各种类型的物理信号，到选择用于传输这些信号的链路，到由那些信号指示的信息的格式，到识别在计算机系统上执行的哪些软件应用发送或接收信息。在开放系统互连（OSI）参考模型中描述了用于在网络上交换信息的概念上协议的不同层。
网络节点之间的通信典型地受到交换数据的离散分组的影响。每个分组典型地包括（1）与特定协议相关的头部信息；和（2）有效载荷信息，在头部信息之后并包含可独立于该特定协议处理的信息。在一些协议中，分组包括（3）尾部信息，在有效载荷之后并指示有效载荷信息的结尾。头部包括例如分组的来源、其目的地、有效载荷的长度、和协议使用的其他属性的信息。通常，对于特定协议的有效载荷中的数据包括对于与不同的、高层的OSI基准模型相关的不同协议的头部和有效载荷。对于特定协议的头部典型地指示其有效载荷中包含的下一协议的类型。更高层协议被认为在低层协议中封装。在遍历多个异构网络（例如因特网）的分组中包括的头部典型地包括OSI基准模型定义的物理（层1）头部、数据链路（层2）头部、网络间（层3）头部和传输（层4）头部、和各个应用头部（层5、层6和层7）。
图2是根据一个实施例的计算闭包管理架构的组件的视图。通过实例，计算闭包管理架构包括分布计算的构建、会聚和操纵的一个或多个组件。假设，这些组件的功能可组合在一个或多个组件中或通过等同功能的其他组件来执行。这个实施例中，计算闭包管理架构包括：分布计算构建器201、合并模块203、分割模块205、投影模块207、和添加模块209、和存储器211。
分布计算构建器201接收对于计算分布的请求。一个实施例中，该请求由UE 107基于用户手势来生成，例如将UI 109的图标推向另一UE 107，表示用户想要与图标相关的处理在其他UE 107上执行。另一实施例中，计算分布的请求可通过与UE 107链接的信息空间的组件、通过经由通信网络105具有到UE 107和信息空间的链接的独立组件、或其组合来生成。
用于计算分布的请求可包括关于要进行分布的计算的信息，包括输入、输出、处理需求等。该请求还可包括关于计算的起源和目的地的信息。例如，用户想要将与编码视频文件相关的计算从一个格式向另一格式分布（典型地，高度处理器和资源密集任务）。这个实例中，视频文件存储在用户的信息空间115a‑115j中或在通信网络105上可用（例如在因特网上从来源处下载），因此可从UE 107访问。由此，用户可做出手动请求，以分布对一个或多个其他设备、后台服务器、云计算组件、和/或能够执行编码功能的至少一部分的任意其他组件编码的视频相关的计算。通过实例，可经由图形用户界面通过将计算的图标或其他图示拖拽至用户界面中示出的命令区域来做出手动请求。这些命令区域，例如，可表示可支持或执行分布计算的其他UE 107或设备的物理或虚拟位置。其他情况下，可通过系统100基于一个或多个标准经过请求生成器（未示出）并结合计算闭包管理架构103来启动分布。
一个实施例中，在接收计算分布请求之后，分布计算构建器201提取和分析关于计算的信息，并确定在计算中涉及的执行组件。对于以上实例，执行上下文可包括视频播放、音频播放等和相关设置、参数、存储器状态等。识别的执行上下文可存储在存储器211、与智能空间113a‑113n相关的存储空间中、由分布计算构建器201直接使用、或其组合。
另一实施例中，分布计算构建器201将每个执行上下文分成其原始或基础建立块（例如原始计算闭包或闭包原体）或整个执行上下文的子处理。例如，视频播放执行可分解成支持例如搜索可用播放器的任务、用找到的播放器检查视频文件的兼容性、选择播放器、激活所选播放器等计算或处理。每个分解后的子处理可具有实施计算空间111中的处理的执行（例如输入和输出介质和类型）、如何向其他处理传递参数或结果、运行时环境等的某些规范和需求。为了按单机方式不作为更大处理的一部分地执行处理，可对于该处理生成计算闭包。计算闭包包括可对于随后会聚独立执行的处理以及与该处理相关的规范和需求。
一个实施例中，分布计算构建器201为提取的子处理生成计算闭包，并将闭包存储在计算空间111a‑111i。存储的闭包可通过使用分布信息空间115a‑115j上存储的数据用来将计算切片成更小的独立处理以供各个可用UE 107a‑107i执行。
另一实施例中，分布计算构建器201利用定义的闭包，并生成序列化的计算元素。
一个实施例中，可使用资源描述框架（RDF）格式来生成和存储闭包序列。RDF是网际网络联盟（W3C）规范的族，其初始被设计为元数据的数据模型。其已经用作概念性描述或在网络资源中实现的信息的建模的一般性方法；使用各种句法格式。RDF中任意表述的基础结构是三元组的集合，其每个包括节点的3个不相交集，含有主语、谓语、和宾语。主语是RDF URI参考（U）或空白节点（B），谓语是RDF URI参考（U），而宾语是RDF URI参考（U）、文字（L）或空白节点（B）。这样的三元组的集称为RDF图。表1示出实例的RDF图结构。
主语谓语宾语
uri://....../rule#CD‑introduction,rdf：type,uri://…………/Ruleuri://....../rule#CD‑introduction,uri://....../rule/#assumption,“c”
表1
粒度可通过特定计算环境中操作的基础格式（例如RDF）来实现。此外，可通过用RDF格式编码计算的行为来实现处理的反映（即处理的提供他们自身的行为的表示以用于检查和/或改编的能力）。此外，可假设上下文在信息空间中被部分地确定和存储为RDF，并部分地从执行环境提取。注意，RDF结构可在信息空间的语义信息代理（SIB）中看作子图、RDF分子（即RDF图的建立块）或命名图。
某些实施例中，序列化与某些执行上下文相关的闭包使得闭包能够通过一个或多个用户智能空间113a‑113n经由通信网络105在多个UE 107和/或包括与UE 107相关的远程处理器的设备之间或在一个或多个UE 107和计算空间111a‑111i之间自由分布。向运行时环境分配和迁移闭包的处理可基于例如对于每个处理所需的处理功率、系统负载、可用运行时环境的能力等因素自动执行。在每个计算闭包迁移至其指定的运行时环境之后，运行时环境可通过称为代理的组件关于闭包的接收来与计算闭包管理架构103通信。在从代理接收通信时，分布计算构建器201验证闭包的一致性，如以上说明他们是RDF图格式。一致性验证确保对于每个闭包的计算闭包内容为精确，包含用于执行的所有必要信息，数据和指令的流根据原始计算是正确的并在序列化和迁移处理中没有被损坏。如果闭包经过一致性检查或被批准，分布计算构建器201基于计算闭包的内容重建执行上下文的每个组件。一旦重建执行上下文，运行时环境的代理可继续首先作为RDF格式的计算闭包被接收的执行上下文组件的执行。一个实施例中，执行的继续可组合在执行上下文的至少一部分的其他执行的一个或多个其他结果中。
通信网络105可具有到一个或多个执行上下文117a‑117n的连接，其可物理地彼此处于远距离位置，但是可由用户设备101a通过通信网络105来访问。每个用户可具有基于用户需求的一个或多个执行集117a‑117n。一个实施例中，分布计算构建器201为每个用户生成执行上下文的计算闭包。生成的计算闭包通过计算闭包管理架构103存储在用户特定计算空间111a‑111i中。计算空间111a‑111i在计算闭包管理架构103的监控下管理和维护。
根据一个实施例，计算空间S定义为包含唯一名称n、计算的图I（通常，指的是计算空间的内容，名义上符合例如资源描述框架（RDF）语义）、和在该计算上的重写规则集ρ的3元组：
S→(n，I，ρ)
作为速记标志，Sn用于表示计算空间名称，而类似地In和ρn分别表示计算内容和计算空间n的规则。假设，每个计算空间具有唯一名称并且存在一组已知计算空间。
一个实施例中，可使用例如语义网标准（例如资源描述框架（RDF））、RDF方案（RDFS）、OWL（网络实体语言）、FOAF（朋友的朋友实体）、RuleML（规则标记语言）中的规则集等来表示计算空间。
假设存在插入或从计算空间移除计算的操作。这些操作的基础形式定义如下：
insert(n，g)→(n，I∪g，ρ)（A）
femove(n，g)→(n，I‑g，ρ)（B）
其中g是计算的图。
Sn的推导闭包定义为Δn，其中Δ是推导闭包机制。在集理论中，对象集O被认为展示闭包或在给定操作R下闭合，假设对于每个对象x，如果x是O的成员并且x对任意对象y是R相关，然后y是O的成员。
经由查询q做出计算空间的查询，并且返回的结果是在符合q的推导比下空间计算图I的子图。在计算空间上的所有查询实际在推导闭包Δ上而并非在基础计算内容I。在计算空间n上的查询q返回符合q的子图。
query(n，q)→Δn|＝q
可在一起构成给定操作，以形成例如“更新”的更复杂操作。计算空间中计算的更新可表示为移除和插入的组合。然而，如果插入的子图和移除的子图的交集不为空，应用插入和移除的顺序将影响操作结果。例如，给定包含单元素{a}的图，插入图{b}和然后立即移除图{b}的操作作为原子操作得到图{a}，其中如果将插入和移除的顺序反向，则获得图{a b}。因此，如下定义的更新操作返回有效结果，只要插入的和删除的子图的交集为空：

如图1所示，每个用户具有一个或多个计算空间111a‑111i，其存储从执行上下文117a‑117n由计算闭包管理架构103通过用分布计算构建器201进行本地或全局推理而推导出的计算。
一个实施例中，分割模块205管理和进行将用户的当前计算空间分成和重配置成更小计算空间的处理。这个处理可按各种方式执行，例如移除所有计算和建立多个个体的更小或甚至空的计算空间或做出当前计算空间的完整副本。合并模块203管理和进行将个体计算空间绑定在一起以建立更大计算空间的处理。计算的这些个体主体可按他们的内容重叠。用户设备可同时与许多离散计算空间交互。这个情况下，给定计算空间可用的总计算是在计算的所有个体主体上计算闭包的联合。投影模块207管理和进行将计算空间投影和分区的处理，这类似于分割，区别在于他跟踪投影的计算空间。添加模块209管理和进行向其原始计算空间返回投影计算空间的内容的处理。
一个实施例中，在存储器211中存储元数据（关于其他数据的数据），例如描述计算空间的数据、用户的查询等。计算闭包管理架构103使用这个数据，用于处理计算空间。
图3是根据一个实施例的提供分布计算的操纵的操作的处理的流程图。一个实施例中，计算闭包管理架构103执行处理300，并实现在例如包括图20所示的处理器和存储器的芯片集中。在步骤301，计算闭包管理架构103接收用于指定在一个或多个计算空间上执行的一个或多个操作的请求。该请求可由分布计算构建器201响应于来自UE 107a‑107n的对于要执行的一个或多个用户执行上下文117a‑117n的请求来内部生成。如图2所述，分布计算构建器201可拆解所述执行并定义对于每个用户执行上下文117a‑117m的执行所需的计算闭包。一个实施例中，代替生成计算闭包，分布计算构建器201可参考一个或多个计算空间111a‑111i并提取先前生成的计算闭包，并使用他们实施用户执行。为了分布计算构建器201能够操纵计算空间并为执行上下文提取一个或多个适当计算闭包，需要定义计算空间上的操纵。例如分割、合并、投影和添加的操作操纵着表示计算闭包的RDF图。在接收来自分布计算构建器201的用于一个或多个操作的请求时，在步骤303，计算闭包管理架构103检索需要在上面执行操作的计算空间111a‑111i。在步骤305，计算闭包管理架构103通过激活与所请求的操作相关的模块分割205、合并203、投影207或添加209之一来启动所请求的操作。操作结果可存储在存储器211、计算空间111a‑111i或其组合。
图4A‑4B是根据一个实施例的在设备之间循环的计算闭包的视图。一个实施例中，在图4A，后台环境401可以是在用户的智能空间113a‑113n中或在用户相关的一个UE 107上的虚拟运行时环境。后台环境401可包括一个或多个后台设备403和一个或多个应用编程接口（API），例如便利API 407，其可包括针对使用的软件开发环境（例如JAVA、PHP等）制作的API。每个API能够在后台环境401中的设备和组件之间交互。例如，后台API 409能够在后台设备403和代理5之间交互，并且便利API 407能够在后台设备403和作为代理的代理3和代理4之间交互，其中每个代理是处理后台环境401中的计算闭包的处理集。在图4的实例中可见，代理3在PHP下工作，而代理4是JAVA处理。UE 107a和107b的每个具有作为计算空间111的一部分的计算闭包环境413a和413b。箭头415a‑415e代表在环境413a、413b和计算闭包库413c之间计算闭包的分布。计算闭包库413c是计算闭包的存储库，可由具有到后台环境401的连接的所有UE访问和使用。
一个实施例中，后台设备403可配备有闭包循环和排列组件411，其监视和管理对计算闭包库413的任何访问。其他实施例中，闭包循环和排列（即为了统一使用的标准化）可以是计算闭包管理架构103的功能。
一个实施例中，在环境413a、413b和计算闭包库413c中的计算闭包可基于匿名功能对象来构成，以及可通过编译系统使用生成例如拉姆达（lambda）表达式的匿名函数对象的方法自动建立。
图4B是如图4A介绍的计算闭包环境413的放大图。计算闭包环境413可包括一个或多个计算闭包生成组件。一个实施例中，计算闭包环境413具有为UE 107的用户提供各个服务的服务架构423。服务可包括可在UE 107上执行的任意应用，例如游戏、音乐、文本消息、语音呼叫等。一个实施例中，服务架构423在如图1讨论的计算闭包管理架构103的监管下为基于闭包的粒度反映处理提供支持。代理1从计算闭包库421提取服务架构423所需的计算闭包，并由服务架构423将新生成的计算闭包存储在计算闭包库421中用于循环目的，如箭头441。
另一实施例中，计算闭包环境413具有开发者体验模块427，为开发者提供用于操纵UE 107提供的服务的各种工具。工具可包括标准化的和/或抽象的数据类型和服务，允许开发者将处理跨开发平台而串连起来。一个实施例中，开发者体验模块427在如图1讨论的计算闭包管理架构103的监控下为抽象数据类型和服务提供交叉平台支持。代理2从计算闭包库421提取开发者体验模块427所需的计算闭包，并由开发者体验模块427将新生成的计算闭包存储在计算闭包库421中用于循环目的，如箭头443。
另一实施例中，计算闭包环境413具有可扩展计算模块431，为执行上下文117提供抽象封包（即单封包）。这个抽象提供了执行上下文117和UE 107之间的计算兼容性。抽象封包可为执行上下文117相关的各个处理提供调度、存储器管理、系统调用和其他服务。这些服务在如图1讨论的计算闭包管理架构103的监控下提供。代理3从计算闭包库421提取可扩展计算模块431所需的计算闭包，并由可扩展计算模块431将新生成的计算闭包存储在计算闭包库421中用于循环目的，如箭头445。一个实施例中，后台环境401可访问计算闭包库421并在计算闭包库421和后台计算闭包库413c之间交换一个或多个计算机闭包447。
图5是根据一个实施例的构建分布计算的处理的流程图。一个实施例中，分布计算构建器201执行处理500，并实现在例如包括图20所示的处理器和存储器的芯片集中。
一个实施例中，如步骤501，分布计算构建器201识别用户上下文。这里的用户上下文指的是用户在一个或多个UE 107上进行的动作的类型。用户上下文可以是收听音乐、讲电话、文本消息、玩游戏、用应用工作等。在步骤503，分布计算构建器201确定与用户上下文相关的执行和处理的集合。依据用户上下文的类型，可实施各个处理和执行。例如，玩游戏可包括例如音频/视觉呈现、搜索等的处理。在步骤505，分布计算构建器201将执行上下文拆分成可独立执行的更小处理，并且他们的组合可重建原始执行上下文。分布计算构建器201接收拆解后的处理，并生成每个处理的计算闭包等同物。每个闭包是可与其他闭包单独执行的单机处理。在计算闭包的定义之后，分布计算构建器201根据信息语义格式将闭包序列化。通过实例，序列化处理可包括例如输入、输出、参数交换、为了处理的适当执行所需的硬件需求的因素的识别。所述因素可链接、附加、或分配给闭包，以进一步用于执行。序列化的闭包准备用于向期望的运行时环境迁移。一个实施例中，序列化处理也可建立表示计算闭包的图结构（例如RDF图）。
注意，处理500的步骤可通过位于分布计算构建器201内部，或位于分布计算构建器201外部并且具有到分布计算构建器201的连接（经由通信网络105或经由计算闭包管理架构103或其组合）的组件或模块来执行。
图6A‑6C是根据各个实施例的计算分布的视图。图6A示出作为原始闭包的组合的处理。处理600包括闭包原体601a‑601d。闭包原体601a‑601d通过组合器603a‑603d彼此组合在处理600中。对象605代表执行需求，其包括由603a‑603d组合的闭包601a‑601d的执行得到处理600的处理状态。
图6B示出处理600的拆解。在拆解期间，闭包601a‑601d、组合器603a‑603d（仅示出603a）和处理状态605作为独立组件迁移至例如处理600相关的智能空间113中包含的虚拟运行时环境607。来自运行时环境607的独立闭包601a‑601d可分布在可执行他们的不同运行时环境609、611和613中。在图6B可见，闭包601d和处理状态605已经被分布至运行时环境609，闭包601c已经被分布至处理状615已经存在的运行时环境611。在处理状态615下环境611中的闭包601c的执行可导致精确的结果，只要处理状态615包括处理状态605。关于处理状态615是否可看作处理状态605的等同物的验证通过分布计算构建器201或分布计算构建器201相关的组件（未示出）来确定。此外，闭包601b已经被分布至处理状态不存在的运行时环境613。类似地，这个情况下，分布计算构建器201或分布计算构建器201相关的组件可检查和验证正确的闭包分布。
注意，计算闭包的单机属性示出了闭包是可传递的，意味着来自闭包的一个或多个处理的执行结果也是闭包的成员。
图6C示出将图6C中分布的独立闭包会聚在处理600的结果600r。在图6C可见，在虚拟运行时环境609中，闭包601d与处理状态605组合，并生成结果闭包601dr。类似地，在虚拟运行时环境611中，闭包601c与处理状态615组合，并生成结果闭包601cr。在环境613中，闭包601b可利用该环境中的现有处理状态来变形，并且结果为闭包601br。闭包601a（来自图6B）已经在运行时环境607中与处理状态605组合，并生成了结果601ar。得到的闭包发送回运行时环境607，其中分布计算构建器201或分布计算构建器201相关的组件（未示出）将所有得到的闭包会聚在处理600r中，以重建处理600的等同物。得到的处理600r可通过另一UE或通过与初始UE的用户相关的任意其他处理器（其中启动处理600）经过智能空间113来执行。
图7是根据一个实施例的用户设备集的视图。在图7可见，用户设备集101a包括UE 107a和107b以及另一设备700（这可以不是用户设备，但为用户的智能空间113a的一部分）。设备700可以是例如服务器环境的一部分。用户可拥有在设备107a、107b和700之间分布的智能空间集113a。智能空间集113a包括UE 107a中的语义信息代理（SIB）、设备700中的SIB 707和UE 107b中的SIB 713。此外，集113a中的每个智能空间具有UE 107a中的知识处理器（KP）705和UE 107b中的KP 711。此外，信息空间可利用在信息空间中包含的设备的存储组件703、709和715。信息空间集115a‑115j的SIB可彼此通信（如虚线所示）。假设UE 107a和107b位于彼此密切邻近（例如在办公室内），用户可期望将UE之一上启动的处理发送至另一方。例如，用户可在UE 107a上开始播放在线视频，并意识到UE 107a不具有下载和播放视频的足够处理能力或存储空间。用户可抓取UE 107a的UI上表示视频的元素并将其推向UE 107b。用户手势可在计算闭包管理架构103的监管下激活从UE 107a向UE 107b的迁移处理，结果，在UE 107b上下载和播放该视频，同时用户能够为了其他目的而利用UE 107a（例如，发出电话呼叫、文本消息等）。在计算闭包管理架构103的监管下，由分布计算构建器201执行子处理的拆解和会聚，以及由KP 711执行迁移的处理的执行。在完成执行之后，计算闭包管理架构103可将UE 107a的上下文更新为好像由UE 107a播放该视频的状态。此外，UE 107b的上下文可被重设为处理迁移之前的状态，意味着可继续为了迁移的处理的执行而停止的处理。
图8是根据一个实施例的处理迁移的视图。典型地，在信息处理生命周期期间，由信息空间115a的SIB 701存储基于子图用RDF形式表示的一个或多个执行上下文。用户上下文和执行上下文可源自由知识处理器KP809a‑809n对应用的程序代码的执行，并存储在SIB 701利用的UE 107a的存储器703中。如果UE 107a的KP 809a‑809n检测到UE 107b正在尝试在通信介质上与UE 107a通信，则UE 107a可在通信介质中的通信连接上与UE 107b共享用户和执行上下文，用于UE 107b中KP 811a‑811n对应用的继续或增强执行。在UE 107b上处理的完成之后，UE 107a可从SIB701接收指示与UE 107b的（例如固定无线）通信连接关闭的警报。这个情况下，UE 107a可在通信连接上从UE 107b接收更新的用户和执行上下文，从而UE 107a可在KP 809a‑809n上继续应用的执行。
注意，通信介质可以是物理的或逻辑的/虚拟的，但是所有可由计算闭包管理架构103作为虚拟运行时环境稿上下文信息来管理（信息处理上下文看作子图形式的快照）。计算闭包管理架构103管理在UE 107b的KP811a‑811n上用户和执行上下文以及应用的反映处理执行的共享。计算闭包管理架构103共享并提供关于在UE 107a和UE 107b以及SIB 701和707之间用户和执行上下文的推理。例如，UE 107a可以是移动无线设备，并且UE 107b可以是固定无线设备。
计算闭包管理架构103能够实现用户和执行上下文信息的聚集以及运行时环境的调度。这样能够对于一个或多个用户上下文807和819以及执行上下文（未示出）做出改变。对于用户和执行上下文的改变包括在信息空间集115a的环境中信息的开始、执行、调度、分散、和聚集，和围绕KP 809a‑809n和811a‑711n或其他KP功能的处理或任务，例如处理调度801和813、存储器管理803和815、系统调用805和817等。
可通过信息空间集115a的选择性循环装置和/或分布来执行RDF子图分散和聚集形式的KP 809a‑809n和811a‑811n以及他们的相应信息。选择性循环可由闭包循环和排列411执行，其可由作为信息空间环境调度器的一部分的自觉恢复调度器来驱动并由计算环境处理/任务调度器801和813提供的信息来支持。用户上下文807和819以及执行上下文（未示出）可由计算闭包管理架构103动态指派和触发，并根据特定或操作系统任务管理来分配。注意，术语“KP”和SIB中的相关信息（表示为RDF子图集）是抽象的，足以通过计算环境的其他过程化方面（例如更高抽象级别）来呈现。
一个实施例中，在UE 107b从UE 107a接收一个或多个用户上下文807和819以及额外执行上下文、以及在通信介质上接收其他相关信息之后，UE 107b通过KP 811a‑811n执行和共享应用的反映状态。在完成处理时，UE 107b可通过对应的KP 811a‑811n确定与SIB 707共享的信息。这个确定可导致关于与UE 107a的安全通信链接。在关闭通信连接之前，UE 107b在通信介质上与UE 107a共享一个或多个用户和执行上下文，用于由UE107a中的KP 809a‑809n继续应用的执行。由计算闭包管理架构103管理在UE 107a上用户和执行上下文以及应用的执行的共享。这样的虚拟运行时环境能够在UE 107a和UE 107b之间共享用户和执行上下文会话。
在另一实施例中，在通信连接的关闭之前，UE 107b可在初始通信连接上与UE 107a共享更新的用户和执行上下文的初始部分，以及在最终通信连接上与UE 107a共享更新的用户和执行上下文的剩余部分，用于在UE 107a上继续应用的执行。所述改编的计算平台使得粒度信息处理计算设备的上下文迁移能力，增强信息空间环境中设备的处理能力。
图9是根据一个实施例的从一个设备向另一设备的处理迁移的视图。在一个实施例中，后台设备901可以是用户的智能空间113a‑113n中或与用户相关的一个UE 107上的虚拟运行时环境。后台设备901可包括用于与后台设备901连接的每个用户设备107a‑107i的用户上下文903。用户上下文903可以是正在设备之间迁移的对每个设备107a的用户上下文921的副本。代理1和代理2是计算和处理用户上下文903中的计算闭包的处理器。在不同设备中，代理的数目可基于他们的设计、功能、处理能力等而不同。框905代表Object，作为一组计算闭包，closure_1、closure_2、...、和closure_n，其中每个闭包是更大处理的组建，例如，涉及由用户设备107a向用户提供的服务。闭包可由分布计算构建器201的组件生成，并且每个闭包为可独立于其他闭包被执行的单机处理。在图9的实例中，过滤处理907从闭包集Object经过过滤该集（框909所示）来提取closure_1。使用实例性Put命令911将提取的closure_1累加至计算闭包存储库913。
这个实例中，假设closure_1在用户设备107a上执行，用户设备107a使用例如Get命令915从计算闭包存储库913提取closure_1。
另一实施例中，可由用户通过将一个用户设备上的处理相关的图形用户接口元素（例如代表性图标）向另一用户设备（例如107a）推进或轻击来做出关于执行计算闭包的设备的决定。此外或备选地，可自动派发执行计算闭包的设备。提取的closure_1投影至具有用户设备上下文（处理状态）的闭包，并且生成object 617。框619代表由分布计算构建器201在初始上下文中重建闭包。然后，可由代理3在运行时环境921或UE 107b中执行重建的上下文。
另一实施例中，框901可以是用户设备和框107a，后台设备或框901和107a两者可以是UE。这个实施例中，拆解和会聚处理类似于以上实例，不同在于closure_1是从UE 901上的处理提取。
图10是根据一个实施例的提供分布计算的系统的层之间的排列的视图。图10的系统包括例如用户体验层1001的主层、中间件层1003、基础层1005和硬件层1009。用户体验层1001是系统的对于用户的有形层。这个层可包括UE 107a‑107n，其中每个UE可包括服务架构1011a‑1011n。服务架构包括UE向用户提供的服务，例如语音、数据、音频、视频、和与提供的服务相关的参数和设置。
虚线1021将用户环境从用户不可见的系统环境分离。中间件层1003可包括操作系统（例如等）中间件1013和开发者体验1015。操作系统中间件1013可包括例如从硬件和操作系统的使用模型分离的应用编程接口（API）的组件、例如操作系统的本地工具包或应用工具包的各个工具包、额外操作系统机器等。开发者体验1015包括由开发者生成并安装在操作系统顶部用于针对UE 107a‑107n的特定需求而修改系统服务的程序和脚本。基础层1005包括操作系统基础1017，其可包括操作系统的内核和核心。操作系统基础1017经由硬件适配软件1007与硬件层1009通信。硬件适配软件1007将操作系统1017和硬件设备硬件1相关的机器代码之间传送的消息和命令解释成硬件m。同样，可利用额外可扩展执行组件1019，以扩展操作系统基础1017与硬件适配软件1007的功能。可扩展执行1019提供操作系统基础1017和硬件适配软件1007之间的兼容。与计算分布相关的功能可结合在图10的系统的各个组件中，例如开发者体验1015、服务架构1011a‑1011n等。
图11A是根据一个实施例的在计算空间上应用分割操作的处理的流程图。计算空间111a‑111i（这里称为n）可在推导的闭包Δn和规则ρn上根据一些分区标准来分割或分区成两个计算空间。对于分区的计算空间a，定义分区函数φ，从而规则集和a的计算内容能够确保满足分区的推导闭包；其优化是找到保存推导闭包的计算和规则的最小集。因此，分割定义如下，其中n是现有计算空间，并且a是新计算空间。