Бир Къапы Принципи Башынан союна чейин текшерю Нолдан дизайн

Баары бир къапыдан ётеди.

КЛАССИКАЛЫКЪ операцион системаларда гер бёлюк ядрога тюз байлана; гер байланыш бир тобокъеллик къапысы. KALKAN-да ошондай жол жокъ. Ичкиден тюшкюге, тюшкюден ичкиге гер талап бир эмниетлик кёпрюсинден ётеди.

Къатлар

Башталуудан программага чейин
бир омуртка.

Башталуу

Кёп баскъычлы башталуу джеренгири; гер баскъычта текшерю.

Ядро

Эс, убакъыт, аппаратура. Хич кимни танымайды.

Güvenlik Köprüsü

Бир ётю ноктасы. Сюзгюч ве къапы.

Драйверлер & Стол устю

Аппаратура ве интерфейс къапыдан сёйлешеди.

Программалар

Программалар толукъ изоляцияда ишлейди.

Неге? Бир программа хатасынын толукъ системаны тюшюрбей учюн. Бу дизайн эмниетлик кёпрюсинин артында не барын тюшкюден окула алмайды къылы — ве тюбюден халагъаныбыз ушу.

Принциплер

Уч къаида, чексиз натыйжа.

01 — НОЛДАН

Багъылылыкъ жокъ

Башкъа ядро, башкъа къабукъ, башкъа форма жокъ. Гер къат бизим дизайныбыз — шондан гер къатны терең билебиз.

02 — ЭМНИЕТЛИК

Текшерилмеген ишлемейди

Колтамгалу программа экосистемасында гер бёлюк тамырдан текшериле. Текшерю ишге ашмаса, ишкери ююу да ишге ашмайды. Истисна жокъ.

03 — ТОЛУК

Бир бютюн тажрибе

Ядро, стол устю, программалар ве программа ясау къураллары бир команданын колынан чыкъды. Бёлюклер бири-бирин таный.

Эмниетлик мамилеси

Колтамгалу программа экосистемасы.

Башынан союна чейин джеренги: башталгъандан ишкери юйлгенге чейин гер бёлюк ёзюнден къачкъанынын колынан текшериле. Джеренгринин къайсы къатмасы текшерилмесе, система алга джюрбейди.

Жангы несил криптографиясы: маалыматларнын бюгюню шейин эртеңин да коргала. Къайсы усуллар ве кантип коллангъанынын толукъ маалыматларыбызны атайы ачыкъламайбыз.

Изоляция: программалар толукъ изоляцияда ишлейди; бир программанын хатасы системге кире алмайды.

Ачыкъ къабул этмей: эмниетлик кёпрюсю бир талапны къабул этмегенде оны яшырмайды — себебин джаза.

башталуу джеренгири — юмюс акъымfail-closed

# Гер къатма ёзюнден къачкъанын текшереди
башталуу ──→ ядро ──→ кёпрю ──→ программа

doğrula(önceki_halka)  # ✓ ётю
doğrula(kendisi)       # ✓ ётю
devam()

# Текшерю ишге ашмаса:
dur()  # система алга джюрбейди, себеп джазылады

Дизайнны тири кёрюгюз.

Бу дизайннын жеринде кантип ишкери юйлгенин ёз чегирдегизде кёрсетели. Техникалыкъ брифинг каршылыклы гизлилик шарты билен башланы.

Техникалыкъ брифинг сурагъыз Программачы платформасы