[Barrelfish-users] User Level IPI Support on SCC

Shi Jinghao jhshi at cs.hku.hk
Sat Jan 5 09:39:08 CET 2013


I was wondering whether I can send a IPI to anther core in user space.
Furthermore, can I broadcast IPIs to multiple cores at the same time?

I checked the code in /user/bench/ipi_bench.c, it seems exactly what I want
(except broadcast) but it won't compile correctly. And it also seems to be
for X86_64 only. The comment in symbolic_targets.mk says the ipi_bench
target is broken in the newidc system.

-------------- next part --------------
An HTML attachment was scrubbed...
URL: https://lists.inf.ethz.ch/pipermail/barrelfish-users/attachments/20130105/0230f558/attachment.html 

More information about the Barrelfish-users mailing list