noux: first remove from list, then dissolve

Avoids deadlock - which is out of the list can't be found twice to be deleted.

Issue #485

ports/src/noux/dataspace_registry.h

@@ -124,11 +124,7 @@ namespace Noux {
 				 * created via 'Rm_dataspace_info::fork', are not handled by
 				 * those destructors. So we have to clean them up here.
 				 */
-				for (;;) {
-					Dataspace_info *info = _pool.first();
-					if (!info)
-						return;
-
+				while(Dataspace_info *info = _pool.first()) {
 					_pool.remove_locked(info);
 					destroy(env()->heap(), info);
 				}
@@ -172,8 +168,10 @@ namespace Noux {
 				return;
 			}
 
-			info->dissolve_users();
 			_ds_registry.remove(info);
+
+			info->dissolve_users();
+
 		}
 
 		Dataspace_capability fork(Ram_session_capability,

ports/src/noux/local_rm_service.h

@@ -132,13 +132,16 @@ namespace Noux {
 
 				/* release dataspace info */
 				Dataspace_info *info = _ds_registry.lookup_info(ds_cap);
-				if (info) {
-					info->dissolve_users();
-					_ds_registry.remove(info);
-					destroy(env()->heap(), info);
-				} else {
+				if (!info) {
 					PWRN("Could not lookup dataspace info for local RM session");
+					return;
 				}
+
+				_ds_registry.remove(info);
+
+				info->dissolve_users();
+
+				destroy(env()->heap(), info);
 			}
 	};
 }

ports/src/noux/ram_session_component.h

@@ -161,9 +161,10 @@ namespace Noux {
 					return;
 				}
 
+				_registry.remove(ds_info);
+
 				ds_info->dissolve_users();
 
-				_registry.remove(ds_info);
 				_list.remove(ds_info);
 				_used_quota -= ds_info->size();
 

ports/src/noux/rom_session_component.h

@@ -66,18 +66,20 @@ namespace Noux {
 			~Rom_session_component()
 			{
 				/*
-				 * Lookup and lock ds info instead of directly acccessing
+				 * Lookup and lock ds info instead of directly accessing
 				 * the '_ds_info' member.
 				 */
 				Object_pool<Dataspace_info>::Guard
 					info(_ds_registry.lookup_info(_ds_info.ds_cap()));
 
-				if (info)
-					info->dissolve_users();
-				else
+				if (!info) {
 					PERR("~Rom_session_component: unexpected !info");
+					return;
+				}
 
 				_ds_registry.remove(&_ds_info);
+
+				info->dissolve_users();
 			}