一种嵌套中断系统的建模和分析方法

在嵌入式系统和各类操作系统中,中断机制是确保实时响应各类异步事件的重要方法.通常在处理一个中断事件的过程中,往往会有更紧迫的中断事件请求响应,因而发生中断嵌套.建模并验证嵌套中断系统是具有挑战性的工作.提出一种建模和验证嵌套中断系统的方法.首先,提出基于投影时序逻辑(projection temporal logic,简称PTL)的定义,并将这种定义推广到包含任意多中断事件的中断系统上,从而得出嵌套中断系统基于投影时序逻辑的形式化模型;其次,使用投影时序逻辑定义的基本中断语句扩充建模仿真和验证语言(modeling,simulation and verification language,简称MSVL),并扩展MSVL语言的解释器,使其可以对嵌套中断系统进行建模仿真和验证;最后,通过一个实例展现所提出方法的正确性和实用性.

Spartan6芯片μC/OS-Ⅱ的可抢占式嵌套中断控制方法

介绍了Spartan6芯片搭载MicroBlaze软核的硬件平台,以及集成了μC/OS-Ⅱ操作系统的软件平台;给出了在此软硬件平台上的可抢占、可嵌套的中断机制的实现方法;灵活地运用面向底层硬件代码与操作系统代码之间的参数传递,协调了中断处理与任务调度之间的关系。阐述了方案的原理,给出了程序流程图;通过试验,验证了可抢占、可嵌套的中断机制的正确性与可行性。

TH-union教学机多级嵌套中断实验的实现

本文介绍了TH-union教学机多级嵌套中断实验的原理及实现方法.

基于龙芯2K1000的中断嵌套软件设计方法

2K1000是龙芯推出面向工业控制与终端等领域的低功耗通用处理器,基于MIPS架构,采用双GS264内核。2K1000内部中断控制器不支持中断嵌套,对于多任务、高实时性要求的应用场景不利于快速响应高优先级任务。针对该问题提出一种方法,通过软件控制中断路由以及中断现场的保护和恢复,可在2K1000上实现中断优先级扩展和多级嵌套,该方法可应用于裸机系统且比操作系统具有更好的实时性,便于移植与扩展。

中断嵌套服务技术实验方案的设计

介绍一个用于实践中断嵌套服务技术的实验方案。它有助于提高学生对中断嵌套机理的深刻认识和应用中断嵌套技术的能力。

AVR单片机的嵌入式操作系统中实现中断嵌套的分析

简述了在AVR单片机上移植的uCOS-II嵌入式操作系统中关于中断处理的一种方法。主要应用在对实时性要求非常之高的场合中,采用软件手段实现的嵌套可以保证关键中断得到及时的响应。

TMS320F28335中断嵌套设计及应用

简述了关键中断实时处理的一种方法。采用在中断服务程序ISR中修改中断优先级并使能高优先级中断实现中断嵌套,使关键中断不需等待,及时得到响应。

F28335DSP中断嵌套设计及应用

在嵌入式系统中,中断是确保系统实时响应异步事件的一种重要方法。在处理一个中断的过程中,可能会有更紧迫的中断事件发生并请求CPU响应,因而导致中断嵌套。F28335DSP在硬件上不支持中断嵌套,提出了一种可实现中断嵌套的方案。

Z-80系统中应用8251实现中断嵌套通信

在数据通信系统中,为了方便,一般都采用查询和中断互不嵌套的办法来进行数据的交换.这样的系统,实时处理能力和工作效率都较差,对某些实时性要求较强的系统,其方法是不可取的.为了提高通信系统的实时性,我们在Z-80系统中采用8251进行中断嵌套数据通信,并对8251中断嵌套时产生的一些问题进行了分析和研究,取得了一些解决问题的办法,使得系统能在中断嵌套的情况下,进行全双工数据交换,从而大大提高了通信系统的实时处理能力.

单片机中断控制系统

