Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Segfault due to lack of error handling. #3

Open
franciscovargas opened this issue Mar 14, 2017 · 2 comments
Open

Segfault due to lack of error handling. #3

franciscovargas opened this issue Mar 14, 2017 · 2 comments

Comments

@franciscovargas
Copy link

franciscovargas commented Mar 14, 2017

Whenever a grad function raises an exception instead of displaying the python exception this program generates a segfaut (this is an aritificial example I cooked up from a real dde that was segfaulting for the same reason after iteration 100):

from __future__ import division
import numpy as np
import scipy as sp
import time
from scipy.special import binom
from PyDDE import pydde

tau = 40
d0 = 1 / 100
G = 10 ** (-2)
a = 0.8
A = 100
# NB: B * x_0 < ln(2) for boundaries in U_x to be defined
B = 0.06
x_0 = 3
t_delay = 50
ddecons = np.array([tau, d0, G, a, A, B, x_0, t_delay])

# Duration of the simulation:
stoptime = 1000.0
numpoints = 1000
timestep = 1.0 # this is the timesteps on which the output is given
dt = 0.1 # this is the integration timestep of the solver


# Initial Conditions
N0 = 0.01
No0 = 10
N_infty0 = 0
ddeist = np.array([N0, No0, N_infty0])
# Set state-scaling array for use in error control when values are very close to 0
ddestsc = np.array([0,0,0])

#  Create a dde object
dde_eg = pydde.dde()

def ddegrad(s, c, t):
    if int(s[0]) != 1 :
        return np.array([1,1,1])
    raise BaseException()


ts = np.arange(0.0, stoptime, timestep)

dde_eg.dde(y=ddeist, times=ts,
           func=ddegrad, parms=ddecons,
           tol=0.000005, dt=dt, hbsize=3000, nlag=0, ssc=ddestsc)

looking at the source (inside wrapper.c) the missing of the exception seems to take place here (pyarraycheck is not working it seems):

    result = PyEval_CallObject(grad_func,arglist);
    //printf("Got grad_func result.\n");
    assert(result);
    assert(PyArray_Check(result));
    //printf("result = %p\n", result);
    currentdata = dblArray_from_PyArray(result);

Whenever using PyEval_CallObject it is good to check that it does not return NULL. If it returns NULL this means that an exception occurred within grad_func in python and we should EXPLICITLY call the exception (i.e. https://docs.python.org/3.0/extending/extending.html ) otherwise this will most probably lead to a segfault which it does dblArray_from_PyArray is expecting a pyobject sequence and when passing it to numpy to cast to a contiguous array it raises a segfault since it is receiving a NULL object and not a sequence.

This makes it very hard for users to debug what is going on as it my not be obvious why their gradient function is raising an exception since it jumps to a segfault and not the exception message.

@franciscovargas
Copy link
Author

franciscovargas commented Mar 14, 2017

PS. the array check and asserts are not really working object still gets through to the pyarray contiguous function when an exception is raised by grad.

I can see attempts to handle this in the source however an exception from grads seems to make it through.

If input an array pyArrayCheck seems to return 1 , if input a pyobject that is not an array it returns 0 however if it is input NULL it somehow returns NULL . assert(NULL) does not do anything thus the issue.

@philbox2
Copy link

philbox2 commented Jul 2, 2019

@franciscovargas did you find a way to fix the segfaults? I also noticed that sometimes KeyboardInterrupt is not handled correctly and also results in a a segfault.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

2 participants