Symposium on Networked Systems Design and Implementation最新文献_第2页

SnailTrail: Generalizing Critical Paths for Online Analysis of Distributed Dataflows SnailTrail:概括分布式数据流在线分析的关键路径

Symposium on Networked Systems Design and Implementation Pub Date : 2018-04-09 DOI: 10.3929/ETHZ-B-000228581

Moritz Hoffmann, Andrea Lattuada, J. Liagouris, Vasiliki Kalavri, D. Dimitrova, Sebastian Wicki, Zaheer Chothia, Timothy Roscoe

{"title":"SnailTrail: Generalizing Critical Paths for Online Analysis of Distributed Dataflows","authors":"Moritz Hoffmann, Andrea Lattuada, J. Liagouris, Vasiliki Kalavri, D. Dimitrova, Sebastian Wicki, Zaheer Chothia, Timothy Roscoe","doi":"10.3929/ETHZ-B-000228581","DOIUrl":"https://doi.org/10.3929/ETHZ-B-000228581","url":null,"abstract":"We rigorously generalize critical path analysis (CPA) to long-running and streaming computations and present SnailTrail, a system built on Timely Dataflow, which applies our analysis to a range of popular distributed dataflow engines. Our technique uses the novel metric of critical participation, computed on time-based snapshots of execution traces, that provides immediate insights into specific parts of the computation. This allows SnailTrail to work online in real-time, rather than requiring complete offline traces as with traditional CPA. It is thus applicable to scenarios like model training in machine learning, and sensor stream processing. \u0000 \u0000SnailTrail assumes only a highly general model of dataflow computation (which we define) and we show it can be applied to systems as diverse as Spark, Flink, TensorFlow, and Timely Dataflow itself. We further show with examples from all four of these systems that SnailTrail is fast and scalable, and that critical participation can deliver performance analysis and insights not available using prior techniques.","PeriodicalId":365816,"journal":{"name":"Symposium on Networked Systems Design and Implementation","volume":"7 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-04-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126764904","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 22

ipShield: A Framework For Enforcing Context-Aware Privacy ipShield:执行上下文感知隐私的框架

Symposium on Networked Systems Design and Implementation Pub Date : 2014-04-02 DOI: 10.5555/2616448.2616463

Supriyo Chakraborty, Chenguang Shen, K. Raghavan, Yasser Shoukry, Matt Millar, M. Srivastava

{"title":"ipShield: A Framework For Enforcing Context-Aware Privacy","authors":"Supriyo Chakraborty, Chenguang Shen, K. Raghavan, Yasser Shoukry, Matt Millar, M. Srivastava","doi":"10.5555/2616448.2616463","DOIUrl":"https://doi.org/10.5555/2616448.2616463","url":null,"abstract":"Smart phones are used to collect and share personal data with untrustworthy third-party apps, often leading to data misuse and privacy violations. Unfortunately, state-of-the-art privacy mechanisms on Android provide inadequate access control and do not address the vulnerabilities that arise due to unmediated access to so-called innocuous sensors on these phones. We present ipShield, a framework that provides users with greater control over their resources at runtime. ipShield performs monitoring of every sensor accessed by an app and uses this information to perform privacy risk assessment. The risks are conveyed to the user as a list of possible inferences that can be drawn using the shared sensor data. Based on user-configured lists of allowed and private inferences, a recommendation consisting of binary privacy actions on individual sensors is generated. Finally, users are provided with options to override the recommended actions and manually configure context-aware fine-grained privacy rules. We implemented ipShield by modifying the AOSP on a Nexus 4 phone. Our evaluation indicates that running ipShield incurs negligible CPU and memory overhead and only a small reduction in battery life.","PeriodicalId":365816,"journal":{"name":"Symposium on Networked Systems Design and Implementation","volume":"11 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-04-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129426389","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 81

Bolt: Data Management for Connected Homes Bolt:联网家庭的数据管理

Symposium on Networked Systems Design and Implementation Pub Date : 2014-04-02 DOI: 10.5555/2616448.2616472

Trinabh Gupta, R. Singh, Amar Phanishayee, Jaeyeon Jung, Ratul Mahajan

引用次数: 55

MapReduce Online MapReduce在线

Symposium on Networked Systems Design and Implementation Pub Date : 2010-04-28 DOI: 10.5555/1855711.1855732

Tyson Condie, Neil Conway, P. Alvaro, J. Hellerstein, Khaled Elmeleegy, R. Sears

引用次数: 878

SWAP: A Scheduler with Automatic Process Dependency Detection SWAP:具有自动进程依赖检测的调度器

Symposium on Networked Systems Design and Implementation Pub Date : 2004-03-29 DOI: 10.7916/D8N58V8M

Haoqiang Zheng, Jason Nieh

引用次数: 22

Deniable Upload and Download via Passive Participation 拒绝通过被动参与上传和下载

Symposium on Networked Systems Design and Implementation Pub Date : 1900-01-01 DOI: 10.3929/ETHZ-B-000286317

David M. Sommer, Aritra Dhar, Luka Malisa, Esfandiar Mohammadi, D. Ronzani, Srdjan Capkun

{"title":"Deniable Upload and Download via Passive Participation","authors":"David M. Sommer, Aritra Dhar, Luka Malisa, Esfandiar Mohammadi, D. Ronzani, Srdjan Capkun","doi":"10.3929/ETHZ-B-000286317","DOIUrl":"https://doi.org/10.3929/ETHZ-B-000286317","url":null,"abstract":"Downloading or uploading controversial information can put users at risk, making them hesitant to access or share such information. While anonymous communication networks (ACNs) are designed to hide communication meta-data, already connecting to an ACN can raise suspicion. In order to enable plausible deniability while providing or accessing controversial information, we design CoverUp: a system that enables users to asynchronously upload and download data. The key idea is to involve visitors from a collaborating website. This website serves a JavaScript snippet, which, after user’s consent produces cover traffic for the controversial site / content. This cover traffic is indistinguishable from the traffic of participants interested in the controversial content; hence, they can deny that they actually upor downloaded any data. CoverUp provides a feed-receiver that achieves a downlink rate of 10 to 50 Kbit/s. The indistinguishability guarantee of the feed-receiver holds against strong global networklevel attackers who control everything except for the user’s machine. We extend CoverUp to a full upload and download system with a rate of 10 up to 50 Kbit/s. In this case, we additionally need the integrity of the JavaScript snippet, for which we introduce a trusted party. The analysis of our prototype shows a very small timing leakage, even after half a year of continual observation. Finally, as passive participation raises ethical and legal concerns for the collaborating websites and the visitors of the collaborating website, we discuss these concerns and describe how they can be addressed.","PeriodicalId":365816,"journal":{"name":"Symposium on Networked Systems Design and Implementation","volume":"10 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131912878","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 0

Metha: Network Verifiers Need To Be Correct Too! 方法:网络验证器也需要正确!

Symposium on Networked Systems Design and Implementation Pub Date : 1900-01-01 DOI: 10.3929/ETHZ-B-000491509

Rüdiger Birkner, Tobias Brodmann, Petar Tsankov, L. Vanbever, Martin T. Vechev

{"title":"Metha: Network Verifiers Need To Be Correct Too!","authors":"Rüdiger Birkner, Tobias Brodmann, Petar Tsankov, L. Vanbever, Martin T. Vechev","doi":"10.3929/ETHZ-B-000491509","DOIUrl":"https://doi.org/10.3929/ETHZ-B-000491509","url":null,"abstract":"Network analysis and veriﬁcation tools are often a godsend for network operators as they free them from the fear of introducing outages or security breaches. As with any complex software though, these tools can (and often do) have bugs. For the operators, these bugs are not necessarily problematic except if they affect the precision of the model as it applies to their speciﬁc network. In that case, the tool output might be wrong: it might fail to detect actual conﬁguration errors and/or report non-existing ones. In this paper, we present Metha , a framework that systematically tests network analysis and veriﬁcation tools for bugs in their network models. Metha automatically generates syntactically-and semantically-valid conﬁgurations; compares the tool’s output to that of the actual router software; and detects any discrepancy as a bug in the tool’s model. The challenge in testing network analyzers this way is that a bug may occur very rarely and only when a speciﬁc set of conﬁg-uration statements is present. We address this challenge by leveraging grammar-based fuzzing together with combinatorial testing to ensure thorough coverage of the search space and by identifying the minimal set of statements triggering the bug through delta debugging. We implemented Metha and used it to test three well-known tools. In all of them, we found multiple (new) bugs in their models, most of which were conﬁrmed by the developers.","PeriodicalId":365816,"journal":{"name":"Symposium on Networked Systems Design and Implementation","volume":"58 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121746308","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 5