Option 1.A.2 implies using a Web Load Balancer. In that case, I confirm that the session migration from one server to another will typically happen only when the first server fails.