<div dir="ltr"><div dir="ltr"><br></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Sun, Aug 16, 2020 at 6:12 AM Utkarsh Rai <<a href="mailto:utkarsh.rai60@gmail.com">utkarsh.rai60@gmail.com</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><div dir="ltr"><div dir="ltr"><br></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Sat, Aug 15, 2020 at 7:26 PM Gedare Bloom <<a href="mailto:gedare@rtems.org" target="_blank">gedare@rtems.org</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">On Sat, Aug 15, 2020 at 6:26 AM Utkarsh Rai <<a href="mailto:utkarsh.rai60@gmail.com" target="_blank">utkarsh.rai60@gmail.com</a>> wrote:<br>
><br>
><br>
> On Thu, Aug 13, 2020 at 5:10 AM Utkarsh Rai <<a href="mailto:utkarsh.rai60@gmail.com" target="_blank">utkarsh.rai60@gmail.com</a>> wrote:<br>
>><br>
>> Thanks, I'll check them out.<br>
>><br>
>> On Thu, Aug 13, 2020 at 12:56 AM Gedare Bloom <<a href="mailto:gedare@rtems.org" target="_blank">gedare@rtems.org</a>> wrote:<br>
>>><br>
>>> On Wed, Aug 12, 2020 at 11:33 AM Utkarsh Rai <<a href="mailto:utkarsh.rai60@gmail.com" target="_blank">utkarsh.rai60@gmail.com</a>> wrote:<br>
>>> ><br>
>>> > Hello,<br>
>>> > I have been testing my code for thread stack isolation against various tests( Some written by me, and remaining already present). One of the limitations that I have found is that I encounter fatal errors whenever a context switch takes place through an ISR. Can you please explain how the context switching procedure works when an interrupt occurs. When I use gdb for stepping through the code it asynchronously moves to context switching code from the executing thread( for example psx16 test).<br>
>>> > For thread stack protection,  the part that deals with context switching simply 'sets 'the memory entries of the heir stack and 'unsets' that of the executing stack.<br>
>>><br>
>>> There are two issues to start: interrupt stacks and dispatching from an ISR.<br>
>>><br>
>>> I think you can start by reading some of the documentation:<br>
>>> <a href="https://docs.rtems.org/branches/master/c-user/interrupt_manager.html#processing-an-interrupt" rel="noreferrer" target="_blank">https://docs.rtems.org/branches/master/c-user/interrupt_manager.html#processing-an-interrupt</a><br>
>>><br>
>>> <a href="https://docs.rtems.org/branches/master/c-user/scheduling_concepts.html#dispatching-tasks" rel="noreferrer" target="_blank">https://docs.rtems.org/branches/master/c-user/scheduling_concepts.html#dispatching-tasks</a><br>
>>><br>
>>> <a href="https://docs.rtems.org/branches/master/c-user/config/general.html#configure-interrupt-stack-size" rel="noreferrer" target="_blank">https://docs.rtems.org/branches/master/c-user/config/general.html#configure-interrupt-stack-size</a><br>
>>><br>
>>> <a href="https://docs.rtems.org/branches/master/cpu-supplement/port.html#interrupt-processing" rel="noreferrer" target="_blank">https://docs.rtems.org/branches/master/cpu-supplement/port.html#interrupt-processing</a><br>
>>><br>
>>> You can also find some material in rtems-docs.git/porting -- I don't<br>
>>> know where that gets generated.<br>
>>><br>
>>> Continue to ask questions, and writing blog posts.<br>
><br>
><br>
> So after going through the materials, I was able to understand how an ISR is registered, ISR stack initialization. What is still not clear to me is what are the differences between dispatching a task in ISR different and  a normal context-switch?<br>
><br>
> For example the psxsignal06 test, we wait for a signal here,  on setting the breakpoint at the context switch code (cpu_asm.S), after this line,  I find that the heir context stack is the ISR stack. The next thread is dispatched from this ISR but as soon as I unset the memory attributes of the ISR stack I get a fatal error. One possible reason is that the ISR stack is not page aligned and unsettling its attributes unsets nearby memory regions. Is there something else that I am missing?<br>
><br>
what else is on the same page as the ISR stack?<br>
<br></blockquote><div><br></div><div>The idle thread stack is between 0x202e40 to 0x203e40 and the ISR stack is between 0x203e40 to 0x204e40. So when we unset the memory for the ISR it unsets between 0x203000 to 0x205000, I think this may be the problem.</div><div><br></div><div> </div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">
Not quite related, you'll need to also make sure to map the ISR stack<br>
back in during ISR Handling, before using it.<br></blockquote><div><br></div><div>When the ISR gets called for the first time, it already has R/W permission and for subsequent context switches it's memory entry is accordingly set/unset. <br></div></div></div></blockquote><div><br></div><div>The idle thread stack and the ISR stack are placed at these addresses with the BSP specific linker script as "rtemsstack.idle" and "rtemsstack.interrupt". So to make them page-aligned we may have to make changes in the lnker script.</div></div></div>