Erlang Workshop最新文献_第2页

Riak PG: distributed process groups on dynamo-style distributed storage Riak PG:基于动态分布式存储的分布式进程组

Erlang Workshop Pub Date : 2013-09-28 DOI: 10.1145/2505305.2505309

Christopher S. Meiklejohn

引用次数: 9

Testing blocking operations with QuickCheck's component library 用QuickCheck的组件库测试阻塞操作

Erlang Workshop Pub Date : 2013-09-28 DOI: 10.1145/2505305.2505310

U. Norell, Hans Svensson, T. Arts

{"title":"Testing blocking operations with QuickCheck's component library","authors":"U. Norell, Hans Svensson, T. Arts","doi":"10.1145/2505305.2505310","DOIUrl":"https://doi.org/10.1145/2505305.2505310","url":null,"abstract":"It is a challenge to write test cases for software with blocking operations, i.e. operations that do not return until data become available. One should prevent the test case itself to block, whereas at the same time, one wants to test the blocking behaviour. Therefore, the standard solution is to write concurrent test cases, each call in the test case executed by a newly spawned process, together with a lot of boilerplate code. Manually crafted test cases can check that blocking calls are indeed blocked and unblocked as expected. Writing such test cases is error-prone and covering all interesting cases requires a lot of manually written tests.\u0000 By using QuickCheck?s state machines one can automatically generate the test cases from a specification, but also here the boilerplate code is needed. We demonstrate that by using the component library in QuickCheck, an extension of the state machine formalism, the boilerplate code is no longer needed. Using the component library results in clear and concise specifications that are effectively used for testing. By using this new library, software with blocking operations can be tested much more thoroughly than by using a manual test approach.","PeriodicalId":140676,"journal":{"name":"Erlang Workshop","volume":"80 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-09-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124866905","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}

引用次数: 6

Towards automatic actor pinning on multi-core architectures 在多核架构上实现actor的自动绑定

Erlang Workshop Pub Date : 2012-09-14 DOI: 10.1145/2364489.2364501

E. Francesquini, A. Goldman, J. Méhaut

引用次数: 0

Co-ops: concurrent algorithmic skeletons for Erlang Co-ops: Erlang的并发算法框架

Erlang Workshop Pub Date : 2012-09-14 DOI: 10.1145/2364489.2364500

Jay Nelson

引用次数: 1

Hansei: property-based development of concurrent systems Hansei:基于属性的并发系统开发

Erlang Workshop Pub Date : 2012-09-14 DOI: 10.1145/2364489.2364505

Joseph Blomstedt

{"title":"Hansei: property-based development of concurrent systems","authors":"Joseph Blomstedt","doi":"10.1145/2364489.2364505","DOIUrl":"https://doi.org/10.1145/2364489.2364505","url":null,"abstract":"Avoiding concurrency errors remains one of the main challenges in day-to-day Erlang development. Errors can arise both from unexpected process and message interleaving, as well as concurrent clients or users interacting with the system in an unanticipated manner. To address this issue, many testing tools have been developed over the years. One approach is to pair a property-based testing tool with a tool that overrides the Erlang scheduler. This allows developers to focus on defining the properties of their system, and let the testing tools worry about testing these properties across different interleavings.\u0000 This paper builds upon this approach and presents the Hansei testing framework. Hansei provides an approach to writing property-based tests that build on standard OTP abstractions, as well as a testing infrastructure designed to support test-driven development of concurrent systems. The Hansei infrastructure builds on the existing QuickCheck property-based testing tool, and supports both built-in message interleaving as well as a testing mode that works with existing process interleaving tools. Existing tools are more mature and feature-complete, while the built-in Hansei support has the unique property of being able to operate on code that spans multiple Erlang VMs.","PeriodicalId":140676,"journal":{"name":"Erlang Workshop","volume":"185 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-09-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116658009","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

Failover and takeover contingency mechanisms for network partition and node failure 网络分区和节点故障的故障转移和接管应急机制

Erlang Workshop Pub Date : 2012-09-14 DOI: 10.1145/2364489.2364498

Macías López, Laura M. Castro, D. Cabrero

{"title":"Failover and takeover contingency mechanisms for network partition and node failure","authors":"Macías López, Laura M. Castro, D. Cabrero","doi":"10.1145/2364489.2364498","DOIUrl":"https://doi.org/10.1145/2364489.2364498","url":null,"abstract":"Proper definition of suitable mechanisms to cope with network partition and to recover from node failure are among the most common problems when designing and implementing a fault-tolerant distributed system. The concern is even more serious when the different scenarios could not be predicted beforehand and are detected once the system is at deployment stage.\u0000 There are a number of decisions that can be made when choosing the right contingency mechanisms to deal with these distribution-bounded problems. The factors that must be taken into account include not only the technology in use, the node layout, the message protocol and the properties of the messages to be exchanged, certain desired/demanded features such as latency, bandwidth,... but also the communications network reliability, and even the hardware where the system is running on.\u0000 In this paper we present ADVERTISE, a distributed system for advertisement transmission to on-customer-home set-top boxes (STBs) over a Digital TV network (iDTV) of a cable operator. We use this system as a case study to explain how we addressed the aforementioned problems, and present a set of good practices that can be extrapolated to comparable systems.","PeriodicalId":140676,"journal":{"name":"Erlang Workshop","volume":"41 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-09-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124381259","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

ErLLVM: an LLVM backend for Erlang ErLLVM: Erlang的LLVM后端

Erlang Workshop Pub Date : 2012-09-14 DOI: 10.1145/2364489.2364494

Konstantinos Sagonas, Chris Stavrakakis, Yiannis Tsiouris

引用次数: 12

Distributed computation on dynamo-style distributed storage: riak pipe 发电机式分布式存储的分布式计算:riak管

Erlang Workshop Pub Date : 2012-09-14 DOI: 10.1145/2364489.2364497

Bryan Fink

引用次数: 12

Erlang as an implementation platform for BDI languages Erlang作为BDI语言的实现平台

Erlang Workshop Pub Date : 2012-09-14 DOI: 10.1145/2364489.2364491

Álvaro Fernández Díaz, Clara Benac Earle, Lars-Åke Fredlund