It is like your second diagram. Each machine has two 1gbE lines going into it.

I've found some stuff on TCP socket striping in the application or session layer that make the program thinks it has opened one socket, but the program opens more. Has anyone had experience with it? It could be easily spoofed to switch the IP it is sent to. Something with iproute, but I think it only alternates with TCP flow.