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

Re: [tlaplus] TLA+ crashed after building .dot and .pdf file



On 16.02.20 22:34, david streader wrote:
> Hi
>      I set TLA+ to build the state graph. Which it successfully  did.
> But the tool crashed immediately  and could not be started with out
> crashing until I removed the model from the directory. I am running
> MacOS 10.14
>  
> Any help much appreciated 
> david
> 
> The error  details are:
> 
> Process:               toolbox [4252]
> Path:                  /Applications/TLA+ Toolbox.app/Contents/MacOS/toolbox
> Identifier:            org.lamport.tla.toolbox.product.product
> Version:               1.6.0 (1.6.0.201907102009)
> Code Type:             X86-64 (Native)
> Parent Process:        ??? [1]
> Responsible:           toolbox [4252]
> User ID:               501
> 
> Date/Time:             2020-02-17 19:08:51.621 +1300
> OS Version:            Mac OS X 10.14.6 (18G3020)
> Report Version:        12
> Anonymous UUID:        D45FAF0A-6EDB-322F-EAA2-7076B9534619
> 
> Sleep/Wake UUID:       9C41179A-9F88-482E-A99A-377453D33504
> 
> Time Awake Since Boot: 34000 seconds
> Time Since Wake:       4700 seconds
> 
> System Integrity Protection: enabled
> 
> Crashed Thread:        58
> 
> Exception Type:        EXC_BAD_ACCESS (SIGABRT)
> Exception Codes:       KERN_INVALID_ADDRESS at 0x00000000000000c0
> Exception Note:        EXC_CORPSE_NOTIFY
> 
> VM Regions Near 0xc0:
> --> 
>     __TEXT                 00000001042ca000-00000001042ce000 [   16K]
> r-x/rwx SM=COW  /Applications/TLA+ Toolbox.app/Contents/MacOS/toolbox
> 
> Application Specific Information:
> abort() called
> 
> ......
> 
> Thread 58 Crashed:
> 0   libsystem_kernel.dylib        0x00007fff6291a2c2 __pthread_kill + 10
> 1   libsystem_pthread.dylib       0x00007fff629d5bf1 pthread_kill + 284
> 2   libsystem_c.dylib             0x00007fff628846a6 abort + 127
> 3   libjvm.dylib                  0x0000000107b4e38a os::abort(bool,
> void*, void const*) + 22
> 4   libjvm.dylib                  0x0000000107cb253e
> VMError::report_and_die(int, char const*, char const*, __va_list_tag*,
> Thread*, unsigned char*, void*, void*, char const*, int, unsigned long)
> + 2806
> 5   libjvm.dylib                  0x0000000107cb1a33
> VMError::report_and_die(Thread*, unsigned int, unsigned char*, void*,
> void*, char const*, ...) + 169
> 6   libjvm.dylib                  0x0000000107cb258b
> VMError::report_and_die(Thread*, unsigned int, unsigned char*, void*,
> void*) + 33
> 7   libjvm.dylib                  0x0000000107cb2fca crash_handler(int,
> __siginfo*, void*) + 184
> 8   libsystem_platform.dylib      0x00007fff629cab5d _sigtramp + 29
> 9   ???                           0x0000000000000031 0 + 49
> 10  libjvm.dylib                  0x0000000107c65391
> ThreadsListHandle::ThreadsListHandle(Thread*) + 39
> 11  libjvm.dylib                  0x0000000107b4b039
> os::print_location(outputStream*, long, bool) + 585
> 12  libjvm.dylib                  0x0000000107cb08bf
> VMError::report(outputStream*, bool) + 3995
> 13  libjvm.dylib                  0x0000000107cb201a
> VMError::report_and_die(int, char const*, char const*, __va_list_tag*,
> Thread*, unsigned char*, void*, void*, char const*, int, unsigned long)
> + 1490
> 14  libjvm.dylib                  0x0000000107cb1a33
> VMError::report_and_die(Thread*, unsigned int, unsigned char*, void*,
> void*, char const*, ...) + 169
> 15  libjvm.dylib                  0x0000000107cb258b
> VMError::report_and_die(Thread*, unsigned int, unsigned char*, void*,
> void*) + 33
> 16  libjvm.dylib                  0x0000000107cb2fca crash_handler(int,
> __siginfo*, void*) + 184
> 17  libsystem_platform.dylib      0x00007fff629cab5d _sigtramp + 29
> 18  ???                           0x0000000000000008 0 + 8
> 19  libjvm.dylib                  0x0000000107c65391
> ThreadsListHandle::ThreadsListHandle(Thread*) + 39
> 20  libjvm.dylib                  0x0000000107b4b039
> os::print_location(outputStream*, long, bool) + 585
> 21  libjvm.dylib                  0x0000000107b52d84
> os::print_register_info(outputStream*, void const*) + 82
> 22  libjvm.dylib                  0x0000000107cb07a9
> VMError::report(outputStream*, bool) + 3717
> 23  libjvm.dylib                  0x0000000107cb201a
> VMError::report_and_die(int, char const*, char const*, __va_list_tag*,
> Thread*, unsigned char*, void*, void*, char const*, int, unsigned long)
> + 1490
> 24  libjvm.dylib                  0x0000000107cb1a33
> VMError::report_and_die(Thread*, unsigned int, unsigned char*, void*,
> void*, char const*, ...) + 169
> 25  libjvm.dylib                  0x0000000107cb258b
> VMError::report_and_die(Thread*, unsigned int, unsigned char*, void*,
> void*) + 33
> 26  libjvm.dylib                  0x0000000107b52571
> JVM_handle_bsd_signal + 889
> 27  libjvm.dylib                  0x0000000107b4fdeb signalHandler(int,
> __siginfo*, void*) + 45
> 28  libsystem_platform.dylib      0x00007fff629cab5d _sigtramp + 29
> 29  ???                           0x00006000011c4f00 0 + 105553134898944
> 30  com.adobe.acrobat.pdfviewer   0x000000012287d4d3 0x122865000 + 99539
> 31  com.adobe.acrobat.pdfviewer   0x0000000122867380 0x122865000 + 9088
> 32  com.adobe.acrobat.pdfviewer   0x0000000122867224 0x122865000 + 8740
> 33  com.apple.Foundation          0x00007fff38ab30e2 __NSThread__start__
> + 1194
> 34  libsystem_pthread.dylib       0x00007fff629d32eb _pthread_body + 126
> 35  libsystem_pthread.dylib       0x00007fff629d6249 _pthread_start + 66
> 36  libsystem_pthread.dylib       0x00007fff629d240d thread_start + 13
> 
> Thread 58 crashed with X86 Thread State (64-bit):
>   rax: 0x0000000000000000  rbx: 0x00007000035a7000  rcx:
> 0x00007000035a4b68  rdx: 0x0000000000000000
>   rdi: 0x0000000000016f17  rsi: 0x0000000000000006  rbp:
> 0x00007000035a4ba0  rsp: 0x00007000035a4b68
>    r8: 0x00000000000130a8   r9: 0x00007fff98f57f78  r10:
> 0x0000000000000000  r11: 0x0000000000000206
>   r12: 0x0000000000016f17  r13: 0x00007000035a4e00  r14:
> 0x0000000000000006  r15: 0x000000000000002d
>   rip: 0x00007fff6291a2c2  rfl: 0x0000000000000206  cr2: 0x00007fff98f56188
>   
> Logical CPU:     0
> Error Code:      0x02000148
> Trap Number:     133
> 

Hi David,

this appears to be a duplicate of
https://github.com/tlaplus/tlaplus/issues/357.  Can you check if the
workaround in
https://github.com/tlaplus/tlaplus/issues/357#issuecomment-535770396
prevents the Toolbox from crashing?

Thanks
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/d5ec8c2e-c703-413a-a989-de449de1c597%40lemmster.de.