【摘 要】
：
中断数据冲突问题是航天嵌入式软件常见典型问题之一,问题的发生具有较大的偶然性和不确定性,目前缺少较为成熟的技术和有效分析方法,冲突问题仍是时有发生,增大了软件研制周
【基金项目】
：
国家自然科学基金资助项目(91118007).
论文部分内容阅读
中断数据冲突问题是航天嵌入式软件常见典型问题之一,问题的发生具有较大的偶然性和不确定性,目前缺少较为成熟的技术和有效分析方法,冲突问题仍是时有发生,增大了软件研制周期和维护成本.本文从参数的类型及访问序角度,重点针对数组变量,多于处理器字长变量和关联变量的一次访问操作从源码和反汇编码级别搭建冲突场景并分析造成数据不同步的机理.针对同一个参数的多次访问序,构建高低优先级子程序所有可能存在访问冲突的操作序场景并给出分析结论,并以实例说明固定操作序被打断造成的访问冲突场景.这种通过静态方式下构建冲突场景的分析方
其他文献
【正】 个人艺术风格对于演唱(奏)家来说,是一种不可缺少的艺术素质。古往今来的优秀歌唱家、演奏家,都是以自己独特的艺术风格,给那些形象鲜明的音乐作品增添了无限光彩,而
研究了Euler-Lagrange系统在拒绝服务(denial-of-service,DOS)攻击其传感通信通道时的安全控制问题.为减少采样资源消耗，本文设计了基于事件触发机制的控制算法.针对DOS攻击活
【正】 六年以前,日本松山芭蕾舞团来我国演出了《白毛女》,给我国观众及文艺界留下了亲切深刻的印象。今年,他们应中国人民对外文化协会的邀请,再次来到我国进行访问演出。
【正】 我国社会主义的音乐艺术取得了伟大的进展,建国以来的十三年当中产生了大批优秀的音乐作品,从《刘胡兰》到《洪湖赤卫队》、从《嘎达梅林交响诗》《梁祝》小提琴协奏
根据磁场定向矢量控制原理，提出一种永磁同步电机微步驱动控制策略．通过保持定子电流矢量幅值不变并均匀改变定子电流矢量的位置，获得大小不变位置均匀变化的定子磁势，从而实现太
【正】 春节后我们去遵化县的建明公社与沙石峪等地进行了一周的访问和演出,一方面是想看看农村的变化,加深自己对公社的认识,另一方面也想把我们的节目拿去向农村阵地作一次
【正】 古巴国家芭蕾舞团应我国对外文化联络委员会的邀请,于今年十月间再次来我国进行访问演出。三年前,他们曾来中国演出,给我国观众以鲜明的印象;这次,他们自十月中旬至十
伴随城市化进程的不断加快,大量高层建筑逐渐发展为多功能、多用途建筑,因建筑各部分具有不同的使用功能与要求,对建筑物结构形式、柱网布置也提出了不同要求。为满足此类结
1.浮盘隔氧装置的工艺技术原理由菲克扩散定理知道,水中溶入氧的多少与储水罐内的水体和大气的接触面积成正比.在储水罐的水面上浮着一个由高分子密闭隔氧复合膜制成的密度不
【正】 一说起劫夫同志,就不觉油然地生出一种欣佩之情。他努力贯彻毛主席的文艺思想,二十几年来在生活和斗争中写出了不少万人传唱的歌曲。打开一本《劫夫歌曲选》,就好象重