[Barrelfish-users] User Level IPI Support on SCC
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...
More information about the Barrelfish-users