排序方式: 共有17条查询结果,搜索用时 15 毫秒
1.
2.
汪黎 《计算机工程与科学》2009,31(Z1)
在现代计算机体系结构中,对于大容量的片上存储器,越来越多地采用软件来管理,被认为是解决存储墙问题的一个有效途径。本文介绍了片上大容量软件管理存储器分配技术的研究进展,对有代表性的技术进行了概要的介绍和评述,并预测了技术的发展方向。 相似文献
3.
操作系统内核程序函数执行上下文的自动检验 总被引:2,自引:0,他引:2
函数执行上下文正确性是操作系统内核程序最容易违反且难以检查的正确性性质.应用传统的技术检查该类错误都有一定的困难和局限性.提出一个验证函数执行上下文正确性的框架PRPF,详细描述了其建模过程和相关算法.PRPF相比传统技术的优势有:直接检查源代码、无须编写形式化的验证规约、较低的时空运行开销、良好的可扩展性等等.该技术已应用在Linux内核2.4.20的网络设备驱动程序检查中.应用表明,PRPF能够自动探测程序中所有执行路径,有效地检查函数执行上下文的正确性.实验发现了Linux内核的23处编程错误,另有 相似文献
4.
5.
6.
研究了AZ91镁合金在充型凝固过程中不同振动频率对镁合金充型过程、凝固方式和铸件-铸型间隙的影响机制,并自主设计铸件-铸型界面传热效率装置,探讨了机械振动对铸件-铸型界面传热的影响。结果表明,机械振动使充型过程中合金液流体雷诺数变大,层流边界层厚度减小;破坏凝固初期型腔壁已凝固薄层,改变镁合金的凝固方式,使合金晶粒细化、改变晶体内部相形态及分布;凝固后,使铸件-铸型间隙处于动态变化过程。进而影响了铸件-铸型界面间的传热。当振动频率分别为0,20,50 Hz时,模具所达到的最高温度值分别为365.3,372.1,377.1℃,模具温度上升至最大温度值所需的时间依次为111,100,91 s,振动频率从0Hz增大到50 Hz,模具所达到的最大温度值逐渐增加,模具温度上升至最大温度值所需的时间逐渐减少。 相似文献
7.
在考虑高速热模锻凹模的材料性能和工况条件基础上,由Coffin-Mansion公式导出了热疲劳裂纹萌生期预测公式,并采用这一公式对高速热模锻凹模进行了热疲劳裂纹萌生期的预测。通过试验发现预测结果与试验结果基本吻合。 相似文献
8.
林大全系国家级有突出贡献专家,享受政府津贴,是我国仿真人体模型领域的开拓者,我国首具辐照仿真人体模型、首具高速运载工具安全假人(汽车、飞机等)及相应智能测试系统的主要发明人。他研制的人体模型系列产品于1992年被国际辐射剂量单位与测量委员 相似文献
9.
TCP连接迁移在Linux环境中的实现 总被引:1,自引:0,他引:1
本文提出了TCP连接迁移的思想,介绍了Linux中TCP/IP协议栈的实现,重点讨论了在Linux操作系统环境中实现TCP连接迁移的技术,并探讨了它在基于请求内容调度的负载平衡技术中的应用前号。 相似文献
10.
服务器集群是实现高性能网络服务的有效结构,而报文转发技术是发挥服务器集群性能的关键。高效的报文转发技术使得集群的调度负载很轻,具有很高的可扩展性。IP隧道技术/直接路由是两种新颖而且高效的报文转发技术。FreeBSD是理想的网络服务器操作系统,但目前基于FreeBSD的集群调度系统均采用网络地址转换技术,系统可扩展性有限。本文讨论了基于FreeBSD操作系统内核,采用IP隧道/直接路由报文转发技术的虚拟服务器(FVS)系统的设计动机及实现,重点探讨了系统的体系结构及实现关键技术。我们基于FreeBSD-5.3内核实现了FVS系统,性能测试结果表明,该系统的调度负载很轻,有很好的可扩展性。 相似文献