OSDev

для всех
Текущее время: 21 июл 2018, 08:21

Часовой пояс: UTC + 3 часа




Начать новую тему Ответить на тему  [ Сообщений: 5 ] 
Автор Сообщение
СообщениеДобавлено: 17 май 2018, 02:07 

Зарегистрирован: 16 июл 2013, 00:56
Сообщения: 26
Таким образом можно вынести планировщик из ядра. Пусть ядро это загрузчик и редактор связей. В любом исполняемом файле системы в местах вызова кода других исполняемых файлов вставляется syscall инструкция. Загрузчик патчит ее jmp'ом с правильным адресом, или оставляет сискол, если вызываемый код в другом адресном пространстве. Для создания новых потоков, вызывается апи планировшика, который просто еще одна прдключаемая библиотека.

Процессы, получается, не нужны? То есть, реально в ядре будет таблица адрессных пространств вместо процессов. А вся система состоять из того, что сейчас называется статические и динамические библиотеки, которые могут быть в отдельном адресном пространстве. В ельф просто добавить информацию о зависимостях что бы статически их загружать.

Так можно развить идею к тому, что ядро это просто интерпретатор некоторого байткода. Он простой и может быть даже не тюринг полный, нужно только что бы в нем можно было делать динамическую загрузку машинного кода, а потом управлять им как объектом этого самого байткода. В машинном коде можно делать вставки этого байткода (его интерпретатор подменит на джампы).


Вернуться к началу
 Профиль  
 
СообщениеДобавлено: 17 май 2018, 10:34 
Аватара пользователя

Зарегистрирован: 16 май 2007, 23:46
Сообщения: 1089
Кооперативную многозадачность никто не отменял. Мысль. Если разделить стек вызовов и стек данных для функций, то это упростит переключение задач.

Цитата:
Процессы, получается, не нужны?

Процессы нужны для для изоляции программ друг от друга. Если одна упадёт она не похоронит всю систему. Плюс для ИБ что-бы одни задачи не могли без разрешения изменять память другого процесса. И не могла считать приватные ключи, пароли и тп.


Цитата:
Так можно развить идею к тому, что ядро это просто интерпретатор некоторого байткода.

Майкрософт экспериментировала с этим для C#.


Вернуться к началу
 Профиль  
 
СообщениеДобавлено: 17 май 2018, 14:24 

Зарегистрирован: 28 окт 2007, 18:33
Сообщения: 1344
Откуда: Зеленоград
ОС -- это далеко не только процессы и потоки. И что значит "вынести планировщик из ядра"? Просто физически реализовать не в составе ядра ОС, а внешней по отношению к нему задачей? Да, можно (хотя целесообразность и сомнительна). Или логически, т.е. вообще обойтись без планировщика как такового? Но кто тогда будет заниматься переключением задач? Сами задачи (кооперативная многозадачность)? Да, возможно -- но тогда зацикливание одной задачи положит всю систему, т.е. этот подход допустим лишь для определённых систем, но не годится для системы общего назначения.


Вернуться к началу
 Профиль  
 
СообщениеДобавлено: 17 май 2018, 15:27 

Зарегистрирован: 16 июл 2013, 00:56
Сообщения: 26
pavia писал(а):
Процессы нужны для для изоляции программ друг от друга. Если одна упадёт она не похоронит всю систему. Плюс для ИБ что-бы одни задачи не могли без разрешения изменять память другого процесса. И не могла считать приватные ключи, пароли и тп.

Да, я это называл адресными пространствами.

pavia писал(а):
Майкрософт экспериментировала с этим для C#.

Нет же. Я не предлагал писать приложения на байткоде, он у меня даже не тюринг полный. Вот сейчас в elf и pe файлах же не только машинный код, там хедер и другие структуры даных. Это тоже байткод со вставками машинного кода. ОС его интерпретирует. Только это убогость по сравнению с нормальным байткодом.


Вернуться к началу
 Профиль  
 
СообщениеДобавлено: 17 май 2018, 15:28 

Зарегистрирован: 16 июл 2013, 00:56
Сообщения: 26
SII писал(а):
ОС -- это далеко не только процессы и потоки. И что значит "вынести планировщик из ядра"? Просто физически реализовать не в составе ядра ОС, а внешней по отношению к нему задачей? Да, можно (хотя целесообразность и сомнительна). Или логически, т.е. вообще обойтись без планировщика как такового? Но кто тогда будет заниматься переключением задач? Сами задачи (кооперативная многозадачность)? Да, возможно -- но тогда зацикливание одной задачи положит всю систему, т.е. этот подход допустим лишь для определённых систем, но не годится для системы общего назначения.

Планировать нужно не процесы, а потоки, здесь все без изменений. Только планировщик - отдельный бинарь, который линкуется ко всему остальному во время загрузки.


Вернуться к началу
 Профиль  
 
Показать сообщения за:  Поле сортировки  
Начать новую тему Ответить на тему  [ Сообщений: 5 ] 

Часовой пояс: UTC + 3 часа


Кто сейчас на конференции

Сейчас этот форум просматривают: нет зарегистрированных пользователей и гости: 1


Вы не можете начинать темы
Вы не можете отвечать на сообщения
Вы не можете редактировать свои сообщения
Вы не можете удалять свои сообщения
Вы не можете добавлять вложения

Найти:
Перейти:  
cron
Создано на основе phpBB® Forum Software © phpBB Group
Русская поддержка phpBB