Erlang. Programspråk 5DV086. Sebastian Backstad

Transkript

1 Erlang Programspråk 5DV086 Sebastian Backstad Love Engman Joel Viklund Christer Jakobsson Petter Johansson c11sbd c11len c11jvd dv12cjn oi12pjn \_(ツ)_/ 1

2 Innehållsförteckning Inledning 3 Om Erlang 4 Syntax 5 Features 8 Trådar Hot swap Länkade processer 9 Erlang och Haskell 10 För och nackdelar 10 Fördelar Nackdelar Erlang idag 11 Erlang imorgon 12 2

3 Inledning Programspråket Erlang skapades av Joe Armstrong på Ericssons forskningsavdelning Det skapades med ändamålet att tillhandahålla ett bättre sätt a programmera styrsystemen till telefonväxlar. Namnet Erlang sägs vara en referens till den danska matematikern Agner Krarup Erlang eller en förkortning av Ericsson Language. Erlang implementerades först i Prolog och var influerat av programspråket PLEX som användes i tidiga Ericsson telefonväxlar. Från början var det designat som ett praktiskt verktyg för att få jobbet gjort, nämligen att programmera applikationer till telefonväxlar i laborations miljö. Nya verktyg lades successivt till för att lösa ett specifikt problem dom hade när dom programmerade. När de märkte att de aldrig använde en funktion så togs den bort, detta skedde i en så snabb process att det knappt finns någon dokumentation av vad som ändrades i språket under denna tid. Enligt Joe Armstrong var språket ett rent forskningsprojekt från 1986 till 1997 då det på grund av att ett topphemligt projekt att utveckla andra generationens telefonväxel vid namn AXE N avbröts. Då valdes Erlang som bas för en ny ATM växel med namnet AXD301 vars programsystem var helt baserat på Erlang och sades ha en pålitlighet av nine 9 s. Vilket innebör en drifttid på minst % av ett år, seven nines innebär en nertid på max 3,15 sekunder per år så bannade Ericsson användandet av Erlang vid utveckling av ny programvara, detta gjorde att Joe Armstrong och många andra lämnade företaget och Erlang blev open source vid slutet av året och används nu av flera internationella företag. Joe Armstrong blev återanställd på Ericsson Erlang är ett funktionellt programspråk utan typdeklarationer och med dynamisk typing med en garbage collector, det är designat för parallellt arbete på flera sammankopplade system genom att ha inbyggt stöd för detta i jämförelse med många språk som har stöd för trådar via externa bibliotek, Erlangs trådar har inte delade variabler utan samarbetar med varandra genom att skicka meddelanden mellan varandra. Detta gör det väl lämpat för användning på moderna maskiner med flera kärnor. Uppdateringar till styrsystemen måste kunna appliceras utan att systemet stängs ner för att maximera upptiden på telenätet vilket är väldigt kritiskt för samhället att det fungerar. detta åstadkoms med hjälp av något som kallas Hot Swap. Erlang används idag för att bygga skalbara soft real time system med höga krav på drifttid. Det används tex av Facebook för dess chat tjänst som hanterar mer än 100 miljoner aktiva användare, WhatsApp använder även Erlang för dess meddelande tjänster som kan ha 2 miljoner anslutna användare per server. 3

4 Om Erlang Erlang är ett funktionellt programspråk med så kallad immutable data vilket innebär att data ej går att ändra på. Erlang har vad som kallas för ivrig evaluering vilket är motsatsen till lat evaluering som används i bland annat programspråket Haskell. Ivrig evaluering innebär att ett uttryck evalueras direkt då det binds till en variabel. Erlang har även mönstermatchning. 1 Erlang har dynamisk typning, det betyder att variabler som deklareras kan vara av vilken typ som helst. Man behöver inte ange specifikt att en variabel ska vara till exempel ett heltal. Kontroll av typer (t.ex. vid mönstermatchning) sker under körning och inte under kompilering. 2 Koden som skrivs i Erlang kompileras till bytecode och körs på en virtuell maskin. Den virtuella maskin som vanligen används är BEAM. BEAM är en register baserad virtuell maskin som körs i endast en process på operativsystemet. Processer i Erlang implementeras helt av den virtuella maskinen och har ingen koppling till operativsystemet. BEAM kör vanligtvis en tråd per kärna. Om man har ett Erlangsystem med 1000 processer så är det fortfarande endast en process på operativsystemet. 3 Erlang använder sig av en Garbage Collector (GC). Med det menas att minne allokeras och frigörs automatiskt när det inte längre används. I Erlang jobbar GC på varje process för sig. En process i Erlang har sin egen heap, GC frigör minne på varje heap oberoende av andra processer. När garbage collection utförs på en process stannar processen under tiden detta utförs. GCn har också i uppgift att utöka storleken på en heap då detta behövs or lack thereof factory.com/upload/presentations/708/hitchhikerstourofthebeam.pdf

