uu.seUppsala University Publications
Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
The shared-memory interferences of Erlang/OTP built-ins
Uppsala University, Disciplinary Domain of Science and Technology, Mathematics and Computer Science, Department of Information Technology, Computing Science. (Programming Languages)
Uppsala University, Disciplinary Domain of Science and Technology, Mathematics and Computer Science, Department of Information Technology, Computing Science. (Programming Languages)ORCID iD: 0000-0001-9657-0179
2017 (English)In: Proceedings of the 16th ACM SIGPLAN International Workshop on Erlang, New York: Association for Computing Machinery (ACM), 2017Conference paper, Published paper (Refereed)
Abstract [en]

Erlang is a concurrent functional language based on the actor modelof concurrency. In the purest form of this model, actors are realizedby processes that do not share memory and communicate witheach other exclusively via message passing. Erlang comes quiteclose to this model, as message passing is the primary form of interprocesscommunication and each process has its own memoryarea that is managed by the process itself. For this reason, Erlangis often referred to as implementing “shared nothing” concurrency.Although this is a convenient abstraction, in reality Erlang’s mainimplementation, the Erlang/OTP system, comes with a large numberof built-in operations that access memory which is shared byprocesses. In this paper, we categorize these built-ins, and characterizethe interferences between them that can result in observabledifferences of program behaviour when these built-ins are usedin a concurrent setting. The paper is complemented by a publiclyavailable suite of more than one hundred small Erlang programsthat demonstrate the racing behaviour of these built-ins.

Place, publisher, year, edition, pages
New York: Association for Computing Machinery (ACM), 2017.
Keyword [en]
Actors, BEAM, Concuerror, Erlang, Scheduling nondeterminism
National Category
Software Engineering
Identifiers
URN: urn:nbn:se:uu:diva-331840DOI: 10.1145/3123569.3123573ISBN: 978-1-4503-5179-9 (print)OAI: oai:DiVA.org:uu-331840DiVA: diva2:1150361
Conference
ERLANG 2017
Projects
UPMARC
Available from: 2017-10-18 Created: 2017-10-18 Last updated: 2017-11-22Bibliographically approved
In thesis
1.
The record could not be found. The reason may be that the record is no longer available or you may have typed in a wrong id in the address field.

Open Access in DiVA

fulltext(586 kB)13 downloads
File information
File name FULLTEXT01.pdfFile size 586 kBChecksum SHA-512
511337f78abdc84bef25a50bdfa27dbd321caf18111ef5e9267c99216d91f970fd6b496bb969116ea82eb9ae33b883311862cdd65148d626a20b3d1df9ec7ef3
Type fulltextMimetype application/pdf

Other links

Publisher's full text

Authority records BETA

Aronis, StavrosSagonas, Konstantinos

Search in DiVA

By author/editor
Aronis, StavrosSagonas, Konstantinos
By organisation
Computing Science
Software Engineering

Search outside of DiVA

GoogleGoogle Scholar
Total: 13 downloads
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

doi
isbn
urn-nbn

Altmetric score

doi
isbn
urn-nbn
Total: 39 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf