linux kernel synchronization (WIP)
Main reference:
Understanding the Linux Kernel 3rd Edition, Daniel P.Bovet and Marco Cesati.
TODOs:
preempt_count
General Rule
kernel preemption is disabled in critical region protected by spin locks
§ Quick facts
spin locks
- kernel preemption is disabled in spin lock protected critical regions.
- for uniprocessor system, the spin lock simply disables/enables kernel preemption