История изменений
Исправление alysnix, (текущая версия) :
В расте есть владение со счётчиками ссылок: Rc, Arc. Борроу чекер умеет race conditions ловить в комптайме, в отличие от большинства языков. Там чуть больше чем замена мусоросборки.
это все совершенно не нужно для написания кернелов и драйверов. «ловля гонок в комптайме» это тоже не нужно. системщик сами знают как писать код без гонок.
а доступ на изменение переменной из нескольких тредов вовсе не означает наличие гонки. упс.
потому что гонка может быть исключена средствами хардвера, навроде запрета прерываний, и измений переменной в «критической секции». то есть там, где с точки зрения руста есть гонка и надо переделывать код, с точки зрения полной семантики происходящего, учитывающей харверные и прочие способы синхронизации, никакой гонки нет.
то есть руст будет понуждать системщиков писать некий наивный и неоптимальный код, удовлетворяющий рустовой парадигме защиты памяти и все такое. кому оно надо. просто возьмут си и напишут что хотят.
Исправление alysnix, :
В расте есть владение со счётчиками ссылок: Rc, Arc. Борроу чекер умеет race conditions ловить в комптайме, в отличие от большинства языков. Там чуть больше чем замена мусоросборки.
это все совершенно не нужно для написания кернелов и драйверов. «ловля гонок в рантайме» это тоже не нужно. системщик сами знают как писать код без гонок.
а доступ на изменение переменной из нескольких тредов вовсе не означает наличие гонки. упс.
потому что гонка может быть исключена средствами хардвера, навроде запрета прерываний, и измений переменной в «критической секции». то есть там, где с точки зрения руста есть гонка и надо переделывать код, с точки зрения полной семантики происходящего, учитывающей харверные и прочие способы синхронизации, никакой гонки нет.
то есть руст будет понуждать системщиков писать некий наивный и неоптимальный код, удовлетворяющий рустовой парадигме защиты памяти и все такое. кому оно надо. просто возьмут си и напишут что хотят.
Исходная версия alysnix, :
В расте есть владение со счётчиками ссылок: Rc, Arc. Борроу чекер умеет race conditions ловить в комптайме, в отличие от большинства языков. Там чуть больше чем замена мусоросборки.
это все совершенно не нужно для написания кернелов и драйверов. «ловля гонок в рантайме» это тоже не нужно. системщик сами знают как писать код без гонок.
а доступ на изменение переменной из нескольких тредов вовсе не означает наличие гонки. упс.
потому что гонка может быть исключена средствами хардвера, навроде запрета прерываний, и измений переменной в «критической секции». то есть там где с точки зрения руста есть гонка и над переделывать код, с точки зрения полной семантики происходящего, учитывающей харверные и прочие способы синхронизации, никакой гонки нет.
то есть руст будет понуждать системщиков писать некий наивный и неоптимальный код, удовлетворяющий рустовой парадигме защиты памяти и все такое. кому оно надо. просто возьмут си и напишут что хотят.