ACM SOSP11 & SOCC11 & PLOS11 Report

SOSP’11 & SOCC’11 & PLOS’11 Report

at 29回仮想化実装技術勉強会(vimpl)at 29回仮想化実装技術勉強会(vimpl) 2011/Nov/21

須崎有康

SOSP2011概要• 23rd ACM Symposium on Operating Systems Principles (SOSP)

October 23-26, 2011, Cascais, Portugal– http://sosp2011.gsd.inesc-id.pt/– 論文＆スライド＆ビデオ http://sigops.org/sosp/sosp11/current/index.html– 1colum(screen)と2colums(print)の論文があり。便利だが、screen版が作りが甘い– 170投稿、26採択。– 参加者540(今まで高。そのうちStudentsが220)– Best Paper 2本

• ColumbiaのCells: A Virtual Mobile Smartphone Architecture• Wisconsin, MadisonのA File is Not a File: Understanding the I/O Behavior

of Apple Desktop Applications– ポスター30(投稿50) 。日本から1件(産総研) ( 終版投稿にshepherdが付く)– WIP 17(投稿48)– 次回は中国？

• ワークショップ– SLAML - Managing Large-Scale Systems via the Analysis of System Logs and

the Application of Machine Learning Techniques– PLOS - 6th Workshop on Programming Languages and Operating Systems– MobiHeld - 3rd ACM SOSP Workshop on Networking, Systems, and

Applications on Mobile Handhelds– HotPower - 4th Workshop on Power-Aware Computing and Systems

プログラム１日目午前 1/2• Key-Value Chair: Marvin Theimer

– SILT: A Memory-Efficient, High-Performance Key-Value Store

• Hyeontaek Lim, Bin Fan, David G. Andersen (CMU), Michael Kaminsky (Intel Labs)• 小メモリを特徴とするKVS。ソースコード https://github.com/silt/silt/• Memory Efficiency (FAWN[OSDI09], FlashStore[VLDB10], BUfferHash[NDSI10],

HashCache[NSDI09]) VS High performance (SkimpyStash[SIGMOD11])

– Scalable Consistency in Scatter• Lisa Glendenning, Ivan Beschastnikh, Arvind Krishnamurthy, Thomas Anderson (University of Washington)• CcalabilityとConsistencyを両立するScatterの提案。Consistencyの使い方を突っ込まれていた。

– Fast Crash Recovery in RAMCloud• Diego Ongaro, Stephen M. Rumble, Ryan Stutsman, John Ousterhout, Mendel Rosenblum (Stanford)• RAMの問題はPower Failure。ディスクからの高速リカバリが課題。３つのディスクコピーをScatter log

Data（各8MB）として保存。これからPartitioned Recovery する。

プログラム１日目午前 2/2• Storage Chair: Eddie Kohler

– Design Implications for Enterprise Storage Systems via Multi-Dimensional Trace Analysis

• Yanpei Chen (UC Berkeley), Kiran Srinivasan, Garth Goodson (NetApp), Randy Katz (UC Berkeley)

• 16種類のdimension (Total IO size , Read/Write, request, average time between IO, read/write sequence, etc)で解析。

• 70％以上がシーケンシャルread/wireアクセス。 I/Oのタイプで.xls, .ppt, .doc, .dpfなどのファイルが推定できる。

• NTTでもiSCSI経由で振る舞い解析からファイルタイプを推定する特許があるらしい。

– Differentiated Storage Servicesg• Michael Mesnier, Jason B. Akers, Feng Chen (Intel), Tian Luo (Ohio State)• ディスクはSSDにキャッシュされるようになったが、大きなシーケンシャルファイルアクセスはキャッシュを

バイパスさせる。ファイルシステムにこの機能を持たせる。

– （Best Paper）A File is Not a File: Understanding the I/O Behavior of Apple Desktop Applications (詳細後述)

• Tyler Harter, Chris Dragga, Michael Vaughn, Andrea C. Arpaci-Dusseau, Remzi H. Arpaci-Dusseau (University of Wisconsin, Madison)

プログラム１日目午後• Security Chair: Adrian Perrig

