1. A method for managing task execution in a multi-core processor, comprising: employing a spinlock to effect a dynamically enforceable mutual exclusion constraint; and employing a multi-processor priority ceiling protocol to effect the dynamically enforceable mutual exclusion constraint to synchronize a plurality of tasks executing in the first and second processing cores of the multi-core processor; wherein employing the multi-processor priority ceiling protocol comprises employing a global priority ceiling to preempt tasks having selected mutual exclusion constraints by a task having a mutual exclusion constraint having a higher remote priority ceiling, including executing global critical sections corresponding to a global mutex M G when a task T acquires the global mutex M G at a set priority.