Следует перед этим спросить автора, а есть ли у него MPU.
А то оно ведь опционально. И они к тому же разные бывают.

TC похоже этим еще не интересовался даже.
http://www.freertos.org/FreeRTOS-MPU-memor...ction-unit.html

Я уже писал про такой вариант. Во-первых: нужно довольно много доп. памяти, а её в обрез; во-вторых: задач около 10 (даже больше), а в MPU регионов всего 8 и большую часть из них я уже использую.


Это точно! Но не получается у меня так, проще уволиться самому...
На следующей работе обязательно для такой задачи буду требовать чип с MMU.


Как это реализовано? Скорей всего - периодический контроль затёртости шаблона в стеке. Именно так сделано в uCOS. Это малоэффективно. Я уже писал почему.


Ну-ну продолжайте острить дальше. Память у Вас видно коротка (а не только в моём проекте), так хотя-бы почитайте весь тред.

Нет. Там можно другой галкой задавать шаблон (watermark) или не задавать. А проверка все равно работает.

хм... странно... А как тогда работает? По какому алгоритму. У меня IAR, Keil-а нет.

Мануал намекает, что проверка стека производится во время переключения задачи:

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

Ладно, допустим вы даже читали про MPU.

В STM32F4 и STM32F7 оно действительно есть, хоть там дальше все равно идут нюансы с картой памяти, атрибутами доступа её областей и кэшированием свойственные только STM-ам.
А в Kinetis сделанных на том же Cortex-M4 ARM-овского MPU нет, а сделано свое MPU.

Или вот обычная практика для задач выделять стек в динамической памяти (ну для динамических задач), и эта же задача должна иметь доступ ко всей динамической памяти.
Т.е. задача не может взять и изолировать кусок в памяти поскольку должна иметь полное право писать и выше и ниже стека.
И все!
Красивая идея стухла и превратилась в костыль.

Пока Kinetis и STM не интересуют, интересуют TI и NXP главным образом.


В динамической памяти стеки задачам никогда не выделяю, все задачи живут постоянно - нет удаления задач.
При избытке памяти и "изолировать" ничего не мешает - выделить кусок заведомо большего размера, внутри него - выровненный на степени 2 регион1, закрыть его от доступа через MPU, внутри региона1 - регион2 меньшего размера - разрешить его для доступа (с бОльшим приоритетом чем у региона1). Регион2 расположен внутри региона1 так, чтобы между началом региона1 и региона2 и между их концами были некоторые защитные интервалы памяти.
Всё.
Но я уже сказал - облегчённые частные случаи типа: избыток памяти, избыток свободных регионов в MPU и пр. - не рассматриваю.


Это точно.

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