– CryptDB: Protecting Confidentiality with Encrypted Query Processing• Raluca Ada Popa, Catherine M. S. Redfield, Nickolai Zeldovich, Hari Balakrishnan (MIT)

– Intrusion Recovery for Database-backed Web Applications• Ramesh Chandra, Taesoo Kim, Meelap Shah, Neha Narula, Nickolai Zeldovich (MIT)

– Software fault isolation with API integrity and multi-principal modules• Yandong Mao, Haogang Chen (MIT), Dong Zhou (Tsinghua), Xi Wang, Nickolai Zeldovich, M. Frans Kaashoek (MIT)

• カーネルモジュールを守るLXFIの提案。XFI[OSDI06]、BGI[SOSP09]からinspire。 APIは悪用される可能性がある。Annotation langで記述 LXFIがコンパイル時にrun time コードを埋め込む。

• Reality Chair: George Candeay g– Thialfi: A Client Notification Service for Internet-Scale Applications

• Atul Adya, Gregory Cooper, Daniel Myers, Michael Piatek (Google)

– Windows Azure Storage: A Highly Available Cloud Storage Service with Strong Consistency

• Brad Calder, Ju Wang, Aaron Ogus, Niranjan Nilakantan, Arild Skjolsvold, Sam McKelvie, Yikang Xu, Shashwat Srivastav, JieshengWu, Huseyin Simitci, Jaidev Haridas, Chakravarthy Uddaraju, Hemal Khatri, Andrew Edwards, Vaman Bedekar, Shane Mainali, Rafay Abbasi, Arpit Agarwal, Mian Fahim ul Haq, Muhammad Ikram ul Haq, Deepali Bhardwaj, Sowmya Dayanand, AnithaAdusumilli, Marvin McNett, Sriram Sankaran, Kavitha Manivannan, Leonidas Rigas (Microsoft)

– An Empirical Study on Configuration Errors in Commercial and Open Source Systems

• Zuoning Yin, Xiao Ma (UIUC), Jing Zheng, Yuanyuan Zhou (UCSD), Lakshmi N. Bairavasundaram, Shankar Pasupathy (NetApp)

• Posters (発表詳細後述)

プログラム２日目午前 1/2• Virtualization Chair: Gernot Heiser

– (Best Paper) Cells: A Virtual Mobile Smartphone Architecture• Jeremy Andrus, Christoffer Dall, Alex Van’t Hof, Oren Laadan, Jason Nieh (Columbia)• Smart Phoneの仮想化。オーバーヘッド2%。ベンチャー創業 http://www.cellrox.com/

– Breaking Up is Hard to Do: Security and Functionality in a Commodity Hypervisor (詳細後述)

• Patrick Colp, Mihir Nanavati (UBC), Jun Zhu (Citrix), William Aiello (UBC), George Coker (NSA), Tim Deegan(Citrix), Peter Loscocco (NSA), Andrew Warfield (UBC)

– CloudVisor: Retrofitting Protection of Virtual Machines in Multi-tenant Cloud with Nested Virtualization (詳細後述)

• Fengzhe Zhang, Jin Chen, Haibo Chen, Binyu Zang (Fudan University)

– (Audience Choice) Atlantis: Robust, Extensible Execution Environments for Web Applications