5 Syntax Eftersom Erlang är ett funktionellt språk och ganska likt Haskell så är även syntaxet likt Haskell. En viktig del i Erlangs syntax är att alltid avsluta uttryck med punkt. Se figur 1 för ett exempel på ett uttryck som avslutas med punkt. Figur 1. Addition utförd direkt i Erlang shell. Man behöver inte skriva ett uttryck på en rad. Erlang tolkar ett uttryck fram till nästa punkt. Det går till exempel bra att göra som i figur 2 där uttrycket är uppdelat på flera rader och sedan avslutat med punkt. Figur 2. Addition och subtraktion utförd i Erlang shell. Det är enkelt att deklarera en variabel i Erlang men vissa krav måste uppfyllas. Namnet på variabeln måste börja med stor bokstav. Variabler i Erlang går inte att ändra på, när ett värde är satt på en variabel kommer den ha det värdet konstant. Som vi kan se i figur 3 så går det bra att deklarera variabler som heltal och strängar så länge dom börjar med stor bokstav. När vi försöker skapa en variabel som börjar med liten bokstav så får vi ett felmeddelande. Figur 3. Olika variabler skapas i Erlang Shell, fel när variabel börjar med liten bokstav. 5

6 Varför kan man inte en variabel börja med en liten bokstav? Jo för att då deklarerar man en atom. En atom i Erlang kan ses som en konstant som har sitt eget namn som värde. Skriver man katt i Erlang har man deklarerat en atom som heter katt och har värdet katt. Atomer används oftast ihop med annan data för att beskriva datan. Till exempel i figur 4 har vi gjort en tupel med en atom och ett heltal. Figur 4. En tupel med en atom och ett heltal. Syntax för jämförelser är ganska speciellt i Erlang. Vid lika med jämförelse används == och vid inte lika med används /=, dessutom finns det exakt lika med som skrivs =:= och exakt inte lika med som skrivs =/=. Den vanliga notationen == kan användas när man till exempel jämför en integer och en double. Se Figur 5 för ett exempel där vi jämför en double och en integer med atomen false (som är reserverad i Erlang). Figur 5. Jämförelseoperatorer i Erlang. Att göra en modul med ett antal funktioner i Erlang är enkelt. Man skriver module(namn) högst upp i filen och därefter väljer man vilka funktioner som ska exporteras genom att skriva export([funktionsnamn1/x, funktionsnamn2/y]). där det inom hakparenteserna är en lista. Snedsträck följt av x och y betyder att funktionen tar x eller y antal parametrar. Skulle man till exempel exportera en funktion som heter test som tar två parametrar skulle man skriva export([test/2]).. Detta innebär att man kan ha funktioner med samma namn som tar olika många parametrar och exportera dom. Se figur 6 för ett exempel på detta. Figur 6. En modul som exporterar två funktioner med samma namn men olika antal parametrar. Från figur 6 ser vi hur man definierar funktioner i Erlang. Man skriver funktionsnamnet följt av parenteser och eventuella parametrar därefter gör man en pil och skriver vad funktionen ska 6

7 göra. Man kan skriva flera uttryck efter varandra i en funktion, utan att använda punkt. För att göra detta skiljer man varje uttryck med ett komma. Efter det sista uttrycket skriver man punkt som vanligt. Endast det sista uttrycket blir det som returneras från funktionsanropet. Se figur 7 för ett exempel där vi skapar en modul med en funktion och sedan laddar vi modulen och anropar funktionen ifrån Erlang shell. Figur 7. En modul med en funktion som sedan laddas in i Erlang Shell och anropas. 7

