OSDev

Всё равно не понимаю. Почему нет необходимости?

Когда переключение происходит по таймеру, сохранение/восстановление большинства регистров происходит в самом обработчике. А когда переключалка вызывается явно, то все регистры сохранять не требуется. Ты же не сохраняешь/восстанавливаешь весь регистровый контекст во время вызова подпрограмм.

Все что действительно нужно, сохраняется. У меня в ядре это fs, gs и некоторые флаги. Все внутренние функции ядра должны вызываться с cs=KCODE, ds=es=ss=KDATA и не разрушать значения всех шести сегментных регистров.

А хитро. Понял. У тебя не вытесняющая многозадачность, а корпоративная. А зачем тога стеки переключать?
Кажется нашел у себя ошибку осталась придумать как исправить.

А что при использовании вытесняющей многозадачности мы сами уже никогда не отдаем управление ядру (а через него и другим задачам)?

Есть и кооператив, но только для высокоприоритетных потоков. Есть и вытеснение с очень большими квантами времени, но тоже только для высокоприоритетных потоков.

Собственно смотрю код


Но вот адрес возврата в стек погружает сама задача что ли?
И ещё вопрос - селекторы каких сегментов хранятся в FS и GS?

Естественно, инструкцией call. Перед первым запуском задачи это делается в родительской задаче "вручную", о чем я писал.

В ядре я их практически не использую, просто сохраняю/восстанавливаю для приложений. В стартовом стековом кадре инициализирую нулями.

Значит при создании новой задачи:
1. Заполняем её описатель
2. Ставим в очередь.
3. Формируем вручную стек - помещаем туда все необходимые значения, ESP ставим указывающим на вершину стека.
4. Делаем call на задачу, при этом адрес возврата помещается в стек новой задачи

При переключении:
1. Запоминаем ESP текущей задачи
2. Берем следующую задачу из очереди
3. Помещаем в регистр ESP его значение для следующей задачи

Таким образом у нас меняется стек, при завершении обработчика управление передается по адресу сохраненному в стеке при создании задачи. Я правильно понял?

Нет.
1. Заполняем кадр возобновления (размещаемый под вершиной стека задачи) и структуру задачи (они у меня располагаются последовательно, т.е. стек находится прямо под структурой задачи).
2. Ставим в очередь.
3. Делаем "call SwitchToNext" или просто продолжаем заниматься своими делами, пока переключение не произойдет само (по таймеру или как-то еще).

Да. Только я это делал внутри подпрограммы переключения. И не забываем обновить current.

Т.к. я делал переключение в отдельной подпрограмме, то у меня переключение происходило не при завершении обработчика, а внутри обработчика. Например, представь, что переключение на новую задачу происходит по таймеру, тогда содержимое стека прерванной задачи будет таким:
В стеке новой задачи находится только кадр возобновления:
Как видно, код обработчика, вызвавшего переключение на новую задачу, еще не завершился. Он будет завершен только тогда, когда управление будет возвращено прерванной задаче.

при выходе из SwitchToNext?

Да, только нужно понимать, что выход из SwitchToNext в какой-то другой задаче потом возобновит прерванную задачу.