فيرجيل

virgil هي لغة برمجة جديدة ذات وجوه خفيفة الوزن.
التحميل الان

فيرجيل الترتيب والملخص

الإعلانات

  • Rating:
  • رخصة:
  • BSD License
  • السعر:
  • FREE
  • اسم الناشر:
  • Ben L. Titzer
  • موقع ويب الناشر:
  • http://compilers.cs.ucla.edu/virgil/

فيرجيل العلامات


فيرجيل وصف

Virgil هي لغة برمجة جديدة ذات وجوه خفيفة الوزن. تعتبر Virgil Projetc لغة برمجة جديدة ذات وجوه خفيفة الوزن مصممة لبناء برنامج لأنظمة مضمنة من الموارد في أدنى مستوى. يمكن الآن أن يقوم مبرمجون متحكمون الآن بتطوير أنظمة برامج كاملة، بما في ذلك برامج تشغيل الأجهزة وخدمات نظام التشغيل، بلغة واحدة، دون الحاجة إلى اللجوء إلى المكتبات غير الآمنة أو الرمز الأصلي. يوفر Virgil أيضا نظام مترجم برنامج كامل ينطبق على تقنيات تحسين عالمية جديدة لإنتاج كفاءة رمز الجهاز الذي يعمل مباشرة على الأجهزة، دون الحاجة إلى جهاز ظاهري أو نظام وقت تشغيل اللغة. لماذا هي مصلحة متحكم مهمة؟ أجهزة الكمبيوتر المضمنة في كل مكان. في حين أن ثورة الكمبيوتر المكتبية قد جلبت الحوسبة لملايين المستخدمين في جميع أنحاء العالم، فإن ثورة النظام المضمنة كانت أتمتة العالم بهدوء العالم الذي نعيش فيه - كل شيء من السيارات التي نقودها إلى الطرق التي نقودها إليها؛ من إنتاج المصنع إلى البضائع التي نستخدمها كل يوم. في عام 2005، تم تصنيع ما يقرب من 6 مليارات وحدة متحكم. اليوم، يفوق الحوامات المتحكمون عدد الأشخاص على هذا الكوكب بأكثر من 5 إلى 1. سيكون معظم الأجهزة الإلكترونية أن تحتوي معظم الأجهزة الإلكترونية على كمبيوتر مضمن برمجة البرمجيات بقدرات تتراوح بين الحساب البسيط إلى الاتصالات اللاسلكية، وتوفر ميكروكنترولر حل مقنعة للعديد من هذه المنتجات. كيف يتميز البرنامج للأنظمة المدمجة المختلفة؟ البرامج في هذه البيئة لديها متطلبات مختلفة جدا من أجهزة الكمبيوتر المكتبية والخادم التقليدية. أولا، يجب أن تتحكم البرامج المضمنة في الأجهزة التي بالمعنى والتفاعل مع العالم المادي، على النقيض من برنامج سطح المكتب والخادم الذي يحركه قواعد البيانات والمواقع الإلكترونية والمدخلات من المستخدمين. ثانيا، تعمل الأنظمة المضمنة غالبا في سلامة سيناريوهات في الوقت الفعلي الحرج، حيث يتم تكليف البرنامج بالتحكم في العمليات الفعلية والمحركات التي يمكن أن تشكل خطرا ماديا على الناس والبنية التحتية والبيئة. ثالثا، فإن تكلفة تحديث البرامج لمليارات الأجهزة يجعلها غير صالحة إلى حد كبير، مما يزيد بشكل كبير أهمية التحقق من البرامج. كيف يمكن أن تساعد تكنولوجيا اللغة الجديدة؟ تقدم تقدم بلغات البرمجة خلال الثلاثين عاما الماضية، حيث حققت مكاسب إنتاجية واضحة، بما في ذلك التحقق الثابت أفضل، وأكثر التعبير، وأفضل قابلية القدرة والصيانة. ومع ذلك، لم يتم استخدام هذه التقدم في استخدام عملي في تطوير برامج الأنظمة المضمنة. استمرار استخدام اللغات غير الآمنة والمستوى المنخفضة التي تحبط منطق البرنامج الآلي والتحقق من حدوث كتلة عثرة كبيرة في التقدم. على الرغم من عدم وجود رصاصة سحرية لتطوير البرمجيات، فإننا نعتقد أن تطبيق التكنولوجيا الحديثة لهذه المشكلة سوف تنتج مكاسب حقيقية ملموسة في كل من جودة البرمجيات والكفاءة. إن بعض الملامح الرئيسية ل "Virgil": ميزات موجهة للكائنات الفصول والأفرقة الميراث الأساليب الافتراضية منشئين دروس الأيتام تمرير دائما حسب الميزات المعاد المرجعية مكونات محولات مفاتيح مفاتيح المندوبين المندوبين الأمانة العدوانية * تحسين دعوة * أخرى صفائف أنواع التجميع الوصول إلى الأجهزة تسجيل الدخول معالجات المقاطعة دلالات اللغة المحددة جيدا تحسينات الكومة استثناءات ** = تنفيذ هذه الميزة لم تكتمل بعد في مترجم Outration النموذجي: Java 1.5 أو ThereWhat جديد في هذا الإصدار: يعمل هذا الإصدار ، يضمن المزيد من دلالات موحدة على AVR، وتحسين تحسينات الفضاء، وتحسين مساعدة سطر الأوامر، ويبلغ جذريا ويحسن الترجمة واجهة R، ويضيف الوصول إلى المترجم المدمج من سطر الأوامر، ويضيف الدعم الأولية لأنواع المعلمات (Generics).


فيرجيل برامج ذات صلة