[Author Prev][Author Next][Thread Prev][Thread Next][Author Index][Thread Index]
Re: [f-cpu] Smooth Register backup issues...
Michael Riepe wrote:
This distinction is very important !
[...] The problem with SRB is :
- how do you handle nested interrupt ?
- how do you "allocate" a new CMB ?
- If saving is automatique even on very light it handler you must
of the register.
I asked that myself a long time ago. And didn't get an answer.
We have to distinguish between interrupts and task switches.
Well, at least it was in the beginning, because the purpose of the SRB
has been extended beyond the simple mechanismthat allows IRQs to be
Now, it is used for task switches, IRQs and exceptions.
In each case, one must be careful not to make mistakes with the other cases.
An (asynchronous) interrupt will suspend the running task for a while,
At least some context must be saved ! access rights (properties), PC (in
case the system calls traps,
then return to it. A task switch stops the current task and start a
new one. A software interrupt (e.g. system call) is similar to a
hardware interrupt but will run in the context of the current task
(i.e. no SRB is performed).
we want to be able to locate the offending call location) and PC+4 (so
we return nicely).
When a task is created, the OS will allocate a CMB for it. When the OS
(or the CPU) switches from task A to task B, the CPU will have to save
register values to the CMB of task A and load new values from the CMB of
task B. It can do so beforehand or on an as-needed basis.
Just like "old school SRB".
registers, it could swap register banks, trigger an SRB-SAVE for the now
invisible bank, switch CMBs and start running the new task, performing
an SRB-RESTORE while it continues.
why do i see only drawbacks with shadow registers ?
except that it /may/ be a few cycles faster than "old school SRB",
there are no benefit.
and simply switching banks does not take into account
the pipeline that needs some synchronisation because of the *OOOC*
scheduling. If i blindly follow your description,
"late" results from the interrupted task will land in the
alternate bank, thus corrupting both the saved CMB
(which will not be complete) and the new task.
If you solve this, you end up doing the same thing as "old school SRB" :
tracking whose task each register belongs and adding flags to
keep coherency. Back to the beginning.
Hardware interrupts work similar, but they usually have no task context.
well, they have no _previous_ state, it's like spawning a thread out of
The kernel can also allocate a CMB if the handler is known to be recursive.
Register values of the current task will have to be saved to the
task's CMB on entry, and restored when the interrupt service routine
ends. With shadow registers, you can simply swap register banks - but
you'll have to take care that a running SRB-SAVE for the shadow set
(caused by a task switch) is finished first.
why wait ???
In order to make the interrupt service routine itself interruptible,
you can allocate a CMB for it and switch CMBs manually.
What do you mean with "manually" ?
Or you just turn off interrupts until the ISR finishes (provided that
the ISR is short). This won't work with exceptions, however, because
they may nest. Maybe they should run inside their own task context
(with a pre-allocated CMB).
(that's what i said for a while).
read you soon,
To unsubscribe, send an e-mail to email@example.com with
unsubscribe f-cpu in the body. http://f-cpu.seul.org/