嵌入式并发软件的中断嵌套和线程交织等程序的随机性和不确定性(Randomicity and Nondeterminism)会引起数据竞争(Data Race)和原子性违背(Atomicity Violations)等并发缺陷问题,并且这些问题很难被修复和重新构建。针对嵌入式软件中的...嵌入式并发软件的中断嵌套和线程交织等程序的随机性和不确定性(Randomicity and Nondeterminism)会引起数据竞争(Data Race)和原子性违背(Atomicity Violations)等并发缺陷问题,并且这些问题很难被修复和重新构建。针对嵌入式软件中的数据竞争和原子性违背这类并发缺陷问题,文中提出了瘦中断处理(Thin Interrupt Service Routine,Thin ISR)方式。首先,利用状态迁移矩阵(State Transition Matrix,STM)进行建模,把中断处理程序中与访问共享变量相关的程序段移植到主程序中,即中断处理程序只负责将外界中断请求数据存到缓冲区中,中断的具体处理由主程序完成;然后,利用构建的STM模型生成对应的C代码,这样可以有效地避免原子性违背和数据竞争等并发缺陷;最后,利用排队方法对中断的到达时间与离开时间进行仿真。实验结果验证了本方法在解决数据竞争和原子性违背等并发缺陷问题方面的可行性与有效性。展开更多
Nest site selection is a vital component of bird reproduction success,and an adaptive behavior conducted to decrease nest predation risk with avoiding external disturbances.Understanding patterns of nest site selectio...Nest site selection is a vital component of bird reproduction success,and an adaptive behavior conducted to decrease nest predation risk with avoiding external disturbances.Understanding patterns of nest site selection can provide insights into how species adapt to changes in their habitat and has important conservation implications.In this study,we used microhabitat variables and multi-scale data with a field survey of nest occurrence to determine nest site selection patterns and adaptive strategies of the breeding Oriental Storks(Ciconia boyciana)in different nest areas.Results demonstrate that the nest site microhabitat characteristics of the breeding Oriental Storks significantly differed among the three nesting areas,and nest height was higher in the middle and lower Yangtze River floodplain than in the Northeast China and Bohai Bay nest areas.The food resources and intensity of human disturbance had the greatest effects on the nest site selection of the breeding Oriental Storks.The intensity of human disturbance was positively correlated with the nest height of the breeding Oriental Storks in Bohai Bay and the middle and lower Yangtze River floodplain;however,nest height decreased with the abundance of food resources in the Northeast China nest area.Our findings indicate that the nest site selection patterns of Oriental Storks showed flexible adaptive strategies.In safer environments,nests were lower and closer to food resources,which allows parent storks to invest more in the nestlings.However,in areas where human activity was intense,nests were higher to ensure the safety of their offspring.Some measures that could be taken to improve the breeding habitat of Oriental Storks include increasing the percentage of wetland areas in nesting areas to enhance food resources availability and setting artificial nests at suitable heights in potential nesting grounds to encourage nesting.Finally,the establishment of soft barriers around the nesting areas could increase the safety of nests.展开更多
基金supported by the National Natural Science Foundation of China(Grant No.32171530 and 31472020)。
文摘Nest site selection is a vital component of bird reproduction success,and an adaptive behavior conducted to decrease nest predation risk with avoiding external disturbances.Understanding patterns of nest site selection can provide insights into how species adapt to changes in their habitat and has important conservation implications.In this study,we used microhabitat variables and multi-scale data with a field survey of nest occurrence to determine nest site selection patterns and adaptive strategies of the breeding Oriental Storks(Ciconia boyciana)in different nest areas.Results demonstrate that the nest site microhabitat characteristics of the breeding Oriental Storks significantly differed among the three nesting areas,and nest height was higher in the middle and lower Yangtze River floodplain than in the Northeast China and Bohai Bay nest areas.The food resources and intensity of human disturbance had the greatest effects on the nest site selection of the breeding Oriental Storks.The intensity of human disturbance was positively correlated with the nest height of the breeding Oriental Storks in Bohai Bay and the middle and lower Yangtze River floodplain;however,nest height decreased with the abundance of food resources in the Northeast China nest area.Our findings indicate that the nest site selection patterns of Oriental Storks showed flexible adaptive strategies.In safer environments,nests were lower and closer to food resources,which allows parent storks to invest more in the nestlings.However,in areas where human activity was intense,nests were higher to ensure the safety of their offspring.Some measures that could be taken to improve the breeding habitat of Oriental Storks include increasing the percentage of wetland areas in nesting areas to enhance food resources availability and setting artificial nests at suitable heights in potential nesting grounds to encourage nesting.Finally,the establishment of soft barriers around the nesting areas could increase the safety of nests.
