Modeling and Analysis of Task Migration in Shared-Memory Computer Systems.