Proceedings of the 19th International Middleware Conference最新文献

EActors EActors

Proceedings of the 19th International Middleware Conference Pub Date : 2018-11-26 DOI: 10.1145/3274808.3274823

V. Sartakov, Stefan Brenner, Sonia Ben Mokhtar, Sara Bouchenak, Gaël Thomas, Rüdiger Kapitza

{"title":"EActors","authors":"V. Sartakov, Stefan Brenner, Sonia Ben Mokhtar, Sara Bouchenak, Gaël Thomas, Rüdiger Kapitza","doi":"10.1145/3274808.3274823","DOIUrl":"https://doi.org/10.1145/3274808.3274823","url":null,"abstract":"Novel trusted execution support, as offered by Intel's Software Guard eXtensions (SGX), embeds seamlessly into user space applications by establishing regions of encrypted memory, called enclaves. Enclaves comprise code and data that is executed under special protection of the CPU and can only be accessed via an enclave defined interface. To facilitate the usability of this new system abstraction, Intel offers a software development kit (SGX SDK). While the SDK eases the use of SGX, it misses appropriate programming support for inter-enclave interaction, and demands to hardcode the exact use of trusted execution into applications, which restricts flexibility. This paper proposes EActors, an actor framework that is tailored to SGX and offers a more seamless, flexible and efficient use of trusted execution -- especially for applications demanding multiple enclaves. EActors disentangles the interaction with enclaves and, among them, from costly execution mode transitions. It features lightweight fine-grained parallelism based on the concept of actors, thereby avoiding costly SGX SDK provided synchronisation constructs. Finally, EActors offers a high degree of freedom to execute actors, either untrusted or trusted, depending on security requirements and performance demands. We implemented two use cases on top of EActors: (i) a secure instant messaging service, and (ii) a secure multi-party computation service. Both illustrate the ability of EActors to seamlessly and effectively build secure applications. Furthermore, our performance evaluation results show that securing the messaging service with EActors improves performance compared to the vanilla versions of JabberD2 and ejabberd by up to 40x.","PeriodicalId":167957,"journal":{"name":"Proceedings of the 19th International Middleware Conference","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-11-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130447619","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}

引用次数: 2

Gemini: A Distributed Crash Recovery Protocol for Persistent Caches Gemini:用于持久缓存的分布式崩溃恢复协议

Proceedings of the 19th International Middleware Conference Pub Date : 2018-11-26 DOI: 10.1145/3274808.3274819

Shahram Ghandeharizadeh, Haoyu Huang

引用次数: 11

CRIMES 犯罪

Proceedings of the 19th International Middleware Conference Pub Date : 2018-11-26 DOI: 10.1145/3274808.3274812

Sundaresan Rajasekaran, H. Chawla, Zhen Ni, Neel Shah, E. Berger, Timothy Wood

引用次数: 10

Pythia Pythia

Proceedings of the 19th International Middleware Conference Pub Date : 2018-11-26 DOI: 10.1145/3274808.3274820

Ran Xu, Subrata Mitra, Jason Rahman, Peter Bai, Bowen Zhou, G. Bronevetsky, S. Bagchi

{"title":"Pythia","authors":"Ran Xu, Subrata Mitra, Jason Rahman, Peter Bai, Bowen Zhou, G. Bronevetsky, S. Bagchi","doi":"10.1145/3274808.3274820","DOIUrl":"https://doi.org/10.1145/3274808.3274820","url":null,"abstract":"With the increase in the number cores in modern architectures, the need for co-locating multiple workloads has become crucial for improving the overall compute utilization. However, co-locating multiple workloads on the same server is often avoided to protect the performance of the latency sensitive (LS) workloads from the contentions created by other co-located workloads on the shared resources, such as cache and memory bandwidth. In this paper, we present Pythia, a co-location manager that can precisely predict the combined contention on shared resources when multiple co-located workloads interfere with an LS workload. Pythia uses a simple linear regression model that can be trained using a small fraction of the large configuration space of all possible co-locations and can still make highly accurate predictions for the combined contentions. Based on those predictions, Pythia judiciously schedules incoming workloads so that cluster utilization is improved without violating the latency threshold of the LS workloads. We demonstrate that Pythia's scheduling can improve cluster utilization by 71% compared to a simple extension of a prior work when the user is ready to sacrifice up to 5% in the QoS metric and achieve cluster utilization of 99% if 10% degradation in QoS is acceptable.","PeriodicalId":167957,"journal":{"name":"Proceedings of the 19th International Middleware Conference","volume":"73 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-11-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128148753","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}

引用次数: 26

Speculative Read Write Locks 推测性读写锁

Proceedings of the 19th International Middleware Conference Pub Date : 2018-11-26 DOI: 10.1145/3274808.3274825

S. Issa, P. Romano, Tiago Lopes

{"title":"Speculative Read Write Locks","authors":"S. Issa, P. Romano, Tiago Lopes","doi":"10.1145/3274808.3274825","DOIUrl":"https://doi.org/10.1145/3274808.3274825","url":null,"abstract":"Hardware Transactional Memory (HTM) has recently entered the realm of mainstream computing thanks to its integration in processors commercialized by major industrial manufacturers. HTM provides highly-efficient, hardware-assisted synchronization mechanisms for concurrent programs. Unfortunately, though, existing HTM implementations also suffer from severe limitations that are inherently related to their best-effort, hardware-based design. This work introduces SpRWL (Speculative Read Write Lock), a HTM-based implementation of read-write locks that provides a key benefit: allowing readers to execute outside the scope of hardware transactions, thus, effectively sparing them from any HTM-related limitation. SpRWL is the first HTM-based read-write lock implementation to support the concurrent execution of uninstrumented readers, while assuming a standard transaction demarcation API that is universally supported by any HTM implementation. Via an extensive experimental study, we show that SpRWL can achieve striking performance gains (up to 16x) with respect to state of the art read-write lock implementations based not only on pessimistic/lock-based schemes, but also on HTM-based techniques that exploit specific hardware mechanisms currently supported solely by a restricted number of architectures.","PeriodicalId":167957,"journal":{"name":"Proceedings of the 19th International Middleware Conference","volume":"27 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-11-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133450398","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

sgx-perf: A Performance Analysis Tool for Intel SGX Enclaves SGX -perf:用于英特尔SGX enclave的性能分析工具

Proceedings of the 19th International Middleware Conference Pub Date : 2018-11-26 DOI: 10.1145/3274808.3274824

Nico Weichbrodt, Pierre-Louis Aublin, R. Kapitza

{"title":"sgx-perf: A Performance Analysis Tool for Intel SGX Enclaves","authors":"Nico Weichbrodt, Pierre-Louis Aublin, R. Kapitza","doi":"10.1145/3274808.3274824","DOIUrl":"https://doi.org/10.1145/3274808.3274824","url":null,"abstract":"Novel trusted execution technologies such as Intel's Software Guard Extensions (SGX) are considered a cure to many security risks in clouds. This is achieved by offering trusted execution contexts, so called enclaves, that enable confidentiality and integrity protection of code and data even from privileged software and physical attacks. To utilise this new abstraction, Intel offers a dedicated Software Development Kit (SDK). While it is already used to build numerous applications, understanding the performance implications of SGX and the offered programming support is still in its infancy. This inevitably leads to time-consuming trial-and-error testing and poses the risk of poor performance. To enable the development of well-performing SGX-based applications, this paper makes the following three contributions: First, it summarises identified performance critical factors of SGX. Second, it presents sgx-perf, a collection of tools for high-level dynamic performance analysis of SGX-based applications. In particular, sgx-perf performs not only fined-grained profiling of performance critical events in enclaves but also offers recommendations on how to improve enclave performance. Third, it demonstrates how we used sgx-perf in four non-trivial SGX workloads to increase their performance by up to 2.16x.","PeriodicalId":167957,"journal":{"name":"Proceedings of the 19th International Middleware Conference","volume":"10 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-11-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133901413","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}

引用次数: 75

FireDeX FireDeX

Proceedings of the 19th International Middleware Conference Pub Date : 2018-11-26 DOI: 10.1145/3274808.3274830

Kyle E. Benson, Georgios Bouloukakis, Casey Grant, Valérie Issarny, Sharad Mehrotra, Ioannis Moscholios, N. Venkatasubramanian

{"title":"FireDeX","authors":"Kyle E. Benson, Georgios Bouloukakis, Casey Grant, Valérie Issarny, Sharad Mehrotra, Ioannis Moscholios, N. Venkatasubramanian","doi":"10.1145/3274808.3274830","DOIUrl":"https://doi.org/10.1145/3274808.3274830","url":null,"abstract":"Real-time event detection and targeted decision making for emerging mission-critical applications, e.g. smart fire fighting, requires systems that extract and process relevant data from connected IoT devices in the environment. In this paper, we propose FireDeX, a cross-layer middleware that facilitates timely and effective exchange of data for coordinating emergency response activities. FireDeX adopts a publish-subscribe data exchange paradigm with brokers at the network edge to manage prioritized delivery of mission-critical data from IoT sources to relevant subscribers. It incorporates parameters at the application, network, and middleware layers into a data exchange service that accurately estimates end-to-end performance metrics (e.g. delays, success rates). We design an extensible queueing theoretic model that abstracts these cross-layer interactions as a network of queues, thereby making it amenable for rapid analysis. We propose novel algorithms that utilize results of this analysis to tune data exchange configurations (event priorities and dropping policies) while meeting situational awareness requirements and resource constraints. FireDeX leverages Software-Defined Networking (SDN) methodologies to enforce these configurations in the IoT network infrastructure. We evaluate its performance through simulated experiments in a smart building fire response scenario. Our results demonstrate significant improvement to mission-critical data delivery under a variety of conditions. Our application-aware prioritization algorithm improves the value of exchanged information by 36% when compared with no prioritization; the addition of our network-aware drop rate policies improves this performance by 42% over priorities only and by 94% over no prioritization.","PeriodicalId":167957,"journal":{"name":"Proceedings of the 19th International Middleware Conference","volume":"25 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-11-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"117328131","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

Adaptive Software Cache Management 自适应软件缓存管理

Proceedings of the 19th International Middleware Conference Pub Date : 2018-11-26 DOI: 10.1145/3274808.3274816

Gil Einziger, Ohad Eytan, R. Friedman, Ben Manes

引用次数: 41

Adaptive Execution of Continuous and Data-intensive Workflows with Machine Learning 使用机器学习的连续和数据密集型工作流的自适应执行

Proceedings of the 19th International Middleware Conference Pub Date : 2018-11-26 DOI: 10.1145/3274808.3274827

Sérgio Esteves, H. Galhardas, L. Veiga

{"title":"Adaptive Execution of Continuous and Data-intensive Workflows with Machine Learning","authors":"Sérgio Esteves, H. Galhardas, L. Veiga","doi":"10.1145/3274808.3274827","DOIUrl":"https://doi.org/10.1145/3274808.3274827","url":null,"abstract":"To extract value from evergrowing volumes of data and to drive decision making, organizations frequently resort to the composition of data processing workflows. The typical workflow model enforces strict temporal synchronization across processing steps without accounting the actual effect of intermediate computations on the final workflow output. However, this is not the most desirable in a multitude of scenarios. We identify a class of applications for continuous data processing where the workflow output changes slowly and without great significance in a short time window, thus squandering compute resources with current approaches. To overcome such inefficiency, we introduce a novel workflow model, for continuous and data-intensive processing, capable of relaxing triggering semantics according to the impact that input data is assessed to have on changing the workflow output. To estimate this impact, learn the correlation between input and output variation, and guarantee correctness within a given tolerated error constant, we rely on Machine Learning. The functionality of this model is implemented in SmartFlux, a middleware framework which can be integrated with existing workflow managers. Experimental results indicate substantial savings in resource usage, while not deviating the workflow output beyond a small error constant with a high confidence level.","PeriodicalId":167957,"journal":{"name":"Proceedings of the 19th International Middleware Conference","volume":"2020 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-11-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130286455","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}

引用次数: 4

SpecRPC SpecRPC

Proceedings of the 19th International Middleware Conference Pub Date : 2018-11-26 DOI: 10.1145/3274808.3274829

Xinan Yan, Arturo Pie Joa, Bernard Wong, Benjamin Cassell, Tyler Szepesi, Malek Naouach, Disney Lam

引用次数: 2