title: How SMP schedule work in Linux kernel? (ARM architecture)
body: <p>In linux, the scheduler will be triggered when a specific amount of time has passed. As I understood, the timer triggers an interrupt which in turn triggers a call to <code>schedule</code>.</p>
  
  <p>In a SMP system, I read in the book "Understanding the Linux Kernel" that "each processor runs the scheduler() function on its own".
  Does this mean every timer interrupt triggers every cpus to do a re-schedule at the same time?</p>