Dodo: A User-level System for Exploiting Idle Memory in Workstation Clusters