Hi Anna,
Hi Zihan,
The numbers on the benchmark are one fastpath, one slowpath (the details show that the length of the IPC is 10, and any messages > 4 go to the slowpath as they will not fit in registers).
I see, thanks a lot. Glad to know that I get the reasonable result. I did more warmup rounds, so the result is a little faster comapred with the data in the website.
I'm going to look at getting these numbers updated with more details for reproducability - is there anything specific you need to know? I don't think we have a kabylake to test on.
That is great, and yes I do have 2 more little questions. 1. Based on your real experience with seL4, what is the portion of different kinds of IPC call in real applications? For example, is IPC call with one fastpath one slowpath the most common one compare with the other 2 kinds of IPC call(2 fastpath and 2 slowpath)? What is the portion of each kind of IPC (e.g., maybe 70%, 20%, 10%) ? 2. What about the one-way IPC send/recv, are they used frequently compared with two-way IPC call? Thanks! Zihan