Исходное сообщение
"Выпуск операционной системы Redox OS 0.5, написанной на язык..." Отправлено Аноним, 25-Мрт-19 08:44
Да, может. В таком случае кажется разумным задокументировать подобные мысли. Однако, в рекомендуемой к прочтению book вместо них лишь общие слова: Microkernels are more secure and less prone to crashes than monolithic kernels. This is due to drivers and other abstraction being less privileged, and thus cannot do damage to the system. Furthermore, microkernels are extremely maintainable, due to their small code size, this can potentially reduce the number of bugs in the kernel. https://doc.redox-os.org/book/design/kernel/microkernels.html С другой стороны: The basic design of the kernel/user space separation is fairly similar to genuine Unix-like systems, at this point. The idea is roughly the same: you separate kernel and user space, through strict enforcement by the kernel, which manages memory and other critical resources. However, we have an advantage: enforced memory and type safety. This is Rust's strong side, a large number of "unexpected bugs" (for example, undefined behavior) are eliminated. https://doc.redox-os.org/book/introduction/why_rust.html

Ваше сообщение
Имя*:
EMail:	Для отправки ответов на email укажите знак ! перед адресом, например, !user@host.ru (!! - не показывать email). Более тонкая настройка отправки ответов производится в профиле зарегистрированного участника форума.
Заголовок*:
Сообщение*:	> Да, может. В таком случае кажется разумным задокументировать подобные мысли. Однако, в > рекомендуемой к прочтению book вместо них лишь общие слова: > Microkernels are more secure and less prone to crashes than monolithic kernels. > This is due to drivers and other abstraction being less privileged, > and thus cannot do damage to the system. Furthermore, microkernels are > extremely maintainable, due to their small code size, this can potentially > reduce the number of bugs in the kernel. > https://doc.redox-os.org/book/design/kernel/microkernels.html > С другой стороны: > The basic design of the kernel/user space separation is fairly similar to > genuine Unix-like systems, at this point. The idea is roughly the > same: you separate kernel and user space, through strict enforcement by > the kernel, which manages memory and other critical resources. > However, we have an advantage: enforced memory and type safety. This is > Rust's strong side, a large number of "unexpected bugs" (for example, > undefined behavior) are eliminated. > https://doc.redox-os.org/book/introduction/why_rust.html
	Введите код, изображенный на картинке: