Dasturlashtiriladigan yechimlarni yuqori darajada abstraktsiyalash

Yuqori darajadagi tillar (HALS) asosida dasturlarni tayyorlash ayniqsa, dasturlashtirilgan yechimlarning uzoq umr ko'rishiga qaratilgan muhim va qiyin vazifalar. Hayotiy tsiklning uzaytirilishiga erishiladi ichida ma'lum bir erkinlik darajasi bilan umumlashtirilgan yechimlarni ifodalash ruxsat etilgan qo'shni komponentlarning to'liq joylariga nisbatan, ilgari amalga oshirilgan yoki kelajak uchun rejalashtirilgan. Amalga oshirish NAM semantikasi tomonidan ruxsat etilgan jarayonlar oilasini toraytirish, quyidagi pragmatik jihatdan uning maqsadlari yoki tushunchalariga zid keladi motivlar:
– dasturlashtiriladigan yechimlarni yuqori darajada abstraktsiyalash;
- oldindan aytib bo'lmaydigan tashqi omillarga bog'liq bo'lgan vazifalar hal qilinadi;
– asosiy vositalar va/yoki hisoblash algoritmlaridan foydalanish
parallellik;
- sur'at va ishlash uchun tegishli pragmatik talablar
hisoblash;
- dinamik ravishda qayta sozlanishi
ko'p protsessorli komplekslar
Odatda, yangi NSVU yaratuvchilari boshlang'ich sifatida foydalanadilar material, bir yoki bir nechta asosiy NEDlar va ularga o'rnatilgan 185 ixtiro qilingan vositalar va usullar. Paradigmalar asosiy HLL dan meros qilib olingan tegishli muammolarni qoniqarli hal qilish. Bunday hollarda NAM ning paradigmatik xarakteristikasini shakllantirish mumkin tashqi sintaktik o'xshashlik bo'lsa-da, asosiy HLL ga nisbatan til konstruksiyalari ba'zan butunlay boshqacha semantikani yashiradi.
NAMU uchun odatiy, matematik jihatdan aniq va foydalanish odatiy holder qayta ishlash jarayonida mumkin bo'lgan to'g'ri, mavhum tuzilmalar ma'lumotlar va dasturlarni o'zgartirish, o'xshashliklardan foydalanish va dalillar tuzilmalari. Bularning barchasi yuqori darajani kafolatlash uchun mo'ljallangan hisoblash ko'rsatkichlari, ishlab chiqish jarayonining ishonchliligi dasturlar va ularning hayot aylanishining davomiyligi. Algebraik spetsifikatsiyalar, to'plam-nazariy konstruktsiyalar, parallellik, dasturiy ta'minotni ishlab chiqish jarayonlari modellari. Maxsus vakillik imkoniyatlarini oshiruvchi tizim vositalari, ularning umumiyligi va masshtablilik. Tabiiy samaradorlik zaxirasi Kompyuterlar parallel jarayonlardir. Ularning tashkil etilishi nazoratni talab qiladi va vaqtinchalik munosabatlar va imperativ bo'lmagan uslubni batafsil ko'rib chiqish harakatlarni boshqarish. Superkompyuterlarni qo'llab-quvvatlaydi yuqori samarali hisoblash, maxsus texnikaga muhtoj hali ishlab chiqilmagan tizim dasturlash, garchi allaqachon alohida muhim vazifalarni samarali hal etish tajribasi mavjud.
Shunday qilib, go'yo funktsiya ta'riflarini "oqish" mumkin oddiy ma'lumotlar, ularni ma'lumotlar tuzilmalari bo'yicha tarqatish va shu bilan matritsa kabi murakkab ma'lumotlarga oddiy funktsiyalarni kengaytirish arifmetik. Shunga o'xshash konstruktsiyalar Backus tomonidan taklif qilingan dasturlashning funktsional uslubi va tilda dastur maqolasi. Matritsalarni qayta ishlashga qaratilgan APL. Odatda, parallel dasturlash tillari o'z ichiga oladi turli paradigmalarga xos ma’noni bildiradi. Bu aniqlaydi jamg'arishga transformatsion yondashuvning maqsadga muvofiqligi
ishlab chiqish va modernizatsiya qilishda dasturiy yechimlarning to'g'riligi
umumiy tizim doirasida turli tillardagi parallel dasturlar dasturlash. Hozirgi vaqtda JSPni rivojlantirishga e'tibor qaratilmoqda ta'minlaydigan umumiy kutubxona modullari asosida muammolarni hal qilish imkon beradigan jarayonlar yoki subtillarni samarali tashkil etish ko'p bosqichli dasturlash. Bu haqiqiy amaliyotga to'sqinlik qilmaydi oldindan tuzatilgan an'anaviy dasturlarni qo'lda parallellashtirish,
ularni ishlab chiqarish tizimlaridan foydalanish uchun qulay shaklga keltirish
parallel hisoblashni qo'llab-quvvatlash. Bu ishning ko'p qismi texnik xususiyatga ega va tizimlilikdan iborat ma'lumotlar tuzilmalarini qayta tashkil etish, o'zgaruvchilar holatini o'zgartirish va kompilyatorga aytib beradigan annotatsiyalar dasturiga kiritish axborot va mantiqiy munosabatlar. muhim cheklov qo'lda parallelizatsiya natijasi nafaqat xavf tug'diradi algoritmni qayta tuzatish, balki uning haddan tashqari bog'liqligi maqsadli arxitektura xususiyatlari.