[isabelle-dev] Segmentation faults

[Lawrence Paulson]

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.

Larry

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