Re: multi-threaded Emacs

[Ted Zlatanov]

On Wed, 10 Dec 2008 20:59:41 -0500 Stefan Monnier <address@hidden> wrote: 

SM> Further than that, we'd need more explicit synchronization
SM> primitives.  We could probably start with a (atomically &rest BODY)
SM> which guarantees that BODY will be properly protected from other
SM> threads that it will appear to be executed atomically.  Such a
SM> primitive should also include constraints such as "BODY cannot
SM> include non-undoable operations", e.g. it can't save to a file.

Would it help to look at the C level and figure out which functions are
atomic (no I/O operations, IIUC), and perhaps mark them so with an
attribute?  Then any ELisp function that builds on atomics is atomic
itself, presumably (except for macros and other trickery).

Ted