Исходное сообщение
"Фреймворк для написания защищённых драйверов для ядра Linux ..." Отправлено Илья, 01-Сен-19 11:51
> строго говоря, в самом расте выше перечисленное достигается не с помощью какой-то особой магии, а например тупо рантайм-проверками в выражениях вроде "a[i]". Есть проверки в рантайме, а так же есть статический анализатор, "борроу-чекер". Например, анализатор не даст вам разделить какую-нибудь область памяти между двумя потоками, пока вы явно не дадите слово пацана за то, что вы предусмотрели все возможные последствия. Вы не сможете создать две мутабельные ссылки на какой-нибудь участок памяти без явного заворачивания их в какой-нибудь <Arc<Mutex<...>>>.