Atom (dasturlash tili) - Atom (programming language)

Atom
Paradigmafunktsional, sinxron, reaktiv
LoyihalashtirilganTomas Xokins
Birinchi paydo bo'ldi2007
Matnni yozishstatik, kuchli
OSko'chma
LitsenziyaBSD3
Veb-saythttp://hackage.haskell.org/package/atom/
Ta'sirlangan
Bluespec, To'qnashuv, Xaskell

Atom a domenga xos til (DSL) Xaskell, loyihalash uchun haqiqiy vaqt ko'milgan dasturiy ta'minot.

Tarix

Dastlab yuqori daraja sifatida mo'ljallangan apparat tavsiflash tili, Atom 2007 yil boshida yaratilgan va o'sha yilning aprel oyida ochiq manbada chiqarilgan.[1]TRS tomonidan ilhomlangan [2]va Bluespec, Atom qo'riqlanadigan atom operatsiyalariga asoslangan elektron tavsiflarni tuzdi yoki shartli muddatli qayta yozish, ichiga Verilog netlistlar simulyatsiya uchun va mantiqiy sintez.Avtomobil kompilyatori sifatida Atomning asosiy maqsadi ma'lum bir soat tsiklida atom operatsiyasining semantikasini buzmasdan bajarishi mumkin bo'lgan operatsiyalar yoki qoidalar sonini ko'paytirish edi.[2] Atom maksimal bajarilish mosligini a ga kamaytirdi teskari aloqa yoyi o'rnatilgan qoida-ma'lumotlarga bog'liqlik grafigini optimallashtirish. Ushbu jarayon shunga o'xshash edi Jeyms Xo original algoritm.[2]

2007 yil oxirida Atom muallifi karerasini mantiqiy dizayndan ikkinchisiga o'zgartirganda o'rnatilgan dastur muhandislik, Atom an-dan qayta ishlangan HDL a domenga xos til nishonga olish qattiq real vaqt o'rnatilgan dasturlar. Natijada, Atom kompilyatorining asosiy maqsadi qoida birdamligini maksimal darajadan qayta ishlash yukini balanslash va minimallashtirishgacha o'zgargan.eng yomon vaqtni kechiktirish. 2008 yil sentyabr oyida Atom CUFPda namoyish etildi,[3]va 2009 yil aprel oyida yangi shaklda ochiq manba sifatida chiqarildi.[4]

Umumiy nuqtai

Atom - bu o'rnatilgan dasturlar uchun mo'ljallangan bir vaqtda dasturlash tili. Atom xususiyatlari kompilyatsiya vaqti vazifalarni rejalashtirish va soddalashtiruvchi, ijro etilish vaqti va xotirani sarflash bilan kod ishlab chiqaradi eng yomon ishni bajarish vaqti qattiq real vaqtda ishlashni talab qiladigan dasturlar uchun tahlil. Atomning o'xshashlik modeli bu qo'riqlanadigan atom harakatlari, bu ehtiyojni yo'q qiladi va muammolar foydalanish, muteks qulflari.

Olib tashlash orqali ish vaqti vazifalarni rejalashtirish va muteksni blokirovka qilish - an'anaviy ravishda an RTOS - Atom o'rnatilgan dasturlarda RTOS ehtiyojini va qo'shimcha xarajatlarni bartaraf etishi mumkin.

Misollar

Cheklovlar

Determinik bajarilish vaqti va xotirani iste'mol qilish kafolatlarini ta'minlash uchun Atom hisoblashda bir nechta cheklovlarni qo'yadi. Birinchidan, Atom konstruktsiyalari har doim cheklangan holatda bo'ladi: barcha o'zgaruvchilar global va kompilyatsiya vaqtida e'lon qilinadi xotirani dinamik ravishda taqsimlash ruxsat berilmaydi. Ikkinchidan, Atom hech qanday funktsiya yoki tsikl konstruktsiyalarini ta'minlamaydi. Buning o'rniga davlat o'zgaruvchan yangilanishlari toza kombinatsion funktsiyalar hozirgi holat.

Adabiyotlar

  1. ^ ANN: Atom - Yana bir Haskell HDL
  2. ^ a b v Operatsion markazlashtirilgan apparat tavsiflarini sintezi.Jeyms C. Xe va Arvind. Kompyuter yordamida loyihalash bo'yicha xalqaro konferentsiya (ICCAD), 2000 yil noyabr.
  3. ^ "Gibrid transport vositalarini Haskell yordamida boshqarish". Arxivlandi asl nusxasi 2008-07-04 da. Olingan 2009-12-05.
  4. ^ ANN: atom-0.0.2

Tashqi havolalar