单片机被大量使用在生产与生活的各个领域,而中断控制系统,是单片机的一个重要的功能组件。依靠中断控制系统提高了单片机系统的并行效率与实时性,使单片机能适应复杂的环境。笔者简单介绍了8051系列单片机中断系统的中断源、工作流程、控制机制与相关的特殊功能寄存器,并通过具体范例说明了设计单片机中断控制程序的步骤与注意事项。

用软件实现的8031单片微机中断多优先级之研究

研究了用软件扩展 80 31单片机多重中断嵌套的实现方法 ,讨论了其完整性和响应时间 .

PC/ATX中断控制系统使用性能的探究

通过使用不同的中断请求线进行中断或中断嵌套服务的操作实验 ,结果表明 :IRQ2仍可作为独立有效的中断请求线使用 ;空闲的 IRQ1 0、IRQ1 2和 IRQ1 5都是外部中断源可选用的有效中断请求线 .本实验结果为合理、有效地应用

中断接口的教学研究

根据多年来从事《微机原理与接口技术》课程的教学实践经验,从实际应用的角度上,从中断系统中几个重要概念的建立入手,详细介绍了中断的条件、中断入口地址形成方式、中断源的识别等关键概念的理解方法,指出了中断入口地址形成方式与中断源的识别两个概念区别与联系;然后以实际应用这些概念为目的,说明如何应用中断的条件、中断入口地址形成方式等概念来形成中断接口电路,给出了建立中断接口电路的方法;最后阐述了加强中断接口的实训教学的重要性,并以"节日彩虹灯光的中断控制系统"为实例,从确立设计目标、建立理论方案及进行实验验证三个方面,详细介绍了中断接口的实训教学方法。

一种用软件扩展MCS-51单片机多中断优先级的方法

介绍了一种在不增加任何硬件的情况下用软件扩展 MCS- 51单片机多中断优先级的方法 .

Matrix DSP中断处理系统的设计与实现

本文研究并实现了一种快速响应中断请求信号的中断处理系统。设计过程中,在保证功能正确的前提下,尽量减小中断的延时开销。本文硬件中断和软件中断的处理机制相同,中断嵌套机制非常灵活。与传统的只有不可屏蔽中断源能打断可屏蔽中断源的中断嵌套机制不同,本文中断处理系统只要是优先级较高的中断信号就可以打断优先级较低的中断信号。这种机制简化了控制逻辑,减少了中断延时开销,使得延时开销从传统的5拍缩短为4拍。

中断的一种特殊情况分析

通过一个模拟单片机实时控制的实验,针对其在运行中出现的问题,对外部中断两种触发方式的特点进行了比较,并对两个中断同时存在的情况作了详尽的分析,提出了解决的办法.

利用优先编码器实现外中断扩展的快速响应研究

针对MCS-51单片机只有2个外部中断源,而实际应用中现有的外中断源有时会不够用。在这种情形下,我们就必须对外部中断源进行扩展。通过采用优先编码器74LS148既实现了外部中断源扩展,又实现了外部中断源的快速中断响应,同时也实现了对所扩展的中断源的中断嵌套处理。

μC/OS-II+LPC213x嵌入式开发平台的中断过程分析与优化方法

从ARM7中断处理机制入手,分析了ARM7+μC/OS-Ⅱ平台下的中断处理过程,提出了一套基于中断优先级的ARM中断优化方法。试验证明,此方法在不更改操作系统代码的情况下可以实现中断嵌套功能,有效提高了系统的实时性能,在工程应用中具有一定的实用价值。

ADSP2116x的中断机制与应用

ADSP2 116x是美国 AD公司推出的高性能、低价位的 3 2 b浮点型数字信号处理器。本文简单介绍了 A DSP2 116x系列芯片的结构和特点 ,详细分析了他们的中断机制 ,讨论了中断在实际工程中的应用 。

软件实现的8031单片微机中断多优先级研究

研究了用软件扩展８０３１多重中断嵌套的实现方法，讨论了其完整性和响应时间。通过实践证明该方法是行之有效的。