xref: /petsc/src/sys/error/pstack.c (revision dfb7d7afc6419f3665b48978fc015eb4d33caed1)
1d9262e54SJed Brown 
227104ee2SJacob Faibussowitsch #include <petsc/private/petscimpl.h> /*I  "petscsys.h"   I*/
3d9262e54SJed Brown 
4*dfb7d7afSStefano Zampini #if defined(PETSC_USE_DEBUG) && !defined(PETSC_HAVE_THREADSAFETY)
527104ee2SJacob Faibussowitsch PetscStack petscstack;
627104ee2SJacob Faibussowitsch #endif
715681b3cSBarry Smith 
8e04113cfSBarry Smith #if defined(PETSC_HAVE_SAWS)
9e04113cfSBarry Smith   #include <petscviewersaws.h>
1015681b3cSBarry Smith 
112657e9d9SBarry Smith static PetscBool amsmemstack = PETSC_FALSE;
1215681b3cSBarry Smith 
1315681b3cSBarry Smith /*@C
14e04113cfSBarry Smith    PetscStackSAWsGrantAccess - Grants access of the PETSc stack frames to the SAWs publisher
1515681b3cSBarry Smith 
16811af0c4SBarry Smith    Collective on `PETSC_COMM_WORLD`?
1715681b3cSBarry Smith 
1815681b3cSBarry Smith    Level: developer
1915681b3cSBarry Smith 
20811af0c4SBarry Smith    Developers Note:
21811af0c4SBarry Smith    Cannot use `PetscFunctionBegin`/`PetrscFunctionReturn()` or `PetscCallSAWs()` since it may be used within those routines
2215681b3cSBarry Smith 
23db781477SPatrick Sanan .seealso: `PetscObjectSetName()`, `PetscObjectSAWsViewOff()`, `PetscObjectSAWsTakeAccess()`
2415681b3cSBarry Smith @*/
25d71ae5a4SJacob Faibussowitsch void PetscStackSAWsGrantAccess(void)
26d71ae5a4SJacob Faibussowitsch {
27ec957eceSBarry Smith   if (amsmemstack) {
2816ad0300SBarry Smith     /* ignore any errors from SAWs */
299a492a5cSBarry Smith     SAWs_Unlock();
3015681b3cSBarry Smith   }
31d9262e54SJed Brown }
32d9262e54SJed Brown 
3315681b3cSBarry Smith /*@C
34586f9135SBarry Smith    PetscStackSAWsTakeAccess - Takes access of the PETSc stack frames from the SAWs publisher
3515681b3cSBarry Smith 
36811af0c4SBarry Smith    Collective on `PETSC_COMM_WORLD`?
3715681b3cSBarry Smith 
3815681b3cSBarry Smith    Level: developer
3915681b3cSBarry Smith 
40811af0c4SBarry Smith    Developers Note:
41811af0c4SBarry Smith    Cannot use `PetscFunctionBegin`/`PetscFunctionReturn()` or `PetscCallSAWs()` since it may be used within those routines
4215681b3cSBarry Smith 
43db781477SPatrick Sanan .seealso: `PetscObjectSetName()`, `PetscObjectSAWsViewOff()`, `PetscObjectSAWsTakeAccess()`
4415681b3cSBarry Smith @*/
45d71ae5a4SJacob Faibussowitsch void PetscStackSAWsTakeAccess(void)
46d71ae5a4SJacob Faibussowitsch {
47ec957eceSBarry Smith   if (amsmemstack) {
4816ad0300SBarry Smith     /* ignore any errors from SAWs */
499a492a5cSBarry Smith     SAWs_Lock();
5015681b3cSBarry Smith   }
5115681b3cSBarry Smith }
5215681b3cSBarry Smith 
53d71ae5a4SJacob Faibussowitsch PetscErrorCode PetscStackViewSAWs(void)
54d71ae5a4SJacob Faibussowitsch {
55d45a07a7SBarry Smith   PetscMPIInt rank;
5615681b3cSBarry Smith 
579566063dSJacob Faibussowitsch   PetscCallMPI(MPI_Comm_rank(PETSC_COMM_WORLD, &rank));
58d45a07a7SBarry Smith   if (rank) return 0;
5927104ee2SJacob Faibussowitsch   #if PetscDefined(USE_DEBUG)
60792fecdfSBarry Smith   PetscCallSAWs(SAWs_Register, ("/PETSc/Stack/functions", petscstack.function, 20, SAWs_READ, SAWs_STRING));
61792fecdfSBarry Smith   PetscCallSAWs(SAWs_Register, ("/PETSc/Stack/__current_size", &petscstack.currentsize, 1, SAWs_READ, SAWs_INT));
6227104ee2SJacob Faibussowitsch   #endif
632657e9d9SBarry Smith   amsmemstack = PETSC_TRUE;
6415681b3cSBarry Smith   return 0;
6515681b3cSBarry Smith }
6615681b3cSBarry Smith 
67d71ae5a4SJacob Faibussowitsch PetscErrorCode PetscStackSAWsViewOff(void)
68d71ae5a4SJacob Faibussowitsch {
69d9262e54SJed Brown   PetscFunctionBegin;
70d45a07a7SBarry Smith   if (!amsmemstack) PetscFunctionReturn(0);
71792fecdfSBarry Smith   PetscCallSAWs(SAWs_Delete, ("/PETSc/Stack"));
722657e9d9SBarry Smith   amsmemstack = PETSC_FALSE;
73d9262e54SJed Brown   PetscFunctionReturn(0);
74d9262e54SJed Brown }
7527104ee2SJacob Faibussowitsch #endif /* PETSC_HAVE_SAWS */
76d9262e54SJed Brown 
77*dfb7d7afSStefano Zampini #if PetscDefined(USE_DEBUG) && !PetscDefined(HAVE_THREADSAFETY)
78d71ae5a4SJacob Faibussowitsch PetscErrorCode PetscStackSetCheck(PetscBool check)
79d71ae5a4SJacob Faibussowitsch {
8027104ee2SJacob Faibussowitsch   petscstack.check = check;
8127104ee2SJacob Faibussowitsch   return 0;
827fdeb8b9SBarry Smith }
8315681b3cSBarry Smith 
84d71ae5a4SJacob Faibussowitsch PetscErrorCode PetscStackReset(void)
85d71ae5a4SJacob Faibussowitsch {
8627104ee2SJacob Faibussowitsch   memset(&petscstack, 0, sizeof(petscstack));
8774b43855SShri Abhyankar   return 0;
8874b43855SShri Abhyankar }
8974b43855SShri Abhyankar 
90586f9135SBarry Smith /*@C
91586f9135SBarry Smith    PetscStackView - Print the current (default) PETSc stack to an ASCII file
92586f9135SBarry Smith 
93586f9135SBarry Smith    Not Collective
94586f9135SBarry Smith 
95586f9135SBarry Smith    Input Parameter:
96586f9135SBarry Smith .   file - the file pointer, or `NULL` to use `PETSC_STDOUT`
97586f9135SBarry Smith 
98586f9135SBarry Smith    Level: developer
99586f9135SBarry Smith 
100586f9135SBarry Smith    Notes:
101586f9135SBarry Smith    In debug mode PETSc maintains a stack of the current function calls that can be used to help to quickly see where a problem has
102586f9135SBarry Smith    occurred, for example, when a signal is received. It is recommended to use the debugger if extensive information is needed to
103586f9135SBarry Smith    help debug the problem.
104586f9135SBarry Smith 
105586f9135SBarry Smith    The default stack is a global variable called `petscstack`.
106586f9135SBarry Smith 
107586f9135SBarry Smith .seealso: `PetscAttachDebugger()`, `PetscStackCopy()`, `PetscStackPrint()`, `PetscStackSAWsGrantAccess()`, `PetscStackSAWsTakeAccess()`
108586f9135SBarry Smith @*/
109d71ae5a4SJacob Faibussowitsch PetscErrorCode PetscStackView(FILE *file)
110d71ae5a4SJacob Faibussowitsch {
111639ff905SBarry Smith   if (!file) file = PETSC_STDOUT;
11227104ee2SJacob Faibussowitsch   if (petscstack.currentsize < 0) {
11327104ee2SJacob Faibussowitsch     /* < 0 is absolutely a corrupted stack, but this function is usually called in an error
11427104ee2SJacob Faibussowitsch      * handler, which are not capable of recovering from errors so best we can do is print
11527104ee2SJacob Faibussowitsch      * this warning */
11627104ee2SJacob Faibussowitsch     fprintf(file, "PetscStack is definitely corrupted with stack size %d\n", petscstack.currentsize);
11727104ee2SJacob Faibussowitsch   } else if (petscstack.currentsize == 0) {
118d9262e54SJed Brown     if (file == PETSC_STDOUT) {
1197a746cd8SPierre Jolivet       (*PetscErrorPrintf)("No error traceback is available, the problem could be in the main program. \n");
1206d07e311SBarry Smith     } else {
1217a746cd8SPierre Jolivet       fprintf(file, "No error traceback is available, the problem could be in the main program. \n");
1226d07e311SBarry Smith     }
1236d07e311SBarry Smith   } else {
124ef1023bdSBarry Smith     char *ptr;
125ef1023bdSBarry Smith 
1266d07e311SBarry Smith     if (file == PETSC_STDOUT) {
127660278c0SBarry Smith       (*PetscErrorPrintf)("The line numbers in the error traceback are not always exact.\n");
12827104ee2SJacob Faibussowitsch       for (int i = petscstack.currentsize - 1, j = 1; i >= 0; --i, ++j) {
129660278c0SBarry Smith         if (petscstack.file[i]) (*PetscErrorPrintf)("#%d %s() at %s:%d\n", j, petscstack.function[i], PetscCIFilename(petscstack.file[i]), PetscCILinenumber(petscstack.line[i]));
130ef1023bdSBarry Smith         else {
131ef1023bdSBarry Smith           PetscStrstr(petscstack.function[i], " ", &ptr);
132ef1023bdSBarry Smith           if (!ptr) (*PetscErrorPrintf)("#%d %s()\n", j, petscstack.function[i]);
133ef1023bdSBarry Smith           else (*PetscErrorPrintf)("#%d %s\n", j, petscstack.function[i]);
134ef1023bdSBarry Smith         }
13527104ee2SJacob Faibussowitsch       }
136d9262e54SJed Brown     } else {
137660278c0SBarry Smith       fprintf(file, "The line numbers in the error traceback are not always exact.\n");
13827104ee2SJacob Faibussowitsch       for (int i = petscstack.currentsize - 1, j = 1; i >= 0; --i, ++j) {
139660278c0SBarry Smith         if (petscstack.file[i]) fprintf(file, "[%d] #%d %s() at %s:%d\n", PetscGlobalRank, j, petscstack.function[i], PetscCIFilename(petscstack.file[i]), PetscCILinenumber(petscstack.line[i]));
140ef1023bdSBarry Smith         else {
141ef1023bdSBarry Smith           PetscStrstr(petscstack.function[i], " ", &ptr);
142ef1023bdSBarry Smith           if (!ptr) fprintf(file, "[%d] #%d %s()\n", PetscGlobalRank, j, petscstack.function[i]);
143ef1023bdSBarry Smith           else fprintf(file, "[%d] #%d %s\n", PetscGlobalRank, j, petscstack.function[i]);
144ef1023bdSBarry Smith         }
145d9262e54SJed Brown       }
1466d07e311SBarry Smith     }
1477d5f7e0cSShri Abhyankar   }
148d9262e54SJed Brown   return 0;
149d9262e54SJed Brown }
150d9262e54SJed Brown 
151586f9135SBarry Smith /*@C
152586f9135SBarry Smith    PetscStackCopy - Copy the information from one PETSc stack to another
153586f9135SBarry Smith 
154586f9135SBarry Smith    Not Collective
155586f9135SBarry Smith 
156586f9135SBarry Smith    Input Parameter:
157586f9135SBarry Smith .   sint - the stack to be copied from
158586f9135SBarry Smith 
159586f9135SBarry Smith    Output Parameter:
160586f9135SBarry Smith .   sout - the stack to be copied to, this stack must already exist
161586f9135SBarry Smith 
162586f9135SBarry Smith    Level: developer
163586f9135SBarry Smith 
164811af0c4SBarry Smith    Note:
165586f9135SBarry Smith    In debug mode PETSc maintains a stack of the current function calls that can be used to help to quickly see where a problem has
166586f9135SBarry Smith    occurred, for example, when a signal is received. It is recommended to use the debugger if extensive information is needed to
167586f9135SBarry Smith    help debug the problem.
168586f9135SBarry Smith 
169586f9135SBarry Smith .seealso: `PetscAttachDebugger()`, `PetscStackView()`
170586f9135SBarry Smith @*/
171d71ae5a4SJacob Faibussowitsch PetscErrorCode PetscStackCopy(PetscStack *sint, PetscStack *sout)
172d71ae5a4SJacob Faibussowitsch {
17327104ee2SJacob Faibussowitsch   if (sint) {
17427104ee2SJacob Faibussowitsch     for (int i = 0; i < sint->currentsize; ++i) {
175d9262e54SJed Brown       sout->function[i]     = sint->function[i];
176d9262e54SJed Brown       sout->file[i]         = sint->file[i];
177d9262e54SJed Brown       sout->line[i]         = sint->line[i];
178a8d2bbe5SBarry Smith       sout->petscroutine[i] = sint->petscroutine[i];
179d9262e54SJed Brown     }
180d9262e54SJed Brown     sout->currentsize = sint->currentsize;
18127104ee2SJacob Faibussowitsch   } else {
18227104ee2SJacob Faibussowitsch     sout->currentsize = 0;
183d9262e54SJed Brown   }
184d9262e54SJed Brown   return 0;
185d9262e54SJed Brown }
186d9262e54SJed Brown 
187586f9135SBarry Smith /*@C
188586f9135SBarry Smith    PetscStackPrint - Prints a given PETSc stack to an ASCII file
189586f9135SBarry Smith 
190586f9135SBarry Smith    Not Collective
191586f9135SBarry Smith 
192586f9135SBarry Smith    Input Parameters:
193586f9135SBarry Smith +   sint - the PETSc stack to print
194586f9135SBarry Smith -  file - the file pointer
195586f9135SBarry Smith 
196586f9135SBarry Smith    Level: developer
197586f9135SBarry Smith 
198586f9135SBarry Smith    Notes:
199586f9135SBarry Smith    In debug mode PETSc maintains a stack of the current function calls that can be used to help to quickly see where a problem has
200586f9135SBarry Smith    occurred, for example, when a signal is received. It is recommended to use the debugger if extensive information is needed to
201586f9135SBarry Smith    help debug the problem.
202586f9135SBarry Smith 
203586f9135SBarry Smith    The default stack is a global variable called `petscstack`.
204586f9135SBarry Smith 
205586f9135SBarry Smith    Developer Note:
206586f9135SBarry Smith    `PetscStackPrint()` and `PetscStackView()` should be merged into a single API.
207586f9135SBarry Smith 
208586f9135SBarry Smith .seealso: `PetscAttachDebugger()`, `PetscStackCopy()`, `PetscStackView()`
209586f9135SBarry Smith @*/
210d71ae5a4SJacob Faibussowitsch PetscErrorCode PetscStackPrint(PetscStack *sint, FILE *fp)
211d71ae5a4SJacob Faibussowitsch {
21227104ee2SJacob Faibussowitsch   if (sint) {
21327104ee2SJacob Faibussowitsch     for (int i = sint->currentsize - 2; i >= 0; --i) {
214660278c0SBarry Smith       if (sint->file[i]) fprintf(fp, "      [%d]  %s() at %s:%d\n", PetscGlobalRank, sint->function[i], PetscCIFilename(sint->file[i]), PetscCILinenumber(sint->line[i]));
215ef1023bdSBarry Smith       else fprintf(fp, "      [%d]  %s()\n", PetscGlobalRank, sint->function[i]);
21627104ee2SJacob Faibussowitsch     }
21727104ee2SJacob Faibussowitsch   }
218d9262e54SJed Brown   return 0;
219d9262e54SJed Brown }
22027104ee2SJacob Faibussowitsch #endif /* PetscDefined(USE_DEBUG) */
221