[isabelle-dev] Segmentation faults
lp15 at cam.ac.uk
Wed May 29 15:25:48 CEST 2013
Here for example:
> Thread 0:: Dispatch queue: com.apple.main-thread
> 0 libsystem_kernel.dylib 0x99c998e2 __psynch_cvwait + 10
> 1 libsystem_c.dylib 0x984db280 _pthread_cond_wait + 833
> 2 libsystem_c.dylib 0x985610e0 pthread_cond_timedwait$UNIX2003 + 70
> 3 libpolyml.4.dylib 0x005b37a1 PCondVar::WaitFor(PLock*, unsigned int) + 113
> 4 libpolyml.4.dylib 0x005c3614 Processes::BeginRootThread(PolyObject*) + 852
> 5 libpolyml.4.dylib 0x005b7e18 polymain + 2392
The dynamic libraries had an earlier creation date from the other poly/ML libraries.
On 29 May 2013, at 14:18, Makarius <makarius at sketis.net> wrote:
> On Wed, 29 May 2013, Lawrence Paulson wrote:
>> I have just taken a look at the crash logs, and it's clear that some dynamic libraries from a previous installation had got loaded along with the latest ones.
> Where did you see that in the log?
> There is the following near the end, but it looks fine so far:
> Binary Images:
> 0x1000 - 0x56aff7 +poly (???) <7513623B-C8EF-B2EE-7AB8-86D56D558A10> /Users/USER/*/poly
> 0x59b000 - 0x5fbfeb +libpolyml.4.dylib (5) <2E0AD632-82FD-C839-A4EF-7C7D917E4C07> /Users/USER/*/libpolyml.4.dylib
> 0x1100000 - 0x1102fff +libsha1.so (0) <F18686EA-3708-0005-8488-0829107C5FFB> /Users/USER/*/libsha1.so
> Maybe /Users/USER/* is just some anonymized version of the real locations.
More information about the isabelle-dev