Как/когда именно Cortex-M4 (STM32 F4) переключает свой R13 с MSP на PSP? Нужно ли вручную переключаться при использовании PSP во встроенном asm?

Я пишу свою собственную RTOS и реализую функцию переключения контекста, где мне приходится использовать PSP. Функция написана на встроенном ассемблере.

Я работал над другим проектом по сборке записи STM32 F4, и R13, по-видимому, был MSP.

Мне интересно, нужно ли мне для моих целей переключать R13 с MSP на PSP?

Если мы посмотрим на функцию переключения контекста FreeRTOS, она просто использует psp, а не r13. Однако я могу получить доступ только r13https://github.com/kylemanna/freertos/blob/master/FreeRTOS/Source/portable/RVDS/ARM_CM4F/port.c#L481

Может ли кто-нибудь поделиться информацией о том, как работает переход с MSP на PSP?

Возможно актуально: electronics.stackexchange.com/questions/403967/…

pmacfarlane 17.07.2024 01:11

Я не понимаю, почему вам вообще «нужно» его использовать, вы можете «выбрать», всякий раз, когда я с ним возился, это было болью и того не стоило, кроме YMMV. Это, конечно, не требуется для ОСРВ.

old_timer 22.07.2024 23:31

Я полагаю, вы прочитали справочное руководство по архитектуре Armv7-m? именно здесь описано, как мне это сделать.

old_timer 22.07.2024 23:32
Стоит ли изучать PHP в 2023-2024 годах?
Стоит ли изучать PHP в 2023-2024 годах?
Привет всем, сегодня я хочу высказать свои соображения по поводу вопроса, который я уже много раз получал в своем сообществе: "Стоит ли изучать PHP в...
Поведение ключевого слова "this" в стрелочной функции в сравнении с нормальной функцией
Поведение ключевого слова "this" в стрелочной функции в сравнении с нормальной функцией
В JavaScript одним из самых запутанных понятий является поведение ключевого слова "this" в стрелочной и обычной функциях.
Приемы CSS-макетирования - floats и Flexbox
Приемы CSS-макетирования - floats и Flexbox
Здравствуйте, друзья-студенты! Готовы совершенствовать свои навыки веб-дизайна? Сегодня в нашем путешествии мы рассмотрим приемы CSS-верстки - в...
Тестирование функциональных ngrx-эффектов в Angular 16 с помощью Jest
В системе управления состояниями ngrx, совместимой с Angular 16, появились функциональные эффекты. Это здорово и делает код определенно легче для...
Концепция локализации и ее применение в приложениях React ⚡️
Концепция локализации и ее применение в приложениях React ⚡️
Локализация - это процесс адаптации приложения к различным языкам и культурным требованиям. Это позволяет пользователям получить опыт, соответствующий...
Пользовательский скаляр GraphQL
Пользовательский скаляр GraphQL
Листовые узлы системы типов GraphQL называются скалярами. Достигнув скалярного типа, невозможно спуститься дальше по иерархии типов. Скалярный тип...
1
3
56
1
Перейти к ответу Данный вопрос помечен как решенный

Ответы 1

Ответ принят как подходящий

Как указано в ответе, указанном в комментариях, r13 не является физическим регистром, а вместо этого всегда отражает содержимое либо MSP, либо PSP. Вы не можете выбрать, какой из двух доступен через r13, переключение происходит автоматически и зависит от того, находится ли процессор в режиме потока или в режиме обработчика.

По умолчанию весь код выполняется с привилегиями и весь код использует MSP, поэтому существует единый стек. Большинство ядер операционных систем изменят это, манипулируя двумя битами в регистре CONTROL. Установка бита 0 (nPriv) приводит к запуску кода режима потока без привилегий, а установка бита 1 (SPSEL) выбирает PSP в качестве активного указателя стека (этот бит читается как ноль и игнорирует записи в режиме обработчика). Обычно это делается после создания и инициализации небольшого буфера, который будет действовать как стек простаивающих задач, и записи указателя стека простаивающих задач в PSP.

В этой конфигурации переключение контекста становится довольно простым. При условии, что переключатель контекста работает в режиме обработчика (обработчик PendSV является отличным выбором в большинстве случаев), он будет использовать MSP для собственных нужд, а это означает, что он может без особых затруднений манипулировать PSP. ЦП автоматически помещает r0-r3, r12, lr, pc и xPSR в активный стек перед входом в режим обработчика; поэтому переключателю контекста только для целых чисел нужно только загрузить PSP в регистр с помощью MRS, нажать r4-r11, сохранить обновленное значение указателя стека где-то, связанное с выполняемым потоком, загрузить новый указатель стека из места, связанного со следующим потоком, в бегите, нажмите r4-r11, используйте MSR для обновления PSP и вернитесь.

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

Tsz Kit Koon 17.07.2024 19:07

Я хотел бы спросить, что вы подразумеваете под «(этот бит читается как ноль и игнорирует записи в режиме обработчика)». То есть вы не можете записать бит SPSEL в режиме обработчика? То есть вы не можете переключиться на PSP в обработчике pendSV? спасибо за помощь

Tsz Kit Koon 17.07.2024 19:37

Правильно, r13 всегда зеркально MSP в режиме обработчика, поэтому обработчики всегда используют основной стек, и это нельзя изменить. Но, конечно, если обработчику необходимо получить доступ к PSP или изменить его, он может сделать это напрямую, используя инструкции MRS и MSR, как я описал. Вы могли бы прочитать общее руководство пользователя для ядра, которое вы используете — вы не говорите, что это такое, я использовал некоторые STM32F4, которые являются Cortex M3, и другие, которые являются Cortex M4F.

cooperised 18.07.2024 09:31

А вот например вот это раздел о вводе и возврате исключений в руководстве M3. M4F здесь более сложен из-за регистров с плавающей запятой.

cooperised 18.07.2024 09:32

Другие вопросы по теме