s_nan的博客

1.简介我们相信实时嵌入式软件的解决方案是对处理器架构的重新思考。正如在其他[9]中所讨论的，现在是时候考虑那些提供与功能一样可预测定时的架构了。在本文中，我们提出了这样一个精确定时(PRET)架构的具体示例:一个基于SPARC指令集架构(ISA)的多线程处理器，它提供可预测的定时以及可预测的功能和性能。下面，我们使用SystemC[23]和一个在其上运行的应用程序来演示软件如何利用PRE...

前言大多数编程语言在处理的静态和动态阶段之间表现出阶段差异。静态阶段包括解析和类型检查，以确保程序是格式良好的;动态阶段包括执行格式良好的程序。当格式良好的程序在执行时表现良好时，这种语言就是安全的。静态阶段由一组规则组成的静态图表来指定，这些规则用于派生类型判断，这些判断表明表达式是某种类型的格式良好的表达式。类型通过“预测”部分的执行行为的某些方面来调节程序的组成部分之间的交互，这...

1.摘要精确定时架构(PRET)是最近提出的一种设计实时嵌入式系统处理器的方案。这些处理器必须在不牺牲吞吐量的情况下保证应用程序的精确最坏情况反应时间(WCRT)，并且必须允许程序的WCRT的计算既简单又有效。本文的目的是提出一种新的基于同步语言的PRET-C，用于编写编译器。PRET-C支持同步并发、抢占和逻辑时间的高级构造。与现有的同步语言相比，PRET-C在并发线程之间提供了基于C的...

归纳定义是学习编程语言不可缺少的工具。在这一章中，我们将发展归纳定义的基本框架，并给出一些使用它们的例子。归纳定义由一组规则组成，用于派生各种形式的判断或断言。判断是关于一个或多个某种抽象绑定树的语句。这些规则规定了判断有效的必要和充分条件，从而充分确定了判断的意义。2.1. 判断我们从抽象绑定树的判断或断言的概念开始。我们将使用许多形式的判断，包括这些例子: ...