• James Mickens (MSR), Mohan Dhawan (Rutgers)• 関連研究。 Illinois Browser Operating System (IBOS) [OSDI10], OP[SS&`P08]

プログラム２日目午前 2/2• OS Architecture Chair: Nickolai Zeldovich

– PTask: Operating System Abstractions To Manage GPUs as Compute Devices

• Christopher J. Rossbach, Jon Currey (MSR), Mark Silberstein (Technion), Baishakhi Ray, Emmett Witchel (UT Austin)

• CPUのロードの割合がGPUの性能に影響する。逆も同様。

• GPUスケジューリングを抽象化するPtask (Parallel Task)。 data flowを抽象化。Fairnessのためにpriorityあり。通常のフィルタとインターフェースとできる。

• 例：#> capture(process) | xform(ptask) | filer (ptask)

– Logical Attestation: An Authorization Architecture for Trustworthy C tiComputing

• Emin Gün Sirer (Cornell), Willem de Bruijn (Google), Patrick Reynolds (BlueStripe Software), Alan Shieh, Kevin Walsh, Dan Williams, Fred B. Schneider (Cornell)

• Trusted Computingの話。

• Cornellで作っているlogical attestationに対応するOSはNexusと言う。 NexusのMicro kernel 自体にIntrospection の機能がある。 NexusにはFauxbook と言うprivacy-preserving social networkが入っている。

プログラム２日目午後• Detection and Tracing Chair: Rebecca Isaacs

– Practical Software Model Checking via Dynamic Interface Reduction• Huayang Guo (MSR and Tsinghua), Ming Wu, Lidong Zhou (MSR), Gang Hu (MSR and Tsinghua), Junfeng Yang

(Columbia), Lintao Zhang (MSR)

– Detecting failures in distributed systems with the FALCON spy network• Joshua B. Leners, Hao Wu, Wei-Lun Hung (UT Austin), Marcos K. Aguilera (MSR), Michael Walfish (UT Austin)

– Secure Network Provenance• Wenchao Zhou, Qiong Fei, Arjun Narayan, Andreas Haeberlen, Boon Thau Loo (University of Pennsylvania), Micah

Sherr (Georgetown University)

– Fay: Extensible Distributed Tracing from Kernels to ClustersÚlf E li (G l ) M P i d (MSR) Si P (ETH Zü i h) Mih i B di (MSR)• Úlfar Erlingsson (Google), Marcus Peinado (MSR), Simon Peter (ETH Zürich), Mihai Budiu (MSR)

• Work in Progress– 48 submissions, 17 accepted. 一人４分。

– ASPLOS11 で発表されたDoublePlayの拡張

– Paxosに対抗するIsis^2 http://www.cs.cornell.edu/ken/– PROobE (Parallel Reconfigurable Observational Environment) http://newmexicoconsortium.org/probe

プログラム３日目午前• Threads and Races Chair: Bryan Ford

– Dthreads: Efficient Deterministic Multithreading• Tongping Liu, Charlie Curtsinger, Emery D. Berger (UMass Amherst)

– Efficient Deterministic Multithreading through Schedule Relaxation• Heming Cui, Jingyue Wu, John Gallagher, Huayang Guo, Junfeng Yang (Columbia)

– Pervasive Detection of Process Races in Deployed Systems• Oren Laadan, Nicolas Viennot, Chia-che Tsai, Chris Blinn, Junfeng Yang, Jason Nieh (Columbia)

– Detecting and Surviving Data Races using Complementary Schedules• Kaushik Veeraraghavan, Peter M. Chen, Jason Flinn, Satish Narayanasamy (University of Michigan)• ASPLOS11でDoublePlay を発表した人で y を発表した人

• Geo-Replication Chair: Ant Rowstron– Transactional storage for geo-replicated systems

• Yair Sovran, Russell Power (NYU), Marcos K. Aguilera (MSR), Jinyang Li (NYU)

– Don’t Settle for Eventual: Scalable Causal Consistency for Wide-Area Storage with COPS

• Wyatt Lloyd, Michael J. Freedman (Princeton), Michael Kaminsky (Intel Labs), David G. Andersen (CMU)

A File is Not a File: Understanding the I/O Behavior of Apple Desktop Applications (Best Paper)

Tyler Harter, Chris Dragga, Michael Vaughn, Andrea C. Arpaci-Dusseau, Remzi H. Arpaci-Dusseau (University of Wisconsin, Madison)

• ホームユーザアプリケーション(MaxOS X対象)は、UNIX流の

単純なアプリケーションとは異なり、大規模で複雑。解析するためにiBenchを提案。– http://research.cs.wisc.edu/adsl/Traces/ibench/

• Case StudyPages 4 0 3(Apple’s iWork suite)によるDOCフォーマット文書ファイル– Pages 4.0.3(Apple s iWork suite)によるDOCフォーマット文書ファイル作成。Insert 15 JPEG images (each ~2.5MB)

• 1docファイルの為に385 files– 218 KV store files + 2 SQLite files: Personalized behavior (recently used lists, settings, etc)– 118 multimedia files: Rich graphical experience– 25 Strings files: Language localization– 17 Other files: Auto-save file and others

• docファイル中にはディレクトリをもつ。(Document, Data, Table, Ministream)。• 11 threads で実行

• fsync とrenameを多用した更新

– シーケンシャルアクセスしたつもりでもシーケンシャルになっていない• FATではヘッダを更新した後に、各データストリームがフラグメント化されて保存

sTh

File

shreads

rename

fsync

small I/O

big I/O次スライドで拡大

fsyncとrenameの多用

Writing theDOC file

Dodファイルへの書き込み

read

write

A File is Not a File: Understanding the I/O Behavior of Apple Desktop Applications (Best Paper)

Tyler Harter, Chris Dragga, Michael Vaughn, Andrea C. Arpaci-Dusseau, Remzi H. Arpaci-Dusseau (University of Wisconsin, Madison)

• 何故アプリケーションが大きくなるのか。– 現在は開発環境による開発が主流

– Cocoa を使うと 689 のファイルから112,047行が取り込まれる

– 多言語対応も自動的に行われるが、多くのファイルが自動的に含まれる

• ホームユーザアプリケーションを解析するためにiBenchを提案– iPhoto, iTunes, iMovie,Pages, Numbers, and Keynoteを組み合わせ

たBenchmark Suite– AppleScriptによるUIのプログラミング

– Dtraceにsystem callの収集• iTunesはptraceを使ってしまっているので、gdbを使って回避。

– ファイルサイズごとに解析• very small (< 4KB), small (< 64KB), medium (< 1MB), large (< 10MB), very large

(≥ 10MB).

CloudVisor: Retrofitting Protection of Virtual Machines in Multi-tenant Cloud with Nested Virtualization

Fengzhe Zhang, Jin Chen, Haibo Chen, Binyu Zang (Fudan University)

• 現在のVMMは大規模でTCB(Trusted Computing Base)と呼ぶには大きすぎる。

VMMの脆弱性も多い• VMMの脆弱性も多い。

– 32 CVE on Xen, 35 CVE on VMware• Cloud Operatorによる情報漏えいもある。

• Nested VirtualizationによりVMM(Xen)の下位に置き、VMメモリイメージ、I/Oを暗号化し、VM間や管理OSなどからの不正アクセスを禁止するCloudVisorの提案。



• CloudVisor 5.5K LOC。Intel CPUの機能をフルに使う

• VMM起動後に挿入– Intel TXTを使ったlate launch。Xenの起動後に挿入できる。

• IOMMUを使ってDMA Attackを防ぐ

• EPT-v ReadOnlyによるVMMメモリの仮想化とメモリ保護

• VMexit の回数が増える

– VM read と VM writeをVMCSへのメモリアクセスとするパッチで回避



• I/Oの暗号による秘匿化とハッシュによる完全性確保

• Merkle hash treeによる管理

• 性能比較のために全機能を実行できるマシンがない。２台で実験– Core2Quad マシン Intel TXT, TPM– Dell R510 EPT,AES-NI命令, SR-IOV

• 実装の疑問点– CloudVisor用のメモリの確保。TXT後にどこに確保するのか。

– 暗号/復号の開始時点。VMが動く前にはCloudVisorを起動する必要あり?



• 類似研究

– Nested Virtualization (Turtles, OSDI[2010])• Turtlesは複数VMMをターゲットとしているが、CloudVisorは一つ

– VMメモリの暗号化。• OverShadow[ASPLOS08], SP3[Vee08]

VMレイヤの縮小強化– VMレイヤの縮小、強化• NoHype[ISCA10]: virtualization layerの除去

• NOVA[EuroSys10]: microkernel based VMM• HyperSentry [CCS10]: SMIを使ったVMM完全性検証

• HyerSafe[SS&P10]:制御フローの完全性確保– Non-Bypassable Memory Lockdown, Restricted Pointer Indexing

• HUKO[NDSS11]：信頼できないドライバ用に隔離されたメモリ提供– EPTでCR3をカーネル用とドライバ用に切り替える

Breaking Up is Hard to Do: Security and Functionality in a Commodity Hypervisor

Patrick Colp, Mihir Nanavati (UBC), Jun Zhu (Citrix), William Aiello (UBC), George Coker (NSA), Tim Deegan (Citrix), Peter Loscocco (NSA), Andrew Warfield (UBC)

• 現在のVMM(Xen)は– Monolithic Control VM を含めてTCB(Trusted Computing Base)が大きい

– Control VM はVMに対して多くのインターフェース

• 空間的、時間的にmodularity とisolationを高めたXoarの提案

Xoarの構成

既存のXenXoarの構成

– 空間的

• Isolation：必要な機能毎のモジュール化、必要な特権権限のみ付与。

• Configurable Sharing• Auditing

– 時間的：攻撃されるターゲットを必要な時のみ使うようにする

• Disposable：起動後不要なものは捨てる。PCIの初期化など。

• Timed Restarts：デバイスは必要な時のみ

• Stateless： VMのロールバック。攻撃があってもアプリケーションを攻撃前に戻す

– 4-25msecで戻せる。副作用がある場合は反映させる。

使われる技術 recovery box [USENIX Summer 92] Microreboot[OSDI04]

• 各モジュールの性質

privileged “R” is rebootable

Poster• 30(投稿50本) 終版投稿にshepherdが付く

• Title: Software Side Channel Attack on Memory Deduplication– 3 Referees: Weak Accept, Accept, Reject– EuroSec2011で発表できなかったメモリ重複除外へのサイドチャネル攻撃

VM1(victim) VM2(attacker)

S t t

Real Physical Memory

Guest Pseudo Memory

Write Access

Wh i i i d h d d li d

VM1(victim) VM2(attacker)

Attacker knows the page contents exist on victim VM.

Normal Attacked

attacker’s program

…gzopen();…posix_memalign();gzread();…gettimeofday();// write data to heapgettimeofday();

matching target file with gziped

memory on attacker’s VM

Contents stored on page cache

Contents stored on heap memory

Un-control by attacker’s program

different contents

Deduplicated with memory on other VM

attacker’s program

…open();…posix_memalign();read();…gettimeofday();// wrie data to heapgettimeofday();

matching target file

memory on attacker’s VM

PageCacheContents stored on page cache

Contents stored on heap memory

Un-control by attacker’s program

Heap Same contents are deduplicated on self memory

access time is delayed with self memory deduplication

PageCache

Heap

Same-content pages on VMs are merged on real physical memory

When a write access is issued to the deduplicatedpages, the access time is delayed, because the page are re-created by Copy-On-Write .

•Challenge for the attacker •Alignment of matching data•Self-reflection (explained to the right)•Runtime modification(swap-out, ASLR, anonymous page, preloading, self-modifying code)

SOSP報告終わり

SOCC2011概要• 2nd ACM Symposium on Cloud Computing October 26-28, 2011, Cascais,

Portugal– http://socc2011.gsd.inesc-id.pt/– 採択論文 Long 24/136 (17%) short 6/42 (14%)– 参加者194(昨年 208)– 初日にTutorial 2本

• Amazon Web Services• The Windows Azure Cloud Platform

– Keynote Speaker by Christopher Olston, Bionica Human Computingy p y p p g• Programming and Debugging Large-Scale Data Processing Workflows

– Hadoop MapReduce 用データフロー言語Pig、ワークフローマネージャNOVA、およびプログラミング環境の解説

• 異なる会議だがほぼ同じスライドを使っている。

• http://www.sfbayacm.org/wp/wp-content/uploads/2011/03/olston-slides.pdf

– Improving Per-Node Efficiency in the Datacenter with New OS Abstractions [short paper]

• Barret Rhoden, Kevin Klues, David Zhu, and Eric Brewer (UC Berkeley)

– Paper of Distinction! Opportunistic Flooding to Improve TCP Transmit

プログラム１日目午前• Virtual Infrastructure Chair: Amr El Abbadi

– Paper of Distinction! Pesto: Online Storage Performance Management in Virtualized Datacenters [full paper]

• Ajay Gulati, Ganesha Shanmuganathan, and Irfan Ahmad (VMware, Inc.), Carl A. Waldspurger (unaffiliated), and Mustafa Uysal (VMware, Inc.)

• データセンターのストレージパフォーマンスすシステム。

• PestoはCongestion management はPARDA[FAST09]ベース。I/O load balancingによりデータの移動。Datastoreのremove/addあり。

Paper of Distinction! Opportunistic Flooding to Improve TCP Transmit Performance in Virtualized Clouds [full paper]

• Sahan Gamage, Ardalan Kangarlou, Ramana Rao Kompella, and Dongyan Xu (Purdue University)

– Cuanta: Quantifying Effects of Shared On-chip Resource Interference for Consolidated Virtual Machines [full paper]

• Sriram Govindan (The Pennsylvania State University), Jie Liu and Aman Kansal (Microsoft Research, Redmond), and Anand Sivasubramaniam (The Pennsylvania State University)

VMのコンテキストスイッチでRTTが悪くなる。ドライバドメインでOffload congestion controlするvFloodを提案。類似研究 vSnoop [SC10] packet lossがあった時はcongestion controlをVM側に移す。vFloodはXenのドライバドメインで実現。1500LOC。Xen3.3 Linux.2.6.18 for driver domain

プログラム１日目午後 1/2• Computation Chair: John Wilkes

– Orleans: Cloud Computing for Everyone [full paper]• Sergey Bykov, Alan Geller, Gabriel Kliot, James R. Larus, Ravi Pandya, and Jorgen Thelin (Microsoft Research)

– Paper of Distinction! PrIter: A Distributed Framework for Prioritized Iterative Computations [full paper]

• Yanfeng Zhang and Qixin Gao (Northeastern University, 中国), Lixin Gao (University of Massachusetts Amherst), and Cuirong Wang (Northeastern University)

• MacPreduceの高速化。基本はIterative Computationのプライオリティを付けて、キューに入れる。スレッシュホールドより大きいものから分散処理。Hadoopより50倍のスピードアップ。

• ソースコード http://code.google.com/p/priter/

– Making Time-stepped Applications Tick in the Cloud [full paper, regular presentation]

• Tao Zou, Guozhang Wang, Marcos Vaz Salles, David Bindel, Alan Demers, Johannes Gehrke, and Walker White (Cornell University)

– Scaling the Mobile Millennium System in the Cloud [short paper]• Timothy Hunter, Teodor Moldovan, Matei Zaharia, and Justin Ma (UC Berkeley), Samy Merzgui (EPFL), and Justin Ma,

Michael Franklin, Pieter Abbeel, and Alexandre Bayen (UC Berkeley)

プログラム１日目午後 2/2• Data Centers etc Chair: Jeff Chase

– ALIAS: Scalable, Decentralized Label Assignment for Data Centers [full paper]• Meg Walraed-Sullivan, Radhika Niranjan Mysore, and Malveeka Tewari (UCSD), Ying Zhang (Ericsson), and Keith Marzullo

and Amin Vahdat (UCSD)

– Small-World Datacenters [full paper]• Ji-Yong Shin, Bernard Wong, and Emin Gun Sirer (Cornell University)

– Switching the Optical Divide: Fundamental Challenges for Hybrid Electrical/Optical Datacenter Networks [short paper]

• Hamid Hajabdolali Bazzaz and Malveeka Tewari (University of California, San Diego), Guohui Wang (Rice University), George Porter (University of California, San Diego), T. S. Eugene Ng (Rice University), David G. Andersen (Carnegie Mellon University), Michael Kaminsky and Michael A. Kozuch (Intel Labs), and Amin Vahdat (University of California, San Diego)

• データセンターで1Bpsのケーブルで100m, 10 Gpbs のケーブルで12m しか延ばせない。これを埋めるp , pOptical networkの活用。類似の研究としてSIGCOM10のHelio/C-Throughがある。

– CloudNaaS: A Cloud Networking Platform for Enterprise Applications [full paper]• Theophilus Benson and Aditya Akella (University of Wisconsin, Madison) and Anees Shaikh and Sambit Sahu (IBM

Research, TJ Watson)

– To Cloud Or Not To Cloud? Musings On Costs and Viability [short paper, short presentation]

• Yao Chen and Radu Sion (Stony Brook University)

– ActiveSLA: A Profit-Oriented Admission Control Framework for Database-as-a-Service Providers [full paper]

• Pengcheng Xiong (Georgia Institute of Technology), Yun Chi, Shenghuo Zhu, and Junichi Tatemura (NEC Laboratories America), Calton Pu (Georgia Institute of Technology), and Hakan Hacigumus (NEC Laboratories America)

• POSTER SESSION

プログラム2日目午前• Data and How to Protect It Chair: Boon Thau Loo

– PipeCloud: Using Causality to Overcome Speed-of-Light Delays in Cloud-Based Disaster Recovery [full paper]

• Timothy Wood (University of Massachusetts Amherst), H. Andres Lagar-Cavilla and K.K. Ramakrishnan (AT&T Research), Prashant Shenoy (University of Massachusetts Amherst), and Jacobus Van der Merwe (AT&T Research)

– Silverline: Toward Data Confidentiality in Storage-Intensive Cloud Applications [full paper]• Krishna Puttaswamy, Chris Kruegel, and Ben Zhao (UCSB)

– Policy expressivity in the Anzere personal cloud [full paper]• Oriana Riva (Microsoft Research, Redmond) and Qin Yin, Dejan Juric, Ercan Ucan, and Timothy Roscoe (ETH Zurich)

– An Efficient Multi-Tier Tablet Server Storage Architecture [full paper, short presentation]• Richard P. Spillane, Pradeep J. Shetty, Erez Zadok, Sagar Dixit, and Shrikar Archak (Stony Brook University)

• Big Data Chair: Chris Olstong– Small Cache, Big Effect: Provable Load Balancing for Randomly Partitioned Cluster Services [full

paper]• Bin Fan, Hyeontaek Lim, and David G. Andersen (Carnegie Mellon University) and Michael Kaminsky (Intel Labs)

– Query Optimization for Massively Parallel Data Processing [full paper]• Sai Wu and Feng Li (National University of Singapore), Sharad Mehrotra (University of California at Irvine), and Beng Chin Ooi

(National University of Singapore)

– Trojan Data Layouts: Right Shoes for a Running Elephant [full paper]• Alekh Jindal, Jorge-Arnulfo QuianÃ©-Ruiz, and Jens Dittrich (Saarland University)

– YCSB++: Benchmarking and Performance Debugging Advanced Features in Scalable Table Stores [full paper]

• Swapnil Patil (CMU), Milo Polte (CMU), Kai Ren (CMU), Wittawat Tantisiriroj (CMU), Lin Xiao (CMU), Julio Lopez (CMU), Garth Gibson (CMU), Adam Fuchs (National Security Agency) and Billie Rinaldi (National Security Agency)

• [SOCC10]で発表されたYCSB（Yahoo! Cloud Service Benchmark）の拡張。YCSB++はCentral coordination とmulti-phase testを拡張。

• http://www.pdl.cmu.edu/ycsb++/

プログラム2日目午後• Managing Resources (Part I) Chair: Dongyan Xu

– Modeling and Synthesizing Task Placement Constraints in Google Compute Clusters [full paper]• Bikash Sharma (Pennsylvania State University), Victor Chudnovsky, Joseph L. Hellerstein, and Rasekh Rifaat (Google Inc.), and

Chita R. Das (Pennsylvania State University)

– CloudScale: Elastic Resource Scaling for Multi-Tenant Cloud Systems [full paper]• Zhiming Shen, Sethuraman Subbiah, and Xiaohui Gu (North Carolina State University) and John Wilkes (Google)

– Automatic Management of Partitioned, Replicated Search Services [short paper]• Florian Leibert, Jake Mannix, Jimmy Lin, and Babak Hamadani (Twitter)

– DOT: A Matrix Model for Analyzing, Optimizing and Deploying Software for Big Data Analytics in Distributed Systems [full paper]

• Yin Huai and Rubao Lee (Department of Computer Science and Engineering, The Ohio State University), Simon Zhang (Department of Computer Science, Cornell University), and Cathy H. Xia and Xiaodong Zhang (Department of Computer Science and Engineering, The Ohio State University)g g, y)

• Managing Resources (Part II) Chair: Shivnath Babu– No One (Cluster) Size Fits All: Automatic Cluster Sizing for Data-intensive Analytics [full paper]

• Herodotos Herodotou, Fei Dong, and Shivnath Babu (Duke University)

– Declarative Automated Cloud Resource Orchestration [short paper] • Changbin Liu and Boon Thau Loo (University of Pennsylvania) and Yun Mao (AT&T Labs Research)

– CoScan: Cooperative Scan Sharing in the Cloud [full paper]• Xiaodan Wang (Johns Hopkins University), Anish Das Sarma and Christopher Olston (Yahoo! Research), and Randal Burns

(Johns Hopkins University)

– Incoop: MapReduce for Incremental Computations [full paper]• Pramod Bhatotia, Alexander Wieder, Rodrigo Rodrigues, Umut A. Acar, and Rafael Pasquini (MPI-SWS)

SOCC報告終わり

PLOS2011概要• 6th Workshop on Programming Languages and Operating Systems,

October 23, 2011, Cascais, Portugal– http://plosworkshop.org/2011/– SOSP2011のワークショップの一つ– 参加者 40人ぐらい– Keynote

• The Role of Language Technology in Trustworthy Operating Systems– Gernot Heiser, University of New South Wales and NICTA– スライドを公開しているスライドを公開している

http://ertos.nicta.com.au/publications/papers/Heiser_11:plos.slides.pdf– MMU-enforced protection (SeL4) v.s. Type safety (Singularity) のコスト比較(InterDomain Comm, CrossDomain Comm,サイクル毎の実行コード、コード量)は面白い

PLOS 午前• Static Analyses

– Finding Resource-Release Omission Faults in Linux• Suman Saha (LIP6-Regal), Julia Lawall (DIKU, University of Copenhagen), and Gilles Muller (INRIA/LIP6-Regal)

• リソースの解放ミスはエラー処理時に起こりやすい。エラーハンドリングの終了時にリソースリリースを開放を確認する。はLinux 2.6.34のドライバディレクトリで100個のfaultを発見。

– Configuration Coverage in the Analysis of Large-Scale System Software• Reinhard Tartler, Daniel Lohmann, Christian Dietrich, Christoph Egger, and Julio Sincero (Friedrich-Alexander University)

• Linux 3.0 では883のKonfig fileがある。All offのKonfigでは小カーネルにならない。

• Security• Rounding Pointers — Type Safe Capabilities with C++ Meta Programming

• Alexander Warg and Adam Lackorzynski (Technische Universität Dresden)

• Capability = C++のsmart pointer?– Preliminary Design of the SAFE Platform

• André DeHon, Ben Karel (University of Pennsylvania), Thomas F. Knight, Jr. (BAE Systems), Gregory Malecha (Harvard University), Benoît Montagu (University of Pennsylvania), Robin Morisset (École Normale Supérieure Paris), Greg Morrisett(Harvard University), Benjamin C. Pierce (University of Pennsylvania), Randy Pollack (Harvard University), Sumit Ray (BAE Systems), Olin Shivers (Northeastern University), Jonathan M. Smith (University of Pennsylvania), and Gregory Sullivan (BAE Systems)

PLOS 午後• Dynamic Safety and Performance

– Dynamic Deadlock Avoidance in Systems Code Using Statically Inferred Effects• Prodromos Gerakios, Nikolaos Papaspyrou (National Technical University of Athens), Konstantinos Sagonas (National Technical

University of Athens and Uppsala University), and Panagiotis Vekris (National Technical University of Athens)

• トランザクション毎ファイルシステムの一貫性を取るRecon

– Using Declarative Invariants for Protecting File-System Integrity• Jack Sun, Daniel Fryer, Ashvin Goel, and Angela Demke Brown (University of Toronto)

– Assessing the Scalability of Garbage Collectors on Many Cores• Lokesh Gidra, Gaël Thomas, Julien Sopena, and Marc Shapiro (Regal-LIP6/INRIA)

• メニーコア上でのガベコレ評価。OpenJDKで使われているparallel copying、concurrent Mark Sweepなどのガベコレを48コア上で評価。

• Reversible Debugging– URDB: A Universal Reversible Debugger Based on Decomposing Debugging Histories

• Ana-Maria Visan, Kapil Arya, Gene Cooperman, and Tyler Denniston (Northeastern University)

データ解析言語Datalog(prolog subset)との統合