[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [tlaplus] some help needed in running tlc in distributed mode
Thank You for the clarification.
TLC uses RMI as a communication protocol. The RMI registry at the server
binds to port 10997 (unless the system property
tlc2.tool.distributed.TLCServer.port is set to something different). For
any subsequent communication, the client and server select a random port
Client-server communication is bidirectional. If you additionally use
distributed FPSets, you pretty much end up with a mesh where all nodes
have to talk to each other.