Proceedings of the 14th ACM SIGPLAN Workshop on Erlang最新文献

Linking unit tests and properties 链接单元测试和属性

Proceedings of the 14th ACM SIGPLAN Workshop on Erlang Pub Date : 2015-08-30 DOI: 10.1145/2804295.2804298

Alex Gerdes, John Hughes, Nicholas Smallbone, Meng Wang

引用次数: 7

The implementation and use of a generic dataflow behaviour in Erlang 在Erlang中实现和使用通用数据流行为

Proceedings of the 14th ACM SIGPLAN Workshop on Erlang Pub Date : 2015-08-30 DOI: 10.1145/2804295.2804300

Christopher S. Meiklejohn, P. V. Roy

引用次数: 3

Attribute grammars in Erlang Erlang中的属性语法

Proceedings of the 14th ACM SIGPLAN Workshop on Erlang Pub Date : 2015-08-30 DOI: 10.1145/2804295.2804296

U. Norell, Alex Gerdes

引用次数: 3

Performance portability through semi-explicit placement in distributed Erlang 通过在分布式Erlang中半显式放置实现性能可移植性

Proceedings of the 14th ACM SIGPLAN Workshop on Erlang Pub Date : 2015-08-30 DOI: 10.1145/2804295.2804299

K. Mackenzie, Natalia Chechina, P. Trinder

{"title":"Performance portability through semi-explicit placement in distributed Erlang","authors":"K. Mackenzie, Natalia Chechina, P. Trinder","doi":"10.1145/2804295.2804299","DOIUrl":"https://doi.org/10.1145/2804295.2804299","url":null,"abstract":"We consider the problem of adapting distributed Erlang applications to large or heterogeneous architectures to achieve good performance in a portable way. In many architectures, and especially large architectures, the communication latency between pairs of virtual machines (nodes) is no longer uniform. We propose two language-level methods that enable programs to automatically adapt to heterogeneity and non-uniform communication latencies, and both provide information enabling a program to identify an appropriate node when spawning a process. We provide a means of recording node attributes describing the hardware and software capabilities of nodes, and mechanisms that allow an application to examine the attributes of remote nodes. We provide an abstraction of communication distances that enables an application to select nodes to facilitate efficient communication. We have developed open source libraries that implement these ideas. We show that the use of attributes for node selection can lead to significant performance improvements if different components of the application have different processing requirements. We report a detailed empirical investigation of non-uniform communication times in several representative architectures, and show that our abstract model provides a good description of the hierarchy of communication times.","PeriodicalId":266108,"journal":{"name":"Proceedings of the 14th ACM SIGPLAN Workshop on Erlang","volume":"43 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-08-30","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125576575","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

Smother: an MC/DC analysis tool for Erlang smmother:一个用于Erlang的MC/DC分析工具

Proceedings of the 14th ACM SIGPLAN Workshop on Erlang Pub Date : 2015-08-30 DOI: 10.1145/2804295.2804297

Ramsay G. Taylor, J. Derrick

引用次数: 1

Proceedings of the 14th ACM SIGPLAN Workshop on Erlang 第14届ACM SIGPLAN Erlang研讨会论文集

Proceedings of the 14th ACM SIGPLAN Workshop on Erlang Pub Date : 2015-08-30 DOI: 10.1145/2804295

Hans Svensson, M. Tóth

引用次数: 0