>>网站资源
.. >>图书馆:Techxchange
.. .. >> Techxchange:嵌入式软件
. . . . . .>>主题:Ada和SPARK
有什么区别Spark 2014.和阿帕奇火花?事实上,答案很简单。SPARK 2014是一个基于Ada编程语言的编程环境。Apache的开源SPARK项目是一个高级的有向无环图(DAG)执行引擎。
两者都用于应用,虽然是多种不同的类型。Spark 2014用于嵌入式应用程序,而Apache Spark专为非常大的群集而设计。以下是,在您需要更多详细信息的情况下,每个都是一个快速概述。
Spark 2014.
Spark 2014是火花编程环境的最新化身。语言是一个子集ADA 2012编程语言包括合同编程等功能。
SPARK 2014由Ada子集的编程语言、设计方法和验证工具集组成(见图)。选择语言子集,以便在Spark 2014中编写的应用程序并被证明是匹配该程序的一部分的规范。它专为一般编程所必需的低缺陷软件,以及航空电子设备等安全和安全相关的应用程序。匹配工具集利用应用程序代码中的信息静态分析程序并验证它与规范匹配。
Spark 2014是嵌入式应用的理想选择 - 即使是目标嵌入式微控制器。ADA的子集保留了ADA的许多有用特征,如其包装系统,同时剩下足够紧凑,以便更容易地理解。
阿帕奇火花
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