[M3devel] pthread assertion failure exiting formsedit

Jay K jay.krell at cornell.edu
Tue Jun 23 03:50:21 CEST 2015


Every time I exit formsedit on MacOS X:

(gdb) runStarting program: /cm3/bin/formsedit Reading symbols for shared libraries +++++++++++++++++++++..... done

****** runtime error:***    <*ASSERT*> failed.***    file "../src/thread/PTHREAD/ThreadPThread.m3", line 216***

Program received signal SIGABRT, Aborted.0x940181ae in semaphore_wait_signal_trap ()(gdb) bt#0  0x940181ae in semaphore_wait_signal_trap ()#1  0x9404a1c6 in _pthread_cond_wait ()#2  0x9408f449 in pthread_cond_wait ()#3  0x0093aaee in ThreadPThread__pthread_cond_wait (i=0x1400830, j=0x1400800) at ../src/thread/PTHREAD/ThreadPThreadC.c:459#4  0x00935ade in ThreadPThread__XWait (self=0x14007a0, m=0x7e0084, c=0x1543644, alertable=0 '\0') at ../src/thread/PTHREAD/ThreadPThread.m3:239#5  0x00937a54 in ThreadPThread__XJoin (self=0x14007a0, t=0x1543628, alertable=0 '\0') at ../src/thread/PTHREAD/ThreadPThread.m3:581#6  0x00937b5c in Thread__Join (t=0x1543628) at ../src/thread/PTHREAD/ThreadPThread.m3:593#7  0x00014392 in FormsEdit__main () at ../src/FormsEdit.m3:52#8  0x0001451d in FormsEdit_M3 (mode=1) at ../src/FormsEdit.m3:62#9  0x00927175 in RTLinker__RunMainBody (m=0x15c40) at ../src/runtime/common/RTLinker.m3:408#10 0x00926601 in RTLinker__AddUnitI (m=0x15c40) at ../src/runtime/common/RTLinker.m3:115#11 0x0092667c in RTLinker__AddUnit (b=0x143a8) at ../src/runtime/common/RTLinker.m3:124

    WITH r = pthread_mutex_lock(self.mutex) DO <*ASSERT r=0*> END;    LOOP      IF alertable AND self.alerted THEN        self.alerted := FALSE;        <*ASSERT self.waitingOn = c.mutex*>
NOTE: The Modula-3 assert does not break into the debugger. There is a later problem in pthread_cond_wait  that does. This is with the gcc backend.

 - Jay
 		 	   		  
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://m3lists.elegosoft.com/pipermail/m3devel/attachments/20150623/893a3e80/attachment-0001.html>


More information about the M3devel mailing list