Ada تتفوق على التجميع: دراسة حالة

Ada تتفوق على التجميع: دراسة حالة

باستثناء ملاحظة إصدار 1996 أدناه ، تمت إعادة طبع هذه المقالة من Proceedings of TRI-Ada '92، أورلاندو ، فلوريدا ، 16-20 نوفمبر ، Association for Computing Machinery (ACM) ، New York ، 1992.

Patricia K. Lawlis، PhDAir Force Institute of Technology قسم الهندسة الكهربائية وهندسة الحاسبات Wright-Patterson AFB، OH 45433-6583 (513) 255-6027

Terence W. Elam، PE، CMfgED Defence Contract Operations AreaDCMDM-GYE1001 Hamilton St. Dayton، OH 45444-5300 (513) 296-8421

تم التحديث: تموز (يوليو) 1996

عرض HTML بواسطة مايكل فيلدمان ، جامعة جورج واشنطن

تقاعدت بات لوليس من سلاح الجو في عام 1995. وهي حاليًا رئيسة شركة استشارات وتعليم هندسة البرمجيات الصغيرة المملوكة للنساء.

c.j. كيمب سيستمز ، إنك. Box 586Fairborn، OH 45324-0586 (937) 878-3303 صوت وفاكس (مكتب دايتون) (602) 460-7399 صوت وفاكس (مكتب فينيكس) lawlis@aol.com

لسوء الحظ ، توفي تيري إيلام عام 1993.

خلاصة الافتراض كان الإثبات مطلوبًا تم تطوير الدليل جاءت الأدلة بنتائج عكسية تمت إعادة كتابة التطبيق كيف يمكن أن يكون هذا؟ ميزة إضافية عواقب تبديد الأساطير شكرًا المراجع السير الذاتية خلاصة

عازمة على الحصول على تنازل Ada ، كتب مقاول دفاع بعض برامجهم في Ada لإثبات أن Ada لا يمكنها إنتاج كود في الوقت الفعلي. كان من المتوقع أن يكون رمز الجهاز الناتج كبيرًا جدًا وبطيئًا جدًا بحيث لا يكون فعالًا لتطبيق الاتصالات. ومع ذلك ، فقد تم التحقق من العكس. مع وجود اختلافات طفيفة فقط في كود المصدر ، كان إصدار واحد من كود Ada المترجم أصغر بكثير أثناء التشغيل بنفس السرعة تقريبًا ، وكان الإصدار الثاني بنفس الحجم تقريبًا ولكن أسرع بكثير من رمز التجميع المقابل.

1. الافتراض

استنادًا إلى المعلومات الواردة من مقاول آخر ، بالإضافة إلى العديد من المقالات المكتوبة حول هذا الموضوع ، اتخذ مقاول الدفاع QRS (ليس الاسم الحقيقي للشركة) موقفًا مفاده أن لغة التجميع كانت اللغة المناسبة الوحيدة له. طلب. لقد كان تطبيق اتصالات صغيرًا ، حوالي 2000 سطر من كود التجميع ، كان مخصصًا في الأصل لشريحة معالج الإشارات الرقمية (DSP) TI 320C15.

تعتبر وزارة الدفاع (DOD) أن هذا التطبيق يقع في فئة أصول الحوسبة الحرجة للمهمة (MCCR) ، ويجب كتابة طلبات MCCR بلغة Ada [2]. ومع ذلك ، أشارت البيانات التي تم تجميعها بواسطة QRS إلى أن Ada المترجمة أنتجت رمز كائن كان أبطأ واستهلك 3.5 مرة ROM أكثر من الكود المجمع. لم يتمكن مدير البرنامج الحكومي والمجموعات الداعمة له من دحض نتائج استبيان QRS. لذلك ، على الرغم من أن العقد حدد استخدام Ada ، أعطى مشرف البرنامج الإذن لبدء التطبيق باستخدام المجمع بدلاً من Ada.

أكملت QRS إصدار إصدار مقبول من البرنامج في حوالي 18 شهرًا. بدأ المطورون بملء مواصفات متطلبات البرنامج. بعد ذلك ، استخدموا نهجًا منظمًا لإكمال مستند تصميم البرنامج. أخيرًا ، تمت كتابة 2000 سطر من التعليمات البرمجية ، التطبيق بأكمله ، في المجمع. في البداية لم تكن السرعة كافية ، لذلك كان لا بد من "ضبطها" لتحقيق الأداء المطلوب.

2. كان المطلوب إثبات

تم تكليف أحد المؤلفين ، وهو مسؤول اتصال MCCR ومتكامل البرامج لمنطقة دايتون ، بمراجعة DO ...

