[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[tlaplus] Problem about Ad Hoc mode of ToolBox

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.


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= -cp tla2tools.jar tlc2.tool.distributed.TLCWorker

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



C:\Users\00041831>java -version

openjdk version "1.8.0_163"

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

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


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/1fea51a6-f8a8-461c-b18d-43c4f59174b5%40googlegroups.com.