On a Multiprocessor System with Dynamic Redundancy