Index: libcfa/src/concurrency/io/setup.cfa
===================================================================
--- libcfa/src/concurrency/io/setup.cfa	(revision 9f5a71eb57274fa2ef0c856174e9628d92d8f703)
+++ libcfa/src/concurrency/io/setup.cfa	(revision b0d02851854bb3ad941a9022e9ebf6702163420b)
@@ -56,4 +56,5 @@
 
 	#include "bitmanip.hfa"
+	#include "fstream.hfa"
 	#include "kernel_private.hfa"
 	#include "thread.hfa"
@@ -258,4 +259,13 @@
 		struct __sub_ring_t & sq = this.sq;
 		struct __cmp_ring_t & cq = this.cq;
+		{
+			__u32 fhead = sq.free_ring.head;
+			__u32 ftail = sq.free_ring.tail;
+
+			__u32 total = *sq.num;
+			__u32 avail = ftail - fhead;
+
+			if(avail != total) abort | "Processor (" | (void*)this.proc | ") tearing down ring with" | (total - avail) | "entries allocated but not submitted, out of" | total;
+		}
 
 		// unmap the submit queue entries