Proceedings of the 2018 Workshop on Advanced Tools, Programming Languages, and PLatforms for Implementing and Evaluating Algorithms for Distributed systems最新文献

Saying What You Mean 说出你的意思

Proceedings of the 2018 Workshop on Advanced Tools, Programming Languages, and PLatforms for Implementing and Evaluating Algorithms for Distributed systems Pub Date : 2018-07-23 DOI: 10.1145/3231104.3231112

Victor Luchangco

引用次数: 0

Apply or Perish! 要么申请，要么灭亡!

Proceedings of the 2018 Workshop on Advanced Tools, Programming Languages, and PLatforms for Implementing and Evaluating Algorithms for Distributed systems Pub Date : 2018-07-23 DOI: 10.1145/3231104.3231111

M. Aguilera

引用次数: 0

Language Semantics Driven Design and Formal Analysis for Distributed Cyber-Physical Systems: [Extended Abstract] 分布式信息物理系统的语言语义驱动设计与形式化分析[扩展摘要]

Proceedings of the 2018 Workshop on Advanced Tools, Programming Languages, and PLatforms for Implementing and Evaluating Algorithms for Distributed systems Pub Date : 2018-07-23 DOI: 10.1145/3231104.3231958

Ritwika Ghosh, Sasa Misailovic, S. Mitra

引用次数: 4

Towards Reproducible Evaluation of Large-Scale Distributed Systems 实现对大规模分布式系统的可重复评估

Proceedings of the 2018 Workshop on Advanced Tools, Programming Languages, and PLatforms for Implementing and Evaluating Algorithms for Distributed systems Pub Date : 2018-07-23 DOI: 10.1145/3231104.3231113

M. Matos

