A trace-driven methodology to evaluate and optimize memory management services of distributed operating systems for lightweight manycores.