Тілдік жүйе - Language-based system - Wikipedia

A тілдік жүйе түрі болып табылады операциялық жүйе қолданады тіл қамтамасыз ету мүмкіндіктері қауіпсіздік, аппараттық механизмдердің орнына немесе оған қосымша. Мұндай жүйелерде код деп аталады сенімді база бағдарламаларын бекітуге жауапты орындау, олар жүйенің тұрақтылығына зиян келтіретін әрекеттерді алдымен анықталмай және шешілмей орындай алмайтындығына кепілдік беру.[1] Мұндай операциялардың мүмкін еместігіне кепілдік берудің өте кең таралған стратегиясы жүйені a айналасында орналастыру болып табылады жоғары деңгейдегі тіл, сияқты Java, оның дизайны қауіпті құрылыстарды болдырмайды; көбісі толығымен осындай тілде жазылған, тек минималды мөлшері бар төменгі деңгей коды пайдаланылуда.[2] Тілге негізделген жүйелер жүйеге зиян келтіретін нәрселер жасай алмайтындығына алдын-ала кепілдік бере алатындықтан (мысалы, кейінге қалдыру арқылы жадыны бұзу) ілулі көрсеткіштер ), олар үшін дәстүрлі ОЖ-ға қажет мекен-жай кеңістігінің қымбат ауыстырып-қосқыштарын болдырмауға болады; Бұл үшін, микро ядролар дәстүрлі жүйелерге қарағанда көбірек танымал.[дәйексөз қажет ] Мұның анағұрлым экстремалды түрі - а компьютерлік жоғары деңгейдегі тілдік архитектура, онда сенімді база аппараттық құралға итермелейді, ал бүкіл жүйе жоғары деңгейде жазылған.

Мысалдар

Сондай-ақ қараңыз

Әдебиеттер тізімі

  1. ^ Қауіпсіздікке негізделген тілдік тәсіл, Шнайдер Ф., Моррисетт Г. (Корнелл университеті) және Харпер Р. (Карнеги Меллон университеті). Информатика: 10 жыл бұрын, 10 жыл бұрын. (2000)
  2. ^ Майкл Голм; Мейк Фелсер; Христиан Вавериш; Юрген Кляйнедер. «JX - икемді Java операциялық жүйесі (постер)». Эрланген университеті. Алынған 2007-04-21.