A
Машины уехали собирать мёд
Size: a a a
2020 September 02
AP
рой таксистов
m
неправильный мед
A
вообще вся проблема в микроядрах в обмене сообщений емнип. очень сложно соблюсти 2 констрейнта:
2) гарантия единой доставки
1) верный порядок прибытия
2) гарантия единой доставки
2) гарантия единой доставки
1) верный порядок прибытия
2) гарантия единой доставки
ipc это везде проблема
VL
рой бидрил
A
рил
AP
перевозят офисный планктон
VL
ого я и не знал что такое есть
PG
А вообще что-нибудь работающее на микроядре есть? помню что-то какая-то amoeba была
L4
m
оно вроде в каких то лютых дебрях работает, верно?
m
вроде в каких то процессорах
PG
в вертолетах там
m
значит спутал
PG
вообще это целое семейство ядер, одно даже верифицировано с использованием Isabelle/HOL
PG
если ты про Intel ME, то там Minix
m
да,о нем
m
хотя дедушка изначально для студентов пилил вроде как
PG
ну у него лицензия просто приятная