"
jv:libgdbs - GNU Debugger Interface Library
Copyright (C) 2015-now Jan Vrany
This library is free software; you can redistribute it and/or
modify it under the terms of the GNU Lesser General Public
License as published by the Free Software Foundation; either
version 2.1 of the License.
This library is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
Lesser General Public License for more details.
You should have received a copy of the GNU Lesser General Public
License along with this library; if not, write to the Free Software
Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA
"
"{ Package: 'jv:libgdbs' }"
"{ NameSpace: Smalltalk }"
GDBDebuggerObject subclass:#GDBThread
instanceVariableNames:'id group status info stack'
classVariableNames:''
poolDictionaries:''
category:'GDB-Core'
!
!GDBThread class methodsFor:'documentation'!
copyright
"
jv:libgdbs - GNU Debugger Interface Library
Copyright (C) 2015-now Jan Vrany
This library is free software; you can redistribute it and/or
modify it under the terms of the GNU Lesser General Public
License as published by the Free Software Foundation; either
version 2.1 of the License.
This library is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
Lesser General Public License for more details.
You should have received a copy of the GNU Lesser General Public
License along with this library; if not, write to the Free Software
Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA
"
! !
!GDBThread class methodsFor:'instance creation'!
newWithDebugger: debugger id: id group: group
^ self new
setDebugger: debugger;
setId: id;
setGroup: group;
setStatus: GDBThreadStateRunning theOneAndOnlyInstance;
yourself.
"Created: / 07-09-2014 / 21:33:21 / Jan Vrany <jan.vrany@fit.cvut.cz>"
"Modified: / 14-01-2018 / 22:33:26 / jv"
! !
!GDBThread class methodsFor:'accessing - GDB value descriptors'!
description
^ (super description)
define:#id as:Integer;
yourself
"Created: / 06-09-2014 / 02:21:07 / Jan Vrany <jan.vrany@fit.cvut.cz>"
! !
!GDBThread methodsFor:'accessing'!
group
^ group
!
id
^ id
"Created: / 07-09-2014 / 22:41:29 / Jan Vrany <jan.vrany@fit.cvut.cz>"
!
name
^ self targetId
"Created: / 10-03-2015 / 00:32:37 / Jan Vrany <jan.vrany@fit.cvut.cz>"
!
stack
self ensureIsStopped.
stack isNil ifTrue:[
stack := GDBTransientDataHolder debugger: debugger factory:[ :old |
[
| result depth new oldFrameIndex oldFrame newFrameIndex newFrame |
result := debugger send: (GDBMI_stack_info_depth new arguments: (Array with: '--thread' with: id with: 100)).
depth := result propertyAt: #depth.
result := debugger send: (GDBMI_stack_list_frames new arguments: (Array with: '--thread' with: id with: 0 with: depth - 1 )).
new := result propertyAt: #stack.
"/ Now, walk from the bottom of the stack (the least recent frame) and
"/ ipdate `new` array with frames from `old` array to preserve the
"/ identity.
newFrameIndex := new size.
oldFrameIndex := old size.
[ newFrameIndex > 0 and:[ oldFrameIndex > 0 ] ] whileTrue:[
newFrame := new at: newFrameIndex.
oldFrame := old at: oldFrameIndex.
"/ If frame addrs matches, both frames really represent the same thing so
"/ just replace the 'new' frame with the 'old'.
newFrame addr = oldFrame addr ifTrue:[
"/ OK, the two frames are really the same thing
oldFrame setLevel: newFrame level. "/ Update level
new at: newFrameIndex put: (old at: oldFrameIndex).
newFrameIndex := newFrameIndex - 1.
oldFrameIndex := oldFrameIndex - 1.
] ifFalse:[
"/ No, frame pc differs. This is the first time they differ so
"/ it could be the same frame just on different PC (since PC of
"/ caller did not change). Subsequent frames could also be "same"
"/ if they're inlined into caller - in this case, the PC (#addr) of
"/ the caller frame and inlined callee are the same.
"/
"/ So, we update subsequent frames as long as
"/ a) function names are the same AND
"/ b) PC is the same as PC of its caller
"/
"/ Complicated, isn't it?
| oldAddr newAddr |
oldAddr := oldFrame addr.
newAddr := newFrame addr.
[ newFrameIndex > 0 and:[ oldFrameIndex > 0 ] ] whileTrue:[
newFrame := new at: newFrameIndex.
oldFrame := old at: oldFrameIndex.
("a)"oldFrame func = newFrame func and: ["b)"oldFrame addr = oldAddr and:[newFrame addr = newAddr]]) ifTrue:[
"/ Update the frame...
oldFrame setAddr: newFrame addr.
oldFrame setLine: newFrame line.
oldFrame setLevel: newFrame level.
new at: newFrameIndex put: (old at: oldFrameIndex).
newFrameIndex := newFrameIndex - 1.
oldFrameIndex := oldFrameIndex - 1.
] ifFalse:[
"/ Terminate the loop, see the condition above.
oldFrameIndex := 0.
].
]
].
].
"/ For the remaining really new frames, set the debugger
"/ and the thread.
[ newFrameIndex > 0 ] whileTrue:[
newFrame := new at: newFrameIndex.
newFrame setDebugger: debugger.
newFrame setThread: self.
newFrameIndex := newFrameIndex - 1.
].
new
] on: GDBError do:[ :ex |
self isRunning ifFalse:[
ex pass.
].
old.
].
].
].
^ stack value
"Created: / 09-09-2014 / 00:02:45 / Jan Vrany <jan.vrany@fit.cvut.cz>"
"Modified: / 01-09-2018 / 00:11:19 / Jan Vrany <jan.vrany@fit.cvut.cz>"
!
status
status isUnknown ifTrue:[
status := self info state
].
^ status
"Modified: / 12-07-2017 / 13:36:37 / Jan Vrany <jan.vrany@fit.cvut.cz>"
!
targetId
^ self info targetId
"Created: / 10-03-2015 / 00:32:18 / Jan Vrany <jan.vrany@fit.cvut.cz>"
! !
!GDBThread methodsFor:'accessing-private'!
info
info isNil ifTrue:[
info := GDBTransientDataHolder debugger: debugger factory:[
| result infos |
result := debugger send: (GDBMI_thread_info new arguments: (Array with: id)).
infos := result propertyAt: #threads.
self assert: (infos isEmptyOrNil or:[ infos size == 1 and:[ infos first id = id ] ]).
infos isEmptyOrNil
ifTrue:[ GDBThreadInfo new setId: id state: GDBThreadStateTerminated theOneAndOnlyInstance ]
ifFalse:[ infos first ]
].
].
^ info value
"Created: / 08-03-2015 / 09:07:21 / Jan Vrany <jan.vrany@fit.cvut.cz>"
"Modified: / 17-11-2017 / 20:21:41 / Jan Vrany <jan.vrany@fit.cvut.cz>"
! !
!GDBThread methodsFor:'displaying'!
displayString
^ '%1 [%2]' bindWith: self name with: self status
"Created: / 10-03-2015 / 00:32:47 / Jan Vrany <jan.vrany@fit.cvut.cz>"
! !
!GDBThread methodsFor:'event handling'!
onRunningEvent: aGDBRunningEvent
self assert: (aGDBRunningEvent threads includesIdentical: self).
status := GDBThreadStateRunning theOneAndOnlyInstance.
"Created: / 12-07-2017 / 13:50:02 / Jan Vrany <jan.vrany@fit.cvut.cz>"
!
onStoppedEvent: aGDBStoppedEvent
self assert: (aGDBStoppedEvent threads includesIdentical: self).
status := GDBThreadStateStopped theOneAndOnlyInstance.
"Created: / 12-07-2017 / 13:50:21 / Jan Vrany <jan.vrany@fit.cvut.cz>"
! !
!GDBThread methodsFor:'initialization'!
setGroup: aGDBThreadGroup
self assert: group isNil.
group := aGDBThreadGroup.
"Created: / 07-09-2014 / 21:32:07 / Jan Vrany <jan.vrany@fit.cvut.cz>"
!
setId: tid
self assert: id isNil.
id := tid.
"Created: / 07-09-2014 / 21:31:30 / Jan Vrany <jan.vrany@fit.cvut.cz>"
"Modified: / 08-03-2015 / 09:08:31 / Jan Vrany <jan.vrany@fit.cvut.cz>"
!
setStatus: aGDBThreadState
status := aGDBThreadState
"Created: / 12-07-2017 / 13:43:34 / Jan Vrany <jan.vrany@fit.cvut.cz>"
!
setTerminated
"Created: / 07-09-2014 / 21:37:37 / Jan Vrany <jan.vrany@fit.cvut.cz>"
"Modified: / 08-03-2015 / 09:08:39 / Jan Vrany <jan.vrany@fit.cvut.cz>"
! !
!GDBThread methodsFor:'printing & storing'!
printOn:aStream
"append a printed representation if the receiver to the argument, aStream"
aStream nextPutAll:'thread '.
id printOn:aStream.
"/ aStream nextPutAll:'in group '.
"/ group id printOn:aStream.
aStream nextPutAll:' ['.
self status printOn:aStream.
aStream nextPutAll:']'.
"Modified: / 08-03-2015 / 09:07:55 / Jan Vrany <jan.vrany@fit.cvut.cz>"
! !
!GDBThread methodsFor:'private'!
ensureIsStopped
self isStopped ifFalse:[
(GDBInvalidObjectError newException)
parameter:self;
messageText:'Invalid state (thread is running or already dead)';
raise.
].
"Created: / 09-09-2014 / 00:04:08 / Jan Vrany <jan.vrany@fit.cvut.cz>"
"Modified: / 16-09-2014 / 23:51:09 / Jan Vrany <jan.vrany@fit.cvut.cz>"
! !
!GDBThread methodsFor:'testing'!
isDead
^ self isTerminated
"Created: / 22-09-2014 / 00:54:14 / Jan Vrany <jan.vrany@fit.cvut.cz>"
"Modified: / 08-03-2015 / 12:35:23 / Jan Vrany <jan.vrany@fit.cvut.cz>"
"Modified: / 14-01-2018 / 22:34:04 / jv"
!
isRunning
^ self status isRunning
"Created: / 07-09-2014 / 23:23:24 / Jan Vrany <jan.vrany@fit.cvut.cz>"
"Modified: / 08-03-2015 / 09:08:49 / Jan Vrany <jan.vrany@fit.cvut.cz>"
!
isStopped
^ self status isStopped
"Created: / 07-09-2014 / 23:23:36 / Jan Vrany <jan.vrany@fit.cvut.cz>"
"Modified: / 08-03-2015 / 09:08:52 / Jan Vrany <jan.vrany@fit.cvut.cz>"
!
isTerminated
^ self status isTerminated
"Created: / 07-09-2014 / 23:23:48 / Jan Vrany <jan.vrany@fit.cvut.cz>"
"Modified: / 08-03-2015 / 09:08:55 / Jan Vrany <jan.vrany@fit.cvut.cz>"
!
isValid
^ group isValid and:[ self isDead not ]
"Created: / 04-02-2018 / 21:31:13 / Jan Vrany <jan.vrany@fit.cvut.cz>"
! !
!GDBThread class methodsFor:'documentation'!
version_HG
^ '$Changeset: <not expanded> $'
! !