As always, step 1 is "try the latest". That means kernel 3.14.x, mesa 10.1. I'm
specifically thinking about commit 7d3428cd4b2ad51af86fdbdf8284ca38fa95e601 in
the kernel, which fixed some lag issues for a compton user.