Limbo (programlama dili) - Limbo (programming language)
 | Bu makale için ek alıntılara ihtiyaç var doğrulama. (Ekim 2013) (Bu şablon mesajını nasıl ve ne zaman kaldıracağınızı öğrenin) |
| Paradigma | Eşzamanlı |
|---|---|
| Tarafından tasarlandı | Sean Dorward, Phil Winterbottom, Rob Pike |
| Geliştirici | Bell Laboratuvarları / Vita Nuova Holding |
| İlk ortaya çıktı | 1995 |
| Yazma disiplini | kuvvetli |
| işletim sistemi | Cehennem |
| Lisans | Açık kaynak |
| İnternet sitesi | www |
| Majör uygulamalar | |
| Dis sanal makine | |
| Tarafından etkilenmiş | |
| C, Pascal, CSP, Alef, Newsqueak | |
| Etkilenen | |
| Yığınsız Python, Git, Pas, paslanma | |
Limbo bir Programlama dili dağıtılmış sistemleri yazmak için ve yazmak için kullanılan dildir uygulamaları için Inferno işletim sistemi. Tasarlandı Bell Laboratuvarları tarafından Sean Dorward, Phil Winterbottom, ve Rob Pike.
Limbo derleyici üretir mimari -bağımsız nesne kodu bu daha sonra tarafından yorumlanır Dis sanal makine veya performansı artırmak için çalışma zamanından hemen önce derlenir. Bu nedenle, tüm Limbo uygulamaları tüm Inferno platformlarında tamamen taşınabilirdir.
Limbo'nun eşzamanlılık yaklaşımı şunlardan esinlenmiştir: Hoare 's sıralı süreçleri iletmek (CSP), Pike'ın daha önce uygulandığı ve değiştirildiği şekliyle Newsqueak dil ve Winterbottom Alef.
Dil özellikleri
Limbo aşağıdaki özellikleri destekler:
- modüler programlama
- eşzamanlı programlama
- kuvvetli tür denetimi derleme ve çalışma zamanında
- arası iletişim fazla yazılmış kanallar
- otomatik çöp toplama
- basit soyut veri türleri
Sanal makine
Limbo kodunu yürüten Dis sanal makinesi, aritmetik için talimatlar içeren CISC benzeri bir VM'dir, kontrol akışı, veri hareketi, süreç süreçler arasında oluşturma, senkronize etme ve iletişim kurma, kod modüllerini yükleme ve üst düzey veri türleri için destek: dizeler, diziler, listeler ve iletişim kanalları.[1] Bir melez kullanır referans sayma ve bir gerçek zaman Çöp toplayıcı döngüsel veriler için.[2]
Dis tasarımının yönleri, AT&T Hobbit orijinalinde kullanılan mikroişlemci BeBox.
Örnekler
Limbo kullanır Ada -tip tanımları şu şekildedir:
isim := tip değer; isim0,isim1 : tip = değer; isim2,isim3 : tip; isim2 = değer;Selam Dünya
uygulamak Komut; Dahil etmek "sys.m"; sys: Sys; Dahil etmek "draw.m"; Dahil etmek "sh.m"; içinde(sıfır: ref Çizmek->Bağlam, sıfır: liste nın-nin dizi) { sys = yük Sys Sys->PATH; sys->Yazdır("Selam Dünya! n"); }Kitabın
Inferno işletim sisteminin 3. baskısı ve Limbo programlama dili ders kitabında anlatılmıştır. Limbo ile Inferno Programlama ISBN 0-470-84352-7 (Chichester: John Wiley & Sons, 2003), yazan Phillip Stanley-Marbell. Başka bir ders kitabı Inferno Programlama Kitabı: Inferno Dağıtılmış Sistem için Programlamaya GirişMartin Atkins, Charles Forsyth tarafından, Rob Pike ve Howard Trickey başladı ama asla serbest bırakılmadı.
Ayrıca bakınız
- Cehennem işletim sistemi
- Alef, Limbo'nun öncülü
- Bell Labs'tan Plan 9
- Git (programlama dili), Google'dan benzer dil
- AT&T Hobbit, Dis VM'ye ilham veren bir işlemci mimarisi
Referanslar
- ^ "Dis Virtual Machine Specification". Vita Nuova. 2000. Alındı 2 Şubat 2015.
- ^ Lorenz Huelsbergen ve Phil Winterbottom. "İnce Taneli Senkronizasyon Olmadan Çok Eş Zamanlı İşaretleme ve Süpürme Çöp Toplama" (PDF). Alıntı dergisi gerektirir
| günlük =(Yardım)
Dış bağlantılar
- Limbo'daki Vita Nuova sayfası
- Limbo'ya İniş tarafından Brian Kernighan
- Limbo Programlama Dili tarafından Dennis M. Ritchie ve Ek Vita Nuova tarafından.
- Limbo ile Inferno Programlama tarafından Phillip Stanley-Marbell
- Bell Labs CSP stilinde dişli programlama
- Dis kaynak kodu
- Inferno sanal makinesinin tasarımı, Vita nuova.
- "Dis VM tasarımı", Cehennem (4. baskı), Cat V.
- "Dis VM spesifikasyonu", Cehennem (4. baskı), Cat V.