NN
С другой стороны, если ты не используешь unsafe в пользовательском коде, то тебя язык спасает
Size: a a a
2018 February 19
BD
ну да, в отсутствие mmu можно выжить на растовских гарантиях memory safety и в принципе capabilities там наверное не нужны
NN
Можно например доступ к периферии железно ограничить
BD
Написал про сборку из саблайма: есть тонкости https://metta.systems/blog/2018-02-19-xargo-build-with-sublime/
2018 February 21
ph
2018 February 23
e🦀
http://blog.japaric.io/stack-overflow-protection/ жапарик перевернул стек и данные и получил зирокост
AS
не читал, но осуждаю… а как можно перевернуть стек, инструкции работы со стеком разве не меняют SP аппаратно?
AS
а, он просто поменял местами bss и стек
L
ну если мпу есть, можно отравленную страницу совать
MC
трюк классный, но всё равно треды не лезут
AS
эх, да
BD
трюк классный, но всё равно треды не лезут
раньше как будто лезли
AS
раньше как будто лезли
раньше не лезли
AS
а чо, если RTFM юзать, там же нет тредов, все в один стек пихается
MC
если заранее стеки не выделять и только кооперативный шедулинг, то да
AS
ну как кооперативный, в RTFM, насколько я понимаю, переключение контекста только по прерываниям, с обязательным возвратом
MC
можно же и поверх ртфма сделать вытеснение - треды в idle, обработчики прерываний могут лезть в шедулер и там переставлять всякое
e🦀
В riot os годно сделано, свои стеки у потоков и один стек для перываний, среди потоков одного приоритета кооперативная многозадачность, среди тредов разного приоритета — вытесняющая
MC
А как стек охраняют?
e🦀
А как стек охраняют?
Хз, но хф при переполнении стека есть