9b149a0:Use mutex instead of spinlock for synchronizing a file manager.