kernel synchronization