[Rd] help with gotoExitingHandler(R_NilValue, call, entry); . Implementation of error handling internally

Romain François romain at r-enthusiasts.com
Thu Feb 27 12:38:09 CET 2014


Never mind. For my initial question, I can just use: R_curErrorBuf

My current implementation now only depend on R_FunTab and R_GlobalContext which R does not conceal behind attribute_hidden. 
https://github.com/romainfrancois/Rcpp11/blob/master/inst/include/Rcpp/Context.h

Romain

Le 27 févr. 2014 à 08:13, Romain François <romain at r-enthusiasts.com> a écrit :

> Of course one problem is that R hides things that I need for this, such as R_HandlerStack and R_ReturnedValue. 
> 
> I understand they have to be hidden, in which case can we have an exposed mechanism similar to what R_ToplevelExec does, but with the added functionality of giving access to the condition where R_ToplevelExec would return TRUE. 
> 
> Would someone be willing to review a patch to R with this added functionality. Please. 
> 
> In any case, I still would like some comments about my initial question about R_NilValue use in gotoExitingHandler(R_NilValue, call, entry);
> 
> Romain
> 
> Le 26 févr. 2014 à 09:41, Romain François <romain at r-enthusiasts.com> a écrit :
> 
>> Hello, 
>> 
>> I’m trying to leverage R_ToplevelExec to implement C level try/catch. 
>> 
>> The way it is implemented allows for running a function in a top level context. This context gets an empty handler stack, so either the function runs correctly or it jumps. When it jumps, it does not find a handler, so it jumps to the top level context. 
>> 
>> R does not allow me to call begin context and end context directly, so instead what I do is call R_ToplevelExec, grab the global context inside the function, install my own handler that I don’t set to be a calling one, pretend this context is a CTXT_FUNCTION. 
>> 
>> Eventually I get to jump fun, so that I can later on grab the condition from R_ReturnedValue. 
>> 
>> This works well in the « not simple error » case, i.e. if I call stop( simpleError(...) ), but with simple errors, i.e. calls to Rf_error internally or bare calls to stop( "vvzvz" ) I can’t access the error. 
>> 
>> And this boils down to this call: 
>> 
>> gotoExitingHandler(R_NilValue, call, entry);
>> 
>> inside vsignalError : 
>> 
>> static void vsignalError(SEXP call, const char *format, va_list ap)
>> {
>>   char localbuf[BUFSIZE];
>>   SEXP list, oldstack;
>> 
>>   oldstack = R_HandlerStack;
>>   Rvsnprintf(localbuf, BUFSIZE - 1, format, ap);
>>   while ((list = findSimpleErrorHandler()) != R_NilValue) {
>> 	char *buf = errbuf;
>> 	SEXP entry = CAR(list);
>> 	R_HandlerStack = CDR(list);
>> 	strncpy(buf, localbuf, BUFSIZE - 1);
>> 	/*	Rvsnprintf(buf, BUFSIZE - 1, format, ap);*/
>> 	buf[BUFSIZE - 1] = 0;
>> 	if (IS_CALLING_ENTRY(entry)) {
>> 	    if (ENTRY_HANDLER(entry) == R_RestartToken)
>> 		return; /* go to default error handling; do not reset stack */
>> 	    else {
>> 		SEXP hooksym, hcall, qcall;
>> 		/* protect oldstack here, not outside loop, so handler
>> 		   stack gets unwound in case error is protect stack
>> 		   overflow */
>> 		PROTECT(oldstack);
>> 		hooksym = install(".handleSimpleError");
>> 		PROTECT(qcall = LCONS(R_QuoteSymbol,
>> 				      LCONS(call, R_NilValue)));
>> 		PROTECT(hcall = LCONS(qcall, R_NilValue));
>> 		hcall = LCONS(mkString(buf), hcall);
>> 		hcall = LCONS(ENTRY_HANDLER(entry), hcall);
>> 		PROTECT(hcall = LCONS(hooksym, hcall));
>> 		eval(hcall, R_GlobalEnv);
>> 		UNPROTECT(4);
>> 	    }
>> 	}
>> 	else gotoExitingHandler(R_NilValue, call, entry);   // <<<  HERE
>>   }
>>   R_HandlerStack = oldstack;
>> }
>> 
>> Would it be possible to construct a simple condition instead of passing down R_NilValue so that I can grab this error and deal with it. 
>> 
>> The alternative is to set the handler to be a calling one, but I’d like to avoid that as much as possible as this means going back to the R side of things just to get access to the condition. 
>> 
>> My code is here: https://gist.github.com/romainfrancois/9225811
>> 
>> I have only tested this on OSX with R-devel. The code only uses R internal api (not Rcpp*). 
>> 
>> So down to what I’d like you to consider please if you are still reading here. Can we feed gotoExitingHandler with something more interesting than NULL. please. 
>> 
>> 
>> 
>> The end game is to add one layer of abstraction, e.g. pass to R_ToplevelExec a function that first deals with contexts, then calls an actual function. Combining this with lambda functions in C++ will make quite a nice and elegant way to handle error handling at the C++ level. 
>> 
>> I can provide the code that would create the simpleError, this is just making a simple VECSXP with names and classes, no big trouble here. 
>> 
>> Romain
>> 
>> ______________________________________________
>> R-devel at r-project.org mailing list
>> https://stat.ethz.ch/mailman/listinfo/r-devel
> 
> ______________________________________________
> R-devel at r-project.org mailing list
> https://stat.ethz.ch/mailman/listinfo/r-devel



More information about the R-devel mailing list