Rusty Russell 71a3f4edc1
lguest: use get_user_pages_fast() instead of get_user_pages() ...
Using a simple page table thrashing program I measure a slight
improvement. The program creates five processes. Each touches 1000
pages then schedules the next process. We repeat this 1000 times. As
lguest only caches 4 cr3 values, this rebuilds a lot of shadow page
tables requiring virt->phys mappings.
Before: 5.93 seconds
After: 5.40 seconds
(Counts of slow vs fastpath in this usage are 6092 and 2852462 respectively.)
And more importantly for lguest, the code is simpler.
Signed-off-by: Rusty Russell <rusty@rustcorp.com.au >
2008-08-12 17:52:53 +10:00
2008-08-01 12:46:41 -07:00
2008-08-05 14:36:57 +02:00
2008-07-30 16:33:05 -07:00
2008-07-24 10:47:41 -07:00
2008-08-01 11:52:39 -07:00
2008-08-06 12:30:04 +02:00
2008-08-07 22:26:56 +02:00
2008-08-05 18:17:02 +02:00
2008-08-11 10:37:34 -07:00
2008-08-08 16:00:48 -04:00
2008-07-28 08:31:58 -07:00
2008-08-07 09:55:48 +01:00
2008-07-23 12:03:18 -07:00
2008-08-08 11:38:42 -07:00
2008-07-25 10:53:49 -07:00
2008-08-06 12:03:43 -07:00
2008-07-30 09:41:44 -07:00
2008-07-25 10:53:30 -07:00
2008-08-01 12:46:41 -07:00
2008-07-23 15:26:10 +02:00
2008-08-10 22:56:16 +02:00
2008-08-10 22:56:16 +02:00
2008-08-07 09:55:48 +01:00
2008-07-24 10:47:21 -07:00
2008-08-07 18:14:07 -07:00
2008-08-08 11:38:42 -07:00
2008-08-02 16:40:37 +02:00
2008-08-07 09:55:48 +01:00
2008-08-12 17:52:53 +10:00
2008-08-05 18:16:58 +02:00
2008-08-01 11:56:07 -07:00
2008-08-08 19:18:18 +01:00
2008-07-26 12:00:04 -07:00
2008-07-27 10:04:52 -07:00
2008-08-10 23:32:07 +02:00
2008-08-06 11:46:39 -07:00
2008-08-10 23:30:34 +02:00
2008-08-10 23:30:34 +02:00
2008-08-09 11:15:13 -07:00
2008-07-25 22:34:40 -04:00
2008-07-26 12:00:11 -07:00
2008-08-07 17:47:37 -07:00
2008-08-07 09:55:48 +01:00
2008-08-01 12:46:41 -07:00
2008-08-07 09:55:48 +01:00
2008-07-30 10:10:23 +01:00
2008-08-07 09:55:48 +01:00
2008-08-01 16:39:36 +02:00
2008-08-07 09:55:48 +01:00
2008-08-07 09:55:48 +01:00
2008-08-04 12:51:06 +09:00
2008-08-07 09:55:48 +01:00
2008-07-25 10:53:43 -07:00
2008-08-08 11:38:42 -07:00
2008-08-11 10:29:11 -07:00
2008-07-25 12:06:14 +10:00
2008-08-10 21:57:03 +00:00
2008-07-24 10:47:13 -07:00
2008-07-30 10:10:22 +01:00
71a3f4edc1