add implementation for thread_priority_greater