Sure thing. The trick is to give each thread a fixed priority band and let the scheduler run only one per band at a time. That way you get determinism—no race on the priority queue. Keep the scheduler logic in a single small module, expose a clear API for the kernel modules, and use lock-free queues for the work items. Then just rely on atomic ops for the counters. It stays clean, and you avoid the usual contention headaches.