Problem about Ad Hoc mode of ToolBox

[LUMING DONG]

Dear all:

To imporove the performance of my Spec validation. I use two computer in a LAN to bulid a distributed swarm to run TLC, one is master and another is slave.

During the system run, something wrong happened as the log listed below.   Any one can give me some hint

btw, The running Spec named  InnerSerial is a simple and correct model without problems.

Slave:

ubuntu 14.04 LTS

openjdk version:

zte@ubu-server:~/Downloads$ java -version

openjdk version "10" 2018-03-20

OpenJDK Runtime Environment 18.3 (build 10+44)

OpenJDK 64-Bit Server VM 18.3 (build 10+44, mixed mode)

zte@ubu-server:~/Downloads$ java -Djava.rmi.server.hostname=10.40.80.25 -cp tla2tools.jar tlc2.tool.distributed.TLCWorker 10.40.171.63

TLC Worker Version 2.13 of 18 July 2018

Parsing file /tmp/1567591008068/MC.tla      

Parsing file /tmp/1567591008068/InnerSerial.tla

Parsing file /tmp/1567591008068/TLC.tla

Parsing file /tmp/1567591008068/RegisterInterface.tla

Parsing file /tmp/1567591008068/Naturals.tla

Parsing file /tmp/1567591008068/Sequences.tla

Parsing file /tmp/1567591008068/FiniteSets.tla

Semantic processing of module RegisterInterface

Semantic processing of module Naturals

Semantic processing of module Sequences

Semantic processing of module FiniteSets

Semantic processing of module InnerSerial

Semantic processing of module TLC

Semantic processing of module MC

Starting... (2019-09-04 17:56:48)

TLC worker with 4 threads ready at: Wed Sep 04 17:56:49 CST 2019

WARNING: An illegal reflective access operation has occurred

WARNING: Illegal reflective access by tlc2.tool.distributed.TLCWorker (file:/home/zte/Downloads/tla2tools.jar) to method sun.rmi.server.UnicastRef.getLiveRef()

WARNING: Please consider reporting this to the maintainers of tlc2.tool.distributed.TLCWorker

WARNING: Use --illegal-access=warn to enable warnings of further illegal reflective access operations

WARNING: All illegal access operations will be denied in a future release

Master:

Windows7 

C:\Users\00041831>java -version

openjdk version "1.8.0_163"

OpenJDK Runtime Environment (Zulu 8.28.0.1-win64) (build 1.8.0_163-b01)

OpenJDK 64-Bit Server VM (Zulu 8.28.0.1-win64) (build 25.163-b01, mixed mode)

[loki der quaeler]

Could you install Java8 on the Ubuntu machine and run the tools jar using that? (Starting with Java 9, the JRE implementations began clamping down on reflection.)

 

[Markus Kuppe]

On 09.09.19 19:14, LUMING DONG wrote:
> To imporove the performance of my Spec validation. I use two computer in
> a LAN to bulid a distributed swarm to run TLC, one is master and another
> is slave.
>
> During the system run, something wrong happened as the log listed
> below.   Any one can give me some hint

Hi,

the warning that you are seeing should not cause the slave and master to
fail to connect. Usually, failure to connect can be attributed to a
network issue such as the master or the slave advertising themselves
under an IP address unreachable by the other party.

You are setting the java.rmi.server.hostname property on the slave;
please make sure you've chosen the correct IP address on the "How to
Run" section of the Toolbox's Model page too.

Thanks
Markus