一种优化的跨平台可逆调试器

针对大型软件系统中调试效率低下以及并发程序错误难以重现的问题,设计和实现了基于虚拟技术的可移植优化逆向调试器(PORD).PORD动态翻译被调试程序的二进制可执行代码,并且在翻译过程中向检查点处植入代码来保存程序运行状态,使程序在执行过程中以增量的形式自动生成状态日志.PORD中集成的功能扩展的GDB远程控制虚拟机,根据检查点的状态日志重建历史执行状态,从而达到逆向执行目的.当被调程序与宿主机有相同的指令集架构时,动态二进制翻译就被优化为直接拷贝执行被调试程序的二进制可执行码,使被调程序能够以接近本地速度的速度执行.实验结果表明,PORD可以为程序提供快速的可移植的逆向调试环境.

我国政府支出结构优化的实证分析

转型时期我国政府职能的转变以建立廉洁、高效的政府为主要目标,即要从经济建设型政府转变为公共服务型政府。近年来政府收入增加很快,为政府职能的转变提供了重要的物质保障。然而由于公共财政支出的结构不尽合理,还存在如行政成本过高等问题,所以,文章通过建立微分方程组对公共财政支出结构的优化进行实证分析,为转变政府职能、改革目前政府职能中依然严重的"越位"、"错位"、"缺位"等问题提供依据。