Erlang

Η Erlang είναι γλώσσα προγραμματισμού γενικών καθηκόντων με χαρακτηριστικά ταυτοχρονισμού (concurrency) και συλλογής απορριμμάτων. Το ίδιο όνομα αναφέρεται και στο σύστημα χρόνου εκτέλεσής της (runtime system). Το υποσύνολο της Erlang που μπορεί να εκτελείται ακολουθιακά είναι μια γλώσσα συναρτησιακού προγραμματισμού, με αυστηρή αποτίμηση (strict evaluation), μοναδική ανάθεση (single assignment) και δυναμικό σύστημα τύπων (dynamic typing). Όσον αφορά τον ταυτοχρονισμό, ακολουθεί το μοντέλο Actor. Αναπτύχθηκε στην Ericsson για την υποστήριξη κατανεμημένων, ανθεκτικών σε σφάλματα εφαρμογών που να εκτελούνται σε πραγματικό χρόνο (soft-real-time) και χωρίς διακοπή. Υποστηρίζει άμεση ενημέρωση του κώδικα κατά την εκτέλεση (hot swapping), χωρίς να χρειάζεται να σταματήσει το σύστημα.Αν και στις περισσότερες γλώσσες προγραμματισμού η χρήση νημάτων (threads) θεωρείται δύσκολη και επιρρεπής σε λάθη, η Erlang παρέχει χαρακτηριστικά στο επίπεδο της ίδιας της γλώσσας για τη δημιουργία και το χειρισμό διεργασιών (processes), ώστε να διευκολύνεται η ανάπτυξη ταυτόχρονου κώδικα. Αν και όλος ο ταυτοχρονισμός είναι ρητός στην Erlang, οι διεργασίες επικοινωνούν μεταξύ τους περνώντας μηνύματα αντί μέσω κοινών μεταβλητών, χωρίς να χρειάζονται κλειδώματα (locks). Η πρώτη έκδοση αναπτύχθηκε από το Τζο Άρμστρονγκ το 1986. Η γλώσσα αρχικά ήταν ιδιόκτητο λογισμικό της Ericsson, αλλά διανεμήθηκε σαν λογισμικό ανοιχτού κώδικα το 1998.

 Το όνομα "Erlang" αποδίδεται στον Bjarne Däcker και θεωρείται ότι είτε αναφέρεται στο Δανό μαθηματικό και μηχανικό Agner Krarup Erlang, ή ότι σημαίνει "Ericsson Language" ("γλώσσα της Ericsson").Η Erlang σχεδιάστηκε για καλύτερη ανάπτυξη εφαρμογών τηλεφωνίας. Η αρχική της έκδοση υλοποιήθηκε σε Prolog.Το 1998 ανακοινώθηκε το σύστημα Ericsson AXD301 (τύπου switch), που περιλάμβανε πάνω από ένα εκατομμύριο γραμμές Erlang, και ανακοινώθηκε ότι η αξιοπιστία του ήταν 99.9999999%. Λίγο αργότερα η Erlang απαγορεύτηκε στα Ericsson Radio Systems για νέα προϊόντα, λόγω προτίμησης σε μη-ιδιόκτητες γλώσσες. Η απαγόρευση αυτή ήταν η αιτία που ο Άρμστρονγκ και άλλοι έφυγαν από την Ericsson. Η υλοποίηση έγινε λογισμικό ανοιχτού κώδικα το τέλος του ίδιου χρόνου. Τελικά η απαγόρευση σταμάτησε να ισχύει στην Ericsson και ο Άρμστρονγκ επαναπροσλήφθηκε στην Ericsson το 2004.Το 2006 προστέθηκε υποστήριξη για συμμετρικές πολυδιεργασίες (symmetric multiprocessing) στο σύστημα χρόνου εκτέλεσης και στην εικονική μηχανή (virtual machine). Η φιλοσοφία της ανάπτυξης της Erlang ταιριάζει με τη φιλοσοφία της ανάπτυξης λογισμικού για συστήματα βασισμένα σε Erlang. Κατά το Μάικ Γουίλιαμς, έναν από τους τρεις εφευρέτες της Erlang: Βρες τις κατάλληλες μεθόδους-Σχεδίασε χρησιμοποιώντας αρχικές εκδόσεις. Δεν αρκεί να έχεις ιδέες, πρέπει να μπορείς και να τις υλοποιήσεις και να ξέρεις ότι δουλεύουν. Κάνε λάθη σε μικρή κλίμακα, όχι σε περιβάλλον παραγωγής. Ο αλγόριθμος παραγοντικό σε Erlang: Ένας αλγόριθμος ταξινόμησης (παρόμοιος με την quicksort): Το παραπάνω παράδειγμα καλεί αναδρομικά τη συνάρτηση qsort μέχρι να μη μείνει κάτι προς ταξινόμηση. Η έκφραση [Front || Front <- Rest, Front < Pivot] ονομάζεται list comprehension, που σημαίνει “Κατασκεύασε μια λίστα από στοιχεία Front τέτοια ώστε το Front να ανήκει στη Rest και να είναι μικρότερο από το Pivot.” Ο τελεστής ++ συνενώνει λίστες. Μια συνάρτηση σύγκρισης μπορεί να χρησιμοποιηθεί για πιο πολύπλοκες δομές, για να είναι πιο ευανάγνωστος ο κώδικας. Ο παρακάτω κώδικας ταξινομεί λίστες ανάλογα με το μήκος τους: Η Pivot εδώ θεωρείται ότι είναι η πρώτη παράμετρος που δίνεται στην qsort() και το υπόλοιπο της Lists ονομάζεται Rest. Η έκφραση: [X || X <- Rest, Smaller(X,Pivot)] δε διαφέρει σε μορφή από την: [Front || Front <- Rest, Front < Pivot] (στο προηγούμενο παράδειγμα) εκτός από τη χρήση μιας συνάρτησης σύγκρισης στο τελευταίο μέρος, που λέει “Κατασκεύασε μια λίστα από στοιχεία X τέτοια ώστε το X να ανήκει στη Rest και το Smaller να είναι αληθές", με το Smaller να έχει οριστεί νωρίτερα σαν: fun(A,B) when is_list(A), is_list(B) -> length(A) < length(B) end Η ανώνυμη συνάρτηση ονομάζεται Smaller στη λίστα παραμέτρων του δεύτερου ορισμού της qsort και μπορεί να κατονομαστεί με αυτόν τον τρόπο μέσα στη συνάρτηση. Δεν ονομάζεται στον πρώτο ορισμό της qsort, που χειρίζεται τη βασική περίπτωση της κενής λίστας και δε χρειάζεται τη συνάρτηση, άρα ούτε κάποιο όνομα για αυτήν. Η Erlang έχει οκτώ βασικές (primitive) δομές δεδομένων: Ακέραιους (Integers): οι ακέραιοι γράφονται σαν ακολουθίες από δεκαδικά ψηφία, για παράδειγμα οι αριθμοί 12, 12375 και -23427 είναι ακέραιοι. Η αριθμητική με ακεραίους είναι ακριβής και περιορίζεται μόνο από τη διαθέσιμη μνήμη του υπολογιστή. Άτομα (Atoms): τα άτομα χρησιμοποιούνται σε ένα πρόγραμμα για να εκφράσουν διακριτές τιμές. Γράφονται σαν συμβολοσειρές από συνεχόμενα γράμματα η αριθμούς, με τον πρώτο χαρακτήρα να είναι υποχρεωτικά πεζό γράμμα. Τα άτομα μπορούν να έχουν οποιοδήποτε χαρακτήρα, αν χρησιμποιηθούν μονά εισαγωγικά, ενώ υπάρχει και μηχανισμός διαφυγής (escape convention) για τη χρήση οποιουδήποτε χαρακτήρα σε ένα άτομο. Αριθμοί κινητής υποδιαστολής (Floats): οι αριθμοί κινητής υποδιαστολής χρησιμοποιούν αναπαράσταση σύμφωνα με το πρότυπο IEEE 754 με χρήση 64-bit. (Εύρος: ±10308.) Αναφορές (References): οι αναφορές είναι καθολικά μοναδικά σύμβολα, η μόνη ιδιότητα των οποίων είναι ότι μπορούν να συγκριθούν ως προς την ισότητά τους. Δημιουργούνται από την έκφραση make_ref() της Erlang. Δυαδικά (Binaries): ένα δυαδικό είναι μια ακολουθία από bytes. Τα δυαδικά προσφέρουν έναν τρόπο αποθήκευσης δεδομένων που καταλαμβάνει λίγο χώρο και υπάρχουν εκφράσεις της Erlang για τη δόμηση-αποδόμηση των δυαδικών και για γρήγορη είσοδο και έξοδο αυτών. Pids: Pid σημαίνει Process Identifier (αναγνωριστικό διαδικασίας) — ένα Pid δημιουργείται από την έκφραση spawn(...) της Erlang και είναι μια αναφορά σε μια διαδικασία της Erlang. Θύρες (Ports): οι θύρες χρησιμοποιούνται για την επικοινωνία με τον έξω κόσμο. Δημιουργούνται με την ενσωματωμένη συνάρτηση (Built-In Function ή BIF) open_port. Στις θύρες μπορούν να αποσταλούν και να γίνουν αποδεκτά μηνύματα, αν αυτά υπακούν στο λεγόμενο "πρωτόκολλο των θυρών" ("port protocol"). Funs: τα Funs είναι κλεισίματα συναρτήσεων και κατασκευάζονται από εκφράσεις της μορφής: fun(...) -> ... end.Επίσης υπάρχουν δύο σύνθετοι (compound) τύποι δεδομένων: ν-άδες (Tuples): το περιεχόμενό τους είναι ένας σταθερός αριθμός από άλλους τύπους δεδομένων της Erlang. Η σύνταξη {D1,D2,...,Dν} σημαίνει μια ν-άδα με ορίσματα D1, D2, ... Dn. Τα ορίσματα μπορούν να είναι βασικοί τύποι δεδομένων ή σύνθετοι τύποι δεδομένων. Η προσπέλαση στα στοιχεία μιας ν-άδας γίνεται σε σταθερό χρόνο. Λίστες (Lists): το περιεχόμενό τους είναι ένας μεταβλητός αριθμός από άλλους τύπους δεδομένων της Erlang. Η σύνταξη [Dh|Dt] σημαίενι μια λίστα με πρώτο στοιχείο το Dh, και υπόλοιπα στοιχεία τη λίστα Dt. Η σύνταξη [] σημαίνει την άδεια λίστα, ενώ η [D1,D2,..,Dn] είναι συντομογραφία για την [D1|[D2|..|[Dn|[]]]]. Η προσπέλαση στο πρώτο στοιχείο μιας λίστας μπορεί να γίνει σε σταθερό χρόνο. Το πρώτο στοιχείο μιας λίστας ονομάζεται κεφαλή (head) της λίστας και το υπόλοιπο ονομάζεται ουρά (tail) της λίστας.Δίνονται δύο μορφές βολικής σύνταξης (syntactic sugar): Συμβολοσειρές (Strings): οι συμβολοσειρές γράφονται σαν λίστες χαρακτήρων ανάμεσα σε διπλά εισαγωγικά, που είναι ένας βολικότερος τρόπος για τη γραφή λιστών από ακέραιους κωδικούς ASCII, οι οποίοι αντιστοιχούν στους χαρακτήρες της συμβολοσειράς, για παράδειγμα, η συμβολοσειρά "cat" είναι συντομογραφία της [99,97,116]. Εγγραφές (Records): οι εγγραφές είναι ένας βολικότερος τρόπος για την απονομή ενός αναγνωριστικού (tag) σε κάθε στοιχείο μιας ν-άδας. Αυτό επιτρέπει στον προγραμματιστή να αναφέρεται σε ένα στοιχείο μιας ν-άδας με το όνομά του και όχι με τη θέση του σε αυτήν. Το βασικό πλεονέκτημα της Erlang είναι η υποστήριξη ταυτοχρονισμού (concurrency). Η γλώσσα περιλαμβάνει λίγες αλλά ισχυρές βασικές εντολές με τις οποίες μπορούν να δημιουργηθούν διεργασίες και να επικοινωνούν μεταξύ τους. Οι διαδικασίες είναι ο βασικός τρόπος δόμησης ενός προγράμματος σε Erlang. Οι διεργασίες της Erlang σε γενικές γραμμές ακολουθούν το μοντέλο Communicating Sequential Processes (CSP). Δεν είναι διεργασίες του λειτουργικού συστήματος, ούτε νήματα, αλλά ελαφρές διεργασίες, παρόμοιες με τα "πράσινα νήματα" που είχε αρχικά η Java. Όπως οι διεργασίες του λειτουργικού συστήματος, και σε αντίθεση με τα πράσινα νήματα και τα νήματα του λειτουργικού συστήματος, οι διεργασίες της Erlang δεν έχουν κοινό χώρο μεταξύ τους. Το κόστος τους επίσης είναι χαμηλό, το ελάχιστο κόστος υπολογίζεται σε 300 λέξεις (words), επομένως μπορούν να δημιουργηθούν πολλές διεργασίες χωρίς πρόβλημα στην ταχύτητα του προγράματος: έχουν δοκιμαστεί καταστάσεις με 20 εκατομμύρια διεργασίες στην πράξη. Η Erlang υποστηρίζει συμμετρική πολυδιεργασία από την έκδοση R11B του Μαΐου του 2006. Η επικοινωνία ανάμεσα στις διεργασίες (inter-process communication) γίνεται μέσω ενός ασύγχρονου συστήματος περάσματος μηνυμάτων, χωρίς κοινό χώρο μεταξύ των διεργασιών ("shared-nothing"): κάθε διεργασία έχει ένα "γραμματοκιβώτιο" (“mailbox”), που είναι μια ουρά από μηνύματα που έχουν σταλεί από άλλες διεργασίες και δεν έχουν καταναλωθεί ακόμα. Μια διεργασία χρησιμοποιεί τη βασική εντολή receive για να διαβάζει μηνύματα που συμφωνούν με κάποιους κανόνες (patterns). Μια ρουτίνα χειρισμού μηνυμάτων ελέγχει όλα τα μηνύματα αν ταιριάζουν με κάθε κανόνα, μέχρι να βρει κάποιο. Όταν το μήνυμα καταναλωθεί και αφαιρεθεί από το γραμματοκιβώτιο, η διεργασία συνεχίζει την εκτέλεσή της. Ένα μήνυμα μπορεί να περιέχει οποιαδήποτε δομή της Erlang, συμπεριλαμβανομένων των βασικών τύπων δεδομένων (ακεραίων, αριθμών κινητής υποδιαστολής, χαρακτήρων, ατόμων), των ν-άδων, των λιστών και των συναρτήσεων. Ο παρακάτω κώδικας δείχνει πώς λειτουργεί η ενσωματωμένη υποστήριξη για κατανεμημένες διεργασίες: Όπως δείχνει το παράδειγμα, μια διεργασία μπορεί να δημιουργηθεί σε κάποιο απομακρυσμένο μηχάνημα και η επικοινωνία με αυτή είναι "διαφανής", δηλαδή λειτουργεί ακριβώς όπως η επικοινωνία με μια τοπική διεργασία. Ο ταυτοχρονισμός υποστηρίζεται από το μηχανισμό χειρισμού λαθών της Erlang. Όταν μια διεργασία καταρρεύσει για κάποιο λόγο, τερματίζει και στέλνει ένα μήνυμα στη διεργασία που την ελέγχει, για να την ενημερώσει. Αυτός ο τρόπος χειρισμού λαθών κάνει ευκολότερη τη συντήρηση του λογισμικού και κάνει τον κώδικα λιγότερο πολύπλοκο. Η υλοποίηση της Erlang της Ericsson φορτώνει κώδικα byte (bytecode) στην εικονική μηχανή της που μετατρέπεται σε threaded code στο χρόνο φόρτωσης. Περιέχει επίσης και ένα μεταγλωττιστή σε κώδικα μηχανής για πολλές πλατφόρμες, που έχει αναπτυχθεί από το High Performance Erlang Project (HiPE) του Πανεπιστημίου της Ουψάλα. Από τον Οκτώβριο του 2001 το σύστημα HiPE έχει ενσωματωθεί πλήρως στο σύστημα ανοιχτού κώδικα της Ericsson (Open Source Erlang/OTP). Υποστηρίζει επίσης διερμηνεία, απευθείας από τον πηγαίο κώδικα, μέσω ενός αφηρημένου συντακτικού δένδρου (abstract syntax tree), από την έκδοση R11B-5. Ο κώδικας φορτώνεται σαν "μονάδες" κώδικα ("modules") και το σύστημα μπορεί να κρατά δύο εκδόσεις μιας μονάδας στη μνήμη ταυτόχρονα, ενώ οι διεργασίες μπορούν να εκτελούν κώδικα ταυτόχρονα και από τις δύο. Οι εκδόσεις τότε αναφέρονται σαν η "παλιά" και η "νέα" έκδοση - μια διεργασία μετακινείται σε μια νέα έκδοση όταν κάνει κλήση στη μονάδα της. Ακολουθεί ένα παράδειγμα αυτού του μηχανισμού (που ονομάζεται "hot code loading"): Στη δεύτερη έκδοση, προστίθεται η δυνατότητα επαναφοράς του μετρητή στο μηδέν. Ο παραπάνω κώδικας που εκτελείται επαναλαμβανόμενα θα καλέσει εξωτερικά την codeswitch/1 (η ?MODULE είναι μακροεντολή του προεπεξεργαστή για την τρέχουσα μονάδα κώδικα) μόνο όταν λάβει ένα μήνυμα που να αποτελείται από το άτομο 'code_switch'. Αν υπάρχει μια νέα έκδοση της μονάδας "counter" στη μνήμη, τότε θα κληθεί η συνάρτηση codeswitch/1 που της ανήκει. Η ύπαρξη ενός συγκεκριμένου σημείου εισόδου σε μια νέα έκδοση είναι πρακτική που επιτρέπει στον προγραμματιστή να μετατρέψει την κατάσταση του προγράμματος όπως απαιτείται από τη νέα έκδοση. Στο παράδειγμα, η κατάσταση είναι ένας ακέραιος. Στην πράξη τα συστήματα κατασκευάζονται με βάση αρχές σχεδίασης από το Open Telecom Platform, που οδηγούν σε δυνατότητες καλύτερης αναβάθμισης του κώδικα. Η επιτυχής φόρτωση με αυτόν τον τρόπο είναι γενικά δύσκολη - ο κώδικας πρέπει να ξαναγράφεται για να χρησιμοποιεί τις δυνατότητες της Erlang. Το 1998, η Ericsson διένειμε την Erlang σαν λογισμικό ανοιχτού κώδικα για να εξασφαλίσει ότι θα είναι ανεξάρτητη κατασκευαστή, καθώς και για να την κάνει πιο γνωστή. Η Erlang, μαζί με βιβλιοθήκες και την κατανεμημένη βάση δεδομένων πραγματικού χρόνου Mnesia, αποτελούν τη συλλογή βιβλιοθηκών Open Telecom Platform (OTP). Η Ericsson και κάποιες ακόμα εταιρείες προσφέρουν εμπορική υποστήριξη για την Erlang. Από τη διάθεση του ανοιχτού κώδικα, η Erlang έχει χρησιμοποιηθεί από πολλές εταιρείες διεθνώς, όπως η Norte και η T-Mobile. Αν και η Erlang σχεδιάστηκε για συγκεκριμένες ανάγκες και για μεγάλο μέρος της ιστορίας της δεν ήταν γνωστή, γίνεται όλο και δημοφιλέστερη λόγω της ζήτησης για ταυτόχρονες υπηρείες. Η Erlang χρησιμοποιείται σε εξυπηρετητές MMORPG.Η Erlang είναι διαθέσιμη για πολλά λειτουργικά συστήματα τύπου Unix, όπως το Mac OS X, αλλά και για τα Microsoft Windows. Στα εγχειρήματα που χρησιμοποιούν Erlang περιλαμβάνονται τα εξής: η CouchDB, μια βάση δεδομένων βασισμένη σε έγγραφα που χρησιμοποιεί MapReduce ο ejabberd, ένας εξυπηρετητής στιγμιαίων μηνυμάτων (Extensible Messaging and Presence Protocol, XMPP) το σύστημα Facebook Chat, που βασίζεται στον ejabberd ο GitHub egitd, που είναι αντικαταστάτης του κανονικού git-daemon που έρχεται με το Git το σύστημα διαχείρισης βάσεων δεδομένων Membase, που είναι βελτιστοποιημένο για την αποθήκευση δεδομένων πίσω από διαδραστικές εφαρμογές Ιστού η υλοποίηση RabbitMQ του Advanced Message Queuing Protocol (AMQP) η κατανεμημένη βάση δεδομένων SimpleDB, που είναι μέρος των Amazon Web Services η Twitterfall, μια υπηρεσία που εμφανίζει τάσεις και παρατηρήσεις από το Twitter το Wings 3D, λογισμικό μοντελοποίησης 3D ο εξυπηρετητής Ιστού Yaws η κατανεμημένη βάση δεδομένων Riak η Goldman Sachs χρησιμοποίησε την Erlang για προγράμματα που διεκπεραίωναν πολλές συναλλαγές Άλλες γλώσσες που έχουν εμπνευστεί τα χαρακτηριστικά ταυτοχρονισμού τους από την Erlang: Reia Scala Joe Armstrong. "Making reliable distributed systems in the presence of software errors". Ph.D. Dissertation. The Royal Institute of Technology, Stockholm, Sweden. Armstrong, J. (2007). A history of Erlang. σελ. 6–1 Early history of Erlang Αρχειοθετήθηκε 2019-08-29 στο Wayback Machine. by Bjarne Däcker «Mnesia - A distributed robust DBMS for telecommunications applications». First International Workshop on Practical Aspects of Declarative Languages (PADL '99): 152–163. 1999. Armstrong, Joe· Virding, Robert· Williams, Mike· Wikstrom, Claes (16 Ιανουαρίου 1996). Concurrent Programming in Erlang (2η έκδοση). Prentice Hall. σελ. 358. ISBN 9780135083017. Αρχειοθετήθηκε από το πρωτότυπο στις 6 Μαρτίου 2012. Ανακτήθηκε στις 27 Μαρτίου 2011. Armstrong, Joe (11 Ιουλίου 2007). Programming Erlang: Software for a Concurrent World (1η έκδοση). Pragmatic Bookshelf. σελίδες 536. ISBN 9781934356005. Thompson, Simon J.· Cesarini, Francesco (19 Ιουνίου 2009). Erlang Programming: A Concurrent Approach to Software Development (1η έκδοση). Sebastopol, California: O'Reilly Media, Inc. σελ. 496. ISBN 9780596518189. Αρχειοθετήθηκε από το πρωτότυπο στις 16 Οκτωβρίου 2019. Ανακτήθηκε στις 15 Ιανουαρίου 2020. Cant, Geoff (1 Μαρτίου 2010). Mastering Erlang: Writing Real World Applications (1η έκδοση). Apress. σελ. 350. ISBN 9781430227694. Αρχειοθετήθηκε από το πρωτότυπο στις 28 Νοεμβρίου 2009. Ανακτήθηκε στις 27 Μαρτίου 2011. Logan, Martin· Merritt, Eric· Carlsson, Richard (28 Μαΐου 2010). Erlang and OTP in Action (1 έκδοση). Greenwich, CT: Manning Publications. σελ. 500. ISBN 9781933988788. Gerakines, Nick (2 Αυγούστου 2010). Erlang Web Applications: Problem - Design - Solutions (1η έκδοση). John Wiley & Sons. σελ. 512. ISBN 9780470743843. Αρχειοθετήθηκε από το πρωτότυπο στις 30 Ιουλίου 2010. Ανακτήθηκε στις 27 Μαρτίου 2011. Παράλληλα και κατανεμημένα συστήματα Η επίσημη σελίδα της Erlang trapexit.org Αρχειοθετήθηκε 2010-03-09 στο Wayback Machine., σελίδα για το Erlang/OTP Erlang: The Movie Learn You Some Erlang, υλικό για αρχάριους