Re: [tlaplus] Ad-Hoc distributed issues

[Markus Kuppe <tlaplus-google-group@xxxxxxxxxxx>]

On 22.03.21 12:52, Shriphani Palakodety wrote:
> I'm trying to get the distributed TLC setup running from the official 
> tutorial here: 
> https://tla.msr-inria.inria.fr/tlatoolbox/doc/model/distributed-mode.html
>
> On my master node, I started TLAPlus, chose the FourQueens spec, picked 
> Ad-hoc mode and it enters the waiting for workers stage.
>
> On the slave node, I ran through the instructions. The output suggests 
> it reads a few .tla files from /tmp, does semantic processing for the 
> modules, and then fails because it can't connect to host - everything is 
> open (i.e. master allows incoming tcp from everywhere). I've posted a 
> full trace below.
>
> Any help would be appreciated.

Hi,

communication runs in all directions, i.e., the master node will also 
connect to workers, and workers connect each other. Please make sure 
that your network setup and firewall rules allow incoming connections on 
all nodes.
If the above doesn't address your issue, please include the mapping from 
nodes to IP addresses in your follow-up message.

Markus

--
You received this message because you are subscribed to the Google Groups "tlaplus" group.
To unsubscribe from this group and stop receiving emails from it, send an email to tlaplus+unsubscribe@xxxxxxxxxxxxxxxx.
To view this discussion on the web visit https://groups.google.com/d/msgid/tlaplus/36110629-01ed-e3fe-75b1-c844cedc6cf1%40lemmster.de.