文件名称：USENIX OSDI 2008年论文集（Proceedings of USENIX OSDI 2008）
文件大小：16.37MB
文件格式：RAR
更新时间：2014-05-26 07:27:48
论文集 操作系统 系统架构 OS USENIX
（我现在主要在CSDN上整理计算机安全、软件工程（可信软件）、系统及通信方面的论文及相关理论书籍，如果对这方面内容感兴趣，可以访问：http://qysh123.download.csdn.net/ 查看我上传的所有资料。内容比较多，需要大家人工手动查找。另外，资料顺序并不按照时间排列，只是想起来了就上传。CSDN这套系统不敢恭维，也请大家见谅。） 操作系统研究领域的*会议OSDI 2008年的会议论文集，关于该会议，可参考下面的介绍： OSDI：一个年轻的会议，它的全称是Operating Systems Design and Implementation。它是由USENIX主办的。USENIX是一个于1975年成立的Advanced Computing Systems Association。它所举办的都是一些非常好的会议，比如前面提到的OSDI，FAST等等。OSDI是USENIX于1994年创办的，基本上是两年一次，至今为止举办了7届(94，96，99，2000，2002，2004，2006)。每届会议举行3天，早期的OSDI每届收录20篇左右的文章，从2002年开始稳定在27篇，一般是每个小方向有3篇文章。 可以将OSDI和SOSP合起来看做是操作系统领域最*的会议。像著名的MapReduce，Bigtable，NoSQL，都是Google，Amazon等互联网及软件大牌公司最先在OSDI上提出的，其影响力可谓十分巨大。
【文件预览】：
OSDI 2008-USENIX Symposium on OSDI
----Programming Language Techniques()
--------R2_ An Application-Level Kernel for Record and Replay.pdf(299KB)
--------Binary Translation Using Peephole Superoptimizers.pdf(318KB)
--------KLEE_ Unassisted and Automatic Generation of High-Coverage Tests for Complex Systems Programs.pdf(337KB)
----Various Good Things()
--------Leveraging Legacy Code to Deploy Desktop Applications on the Web.pdf(460KB)
--------Difference Engine_ Harnessing Memory Redundancy in Virtual Machines.pdf(628KB)
--------Quanto_ Tracking Energy in Networked Embedded Systems.pdf(482KB)
----Dealing with Concurrency Bugs()
--------Deadlock Immunity_ Enabling Systems to Defend Against Deadlocks.pdf(360KB)
--------Finding and Reproducing Heisenbugs in Concurrent Programs.pdf(229KB)
--------Gadara_ Dynamic Deadlock Avoidance for Multithreaded Programs.pdf(207KB)
----OS Architecture()
--------Redline_ First Class Support for Interactivity in Commodity Operating Systems.pdf(282KB)
--------CuriOS_ Improving Reliability through Operating System Structure.pdf(2.36MB)
--------Corey_ An Operating System for Many Cores.pdf(269KB)
----Wide-Area Distributed Systems()
--------Mencius_ Building Efficient Replicated State Machines for WANs.pdf(737KB)
--------FlightPath_ Obedience vs. Choice in Cooperative Services.pdf(399KB)
----Security()
--------Hardware Enforcement of Application Security Policies Using Tagged Memory.pdf(5.63MB)
--------Device Driver Safety Through a Reference Validation Mechanism.pdf(234KB)
--------Digging for Data Structures.pdf(327KB)
----Monitoring()
--------Network Imprecision_ A New Consistency Metric for Scalable Monitoring.pdf(743KB)
--------Lightweight, High-Resolution Monitoring for Troubleshooting Production Systems.pdf(226KB)
--------Automating Network Application Dependency Discovery_ Experiences, Limitations, and New Solutions.pdf(486KB)
----Cloud Computing()
--------Improving MapReduce Performance in Heterogeneous Environments.pdf(755KB)
--------DryadLINQ_ A System for General-Purpose Distributed Data-Parallel Computing Using a High-Level Language.pdf(406KB)
--------Everest_ Scaling Down Peak Loads Through I O Off-Loading.pdf(2.11MB)
----File Systems()
--------Avoiding File System Micromanagement with Range Writes.pdf(595KB)
--------Transactional Flash.pdf(359KB)
--------SQCK_ A Declarative File System Checker.pdf(453KB)