Scheduling in Transactional Memory Systems Models, Algorithms, and Evaluations رسالة دكتوراه