OSDev

Первый косяк:
Скорее всего именно это привело к появлению leave вместо pop ebp в эпилоге. Плюс это же вынуждало бы нас увеличить размер стекового кадра потока перед его запуском на 0x18 байт (ранее я говорил, что нужно следить за действиями, выполняемыми в прологе над стеком).

Проще делать текстовые ссылки. На миниатюрах все равно почти ничего не разглядеть.

Нет, правильно сделал, что оставил. Содержимое ebp может использоваться в коде, из которого вызывается переключалка, т.е. внешний код может понадеяться на то, что ebp сохраняется в переключалке, и не сохранять/восстанавливать ebp самостоятельно. Плюс ты можешь через esp[-2] (образ ebp в стартовом стековом кадре) передавать в новый поток адрес запуска в прикладном пространстве (или еще какой-нибудь параметр).

Портил esp. Эта инструкция неявно делает mov esp,ebp (esp=ebp), а у нас внутри переключалки до выполнения pop ebp в регистре ebp хранится значение, ассоциируемое с потоком, выполняющим переключение, а не с активируемым потоком (т.е. после переключения на новый стек у нас продолжает использоваться старое значение ebp). Прежде чем использовать новое значение ebp, его нужно взять из контекста активируемого потока. Например, можно расширить стартовый стековый кадр до 16 байт, разместив в esp[-2] или в esp[-3] значение ebp, указывающее на esp[-1], а внутри переключалки вокруг основных команд, осуществляющих переключение, добавить push ebp/pop ebp. Можно сделать еще проще - оставить размер стартового стекового кадра прежним (не добавлять push ebp/pop ebp), а в переключалке после команды загрузки esp для нового потока просто сделать mov ebp,esp (ebp=esp) или для нашего последнего случая lea ebp,[esp+18h] (ebp=esp+18h).

Описал причину выше. Если нам нужно использовать новое значение ebp еще до завершения переключения на новый поток, то нам нужно предварительно это значение сформировать. Возникновение #TS - это лишь один из возможных сценариев развития при использовании некорректного указателя в ebp. Поэтому я и говорил, что ошибка какая-то странная. По сути это неопределенная ошибка, непосредственно не связанная с TSS.

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

Да уж, этот квест становится всё интереснее Думаю что переключатель стоит оставить в новой реализации, так как эта функция всё равно состоит практически полностью из ассемблерных вставок.
По поводу миниатюр - так они ж кликабельны: при щелчке отображается полная версия, а большие рисунки не загромождают ветку

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

P.S.: Запустил свое "творчество" на реальной машине - получил исключение деления на ноль. Может из-за того что машина у меня x86_64 (intel core i7 sandy bridge). Хотя ведь совместимость у них с x86...

Очень здравая мысль. Я поражаюсь, почему многие этого не понимают. А если еще учесть, что нам сделал Си, то уверенности в правильности такого решения должно еще прибавиться.

Надо расставлять бряки и смотреть, где хотя бы примерно происходит исключение. А вообще нужно запускать почаще на реальном железе, причем лучше на разном. Я например до сих пор не отказываюсь от совместимости моего ядра с Pentium MMX. Стоит тестовая машина с Pentium MMX 166, работает как швейцарские часики. Мамке уже наверно лет 15, кондеры как новые (хотя они и не твердотельные).

добавил в ключи as флаг -g - теперь можно топать в эклипсе по самописным ассемблерным модулям, а то не заходило туда, я чесал репу что да как, сегодня стоял в поликнинике в регистратуре - дошло

боятся ассемблера, хотя реализация конкретных архитектурных вещей без него невозможна - сишный код всё равно истыкивается асм волатилами.

дома валяется без дела двухпроцессорный комп на pentium pro, живой, собрал по кускам на подаренной в Мюнхене старой матери. Не хватает SCSI винта (на матери нет IDE), так и проваляется наверное всю жизнь теперью И мой первый комп на Celeron 366 внезапно померший тоже пылится, если бы знать как починить, можно было бы приспособить

Я про это и говорю: "эта функция всё равно состоит практически полностью из ассемблерных вставок".

На моем IDE. Это наверно единственное, что на нем менялось (делал самолично много раз). А, нет, еще пишущий привод воткнул. Насчет оперативки уже не помню. Кажется, делалось расширение, но еще тогда, когда он был новый.

Нашел причину глюков на реальном железе - из новой реализации убрал проверку флага готовности планировщика. Вынес его проверку на уровень выше - отлично работает на настоящем железе. Надо сказать без него на виртуальной машине тоже нерегулярно сбоило вываливая исключение страничной адресации. Так что всё вроде норм теперь. Загрузчик что интересно видит все мои 16 Гб озу

Cool Я тебе давно говорил, нечего делать этой проверке в переключалке. Плюс ее можно совместить с какой-нибудь другой проверкой.

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

Можно еще более жестко тестировать. Сделать точку входа в ядро и запускать в нескольких потоках примерно такой прикладной код:
Обратите внимание, данный код не требует наличия прикладного стека.

Я защищаю пространство ядра на уровне каталога. Т.е. у меня все страницы кроме таблиц страниц ядра обычно являются "пользовательскими". При таком подходе пространство ядра защищается практически автоматически. А точечно я сбрасываю PF_APL лишь тогда, когда мне нужно защитить какой-то участок внутри прикладного пространства.

Для переключения понадобилось явно загрузить DS и сформировать в стеке такой кадр

где последнее - точка входа в прикладную задачу, а потом дать команду на выход из прерывания.
Кстати теперь если убрать загрузку TR происходит перезагрузка Значит шлюз реально во всем этом участвует. Переключение селекторов при переключении задач разного уровня как я понял происходит через TSS?