Proceedings of the Programming Models and Languages for Distributed Computing最新文献

筛选
英文 中文
Multi-view data types for scalable concurrency in the multi-core era 多视图数据类型,支持多核时代的可扩展并发
Proceedings of the Programming Models and Languages for Distributed Computing Pub Date : 2017-06-20 DOI: 10.1145/3166089.3168448
Deepthi Devaki Akkoorath, José Brandão, Annette Bieniusa, Carlos Baquero
{"title":"Multi-view data types for scalable concurrency in the multi-core era","authors":"Deepthi Devaki Akkoorath, José Brandão, Annette Bieniusa, Carlos Baquero","doi":"10.1145/3166089.3168448","DOIUrl":"https://doi.org/10.1145/3166089.3168448","url":null,"abstract":"With the rapid growth of number of cores, together with the heterogeneous access latencies, the cost of synchronization and communication between distant components keeps growing. As more general purpose programs exploit the many-core architectures, the speedup achieved will then be limited by the synchronization needed to access shared objects [2]. When building Internet-scale systems, similar concerns lead to the design of scalable systems that limit global synchronization and operate locally when possible. CRDTs [1] succeed in capturing data types with clear concurrency semantics and are now common components in Internet-scale systems. However, they do not migrate trivially to shared-memory architectures due to high computational costs from merge functions, which becomes apparent once network communication is removed. In this talk, we discuss multi-view data types for shared-memory architectures, that leverages a global-local view model that distinguishes between a local fast state and a distant shared state. By executing operations on the local state without synchronization, while only synchronizing with the shared state when needed, applications can achieve better scalability at the expense of linearizability - the default correctness criteria for concurrent objects.","PeriodicalId":239124,"journal":{"name":"Proceedings of the Programming Models and Languages for Distributed Computing","volume":"89 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-06-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130154560","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
Monotonicity Types for Distributed Dataflow 分布式数据流的单调性类型
Proceedings of the Programming Models and Languages for Distributed Computing Pub Date : 2017-06-20 DOI: 10.1145/3166089.3166090
Kevin Clancy, Heather Miller
{"title":"Monotonicity Types for Distributed Dataflow","authors":"Kevin Clancy, Heather Miller","doi":"10.1145/3166089.3166090","DOIUrl":"https://doi.org/10.1145/3166089.3166090","url":null,"abstract":"The Lasp [2] programming language provides combinator functions such as Union and Intersection for combining set CRDTs. When designing a CRDT combinator, care must be taken to ensure that the combinator is monotone separately in each of its arguments, so that applying it to a tuple of increasing input streams yields an increasing output stream. We consider designing a type system which can prove the monotonicity of CRDT combinators.","PeriodicalId":239124,"journal":{"name":"Proceedings of the Programming Models and Languages for Distributed Computing","volume":"33 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-06-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127110473","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
The Single-Writer Principle in CRDT Composition CRDT合成中的单写器原则
Proceedings of the Programming Models and Languages for Distributed Computing Pub Date : 2017-06-20 DOI: 10.1145/3166089.3168733
Vitor Enes, Paulo Sérgio Almeida, Carlos Baquero
{"title":"The Single-Writer Principle in CRDT Composition","authors":"Vitor Enes, Paulo Sérgio Almeida, Carlos Baquero","doi":"10.1145/3166089.3168733","DOIUrl":"https://doi.org/10.1145/3166089.3168733","url":null,"abstract":"Multi-master replication in a distributed system setting allows each node holding a replica to update and query the local replica, and disseminate updates to other nodes. Obtaining high availability typically entails allowing replicas to diverge and requires a background mechanism for re-establishing consistency. Conflict-free Replicated Data Types (CRDTs) extend standard sequential data-types with appropriate merge functions, and often can be composed together to create more complex ones. In this work we add a generic CRDT composition approach that explores the single-writer principle. By carefully controlling which part of the composition can be updated by each replica, we can derive efficient designs that cover new use-cases. After introducing the new construction we exemplify some uses, including how to emulate a simple Doodle functionality for selecting a common meeting schedule among different participants.","PeriodicalId":239124,"journal":{"name":"Proceedings of the Programming Models and Languages for Distributed Computing","volume":"16 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-06-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115293724","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
On the Design of Distributed Programming Models 论分布式编程模型的设计
Proceedings of the Programming Models and Languages for Distributed Computing Pub Date : 2017-01-26 DOI: 10.1145/3166089.3166093
Christopher S. Meiklejohn
{"title":"On the Design of Distributed Programming Models","authors":"Christopher S. Meiklejohn","doi":"10.1145/3166089.3166093","DOIUrl":"https://doi.org/10.1145/3166089.3166093","url":null,"abstract":"Programming large-scale distributed applications requires new abstractions and models to be done well. We demonstrate that these models are possible. Following from both the FLP result and CAP theorem, we show that concurrent programming models are necessary, but not sufficient, in the construction of large-scale distributed systems because of the problem of failure and network partitions: languages need to be able to capture and encode the trade-offs between consistency and availability. We present two programming models, Lasp and Austere, each of which makes a strong trade-off with respects to the CAP theorem. These two models outline the bounds of distributed model design: strictly AP or strictly CP. We argue that all possible distributed programming models must come from this design space, and present one practical design that allows declarative specification of consistency trade-offs, called Spry.","PeriodicalId":239124,"journal":{"name":"Proceedings of the Programming Models and Languages for Distributed Computing","volume":"3 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-01-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126078922","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
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
确定
请完成安全验证×
相关产品
×
本文献相关产品
联系我们:info@booksci.cn Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号:604180095
Book学术官方微信
小红书