For OSDI, gettimeofday should be processed locally.
authorDavid Zhu <yuzhu@cs.berkeley.edu>
Mon, 26 Apr 2010 19:21:02 +0000 (12:21 -0700)
committerKevin Klues <klueska@cs.berkeley.edu>
Thu, 3 Nov 2011 00:35:45 +0000 (17:35 -0700)
commit8c38f9fc08f82e8b19d8a5442e3b12319a9e0cbe
treea1bb0014acdf1a6260ab1fa75d434fcc1f858cca
parentc03177214fa67e7c61ae0d8f27774b434a332c5e
For OSDI, gettimeofday should be processed locally.

Going to app server would lead to inaccurate measurement.
kern/src/syscall.c