U
там еще почти 100к строк пруфов на хаскеле и Isabelle
TDD in a nutshell
Size: a a a
2020 December 28
MО
ахаха, если бы ты знал насколько далёк от истины
Берёте уроки по созданию ОС на руст за 3 недели вполне сделаете.
BV
Miss Очепятка
Берёте уроки по созданию ОС на руст за 3 недели вполне сделаете.
nope
DR
Порой на словах говорить легко, но потом важно не потеряться
MО
nope
why not?
BV
Miss Очепятка
why not?
because language isn't enough
MО
because language isn't enough
Там теория хрошо изложена.
LK
Why systems calls are reduced over the years!???
BV
Miss Очепятка
Там теория хрошо изложена.
а не важно, ты всё равно не сможешь это написать даже с теорией
DV
Why systems calls are reduced over the years!???
perhaps placed(moved) into user-space
BD
Miss Очепятка
Хорошая шутка.
какая шутка
U
а не важно, ты всё равно не сможешь это написать даже с теорией
потому что еще ж и остальную ос написать надо!
MО
какая шутка
Прилепить года к разным слоям абстракции
BD
Miss Очепятка
Прилепить года к разным слоям абстракции
попробуй поднять глаза чуть выше и прочитать заголовок
LK
perhaps placed(moved) into user-space
Oh i see
BD
Why systems calls are reduced over the years!???
seL4 went for the exteme way - they have basically only 2 syscalls - Yield and CapabilityInvocation, that's about it.
MО
попробуй поднять глаза чуть выше и прочитать заголовок
Так там фактически два слайда. Первый года эволюции ОС. Второе слои абстракции файловая система 180 функций 100 строк кода 100 мкс на вызов. Поверх них общая память между процессами 7 функций и 10 тысяч строк. Поверх прикладная библиотека с аллокатором. 3 функции GetMem FreeMem ReAlloc.
BD
Miss Очепятка
Так там фактически два слайда. Первый года эволюции ОС. Второе слои абстракции файловая система 180 функций 100 строк кода 100 мкс на вызов. Поверх них общая память между процессами 7 функций и 10 тысяч строк. Поверх прикладная библиотека с аллокатором. 3 функции GetMem FreeMem ReAlloc.
посмотри эволюция чего на слайде представлена, там даже написано буквами про это
LK
seL4 went for the exteme way - they have basically only 2 syscalls - Yield and CapabilityInvocation, that's about it.
were there any update or development risks?
BD
Miss Очепятка
Так там фактически два слайда. Первый года эволюции ОС. Второе слои абстракции файловая система 180 функций 100 строк кода 100 мкс на вызов. Поверх них общая память между процессами 7 функций и 10 тысяч строк. Поверх прикладная библиотека с аллокатором. 3 функции GetMem FreeMem ReAlloc.
прости, откуда ты это высрал сейчас? срочно букварь и учиться читать