Javascript多线程引擎(五)

Javascript多线程引擎(五)之异常处理

C语言没有提供一个像Java一样的异常处理机制, 这就带来了一个问题, 对于一个子函数中发生异常后, 需要在父函数调用子函数的位置进行Check, 如果发生异常则直接reuren.   这种机制, 会带来一个问题 ------- 过多的return 和  判断语句, 使得程序的维护成本提高.

　　　　而这个项目准备使用setjmp,longjmp的异常处理机制来实现throw异常后，能直接转到catch位置.

/*一个函数中mark都要不同*/
#define JS_TRY(mark) \
    int done##mark; \
    jmp_buf* jmp_buf##mark = (jmp_buf*)JsMalloc(sizeof(jmp_buf)); \
    for(done##mark = ; \
        done##mark ==  && (setjmp(*jmp_buf##mark) ==  ? \
            (JsBuildRecord(jmp_buf##mark),) : (JsOmitRecord(),));  \
        ++done##mark, JsOmitRecord())

/*Catch之后, 异常已经被清除了, 并且e会被赋值 [NULL,Value] */
#define JS_CATCH(e) \
        if((e = JsGetError()))
        

这里使用两组宏, done##mark .. 确保了可以在一个函数中多次使用JS_TRY,

如下是对其中的函数用途解析.

/*
    抛出一个String类型的错误
*/
void JsThrowString(char* msg);
/*
    抛出一个error
*/
void JsThrow(struct JsValue* e);
//保存一个还原点到环境中,p 为jmp_buf*指针

void JsBuildRecord(void* p);

//每次加锁的时候, 把对应的锁添加到最近还原点的上下文中
void JsPushLockToRecord(JsLock lock);
//解锁的时候,  把给定的锁从最后面扫描, 剔除
void JsPopLockInRecord(JsLock lock);

//检查当前环境是否存在异常, 当并不清除错误
int JsCheckError();
//在环境中删除一个最近的还原点
void JsOmitRecord();

//获得当前错误, 并且清除当前错误, 如果没有则返回NULL
struct JsValue* JsGetError();

//设置一个错误, NULL表示清除错误
void JsSetError(struct JsValue* v);

基本原理是在, TLS中建立一个异常链, 每次throw的时候, 直接获取最近的还原点(Record). 然后通过GetError()获取到这个异常.

为什么要使用TLS? , 因为setjmp/longjmp 是基于函数栈的, 多个线程之间是不能跳转的.

值得一提的是, setjmp/longjmp 不会释放非托管资源(除内存外的所有资源, 比如说, lock, socket, file等), 所以在使用这些句柄的时候, 需要注意TRY --- CATCH

基本使用用法:

JS_TRY(){
        可以放置表达式(函数调用, 赋值,...)
        如果使用return , break 语句则需要在之前调用JsOmitPoint()

 }
 doFinally工作
 struct JsValue* e = NULL;
 JS_CATCH(e){
   . 处理错误
   . 继续抛出异常
         JsThrow(e);

 }

截至到现在,  该引擎的基本模块已经完成, 进入了代码验证和测试阶段.!

项目地址为:

github.com/darkgem/js-engine