kernel_synchronization primitive