need to fix kernel allocator locks for thread-safety