一种解决嵌入式软件并发缺陷的建模方法

嵌入式并发软件的中断嵌套和线程交织等程序的随机性和不确定性(Randomicity and Nondeterminism)会引起数据竞争(Data Race)和原子性违背(Atomicity Violations)等并发缺陷问题,并且这些问题很难被修复和重新构建。针对嵌入式软件中的数据竞争和原子性违背这类并发缺陷问题,文中提出了瘦中断处理(Thin Interrupt Service Routine,Thin ISR)方式。首先,利用状态迁移矩阵(State Transition Matrix,STM)进行建模,把中断处理程序中与访问共享变量相关的程序段移植到主程序中,即中断处理程序只负责将外界中断请求数据存到缓冲区中,中断的具体处理由主程序完成;然后,利用构建的STM模型生成对应的C代码,这样可以有效地避免原子性违背和数据竞争等并发缺陷;最后,利用排队方法对中断的到达时间与离开时间进行仿真。实验结果验证了本方法在解决数据竞争和原子性违背等并发缺陷问题方面的可行性与有效性。

儿童肥胖的生化机制和遗传特征

肥胖是遗传因素和环境因素共同作用的结果。儿童肥胖的易感性主要由遗传因素决定,具有较高的遗传率和遗传特征。瘦蛋白-促黑素细胞激素调控途径中断、单基因突变以及染色体重排都可能引起肥胖。对儿童肥胖的遗传学研究为治疗靶向药物的研制提供依据。