Ada تتفوق على التجميع: دراسة حالة

باستثناء ملاحظة إصدار 1996 أدناه ، تمت إعادة طبع هذه المقالة من Proceedings of TRI-Ada '92، أورلاندو ، فلوريدا ، 16-20 نوفمبر ، Association for Computing Machinery (ACM) ، New York ، 1992.

Patricia K. Lawlis، PhDAir Force Institute of Technology قسم الهندسة الكهربائية وهندسة الحاسبات Wright-Patterson AFB، OH 45433-6583 (513) 255-6027

Terence W. Elam، PE، CMfgED Defence Contract Operations AreaDCMDM-GYE1001 Hamilton St. Dayton، OH 45444-5300 (513) 296-8421

تم التحديث: تموز (يوليو) 1996

عرض HTML بواسطة مايكل فيلدمان ، جامعة جورج واشنطن

تقاعدت بات لوليس من سلاح الجو في عام 1995. وهي حاليًا رئيسة شركة استشارات وتعليم هندسة البرمجيات الصغيرة المملوكة للنساء.

c.j. كيمب سيستمز ، إنك. Box 586Fairborn، OH 45324-0586 (937) 878-3303 صوت وفاكس (مكتب دايتون) (602) 460-7399 صوت وفاكس (مكتب فينيكس) lawlis@aol.com

لسوء الحظ ، توفي تيري إيلام عام 1993.

خلاصة الافتراض كان الإثبات مطلوبًا تم تطوير الدليل جاءت الأدلة بنتائج عكسية تمت إعادة كتابة التطبيق كيف يمكن أن يكون هذا؟ ميزة إضافية عواقب تبديد الأساطير شكرًا المراجع السير الذاتية خلاصة

عازمة على الحصول على تنازل Ada ، كتب مقاول دفاع بعض برامجهم في Ada لإثبات أن Ada لا يمكنها إنتاج كود في الوقت الفعلي. كان من المتوقع أن يكون رمز الجهاز الناتج كبيرًا جدًا وبطيئًا جدًا بحيث لا يكون فعالًا لتطبيق الاتصالات. ومع ذلك ، فقد تم التحقق من العكس. مع وجود اختلافات طفيفة فقط في كود المصدر ، كان إصدار واحد من كود Ada المترجم أصغر بكثير أثناء التشغيل بنفس السرعة تقريبًا ، وكان الإصدار الثاني بنفس الحجم تقريبًا ولكن أسرع بكثير من رمز التجميع المقابل.

1. الافتراض

استنادًا إلى المعلومات الواردة من مقاول آخر ، بالإضافة إلى العديد من المقالات المكتوبة حول هذا الموضوع ، اتخذ مقاول الدفاع QRS (ليس الاسم الحقيقي للشركة) موقفًا مفاده أن لغة التجميع كانت اللغة المناسبة الوحيدة له. طلب. لقد كان تطبيق اتصالات صغيرًا ، حوالي 2000 سطر من كود التجميع ، كان مخصصًا في الأصل لشريحة معالج الإشارات الرقمية (DSP) TI 320C15.

تعتبر وزارة الدفاع (DOD) أن هذا التطبيق يقع في فئة أصول الحوسبة الحرجة للمهمة (MCCR) ، ويجب كتابة طلبات MCCR بلغة Ada [2]. ومع ذلك ، أشارت البيانات التي تم تجميعها بواسطة QRS إلى أن Ada المترجمة أنتجت رمز كائن كان أبطأ واستهلك 3.5 مرة ROM أكثر من الكود المجمع. لم يتمكن مدير البرنامج الحكومي والمجموعات الداعمة له من دحض نتائج استبيان QRS. لذلك ، على الرغم من أن العقد حدد استخدام Ada ، أعطى مشرف البرنامج الإذن لبدء التطبيق باستخدام المجمع بدلاً من Ada.

أكملت QRS إصدار إصدار مقبول من البرنامج في حوالي 18 شهرًا. بدأ المطورون بملء مواصفات متطلبات البرنامج. بعد ذلك ، استخدموا نهجًا منظمًا لإكمال مستند تصميم البرنامج. أخيرًا ، تمت كتابة 2000 سطر من التعليمات البرمجية ، التطبيق بأكمله ، في المجمع. في البداية لم تكن السرعة كافية ، لذلك كان لا بد من "ضبطها" لتحقيق الأداء المطلوب.

2. كان المطلوب إثبات

تم تكليف أحد المؤلفين ، وهو مسؤول اتصال MCCR ومتكامل البرامج لمنطقة دايتون ، بمراجعة DO ...

What's Your Reaction?

like

dislike

love

funny

angry

sad

wow