[tlaplus] Re: Problem about Ad Hoc mode of ToolBox

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.)

On Monday, September 9, 2019 at 7:14:46 PM UTC-7, LUMING DONG wrote:

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)