Added several calls to API (waitForStatusChange, BPatch_variableExpr
[dyninst.git] / dyninstAPI / h / BPatch_thread.h
1 /*
2  * Copyright (c) 1996 Barton P. Miller
3  * 
4  * We provide the Paradyn Parallel Performance Tools (below
5  * described as Paradyn") on an AS IS basis, and do not warrant its
6  * validity or performance.  We reserve the right to update, modify,
7  * or discontinue this software at any time.  We shall have no
8  * obligation to supply such updates or modifications or any other
9  * form of support to you.
10  * 
11  * This license is for research uses.  For such uses, there is no
12  * charge. We define "research use" to mean you may freely use it
13  * inside your organization for whatever purposes you see fit. But you
14  * may not re-distribute Paradyn or parts of Paradyn, in any form
15  * source or binary (including derivatives), electronic or otherwise,
16  * to any other organization or entity without our permission.
17  * 
18  * (for other uses, please contact us at paradyn@cs.wisc.edu)
19  * 
20  * All warranties, including without limitation, any warranty of
21  * merchantability or fitness for a particular purpose, are hereby
22  * excluded.
23  * 
24  * By your use of Paradyn, you understand and agree that we (or any
25  * other person or entity with proprietary rights in Paradyn) are
26  * under no obligation to provide either maintenance services,
27  * update services, notices of latent defects, or correction of
28  * defects for Paradyn.
29  * 
30  * Even if advised of the possibility of such damages, under no
31  * circumstances shall we (or any other person or entity with
32  * proprietary rights in the software licensed hereunder) be liable
33  * to you or any third party for direct, indirect, or consequential
34  * damages of any character regardless of type of action, including,
35  * without limitation, loss of profits, loss of use, loss of good
36  * will, or computer failure or malfunction.  You agree to indemnify
37  * us (and any other person or entity with proprietary rights in the
38  * software licensed hereunder) for any and all liability it may
39  * incur to third parties resulting from your use of Paradyn.
40  */
41
42 #ifndef _BPatch_thread_h_
43 #define _BPatch_thread_h_
44
45 /*
46  * The following is a kludge so that the functions that refer to signals (such
47  * as BPatch_thread::stopSignal) can emulate the Unix behavior on Windows NT.
48  */
49 #include <signal.h>
50 #ifndef SIGTRAP
51 #define SIGTRAP         5
52 #endif
53
54 #include "BPatch_Vector.h"
55 #include "BPatch_image.h"
56 #include "BPatch_snippet.h"
57
58 class process;
59 class instInstance;
60 class BPatch;
61 class BPatch_thread;
62
63
64 /*
65  * Used to specify whether a snippet is to be called before the instructions
66  * at the point where it is inserted, or after.
67  */
68 typedef enum {
69     BPatch_callBefore,
70     BPatch_callAfter
71 } BPatch_callWhen;
72
73
74 /*
75  * Used to specify whether a snippet should be installed before other snippets
76  * that have previously been inserted at the same point, or after.
77  */
78 typedef enum {
79     BPatch_firstSnippet,
80     BPatch_lastSnippet
81 } BPatch_snippetOrder;
82
83
84 /*
85  * Contains information about the code that was inserted by an earlier call to
86  * Bpatch_thread::insertSnippet.
87  */
88 class BPatchSnippetHandle {
89 private:
90     BPatch_Vector<instInstance *> instance;
91 public:
92     process *proc;
93
94     BPatchSnippetHandle(process *_proc) : proc(_proc) {};
95     ~BPatchSnippetHandle();
96
97     void add(instInstance *pointInstance);
98 };
99
100 /*
101  * Represents a thread of execution.
102  */
103 class BPatch_thread {
104     friend class BPatch;
105     friend bool pollForStatusChange();
106
107     process             *proc;
108     BPatch_image        *image;
109     int                 lastSignal;
110     bool                mutationsActive;
111     bool                createdViaAttach;
112     bool                detached;
113
114     bool                unreportedStop;
115     bool                unreportedTermination;
116
117     void                setUnreportedStop(bool new_value)
118                                 { unreportedStop = new_value; }
119     void                setUnreportedTermination(bool new_value)
120                                 { unreportedTermination = new_value; }
121
122     bool                pendingUnreportedStop()
123                                 { return unreportedStop; }
124     bool                pendingUnreportedTermination()
125                                 { return unreportedTermination; }
126
127     bool                statusIsStopped();
128     bool                statusIsTerminated();
129 protected:
130     BPatch_thread(char *path, char *argv[], char *envp[] = NULL);
131     BPatch_thread(char *path, int pid);
132
133 public:
134     ~BPatch_thread();
135
136     BPatch_image *getImage() { return image; }
137
138     int         getPid();
139
140     bool        stopExecution();
141     bool        continueExecution();
142     bool        terminateExecution();
143
144     bool        isStopped();
145     int         stopSignal();
146     bool        isTerminated();
147
148     void        detach(bool cont);
149
150     bool        dumpCore(const char *file, bool terminate);
151     bool        dumpImage(const char *file);
152
153     BPatch_variableExpr *malloc(int n);
154     BPatch_variableExpr *malloc(const BPatch_type &type);
155     void        free(const BPatch_variableExpr &ptr);
156
157     BPatchSnippetHandle *insertSnippet(
158                             const BPatch_snippet &expr,
159                             const BPatch_point &point,
160                             BPatch_callWhen when = BPatch_callBefore,
161                             BPatch_snippetOrder order = BPatch_firstSnippet);
162     BPatchSnippetHandle *insertSnippet(
163                             const BPatch_snippet &expr,
164                             const BPatch_Vector<BPatch_point *> &points,
165                             BPatch_callWhen when = BPatch_callBefore,
166                             BPatch_snippetOrder order = BPatch_firstSnippet);
167
168     bool        deleteSnippet(BPatchSnippetHandle *handle);
169
170     void        setMutationsActive(bool activate);
171
172     bool        replaceFunctionCall(BPatch_point &point,
173                                     BPatch_function &newFunc);
174     bool        removeFunctionCall(BPatch_point &point);
175 };
176
177 #endif /* BPatch_thread_h_ */