Olivier Houchard  
		
	
	
		a8434ec146 
		
	 
	
	
	MINOR: lists: Implement locked variations.  
		
			... 
			Implement LIST_ADD_LOCKED(), LIST_ADDQ_LOCKED(), LIST_DEL_LOCKED() and
LIST_POP_LOCKED().
LIST_ADD_LOCKED, LIST_ADDQ_LOCKED and LIST_DEL_LOCKED work the same as
LIST_ADD, LIST_ADDQ and LIST_DEL, except before any manipulation it locks
the relevant elements of the list, so it's safe to manipulate the list
with multiple threads.
LIST_POP_LOCKED() removes the first element from the list, and returns its
data. 
		
	 
 
		2019-02-26 18:17:32 +01:00 
	 
	
	
		  ..
	 
	
	
		
			
			
			
			
			
			2014-05-08 22:38:02 +02:00 
		 
	
		
			
			
			
			
			
			2010-10-30 19:04:33 +02:00 
		 
	
		
			
			
			
			
			
			2019-01-31 08:07:17 +01:00 
		 
	
		
			
			
			
			
			
			2018-11-26 19:50:32 +01:00 
		 
	
		
			
			
			
			
			
			2019-01-26 13:25:14 +01:00 
		 
	
		
			
			
			
			
			
			2018-12-02 18:37:56 +01:00 
		 
	
		
			
			
			
			
			
			2018-10-29 19:14:14 +01:00 
		 
	
		
			
			
			
			
			
			2018-12-08 15:27:03 +01:00 
		 
	
		
			
			
			
			
			
			2019-01-31 19:38:25 +01:00 
		 
	
		
			
			
			
			
			
			2018-12-16 08:17:23 +01:00 
		 
	
		
			
			
			
			
			
			2019-02-07 15:10:19 +01:00 
		 
	
		
			
			
			
			
			
			2012-11-11 20:53:30 +01:00 
		 
	
		
			
			
			
			
			
			2010-08-10 14:01:15 +02:00 
		 
	
		
			
			
			
			
			
			2019-01-04 10:48:03 +01:00 
		 
	
		
			
			
			
			
			
			2019-02-19 16:26:14 +01:00 
		 
	
		
			
			
			
			
			
			2018-03-21 05:04:01 +01:00 
		 
	
		
			
			
			
			
			
			2019-02-08 21:29:23 +01:00 
		 
	
		
			
			
			
			
			
			2018-07-19 16:23:43 +02:00 
		 
	
		
			
			
			
			
			
			2018-12-11 09:07:02 +01:00 
		 
	
		
			
			
			
			
			
			2017-10-31 18:03:24 +01:00 
		 
	
		
			
			
			
			
			
			2019-01-24 15:27:06 +01:00 
		 
	
		
			
			
			
			
			
			2018-09-14 17:40:35 +02:00 
		 
	
		
			
			
			
			
			
			2018-12-01 17:37:27 +01:00 
		 
	
		
			
			
			
			
			
			2019-02-26 14:04:23 +01:00 
		 
	
		
			
			
			
			
			
			2019-02-15 14:32:35 +01:00 
		 
	
		
			
			
			
			
			
			2018-12-07 13:25:59 +01:00 
		 
	
		
			
			
			
			
			
			2018-07-19 16:23:43 +02:00 
		 
	
		
			
			
			
			
			
			2018-12-16 08:15:16 +01:00 
		 
	
		
			
			
			
			
			
			2019-02-26 18:17:32 +01:00 
		 
	
		
			
			
			
			
			
			2018-11-12 19:15:15 +01:00 
		 
	
		
			
			
			
			
			
			2017-09-21 06:27:08 +02:00 
		 
	
		
			
			
			
			
			
			2017-10-31 13:58:31 +01:00 
		 
	
		
			
			
			
			
			
			2014-05-08 22:38:02 +02:00 
		 
	
		
			
			
			
			
			
			2019-02-26 16:27:05 +01:00 
		 
	
		
			
			
			
			
			
			2015-10-12 20:58:51 +02:00 
		 
	
		
			
			
			
			
			
			2006-06-29 18:54:54 +02:00 
		 
	
		
			
			
			
			
			
			2009-03-21 10:25:14 +01:00 
		 
	
		
			
			
			
			
			
			2018-11-22 18:57:37 +01:00 
		 
	
		
			
			
			
			
			
			2011-03-28 15:55:43 +02:00 
		 
	
		
			
			
			
			
			
			2016-03-11 17:08:05 +01:00 
		 
	
		
			
			
			
			
			
			2019-01-04 18:20:32 +01:00 
		 
	
		
			
			
			
			
			
			2019-01-31 19:38:25 +01:00