seL4 icon indicating copy to clipboard operation
seL4 copied to clipboard

smp/ipi.c: ipi send mask improvement

Open JorgeMVP opened this issue 4 months ago • 0 comments

Remove duplicated code: IPI_MEM_BARRIER and ipi_send_target show up twice when they don't need to. This makes the code simpler and easy to read.

Improve performance: It is also fast because you only call IPI_MEM_BARRIER once per function execution regardless of the mask.

Not sure if this kind of improvements are accepted but it is worth trying. Let me know if you have some feedback.

JorgeMVP avatar Oct 08 '24 18:10 JorgeMVP