Answer:
I would state that performance is not the main challenge of an atm, nor is multi-threading. Robustness and provable correctness is of greater importance, and those are much easier to achieve using a single-threaded solution.
9.3m questions
12.0m answers