问题已解决
首先在中断中不使用二值信号量的释放进行调试，发现还是卡死，仍报错port.c,441
之后便可以将问题定位到外部中断的回调函数中，发现外部中断的回调函数中存在delay_ms(100);一句
这个delay_ms(100)中调用了vTaskDelay()函数，这个函数不是中断级的，会导致在中断中调用任务级函数，造成port.c,441错误