Much, but not all, of the Prospero library is save in a multi-threaded environment. All of the functions used by the server are thread-safe. Documentation on this is in doc/working-notes/pfs_threads.doc.