Tilga asoslangan tizim - Language-based system - Wikipedia

A tilga asoslangan tizim ning bir turi operatsion tizim ishlatadigan til ta'minlash xususiyatlari xavfsizlik, qo'shimcha mexanizmlar o'rniga yoki qo'shimcha ravishda. Bunday tizimlarda kod ishonchli tayanch uchun dasturlarni tasdiqlash uchun javobgardir ijro, tizimning barqarorligiga zarar etkazadigan operatsiyalarni birinchi navbatda aniqlanmasdan va ularga qarshi kurashmasdan amalga oshira olmasligini ta'minlash.[1] Bunday operatsiyalarni amalga oshirish mumkin emasligini kafolatlashning juda keng tarqalgan strategiyasi bu tizim atrofida a yuqori darajadagi til, kabi Java, uning dizayni xavfli qurilishlarni istisno qiladi; ko'plari butunlay bunday tilda yozilgan, faqat minimal miqdori bilan past darajadagi kod ishlatilmoqda.[2] Tilga asoslangan tizimlar tizimga zarar etkazadigan ishlarni qila olmasliklarini oldindan aytib berishlari mumkinligi sababli (masalan, ajratish orqali xotirani buzish) osilgan ko'rsatkichlar ), ular uchun an'anaviy operatsion tizimlar uchun zarur bo'lgan qimmat manzil maydonini almashtirishdan qochish mumkin; shuni dastidan; shu sababdan, mikrokernellar an'anaviy tizimlarga qaraganda ancha mashhur.[iqtibos kerak ] Buning yanada ekstremal shakli a yuqori darajadagi til kompyuter arxitekturasi, bu erda ishonchli tayanch apparatga suriladi va butun tizim yuqori darajadagi tilda yoziladi.

Misollar

Shuningdek qarang

Adabiyotlar

  1. ^ Xavfsizlikka tilga asoslangan yondashuv, Shnayder F., Morrissett G. (Kornell universiteti) va Harper R. (Karnegi Mellon universiteti). Informatika: 10 yil oldin, 10 yil oldinda. (2000)
  2. ^ Maykl Golm; Meik Felser; Christian Wawerish; Yurgen Klaynoder. "JX - moslashuvchan Java operatsion tizimi (plakat)". Erlangen universiteti. Olingan 2007-04-21.