The Mysteries of Dropbox

File synchronization services like Dropbox, Google Drive and OneDrive are increasingly popular—hundreds of millions of people entrust their precious data to them every day. But they are complex distributed systems, and their behaviour is subtler than you might think, especially when files are changed.