[Erlang 0126] 我們讀過的Erlang論文

標籤：des   http   os   io   使用   ar   strong   for   art   

  我在Erlang Resources 豆瓣小站上發起了一個徵集活動 [連結] ,"[徵集] 我們讀過的Erlang論文",希望大家來參加.發起這樣一個活動的目的是因為Erlang相關的出版物很少,很多時候都是從學術論文中尋找答案,而發現合適的論文是第一步,這個活動就是為瞭解決這個問題.

 

  在一個極小的知識點可能都會有一篇精彩的論文為你條分縷析,抽絲剝繭,甚至可以拼湊起來一個完整的Erlang知識系統,我們開始吧...

 

 

《面向軟體錯誤構建可靠的分布式系統》

Making reliable distributed systems in the presence of sodware errors

地址:  http://pubftp0.availo.se/pub/FreeBSD/distfiles/erlang-doc/r13b01/armstrong_thesis_2003.pdf 

譯文地址: http://man.lupaworld.com/content/other/erlang.pdf   

備忘: 沒有什麼可說的,這篇論文幾乎是Erlang入門必讀,甚至在論文裡面已經可以完成Erlang基礎知識的學習;

 

Concurrent Programming in ERLANG

地址: http://www.erlang.org/download/erlang-book-part1.pdf 

備忘: 教科書

Characterizing the Scalability of Erlang VM on Many-core Processors

地址: http://kth.diva-portal.org/smash/get/diva2:392243/FULLTEXT01 

備忘: 估計是瞭解Erlang VM必讀的一篇論文,在眾多涉及Erlang VM實現的部落格,論文裡面到處可以看到這篇論文的身影;

 

Exploring Alternative Memory Architectures for Erlang:Implementation and Performance Evaluation

地址: http://www.fantasi.se/publications/Wilhelmsson_MSc.pdf

備忘: 文章介紹了Erlang VM記憶體回收和記憶體管理

 

Ef?cient memory management for concurrent programs that use message passing I,II

地址: http://user.it.uu.se/~kostis/Papers/scp_mm.pdf 

備忘: Erlang VM 記憶體管理 GC

 

Heap Architectures for Concurrent Languages using Message Passing
地址: http://www.fantasi.se/publications/ISMM02.pdf

摘要:We discuss alternative heap architectures for languages that rely on automatic memory management and implement con-
currency through asynchronous message passing. We describe how interprocess communication and garbage collec-
tion happens in each architecture, and extensively discuss the tradeo?s that are involved. In an implementation set-
ting (the Erlang/OTP system) where the rest of the runtime system is unchanged, we present a detailed experimental
comparison between these architectures using both synthetic programs and large commercial products as benchmarks.
備忘: 一句話總結這篇論文就是:當訊息傳遞的時候本質上發生了什麼

 

 

On Preserving Term Sharing in the Erlang Virtual Machine

地址: http://user.it.uu.se/~kostis/Papers/erlang12_sharing.pdf 

摘要:In this paper we describe our experiences and argue through examples why ?attening terms during copying is not a good idea for

a language like Erlang. More importantly, we propose a sharing preserving copying mechanism for Erlang/OTP and describe a pub-

licly available complete implementation of this mechanism. 

 

Bit-level Binaries and Generalized Comprehensions in Erlang
地址: http://user.it.uu.se/~pergu/papers/erlang05.pdf

備忘: To further simplify programming on bit streams we then show how binary comprehensions can be introduced in the language and how binary and list comprehensions can be extended to allow both binary and list generators.


An introduction to Core Erlang
地址: http://citeseerx.ist.psu.edu/viewdoc/download;jsessionid=1C8691982F56D28905DAC4D731A386C7?doi=10.1.1.20.7146&rep=rep1&type=pdf備忘: 簡單描述Core Erlang 和Erlang的關係,發展曆史 從Erlang代碼到Core Erlang代碼中間經曆的分析和轉換過程中是怎樣被大大簡化的.
  Programming Ef?ciently with Binaries and Bit Strings地址: http://www.erlang.org/euc/07/papers/1700Gustafsson.pdf摘要: This paper will describe the new additions to the language and show how they can be used ef?ciently given the new optimizationsof binary pattern matching and binary construction. It also includes some performance numbers to give an idea of the gains that can be
