An Experimental Evaluation of Processor Pool-Based Scheduling for Shared-Memory NUMA Multiprocessors