Efficient fault simulation on many-core processors