made with the new optimizations.備忘:Erlang Efficiency Guide告訴你How,這篇論文告訴你Why Programming Distributed Erlang Applications:Pitfalls and Recipes
編寫分布式的 Erlang 程式：陷阱和對策地址: http://man.lupaworld.com/content/develop/p37-svensson.pdf 譯文地址:  http://www.kaiyuanba.cn/content/develop/p37-svensson-cn.pdf 備忘:   基本訊息傳遞保障-流語義 跨節點編程陷阱 Pid重複 訊息順序 Parameterized modules in Erlang地址: http://ftp.se.postgresql.org/pub/lang/erlang/workshop/2003/paper/p29-carlsson.pdf備忘: 這個已經成為傳說,在最新版Erlang中需要通過外掛程式項目使用此特性 Design Patterns for Simulations in Erlang/OTP地址: http://ftp.nsysu.edu.tw/FreeBSD/ports/local-distfiles/olgeni/master_thesis_patterns.pdf備忘: 不感興趣的部分就大段大段的跳過吧,這篇論文講到了 The implemented behaviours  Extended Process Registry for Erlang 地址: http://svn.ulf.wiger.net/gproc/doc/erlang07-wiger.pdf   地址: http://www.erlang.se/workshop/2007/proceedings/02wiger.pdf備忘: gproc: Extended Process Registry 這個應該有不少人在實踐了  Troubleshooting a Large Erlang System地址: http://www.erlang.se/workshop/2004/cronqvist.pdf備忘: 串講了OTP排錯工具集如何使用  Static Detection of Race Conditions in Erlang地址: http://www.it.uu.se/research/group/hipe/dialyzer/publications/races.pdf摘要: We address the problem of detecting some commonly occurring kinds of race conditions in Erlang programs using static analy-

sis. 

 

Erlang’s Exception Handling Revisited

地址: http://www.erlang.se/workshop/2004/exception.pdf 

摘要:  We give a comprehensive description of the behaviour of exceptions in modern-day Erlang , present a theoretical model of the
semantics of exceptions, and use this to derive the new try-construct.

  Cleaning up Erlang Code is a Dirty Job but Somebody’s Gotta Do It地址: http://users.ece.cmu.edu/~aavgerin/papers/Erlang09.pdf 備忘: 看這篇論文我們都不一定要用這個代碼自動最佳化工具,更有價值的是問How & Why  Build Your Next Web Application with Erlang地址: http://www.kth.se/polopoly_fs/1.162674!/Menu/general/column-content/attachment/ieee.pdf 備忘: 有O‘記那本小冊子,這篇論文不讀也罷  A Study of Erlang ETS Table Implementations and Performance地址: http://www.erlang.org/workshop/2003/paper/p43-fritchie.pdf 摘要: The viability of implementing an in-memory database, Erlang ETS, using a relatively-new data structure, called a Judy array, was studied by comparing the performance of ETS tables based on four data structures: AVL balanced binary trees, B-trees, resizable linear hash tables, and Judy arrays.   A Stream Library using Erlang Binaries地址: http://www.duomark.com/erlang/publications/acm2005.pdf摘要: This paper introduces the memory and behavior characteristics of lists, tuples and binaries in erlang, then continues with a de-

scription of the Bit syntax and standard methods of using binaries to deal with streamed data. Next it introduces BIF functions that
are shown to be much faster than using the traditional Bit syntax to manipulate binary data.  

 

A Scalability Benchmark Suite for Erlang/OTP

地址: http://www.softlab.ntua.gr/~gtsiour/files/erlang01-aronis.pdf 

摘要: This paper presents the main aspects of the design and the current status of bencherl, a publicly available scalability benchmark

suite for applications written in Erlang. 

 

All you wanted to know about the HiPE compiler (but might have been afraid to ask)

地址: http://user.it.uu.se/~pergu/papers/erlang03.pdf 

備忘:幾乎解答了HIPE的所有常見問題

 

 

No more need for records

地址: http://www.cs.otago.ac.nz/staffpriv/ok/frames.pdf 

備忘:Maps結構的緣起 設計上的取捨部分很有意思

 

 

 

未完成,待續

 

[Erlang 0126] 我們讀過的Erlang論文