> One big challenge for multi-threaded Emacs is that there are many elisp libraries and common patterns around buffer modification that make implicit assumptions about sequential and exclusive execution.

It might be naive of me, but why not limit the process execution to the state and buffer that its working in ?

I know that this does not answer the multi processor per buffer problem, but its a better start.