I have a question about it: can anyone tell how it deals with redundancy?

It seems to be distributed. If you are running Plan 9 on 3 machines, and one goes down, what happens to the rest of the system. Does it become unavailable?