Hi Alex, Your results are great!! Thank you so much. I want to confirm something.
Inter-AS Call(10) 1008 What is meaning of "10" ? Inter-AS Call 980 Inter-AS Call (Low to High) 1050 Inter-AS Call (High to Low) 1463 Here, "Low and High" means the priority of process, right? So without that, it means those two process have same priority. Is this true? Thank you. Yuxin On Sat, Oct 18, 2014 at 10:56 PM, Alexander Kroh < [email protected]> wrote: > Hi Yuxin, > > Below our our benchmark results. Figures are in cycles and do not include > the cost of a the system call. > > Intra-AS Call 756 > Intra-AS ReplyWait 742 > Inter-AS Call 980 > Inter-AS ReplyWait 987 > Inter-AS Call (Low to High) 1050 > Inter-AS ReplyWait (High to Low) 1540 > Inter-AS Call (High to Low) 1463 > Inter-AS ReplyWait (Low to High) 1043 > Inter-AS Send 1043 > Inter-AS Call(10) 1008 > Inter-AS ReplyWait(10) 1015 > > - Alex > > > ________________________________________ > From: Devel [[email protected]] on behalf of Yuxin Ren [ > [email protected]] > Sent: Saturday, 18 October 2014 08:32 > To: [email protected] > Subject: [seL4] IPC performance for slowpath > > Hi All, > > I find there have slow and fast path for IPC. > I want to know the performance difference between those two. > More accurate, on x86, how many cycles for slow path round-trip ipc > between two address space?(on single core) > And how many for fast path? > > Thank you very much. > > Yuxin > > ________________________________ > > The information in this e-mail may be confidential and subject to legal > professional privilege and/or copyright. National ICT Australia Limited > accepts no liability for any damage caused by this email or its attachments. >
_______________________________________________ Devel mailing list [email protected] https://sel4.systems/lists/listinfo/devel
