Alan JoKernel programming is inherently shared memory model
Kernel sync is overhead to prevent Race Condition.
Even the single CPU, processes are not a alone that we need to sync kernel.
Locking is generic than kernel locking or barrier
highlight part
Kernel synchronization primitives
Kernel synchronization notion