A Survey of Techniques for Warp Scheduling in GPUs