8 Features Erlang är byggt med ett specifikt syfte i åtanke; att vara det bästa programspråket på att hantera 5 stora system som både har många anslutna användare och måste ha hög tillgänglighet. Istället för att skapa ett språk som skall lösa alla världens problem så skapades ett språk som skall lösa ett specifikt problem väldigt bra. För att göra detta krävs en del unika funktioner. Trådar 6 Trådar i Erlang kallas processer eftersom de inte delar något data. I denna rapport kallas de trådar eftersom de, för det mesta, liknar trådar. Erlang implementerar trådar på ett lite annat sätt än det traditionella C sättet. Erlangs Virtual machine tar hand om skapande och context switching av Erlangs trådar. Detta gör att den inte behöver använda operativsystemets inbyggda trådar och processer vilka är mycket långsammare än Erlangs. En av de bra egenskaperna hos Erlangs trådar är att de har ett väldigt litet overhead, ca. 300 ord, så att skapa (spawn) en tråd går väldigt fort. Att skapa en ny tråd i Erlang tar bara ett par µs och är oberoende av antalet redan körande trådar, Java kan ta många gånger så lång tid och är beroende på hur många trådar som är i gång. 7 Ett test som utfördes 2005 av Ericsson visade att man på en vanlig dator (1.5 GHz, 16 GB RAM) kan ha över 20 miljoner trådar igång samtidigt. Tiden det tog att starta en ny tråd var ca. 6.3 µs och att skicka eller ta emot meddelanden tog ca. 5.3 µs. Dessa siffror är säkert lägre idag, 9 år senare. Som tidigare nämnts tar det ganska lång tid att skicka meddelanden mellan trådar i Erlang. Nästan lika lång tid som att starta en ny tråd. Detta är på grund av att trådar i Erlang inte har något delat minne, vilket betyder att trådarna måste skicka och ta emot meddelanden för att kommunicera. Hot swap Erlang är skapat och optimerat för att användas i stora system med många användare anslutna hela tiden. Detta gör att man inte gärna startar om hela systemet så fort man vill uppdatera mjukvaran då detta skulle neka många användare tjänsten under tiden systemet uppdateras. Av denna anledning har Erlang en funktion som kallas hot swap där man kan ladda in en ny version av programmet samtidigt som det körs. Detta görs genom att systemet kan ha flera versioner av samma program laddade (i minnet). När ett program har flera versioner så kör alla nya anslutningar (trådar) med den nya versionen medans de gamla (vars sessioner startade innan uppdateringen aktiverades) fortsätter köra med det gamla programmet tills deras session (tråd) avslutas yqmtzmj 8

9 Länkade processer I Erlang kan man skapa länkar mellan processer genom att kalla på link(other_pid). I detta fall skapas en länk mellan processen som gjorde anropet och processen med namnet Other_Pid. När en process avslutas så skickas en signal till alla processer som den var länkad till. Signalen innehåller information om den process som har skickat signalen och anledningen till att processen avslutades. Om en process avslutas normalt så ignorerar andra processer signalen som skickats ut. Om en process har avslutats på ett onormalt sätt och skickat ut en felsignal så termineras de länkade processerna och felsignalen vidarebefordras till deras länkar. Detta byter att man kan länka ihop alla processer så att om en avslutas på ett onormalt sätt så avslutas alla processer 8 Det är även möjligt att fånga signaler i en process så att de inte skickas vidare till nästa länk. Detta uppnås genom att man låter processen tro att signalen är ett vanligt meddelande. Man kan då försöka att hantera problemet istället för att avsluta ytterligare processer. 9 P2 fångar exit signalen från P1, signalen skickas inte vidare till P