{"title":"Towards Reproducible Evaluation of Large-Scale Distributed Systems","authors":"M. Matos","doi":"10.1145/3231104.3231113","DOIUrl":"https://doi.org/10.1145/3231104.3231113","url":null,"abstract":"Reproducing experimental results is nowadays seen as one of the greatest impairments for the progress of science in general and distributed systems in particular. This stems from the increasing complexity of the systems under study and the inherent complexity of capturing and controlling all variables that can potentially affect experimental results. We argue that this can only be addressed with a systematic approach to all the stages of the evaluation process. This raises the following challenges: i) precisely describe the environment and variables affecting the experiment, ii) minimize the number of (uncontrollable) variables affecting the experiment and iii) have the ability to subject the system under evaluation to controlled fault patterns. In the following, we highlight the research directions we are currently pursuing to address these goals. Our overarching goal is to build an open-source evaluation platform, Angainor, able to deploy an experiment, control the network topology, inject faults, monitor the whole experiment and automatically derive summary statistics of the experimental data.","PeriodicalId":164914,"journal":{"name":"Proceedings of the 2018 Workshop on Advanced Tools, Programming Languages, and PLatforms for Implementing and Evaluating Algorithms for Distributed systems","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-07-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131344161","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

Partisan 党派之争

Proceedings of the 2018 Workshop on Advanced Tools, Programming Languages, and PLatforms for Implementing and Evaluating Algorithms for Distributed systems Pub Date : 2018-07-23 DOI: 10.1145/3231104.3231106

Christopher S. Meiklejohn

引用次数: 1

Proceedings of the 2018 Workshop on Advanced Tools, Programming Languages, and PLatforms for Implementing and Evaluating Algorithms for Distributed systems 2018年分布式系统实现和评估算法的高级工具、编程语言和平台研讨会论文集

Proceedings of the 2018 Workshop on Advanced Tools, Programming Languages, and PLatforms for Implementing and Evaluating Algorithms for Distributed systems Pub Date : 2018-07-23 DOI: 10.1145/3231104

引用次数: 2

Logical Clocks Are Not Fair: What Is Fair? 逻辑时钟不公平:什么是公平?

Proceedings of the 2018 Workshop on Advanced Tools, Programming Languages, and PLatforms for Implementing and Evaluating Algorithms for Distributed systems Pub Date : 2018-07-23 DOI: 10.1145/3231104.3231109

Yanhong A. Liu

引用次数: 3

Data Distribution Method for Fast Giga-scale Hologram Generation on a Multi-GPU Cluster 多gpu集群上快速生成千兆级全息图的数据分布方法

Proceedings of the 2018 Workshop on Advanced Tools, Programming Languages, and PLatforms for Implementing and Evaluating Algorithms for Distributed systems Pub Date : 2018-07-23 DOI: 10.1145/3231104.3231105

T. Baba, Shinpei Watanabe, B. Jackin, K. Ootsu, Takeshi Ohkawa, T. Yokota, Y. Hayasaki, T. Yatagai

{"title":"Data Distribution Method for Fast Giga-scale Hologram Generation on a Multi-GPU Cluster","authors":"T. Baba, Shinpei Watanabe, B. Jackin, K. Ootsu, Takeshi Ohkawa, T. Yokota, Y. Hayasaki, T. Yatagai","doi":"10.1145/3231104.3231105","DOIUrl":"https://doi.org/10.1145/3231104.3231105","url":null,"abstract":"The 3D holographic display has long been expected as a future human interface as it does not require users to wear special devices. However, in addition to the delay of display device technology, its heavy computation requirement prevents the realization of such displays. A recent study says that objects and holograms with several giga-pixels should be processed in real time for the realization of high resolution and wide view angle. To this problem, first, we have proposed a new data distribution method that utilizes a basic FFT-based O(N log N) computation but does not need any inter-node communications during the computation on a multi-GPU cluster. Then, we have implemented the method on a multi-GPU cluster, applying several single-node and multi-node optimization and parallelization techniques. The experimental results show that the intra-node optimizations attain 11.52 times speed-up from the original single node code. Further, multi-node optimizations using 8 nodes, 2 GPUs per node, attain the execution time of 4.28 sec. for generating 1.6 giga-pixel hologram from 3.2 giga-pixel object. It means 237.92 times speed-up of the sequential processing by CPU using a conventional FFT-based algorithm.","PeriodicalId":164914,"journal":{"name":"Proceedings of the 2018 Workshop on Advanced Tools, Programming Languages, and PLatforms for Implementing and Evaluating Algorithms for Distributed systems","volume":"118 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-07-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126852835","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}

引用次数: 1

Towards a More Reliable Store-and-forward Protocol for Mobile Text Messages 迈向更可靠的移动短信存储转发协议

Proceedings of the 2018 Workshop on Advanced Tools, Programming Languages, and PLatforms for Implementing and Evaluating Algorithms for Distributed systems Pub Date : 2018-07-23 DOI: 10.1145/3231104.3231108

Daniel Brahneborg, W. Afzal, Adnan Causevic, M. Björkman

{"title":"Towards a More Reliable Store-and-forward Protocol for Mobile Text Messages","authors":"Daniel Brahneborg, W. Afzal, Adnan Causevic, M. Björkman","doi":"10.1145/3231104.3231108","DOIUrl":"https://doi.org/10.1145/3231104.3231108","url":null,"abstract":"Businesses often use mobile text messages (SMS) as a cost effective and universal way of communicating concise information to their customers. Today, these messages are usually sent via SMS brokers, which forward them further to the next stakeholder, typically the various mobile operators, and then the messages eventually reach the intended recipients. Infoflex Connect AB delivers an SMS gateway application to the brokers with the main responsibility of reliable message delivery within set quality thresholds. However, the protocols used for SMS communication are not designed for reliability and thus messages may be lost. In this position paper we deduce requirements for a new protocol for routing messages through the SMS gateway application running at a set of broker nodes, in order to increase the reliability. The requirements cover important topics for the required communication protocol such as event ordering, message handling and system membership. The specification of such requirements sets the foundation for the forthcoming design and implementation of such a protocol and its evaluation.","PeriodicalId":164914,"journal":{"name":"Proceedings of the 2018 Workshop on Advanced Tools, Programming Languages, and PLatforms for Implementing and Evaluating Algorithms for Distributed systems","volume":"41 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-07-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"117240085","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}

引用次数: 3

An Analysis of Quorum-based Abstractions: A Case Study using Gorums to Implement Raft 基于群体的抽象分析:以Gorums实现Raft为例

Proceedings of the 2018 Workshop on Advanced Tools, Programming Languages, and PLatforms for Implementing and Evaluating Algorithms for Distributed systems Pub Date : 2018-07-23 DOI: 10.1145/3231104.3231957

S. Pedersen, H. Meling, Leander Jehl

{"title":"An Analysis of Quorum-based Abstractions: A Case Study using Gorums to Implement Raft","authors":"S. Pedersen, H. Meling, Leander Jehl","doi":"10.1145/3231104.3231957","DOIUrl":"https://doi.org/10.1145/3231104.3231957","url":null,"abstract":"Gorums is a novel RPC framework aimed at simplifying development of fault tolerant distributed systems. In this paper, we want to assess whether Gorums can simplify the implementation of a practical fault tolerant service that supports reconfiguration. To this end, we implemented the Raft consensus algorithm using Gorums, and show that Gorums's abstractions are useful for simplifying reconfiguration and Raft's leader election protocol. We do however discover that Raft's log replication protocol is problematic to implement with Gorums's abstractions. We attribute this difficulty to Raft's highly monolithic design, due to bundling multiple protocol features into a single RPC, violating the separation of concerns design principle. We solve this issue by developing extensions to Raft and Gorums. Our performance evaluation shows that our Raft implementation with these extensions performs better or on par with two state-of-the-art implementations. We evaluate both latency and overall throughput during normal operation, as well as under a network partition scenario.","PeriodicalId":164914,"journal":{"name":"Proceedings of the 2018 Workshop on Advanced Tools, Programming Languages, and PLatforms for Implementing and Evaluating Algorithms for Distributed systems","volume":"24 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-07-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130840255","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}

引用次数: 3