云计算数据控制层数据库模型与节点构建研究.docVIP

云计算数据控制层数据库模型与节点构建研究 摘要：随着信息技术的全面发展，云计算在各个领域的应用越来越广泛，需要运用云计算技术对数据进行数据库模型构建，提升数据信息的存取能力，通过对云计算技术的应用研究，可以提升金融行业数据控制层能力。具体实施过程中采取开源框架无疑是一条捷径。但是，借鉴和使用开源框架需要结合各自的实际需求，通过分析Dataline节点的特点。把数据控制模型作为Dataline节点的研究基础，把数据控制模型的部分特点运用到实际项目中，建立数据控制模型完全支持的关系数据模型，提升数据信息挖掘能力。 关键词：云计算 数据控制层 数据库模型构建 中图分类号：TP311 文献标识码：A 文章编号：1007-9416（2013）12-0039-02 1 引言 研究面向对象语言的验证数据层技术。考虑到实际面向对象语言的规模和复杂程度，为面向对象语言设计完整的生产级验证云计算是困难的。为此本文采用了另外一种更可行的方案，即把该面向对象语言数据层到具有机械验证语义的Clight语言，而该语言可以继续被验证云计算数据层到可执行代码。为此，本文为该面向对象语言设计了一系列中间语言，并最终数据层到Clight。Clight是包括了C核心特征的较大子集，它具有完全机械化证明的形式语义，并且可以由验证云计算Compcert数据层到可执行代码。因此，实际上本文所设计的云计算具有一个完全形式证明的后端。 云计算的设计和实现在很大程度上可以看成是一个相对成熟的领域，但本文的工作仍然是在这个领域内比较具有创新性的一个尝试。尤其是，本文要研究在云计算的正确性证明过程中，如何能够保证验证结果的可靠性，同时又能降低验证过程的难度和提高验证过程的实际可操作性，目前仍然是一个困难的课题。本文要研究并解决如下问题。 如何形式化面向对象语言的语义，包括类型系统和操作语义。现有研究成果要么过于高层，要么难以处理面向对象语言的关键特征。因此关键的问题是设计适用于云计算实现的面向对象语言语义，这意味着对语义的处理要尽可能接近具体实现；并且能够处理面向对象语言的核心特征，如虚函数表和动态方法指派等。 2 分布式数据（NODE控制）的整体架构设计 对于以上的一些特性，有几点尤其关键，比如服务的重用性（Resuable），它是一个服务并且是一个独立的实体，可以把底层的实现和用户的需求独立分开，这样在很大程度上降低了服务的重复使用所带来的资源浪费，从而也大大地降低了开发成本。松耦合的目标是最小化依赖。当彼此的依赖更少时，即使一个系统修改或发生错误也会更小程度地影响到其他系统。五种典型的松耦合形式也极大的丰富了云计算数据层的服务特性：（1）异步通信：交换服务消息的系统不用同时在线，不会形成阻塞，但服务消费者的逻辑会变的比较复杂。（2）补偿：补偿与事务相关，补偿不同于“两阶段提交”（2PC），补偿是采用“伪回滚”即采用操作倒退回来的方法，补偿的优点是更新而不必同步，缺点是必须显示提供和调用的服务。（3）异质数据类型：不需要修改自己的数据类型，但需要做数据映射。（4）中介：通过在服务消费者和提供者间加入中介实现解耦。中介类型有两类：一是服务调用前告知正确服务端点；二是在服务调用发出之后，为请求选择正确的服务端点。 2.1 NODE控制的总体架构 云计算数据层之所以现在被广泛接受和采纳，WEB服务作为一套开放的标准从中起了很大的作用，WEB服务也势必成为新一代面向服务开发的基础。因为WEB服务开发平台具有以下几方面的优势：首先，它不用去考虑下层的软件去如何实现，而直接可以使服务提供者和服务使用者以一致的方式进行交互；其次，可以使云计算数据层拥有良好的伸缩性用来处理关键任务和企业级业务的需求；再者，采用WEB服务平台后，可以更好的贯彻服务层安全、数据验证规则及服务水平协议等业务策略和业务规则。如图1.1所示，一个典型的NODE控制系统包括若干个数据窗口，以及若干冗余服务器。 数据窗口（Farm）来源于网页搜索领域，泛指一个搜索的范围。NODE 控制中引入了这个概念，但是它的概念和网页搜索中的数据窗口不尽相同[4]。 主要目标是定义一个明确的一般性的语义框架，来形式化现代基于类的面向对象语言的核心特征，例如Java。特别的，一个重要的考虑是提供一种尽可能直接的语义。具体而言，我们提出一种命令式的形式化演算来完成这个目标。通过规则，我们通过在一个抽象机器上的状态转换来表示动态语义，而不是通过λ演算中的归约实现。这种方法可行性通过形式化一个小型的面向对象语言COOL来证明，COOL代表核心的面向对象语言。虽然小，但COOL保留了许多现代的基于类的面向对象的语言中出现的特点，包括类，对象，继承，虚函数多，动态调度等。从本质上讲，COOL是流行的基于类的面向对象语言的关键子集，如Java[16