> >网站资源
．．> >图书馆:TechXchange
. . . .>> TechXchange:嵌入式软件
. . . . . .>>主题:Ada和SPARK
有什么区别引发2014年和Apache火花？事实上，答案很简单。SPARK 2014是一个基于Ada编程语言的编程环境。Apache的开源SPARK项目是一个高级的有向无环图(DAG)执行引擎。
两者都用于应用程序，尽管类型非常不同。SPARK 2014用于嵌入式应用，而Apache SPARK是为大型集群设计的。如果您需要更多的细节，下面是对每一个的快速概述。
引发2014年
SPARK 2014是SPARK编程环境的最新版本。这种语言是Ada 2012编程语言这包括像契约编程这样的特性。
SPARK 2014由Ada子集的编程语言、设计方法和验证工具集组成(见图)．选择语言子集是为了使用SPARK 2014编写的应用程序能够被证明与作为程序一部分的规范相匹配。它是为低缺陷的软件而设计的，一般来说，这是编程所必需的，以及与安全性和安全性相关的应用程序，如航空电子设备。匹配工具集利用应用程序代码中的信息对程序进行静态分析，并验证它是否与规范匹配。
SPARK 2014是嵌入式应用的理想选择——即使是那些以嵌入式微控制器为目标的应用。Ada的子集保留了Ada的许多有用特性，比如它的打包系统，同时保持足够紧凑，便于理解。
Apache火花
Apache Spark是一个基于Java虚拟机(JVM)的集群框架，运行在Hadoop或Mesos等平台上。它也可以自己运行，也可以在云里运行。Spark为程序员提供了一个弹性分布式数据集(RDD)。RDD是一个只读的数据项集合，分布在整个集群中。
Spark Core提供了基本的分布式任务调度系统。支持Scala、Java、r等基于jvm的语言。Core支持Spark SQL。它是一种用于操作DataFrames(结构化和半结构化数据的数据抽象)的领域特定语言。当然，它提供SQL语义。Spark Streaming系统从Spark数据源中移动数据，并对数据进行处理。在内部，它是小批量的。Spark的另外两个主要组件是MLlib机器学习库和GraphX。后者是一个图形处理框架。
SPARK是许多应用程序、平台等采用的通用术语。SPARK 2014和Apache SPARK只有两个;大多数系统就像这两种系统一样不同。例如,粒子引发的核心Wi-Fi开发工具包是基于什么德州仪器的CC3000芯片。
> >网站资源
．．> >图书馆:TechXchange
. . . .>> TechXchange:嵌入式软件
. . . . . .>>主题:Ada和SPARK
