摘要：一、同步编程语言 同步编程语言将代码的同步执行作为设计过程中的核心概念，它们是反应式的，即当信号到来，状态开始执行。其中抽象符号instant定义了每个状态的执行边界，instant与电路中的硬件时钟或是处理器时钟都没有关系，它更像是表示状态集完成或决定下批状态集执行的标记器。同步语言的核心是同步假设，这意味着在同步语言设计系统过程中，可以假设计算和通信的时间，即在instant时间内，操作假设就会完成。 所有的同步都有四种共同的属性：同步、反应式的响应、并发和执行的确定性。同步即所有操作都基于相同软件时钟，而模块之间的通信通过假设收发信息的时间为0来满足此属性。反应式的响应即事件驱动响... 阅读全文

摘要：随着多核时代的到来与流行，传统的单线程串行程序的编程模式必将改变，取而代之的将是并行编程。目前已经有五种主要并行编程模型，下面将对此五种模型进行概括性的分析与比较：1. MPI MPI(Message Passing Interface)消息传递接口是MPI论坛发布的一个库，而不是一门实现语言，支持C/C++/Fortran。是一种消息传递编程模型，为进程间通信服务。MPI提供了一种与平台无关，可以被广泛使用的编写消息传递程序的标准。用它来编写消息传递程序，不仅实用、可移植、高效和灵活，而且和当前已有的实现没有太大的变化。目前MPI的主要实现有以下三种： 优点：可以在集群上使用，也可以... 阅读全文

摘要：1. C语言中的数据类型 C语言中的类型按其组成可以分为简单类型和构造类型，按是否预定义了类型名字和值集可以分为基本类型和非基本类型，按是否加了类型限定符可以分为限定类型和非限定类型。 ANSI C99标准中类型定义的BNF语法如下图。 说明：typedef可以定义新数据类型，如typedef long int FOUR_BYTE_INT，即定义了和long int一样的数据类型FOUR_BYTE_INT。如果typedef时加入了类型限定符或存储区分符，比如typedef volatile char KEYBOARD，则KEYBOARD k等价于volatile char。按照一般规范... 阅读全文

摘要：1.任务与进程/线程在嵌入式实时系统中，一般将可独立调度执行的线程称为任务（task），因此，嵌入式实时系统一般没有进程线程的概念。而进程线程是一般OS的概念。2.分发与调度分发（dispatch）不是调度，而是调度的一部分。当任务调度成功后，完成上下文切换的实际工作并将CPU控制权转交到此任务的过程称为分发。而调度仅仅决定下一步执行哪个任务。 阅读全文

摘要：OCARINA是法国ENST开发的AADL自动生成代码工具，能够将AADL模型自动生成POLYORB中间件及其上的C、ADA代码。下面将详细介绍OCARINA的安装和使用方法。一、Ocarina源码安装教程1.安装ada编译器因为ocarina是用Ada开发的，所以需要用Ada的编译器才能运行。在安装GCC的基础上，还需要安装gcc-gnat和GNAT.Ocarina支持编译器版本：gcc-gnat 4.4.0以上 GNAT 2006以上，因此老系统（比如redhat9等）就不适用了GNAT目前最新版本见http://libre.adacore.com/libre/下载后... 阅读全文