| 主要研究成果包括共享存储系统结构的基础理论,
共享虚拟存储系统, 以及处理器系统结构设计等方面。 在共享存储系统结构方面, 建立了一个共享存储系统的执行正确性模型,
讨论了正确执行的访存次序条件, 提出了一个在顺序一致的共享存储系统中实现乱序执行的方案, 并对该方案进行了模拟。 建立了一个描述存储一致性模型的数学模型,
给出了并行程序及系统结构是否满足某种存储一致性的标准。提出了一个基于锁的高速缓存一致性协议, 该协议比传统的目录协议具有更好的性能和可伸缩性。
在共享虚拟存储系统方面, 实现了一个虚拟共享存储系统JIAJIA, 该系统实现锁的高速缓存一致性协议,并在国际上的同类系统中首次实现了把多台机器的内存空间组织成更大的共享空间。目前,该系统已被二十多个国家和地区的一百多个科研单位使用。在JIAJIA系统的研制过程中,提出了若干虚拟共享存储系统的优化策略,如单写的识别、数据自动迁移、写向量、基于SMP机群系统的优化等。目前基于JIAJIA的工作已经在国内外刊物和会议上发表论文几十篇。
在先进处理器系统结构方面, 目前已经完成先进处理器的系统结构设计、软件模拟、及逻辑设计。该处理器系统结构先进,采用了目前国际上处理器设计的大量先进技术如指令流水线、指令动态调度、猜测执行、高速缓存、精确中断、多发射等,并在某些关键技术如动态流水线的寄存器重命名等方面有所创新。此外,该处理器可伸缩性好,可以根据不同的要求进行不同的配置而不用改变系统结构,适用于从嵌入式应用到高性能计算机等不同领域。
曾获“中科院科技进步二等奖”、 “中科院院长奖学金特别奖”、 “全国首届优秀博士论文奖”、 “中科院盈科优秀青年学者奖”、“中国科学院优秀青年”等奖励。
|
- 专著《共享存储系统结构》,高等教育出版社,2001年6月.
- Weiwu Hu and Zhimin Tang, “A Maximum Time Difference Pipelined
Multiplier”, In Proceedings of the first International Conference
on ASIC,pp.360-365, Beijing, Oct.1994.
- Weiwu Hu, “A Graph Model for Investigating Memory Consistency”,
In Proceedings of the 1994 International Conference on Parallel
and Distributed Systems, pp. 516- 523, Hsinchu, Dec. 1994.
- Weiwu Hu, “Improving the Performance of Sequential Consistency
in Cache Coherence Systems”, In Proceedings of the 1995 International
Conference on High Performance Computing, pp. 81-86, New Delhi,
Dec. 1995.
- Weiwu Hu and Peisu Xia, “Event Ordering Condition for Correct
Executions in Shared-Memory Systems”, In Proceedings of the
1996 International Symposium on Parallel Architectures, Algorithms,
and Networks, pp. 84-89, Beijing, June 1996.
- Weiwu Hu and Peisu Xia, “Hardware Controlled Prefetching in
Directory-based Cache Coherent Systems”, In Proceedings of the
Sixt Symposium on Frontiers of Massively Parallel Computing,
pp. 206-213, Annapolis, Oct. 1996.
- 胡伟武、夏培肃,“顺序一致共享存储系统中的乱序执行技术:基本理论”, 《计算机学报》,1997,20(6): 481-490。
- 胡伟武、夏培肃,“顺序一致共享存储系统中的乱序执行技术:模拟实现”, 《计算机学报》, 1997, 20(6): 491-500。
- Weiwu Hu, Weisong Shi, Zhimin Tang, and Ming Li, “A Lock-Based
Cache Coherence Protocol for Scope Consistency”, Journal of
Computer Science and Technology, Vol. 13, No. 2, pp. 97-109,
Mar. 1998.
- Weiwu Hu, Weisong Shi, and Zhimin Tang, “A Framework of Memory
Consistency Models”, Journal of Computer Science and Technology,
Vol. 13, No. 2, pp. 110-124, Mar. 1998.
- Weiwu Hu and Peisu Xia, “Out-of-Order Execution in Sequentially
Consistent Shared Memory Systems: Theory and Experiments, Journal
of Computer Science and Technology, Vol. 13, No. 2, pp. 125-140,
Mar. 1998.
- Weiwu Hu, Weisong Shi, and Zhimin Tang, “Reducing System Overheads
in Home-Based Software DSMs”, in Proceedings of the 1999 International
Parallel Processing Symposium, pp.167-172, San Juan, Apr. 1999.
- Weiwu Hu, Weisong Shi, and Zhimin Tang, “JIAJIA: A Software
DSM System Based on a New Cache Coherence Protocol”, in Proceedings
of the 1999 International Conference on High Performance Computing
and Networking Europe, LNCS 1593, pp. 463-472, Amsterdam, Apr.
1999.
- 胡伟武,施巍松,唐志敏,“基于新型Cache一致性协议的共享虚拟存储系统”,《计算机学报》,1999, 20(5):
467-475。
- Weiwu Hu, Weisong Shi, and Zhimin Tang, “Home Migration in
Home-Based Software DSMs”, in Proceedings of the 1st Workshop
of the Software Distributed Shared Memory, pp. 21-26, Rhodes,
June, 1999.
Weiwu Hu, “Reducing Message Overhead in Home-Based Software DSMs”,
in Proceedings of the 1st Workshop of the Software Distributed
Shared Memory, pp. 7-11, Rhodes, June, 1999.
- Weiwu Hu, Weisong Shi, and Zhimin Tang, “Adaptive Write Detection
in Home-Based Software DSMs”, in Proceedings of the 8th International
Symposium on High Performance Distributed Computing, pp. 353-354,
Aug., 1999.
- Weiwu Hu, Li Ren, Fuxin Zhang, Weisong Shi, and Zhimin Tang,
"Running Real Applications in Home-Based Software DSMs",
in Proceedings of HPC-Asia 2000, pp. 148-153, may 2000.
- Weiwu Hu, Fuxin Zhang, and Haiming Liu, "A New Home-based
Software DSM Protocol for SMP Clusters", in Proceedings
of the 6th Euro-Par Conference, pp. 1132-1142, Aug., 2000.
- Weiwu Hu, “Dynamic Data Prefetching in Home-based Software
DSMs”, Journal of Computer Science and Technology,16(3), May,
2001.
- Weiwu Hu, Fuxin Zhang, and Haiming Liu, “Optimizing Home-based
Software DSM Protocols”, Cluster Computing, 4(3), 2001.
- Weiwu Hu, Gang Shi, and Fuxin Zhang, “Communication With
Threads in Software DSMs”, in Proceedings of the 2001 International
Conference on Cluster Computing, Oct., 2001.
|