Two-stage analysis of large-scale protocol information in mobile storage systems.