David van Moolenbroek 
		2867e60add 
		
	 
	
	
	SEF: query VM about holes during state transfer ... 
			The 'memory' service has holes in its data section, which causes
problems during state transfer.  Since VM cannot handle page faults
during a multicomponent-with-VM live update, the state transfer must
ensure that no page faults occur during copying.  Therefore, we now
query VM about the regions to copy, thus skipping holes.  While the
solution is not ideal, it is sufficiently generic that it can be used
for the data section state transfer of all processes, and possibly
for state transfer of other regions in the future as well.
Change-Id: I2a71383a18643ebd36956c396fbd22c8fd137202 
		
	 
		2015-09-17 13:43:06 +00:00 
	 
	
	
		 
	
	
		
			
			
			
			
			
			2014-09-30 20:08:54 +00:00 
		 
	
		
			
			
			
			
			
			2015-09-16 15:31:55 +00:00 
		 
	
		
			
			
			
			
			
			2014-07-31 16:00:30 +02:00 
		 
	
		
			
			
			
			
			
			2015-09-16 11:03:30 +00:00 
		 
	
		
			
			
			
			
			
			2014-07-31 16:00:30 +02:00 
		 
	
		
			
			
			
			
			
			2014-09-18 12:46:26 +00:00 
		 
	
		
			
			
			
			
			
			2014-07-31 16:00:30 +02:00 
		 
	
		
			
			
			
			
			
			2014-07-31 16:00:30 +02:00 
		 
	
		
			
			
			
			
			
			2015-03-18 07:48:09 +01:00 
		 
	
		
			
			
			
			
			
			2014-09-30 20:08:54 +00:00 
		 
	
		
			
			
			
			
			
			2014-07-31 16:00:30 +02:00 
		 
	
		
			
			
			
			
			
			2014-07-31 16:00:30 +02:00 
		 
	
		
			
			
			
			
			
			2014-07-31 16:00:30 +02:00 
		 
	
		
			
			
			
			
			
			2014-07-31 16:00:30 +02:00 
		 
	
		
			
			
			
			
			
			2014-07-31 16:00:30 +02:00 
		 
	
		
			
			
			
			
			
			2014-07-31 16:00:30 +02:00 
		 
	
		
			
			
			
			
			
			2014-09-30 20:08:54 +00:00 
		 
	
		
			
			
			
			
			
			2014-07-31 16:00:30 +02:00 
		 
	
		
			
			
			
			
			
			2014-07-31 16:00:30 +02:00 
		 
	
		
			
			
			
			
			
			2015-09-16 11:02:31 +00:00 
		 
	
		
			
			
			
			
			
			2014-07-31 16:00:30 +02:00 
		 
	
		
			
			
			
			
			
			2014-07-31 16:00:30 +02:00 
		 
	
		
			
			
			
			
			
			2014-07-31 16:00:30 +02:00 
		 
	
		
			
			
			
			
			
			2015-09-16 15:30:34 +00:00 
		 
	
		
			
			
			
			
			
			2014-07-31 16:00:30 +02:00 
		 
	
		
			
			
			
			
			
			2014-07-31 16:00:30 +02:00 
		 
	
		
			
			
			
			
			
			2015-09-16 11:01:36 +00:00 
		 
	
		
			
			
			
			
			
			2014-07-31 16:00:30 +02:00 
		 
	
		
			
			
			
			
			
			2014-07-31 16:00:30 +02:00 
		 
	
		
			
			
			
			
			
			2014-07-31 16:00:30 +02:00 
		 
	
		
			
			
			
			
			
			2014-07-31 16:00:30 +02:00 
		 
	
		
			
			
			
			
			
			2014-07-31 16:00:30 +02:00 
		 
	
		
			
			
			
			
			
			2014-07-31 16:00:30 +02:00 
		 
	
		
			
			
			
			
			
			2014-07-31 16:00:30 +02:00 
		 
	
		
			
			
			
			
			
			2014-07-31 16:00:30 +02:00 
		 
	
		
			
			
			
			
			
			2014-07-31 16:00:30 +02:00 
		 
	
		
			
			
			
			
			
			2014-07-31 16:00:30 +02:00 
		 
	
		
			
			
			
			
			
			2014-07-31 16:00:30 +02:00 
		 
	
		
			
			
			
			
			
			2014-07-31 16:00:30 +02:00 
		 
	
		
			
			
			
			
			
			2014-07-31 16:00:30 +02:00 
		 
	
		
			
			
			
			
			
			2014-07-31 16:00:30 +02:00 
		 
	
		
			
			
			
			
			
			2014-07-31 16:00:30 +02:00 
		 
	
		
			
			
			
			
			
			2014-07-31 16:00:30 +02:00 
		 
	
		
			
			
			
			
			
			2014-07-31 16:00:30 +02:00 
		 
	
		
			
			
			
			
			
			2014-07-31 16:00:30 +02:00 
		 
	
		
			
			
			
			
			
			2014-07-31 16:00:30 +02:00 
		 
	
		
			
			
			
			
			
			2015-09-16 11:03:42 +00:00 
		 
	
		
			
			
			
			
			
			2014-09-30 20:08:54 +00:00 
		 
	
		
			
			
			
			
			
			2014-09-30 20:08:54 +00:00 
		 
	
		
			
			
			
			
			
			2015-09-17 13:29:47 +00:00 
		 
	
		
			
			
			
			
			
			2015-09-16 11:07:01 +00:00 
		 
	
		
			
			
			
			
			
			2015-09-17 13:43:06 +00:00 
		 
	
		
			
			
			
			
			
			2015-09-16 15:30:34 +00:00 
		 
	
		
			
			
			
			
			
			2015-09-17 13:36:35 +00:00 
		 
	
		
			
			
			
			
			
			2015-09-16 11:07:18 +00:00 
		 
	
		
			
			
			
			
			
			2015-09-16 11:07:18 +00:00 
		 
	
		
			
			
			
			
			
			2015-09-17 13:43:06 +00:00 
		 
	
		
			
			
			
			
			
			2015-09-17 13:26:22 +00:00 
		 
	
		
			
			
			
			
			
			2014-07-31 16:00:30 +02:00 
		 
	
		
			
			
			
			
			
			2014-07-31 16:00:30 +02:00 
		 
	
		
			
			
			
			
			
			2014-07-31 16:00:30 +02:00 
		 
	
		
			
			
			
			
			
			2014-07-31 16:00:30 +02:00 
		 
	
		
			
			
			
			
			
			2014-09-30 20:08:54 +00:00 
		 
	
		
			
			
			
			
			
			2014-07-31 16:00:30 +02:00 
		 
	
		
			
			
			
			
			
			2014-07-31 16:00:30 +02:00 
		 
	
		
			
			
			
			
			
			2014-07-31 16:00:30 +02:00 
		 
	
		
			
			
			
			
			
			2014-07-31 16:00:30 +02:00 
		 
	
		
			
			
			
			
			
			2014-07-31 16:00:30 +02:00 
		 
	
		
			
			
			
			
			
			2014-07-31 16:00:30 +02:00 
		 
	
		
			
			
			
			
			
			2014-07-31 16:00:30 +02:00 
		 
	
		
			
			
			
			
			
			2015-09-16 11:01:36 +00:00 
		 
	
		
			
			
			
			
			
			2014-07-31 16:00:30 +02:00 
		 
	
		
			
			
			
			
			
			2014-07-31 16:00:30 +02:00 
		 
	
		
			
			
			
			
			
			2014-07-31 16:00:30 +02:00 
		 
	
		
			
			
			
			
			
			2014-07-31 16:00:30 +02:00 
		 
	
		
			
			
			
			
			
			2014-07-31 16:00:30 +02:00 
		 
	
		
			
			
			
			
			
			2014-07-31 16:00:30 +02:00 
		 
	
		
			
			
			
			
			
			2014-07-31 16:00:30 +02:00 
		 
	
		
			
			
			
			
			
			2014-07-31 16:00:30 +02:00 
		 
	
		
			
			
			
			
			
			2014-07-31 16:00:30 +02:00 
		 
	
		
			
			
			
			
			
			2014-07-31 16:00:30 +02:00 
		 
	
		
			
			
			
			
			
			2014-09-30 20:08:54 +00:00 
		 
	
		
			
			
			
			
			
			2014-07-31 16:00:30 +02:00 
		 
	
		
			
			
			
			
			
			2014-07-31 16:00:30 +02:00 
		 
	
		
			
			
			
			
			
			2014-07-31 16:00:30 +02:00 
		 
	
		
			
			
			
			
			
			2015-08-08 16:55:23 +00:00 
		 
	
		
			
			
			
			
			
			2014-07-31 16:00:30 +02:00 
		 
	
		
			
			
			
			
			
			2014-07-31 16:00:30 +02:00 
		 
	
		
			
			
			
			
			
			2014-07-31 16:00:30 +02:00 
		 
	
		
			
			
			
			
			
			2014-07-31 16:00:30 +02:00 
		 
	
		
			
			
			
			
			
			2014-07-31 16:00:30 +02:00 
		 
	
		
			
			
			
			
			
			2015-09-16 11:01:15 +00:00 
		 
	
		
			
			
			
			
			
			2014-07-31 16:00:30 +02:00 
		 
	
		
			
			
			
			
			
			2014-07-31 16:00:30 +02:00 
		 
	
		
			
			
			
			
			
			2014-07-31 16:00:30 +02:00 
		 
	
		
			
			
			
			
			
			2014-07-31 16:00:30 +02:00 
		 
	
		
			
			
			
			
			
			2015-09-16 11:01:47 +00:00 
		 
	
		
			
			
			
			
			
			2014-09-30 20:08:54 +00:00 
		 
	
		
			
			
			
			
			
			2014-07-31 16:00:30 +02:00 
		 
	
		
			
			
			
			
			
			2014-07-31 16:00:30 +02:00 
		 
	
		
			
			
			
			
			
			2014-07-31 16:00:30 +02:00 
		 
	
		
			
			
			
			
			
			2014-07-31 16:00:30 +02:00 
		 
	
		
			
			
			
			
			
			2014-07-31 16:00:30 +02:00 
		 
	
		
			
			
			
			
			
			2014-09-30 20:08:54 +00:00 
		 
	
		
			
			
			
			
			
			2014-07-31 16:00:30 +02:00 
		 
	
		
			
			
			
			
			
			2015-08-08 16:55:23 +00:00 
		 
	
		
			
			
			
			
			
			2014-07-31 16:00:30 +02:00 
		 
	
		
			
			
			
			
			
			2015-08-13 13:46:46 +00:00 
		 
	
		
			
			
			
			
			
			2014-07-31 16:00:30 +02:00 
		 
	
		
			
			
			
			
			
			2014-07-31 16:00:30 +02:00 
		 
	
		
			
			
			
			
			
			2014-07-31 16:00:30 +02:00 
		 
	
		
			
			
			
			
			
			2015-09-16 15:31:40 +00:00 
		 
	
		
			
			
			
			
			
			2015-09-16 11:06:41 +00:00 
		 
	
		
			
			
			
			
			
			2014-07-31 16:00:30 +02:00 
		 
	
		
			
			
			
			
			
			2014-07-31 16:00:30 +02:00 
		 
	
		
			
			
			
			
			
			2014-07-31 16:00:30 +02:00 
		 
	
		
			
			
			
			
			
			2014-07-31 16:00:30 +02:00 
		 
	
		
			
			
			
			
			
			2015-09-16 11:01:47 +00:00