多核计算:主要课题 确定性并行编程模型和操作系统 确定性操作系统 Dlinux 确定性共享虚存模型不同读写特征的内存区域张昱 只读、单生产者多消费者模型、 DiffMerge 进程/线程的动态管理、o的确定性并行 确定性并行 Mm程序 CC++程序 Java程序 OpenMP程序 编程模型 (C+ Fortran)(确定性编程库) Pthreads程序 I DLinux 众 半自动程序翻译器 核日用户库 B2高级并行编程模式及其有效实现 C确定性执行 算:[工 DMR MapReduce per\Pi 不确定的同步操作的确定调度+ i Futurei i Pipe 共享状态更新的确定传递 peB1基础的确定性编程抽象及其有效实现 消息通道 共享流「栈式共家 维式共承线程进程 /svs DetMIPLDStream i DSStacki iDSHeap_ 线程池 A.确定性虚拟内存模型(接口,页面映射机制 图例 (内核) 写时复制单生产多消 多生产多消费 已有成果,需扩充 COW MIPMIC L SPAI 新增研究内容 SA:处理器内存模型 来自外部的技术 IA64 AMD64
多核计算：主要课题 • 确定性并行编程模型和操作系统 • 确定性操作系统Dlinux • 确定性共享虚存模型:不同读写特征的内存区域 • 只读、单生产者-多消费者模型、DiffMerge • 进程/线程的动态管理、I/O的确定性并行 • 确定性并行 编程模型 张昱
多核计算:主要课题 程序分析与变换技术及工具 针对c/ava/ JavaScript/ Android等应用程序 发现程序错误,理解程序行为,提高程序性能张昱 集中于内存使用和并发控制方面 ·Java虚拟机 Apache Harmon上即时编译器辅助的垃 圾收集 C函数调用图构建工具 代码段分离工具 llL
多核计算：主要课题 • 程序分析与变换技术及工具 • 针对C/Java/JavaScript/Android等应用程序 • 发现程序错误，理解程序行为，提高程序性能 • 集中于内存使用和并发控制方面 • Java虚拟机(Apache Harmony)上即时编译器辅助的垃 圾收集 • C函数调用图构建工具 • 代码段分离工具 张昱
多核计算:主要课题 ·并发算法正确性的验证 ·栈、队列、集合等并发对象的验证 冯新宇 部分算法来自于 java util. concurrency'包 并发垃圾收集算法的验证 ·算法在Java虚拟中使用 发现了外科手术机器人控制程序中并发算法的bug
多核计算：主要课题 • 并发算法正确性的验证 • 栈、队列、集合等并发对象的验证 • 部分算法来自于java.util.concurrency包 • 并发垃圾收集算法的验证 • 算法在Java虚拟中使用 • 发现了外科手术机器人控制程序中并发算法的bug 冯新宇
网络与多核计算
网络与多核计算