删除或更新信息,请邮件至freekaoyan#163.com(#换成@)

上海交通大学软件学院博士课程内容介绍《系统软件方法》

上海交通大学 免费考研网/2012-12-28


《系统软件方法》

课程代码C037003学分/学时3.0/48开课时间
课程名称系统软件方法
开课学院软件学院
任课教师陈海波
面向专业软件工程
预修课程高级操作系统,分布式系统
课程讨论时数0 (小时)课程实验数0 (小时)
课程内容简介

本课程目标是在掌握系统软件相关核心理论和技术的基础上,通过对经典和前沿系统领域论文的分析指导学生深入学习系统软件领域的研究方法。授课内容将围绕经典和前沿论文与开源系统展开,运用分析、比较和讨论等形式对系统软件领域涉及的系统性能、虚拟化技术、分布式和移动环境、以及安全等各个方面进行深入的学习 。本课程将通过课程讲授、案例分析、论文研讨和课程报告等形式开展。

课程内容简介(英文)

(无)

教学大纲

教学内容安排与学习大纲:1.Kernel Scalability (3)RCU, Memory mapping, Kernel Interface2.Debugging (3)Deterministic parallelism, Concurrency bugs, Symbolic execution3.Logging & Replay (3)Emulation, Parallel logging and replay, Speculation4.Software Evolution (3)Dynamic update, Distributed update, Configurable system5.Virtualization (6)I/O virtualization, Migration, Scheduling, ARM & GPU supportNested virtualization, Accountable VM6.Programming Model (3)Data-parallel, Stream processing, Heterogeneous7.Security (6)Information tracking, Attestation, Intrusion recoveryFault isolation, Trustworthy computing, Privacy8.Distributed Storage (3)Key-value Store, In-memory Storage, Geo-replication9.Distributed System (3)Distributed transaction, Scalable consistency, Caching10.Data Center (3)Energy Efficiency, Automatic Management, High Availability11.Fault Tolerance (3)BFT, RSM, Language support12.Mobile (3)Privacy, Security, Cloud support13.File System (3)FS Checker, Flash & SSD, Dedup14.Networking (3)Peer-to-peer/BitTorrent/DHT, Routing, TCP stack

课程进度计划

(无)

课程考核要求

最终成绩由论文研讨、论文报告、期末报告组合而成。各部分所占比例如下:1)论文研讨:30%。主要考评学生在学习经典和前沿研究工作过程中的自主参与度。2)论文报告:40%。主要通过具体系统领域论文研读和报告演讲,评定学生对系统软件方法的学习情况和实际应用能力。3)期末报告:30%。主要考核对学生通过一学期的系统学习,对系统软件方法的理论掌握程度和自身的理解情况。

参 考 文 献
  • 计算机系统软件领域的经典论文,最新科研论文,以及开源系统
相关话题/课程