10 Erlang och Haskell Vad som skiljer Erlang från exempelvis Java går knappt att svara på. Listan blir (nästan) längre än koden för en quick sort i C ;) Desto meningsfullare blir det att jämföra Erlang med ett annat funktionellt programspråk. En utmärkt kandidat för denna jämförelse är programspråket Haskell. Som nämndes tidigare har Haskell en lat evaluering, till skillnad från Erlangs ivriga motsvarighet. Den allmänna uppfattningen verkar vara att den lata evalueringen är att föredra, men att det går att simulera lat evaluering i Erlang med hjälp av macros. 10 En annan skillnad är att Haskell har statisk typkontroll medan Erlang använder dynamiska typer. En fördel med statisk typkontroll är att fel i koden upptäcks snabbare. Däremot går det lättare att skriva generell kod i programspråk med dynamisk typning. (I Erlang kan man till och med göra evaluera uttrycket asdasd > true!). Haskell är dessutom helt utan sidoeffekter medan Erlang inte är det. I Erlang skickar processer meddelanden till varandra vilket resulterar i sidoeffekter. Andra exempel på sidoeffekter är interaktionen med filer, sockets och databaser. Sidoeffekterna i Erlang öppnar alltså upp en del möjligheter, men ställer samtidigt högre krav på programmeraren. För- och nackdelar Fördelar Erlang utvecklades för att bygga massiva skalbara realtidssystem med höga krav på tillgänglighet. Och det är just inom detta område som språket har sina styrkor. Som tidigare nämnt designades språket med parallitet och trådhantering. Det faktum att trådar inte delar minnesutrymmen (och försiktighet med sido effekter) löser en rad olika trådsäkerhetsproblem. Erlang programmeraren slipper tjafsa med lås hit och synkronisering dit. Något man inte kan säga om programmering i Java och C. "How can you program like that? It's impossible to program!" undrade Joe Armstrong, en av skaparna av Erlang, efter att testat Javas icke trådsäkra Swing bibliotek. 11 Processerna som skapas kräver dessutom inte så mycket minne. Detta innebär att väldigt många processer kan skapas utan att sega ner datorn, något som lämpar sig väl i 10 Haskell John Hughes ( ) 11 peyton jones erlang haskell ( ) 10

11 server mjukvara. Servrar som man vill ha körandes utan avbrott kan dessutom vid uppdatering dra nytta av det i Erlang integrerade hot swapping. En egenskap som inte stöds av så många andra programspråk. 12 En annan fördel med Erlang är att det är ett väl beprövat språk ute i industrin. Erlang har använts i skarpt läge i många år vilket innebär att språket har kunnat finslipas en hel del. 13 Ur detta har OTP (the Open Telecom Platform) fötts. OPT är en samling av beprövade bibliotek, redo att användas av just dig. Att språket är designat av industrin, för industrin, märks även på att det ska gå snabbt att lära sig språket och kunna börja skriva nyttiga applikationer. Industrin har mer nytta av du kan skriva programvaran för en distribuerad server än ett Hello, World i terminalrutan. Ett avsnitt om Erlangs fördelar vore inte komplett utan att nämna felhanteringen. Erlang är designat för att hantera fel såväl i mjukvara och hårdvara. Ett fel ska aldrig kunna resultera i att hela systemet brakar ihop. Språket har många verktyg för att hantera fel, både inbyggt i själva språket, samt som extra tillägg i OTP. Nackdelar Det är viktigt att komma ihåg att Erlang är designat för att lösa en viss sorts av problem. Det finns andra områden där programspråket inte är lika kraftfullt. Exempelvis är Erlang inte lämpat för heavy number crunching, dvs. bearbeta en massa data. Där är imperativa programspråk såsom C och C++ snabbare. En annan nackdel med Erlang är att den inte har något naturligt stöd för strängar. Bearbetning och manipulation av strängar gör sig lämpligare i andra programspråk. 14 Ytterligare en nackdel är att Erlangs virtuella maskin är något långsammare än JVM. Och det faktum att processerna inte delar minnesutrymme innebär också en något långsammare exekvering. Erlang idag Erlang är numera släppt som öppen källkod. Ett tag var programspråket bannlyst från Ericsson men har sedan 2004 börjat användas igen. Av Ericsson används språket bland annat inom 3G teknologin. Även andra stora telekombolag, som till exempel Motorola och T Mobile, använder Erlang i sina projekt. Språket har även fått genomslag inom andra 12 ( ) 13 ( ) 14 out for real ( ) 11

12 användningsområden. Ett exempel är appen WhatsApp där Erlang möjliggör att en chatt server kan hantera två miljoner klienter samtidigt. Ytterligare exempel på projekt där Erlang används är: 15 SimpleDB en distribuerad databas skapad av Amazon.com GitHub webbhotell för projekt som använder Git Call of Duty första persons skjutare för dagisbarn Smarkets betting sajt för sport En gemensam faktor för ovan nämnda projekt är krav på skalbarhet, feltolerans och höga drifttider de tre grundpelarna som utgör programspråket Erlang Erlang imorgon Vi tror att Erlang kommer fortsätta att vara populärt. Språket har visat sig vara konkurrenskraftigt inom sitt område. Smidiga sätt att implementera parallella system kommer säkert bli viktigare allt eftersom kärnorna i datormaskinerna ökar. Författarna bakom språket har även förhoppningar om att språket ska inspirera och influera andra språk. Till exempel att den kraftfulla felhanteringen sprider sig till andra språk ( ) 12