RTOS/seL4
1
0
Fork 0
forked from Imagelibrary/seL4
Code Pull Requests Activity

Domain: Save FPU state when changing domain

Browse Source 
Co-authored-by: Corey Lewis <corlewis@gmail.com>
Signed-off-by: Indan Zupancic <indan@nul.nu>
This commit is contained in:
Indan Zupancic
2024-09-16 12:44:49 +01:00
committed by Gerwin Klein
parent f1517d51d1
commit 35ec2554b9
3 changed files with 12 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

1
include/kernel/thread.h
View File

@@ -189,6 +189,7 @@ void schedule(void);
void chooseThread(void);
void switchToThread(tcb_t *thread);
void switchToIdleThread(void);
void prepareSetDomain(tcb_t *tptr, dom_t dom);
void setDomain(tcb_t *tptr, dom_t dom);
void setPriority(tcb_t *tptr, prio_t prio);
void setMCPriority(tcb_t *tptr, prio_t mcp);

10
src/kernel/thread.c
View File

@@ -301,6 +301,16 @@ void doNBRecvFailedTransfer(tcb_t *thread)
setRegister(thread, badgeRegister, 0);
}
void prepareSetDomain(tcb_t *tptr, dom_t dom)
{
#ifdef CONFIG_HAVE_FPU
if (ksCurDomain != dom) {
/* Save FPU state now to avoid touching cross-domain state later */
fpuThreadDelete(tptr);
}
#endif
}
static void prepareNextDomain(void)
{
#ifdef CONFIG_HAVE_FPU

1
src/object/tcb.c
View File

@@ -1613,6 +1613,7 @@ exception_t decodeDomainInvocation(word_t invLabel, word_t length, word_t *buffe
}
setThreadState(NODE_STATE(ksCurThread), ThreadState_Restart);
prepareSetDomain(TCB_PTR(cap_thread_cap_get_capTCBPtr(tcap)), domain);
setDomain(TCB_PTR(cap_thread_cap_get_capTCBPtr(tcap)), domain);
return EXCEPTION_NONE;
}