Also, do we really need a mutex for reading, i.e. do we need to use a mutex in get_should_kill?