HarmonyOS Node-API 跨语言性能优化ArrayBuffer、异步任务与生命周期ArkTS 调用 C 并不自动变快。如果把十万个数拆成十万次跨语言函数调用边界转换的成本可能比计算本身更高如果在主线程里直接执行重计算原生代码同样会卡住界面如果异步任务仍然引用已经失效的缓冲指针问题会进一步变成随机崩溃。本文实现一个批量归一化示例ArkTS 用ArrayBuffer一次传入整块Int32Array数据Node-API 在主线程完成参数校验和数据快照把纯 C 计算排入异步工作队列最后回到原线程创建返回值并兑现 Promise。示例重点不在算法复杂度而在跨语言责任边界是否正确。一、先判断任务是否值得下沉到原生层适合 Node-API 的工作通常具备以下特征计算量足够大边界成本相对较小数据可以批量传输而不是逐元素回调算法已有可靠 C/C 实现或需要原生库工作过程不依赖 ArkUI 组件和 ArkTS 对象可以明确输入、输出、错误和释放时机。简单字符串拼接、少量字段转换或单个加法没有必要进入原生层。跨语言层应是粗粒度业务能力而不是把每一行 ArkTS 都包装成 C 函数。二、设计一个窄而稳定的接口本文只暴露一个函数输入ArrayBuffer返回PromiseArrayBuffer。ArkTS 类型声明放在entry/src/main/cpp/types/libentry/index.d.tsexportconstnormalizeInt32:(input:ArrayBuffer)PromiseArrayBuffer这种接口有三个优点一次传入整块连续数据减少跨语言次数Promise 清楚表达任务不是同步完成输出仍是缓冲区调用方可以选择Int32Array、Uint8Array等视图解释。接口契约还应写明元素类型、字节序、空输入行为、数值范围和失败类型。仅写ArrayBuffer并不能说明里面装的是什么。三、ArkTS 侧只负责组织输入和消费结果import{normalizeInt32}fromlibentry.soexportasyncfunctionnormalizeScores(values:number[]):PromiseInt32Array{constinputInt32Array.from(values)constoutputBufferawaitnormalizeInt32(input.buffer)returnnewInt32Array(outputBuffer)}调用方不要逐个元素调用原生方法// 不建议边界往返次数与元素数量相同。for(constvalueofvalues){result.push(nativeNormalizeOne(value))}一次调用处理一批数据通常比“更小的原生函数”更有意义。批量大小也不是越大越好超大输入会增加复制、等待和峰值内存需要结合业务分片。四、CMake只链接必要的Node-API库entry/src/main/cpp/CMakeLists.txt保持依赖最小cmake_minimum_required(VERSION 3.5.0) project(NodeApiBatchDemo) set(NATIVERENDER_ROOT_PATH ${CMAKE_CURRENT_SOURCE_DIR}) add_library(entry SHARED napi_init.cpp) target_link_libraries(entry PUBLIC libace_napi.z.so)如果计算逻辑拆到独立源文件再显式加入add_library。不要为了一个简单任务链接无关图形、媒体或网络库否则会增加构建、包体和维护成本。五、异步上下文要拥有自己的数据通过napi_get_arraybuffer_info()获得的指针由 JavaScript 引擎管理不能delete或free。更重要的是异步工作排队后原始 ArkTS 缓冲区的生命周期和并发修改都需要谨慎处理。本文选择在创建任务的线程中复制一份输入使工作线程只依赖 C 自有内存#includealgorithm#includecstdint#includecstring#includelimits#includestring#includevector#includenapi/native_api.hstructNormalizeContext{napi_async_work worknullptr;napi_deferred deferrednullptr;std::vectorint32_tinput;std::vectorint32_toutput;std::string error;};这次复制有成本但换来了明确的所有权和线程安全。如果业务要进一步减少复制需要用引用保持输入对象存活并严格评估工作期间调用方是否会修改底层数据复杂度明显更高。六、参数校验必须在排队前完成主线程回调中先取得参数确认是ArrayBuffer再检查字节长度是否能被int32_t整除staticboolReadInt32Buffer(napi_env env,napi_callback_info info,std::vectorint32_toutput){size_t argc1;napi_value argv[1]{nullptr};if(napi_get_cb_info(env,info,argc,argv,nullptr,nullptr)!napi_ok||argc!1){napi_throw_type_error(env,nullptr,Expected one ArrayBuffer);returnfalse;}boolisArrayBufferfalse;if(napi_is_arraybuffer(env,argv[0],isArrayBuffer)!napi_ok||!isArrayBuffer){napi_throw_type_error(env,nullptr,Input must be ArrayBuffer);returnfalse;}void*rawnullptr;size_t byteLength0;if(napi_get_arraybuffer_info(env,argv[0],raw,byteLength)!napi_ok){napi_throw_error(env,nullptr,Cannot read ArrayBuffer);returnfalse;}if(byteLength%sizeof(int32_t)!0){napi_throw_range_error(env,nullptr,Invalid Int32 byte length);returnfalse;}if(byteLength0){output.clear();returntrue;}if(rawnullptr){napi_throw_error(env,nullptr,ArrayBuffer data is null);returnfalse;}constauto*beginstatic_castconstint32_t*(raw);output.assign(begin,beginbyteLength/sizeof(int32_t));returntrue;}当byteLength为 0 时不应对空指针执行无意义运算。正式实现可以把空输入直接返回空缓冲或者按接口契约拒绝无论选择哪一种都要固定行为。七、工作线程只运行纯C计算napi_create_async_work()的 execute 回调运行在工作线程。这里不能使用原来的env创建napi_value也不要触碰 ArkUI 状态。staticvoidExecuteNormalize(napi_env env,void*data){auto*contextstatic_castNormalizeContext*(data);if(context-input.empty()){context-output.clear();return;}constauto[minIt,maxIt]std::minmax_element(context-input.begin(),context-input.end());constint64_tminValue*minIt;constint64_tmaxValue*maxIt;constint64_trangemaxValue-minValue;context-output.resize(context-input.size());if(range0){std::fill(context-output.begin(),context-output.end(),0);return;}for(size_t i0;icontext-input.size();i){constint64_tshiftedstatic_castint64_t(context-input[i])-minValue;context-output[i]static_castint32_t((shifted*1000)/range);}}中间计算使用int64_t避免int32_t相减和乘法溢出。算法选择和边界类型同样属于接口正确性不应因为代码进入 C 就忽略。八、完成回调负责创建返回值和释放任务complete 回调回到原 ArkTS 线程可以创建ArrayBuffer、兑现 Promise并删除异步工作。输出缓冲由引擎创建C 只把结果复制进去staticnapi_valueCreateError(napi_env env,conststd::stringmessage){napi_value textnullptr;napi_value errornullptr;napi_create_string_utf8(env,message.c_str(),message.size(),text);napi_create_error(env,nullptr,text,error);returnerror;}staticvoidCompleteNormalize(napi_env env,napi_status status,void*data){auto*contextstatic_castNormalizeContext*(data);if(status!napi_ok||!context-error.empty()){conststd::string messagecontext-error.empty()?Async work failed:context-error;napi_reject_deferred(env,context-deferred,CreateError(env,message));}else{void*outputDatanullptr;napi_value arrayBuffernullptr;constsize_t bytescontext-output.size()*sizeof(int32_t);if(napi_create_arraybuffer(env,bytes,outputData,arrayBuffer)napi_ok){if(bytes0){std::memcpy(outputData,context-output.data(),bytes);}napi_resolve_deferred(env,context-deferred,arrayBuffer);}else{napi_reject_deferred(env,context-deferred,CreateError(env,Cannot create output ArrayBuffer));}}napi_delete_async_work(env,context-work);deletecontext;}napi_delete_async_work()只调用一次context也只释放一次。输入指针来自引擎时从未手工释放复制后的std::vector则随上下文析构。九、创建Promise、任务并处理排队失败入口函数把前面几段连接起来staticnapi_valueNormalizeInt32(napi_env env,napi_callback_info info){auto*contextnewNormalizeContext();if(!ReadInt32Buffer(env,info,context-input)){deletecontext;returnnullptr;}napi_value promisenullptr;if(napi_create_promise(env,context-deferred,promise)!napi_ok){deletecontext;napi_throw_error(env,nullptr,Cannot create Promise);returnnullptr;}napi_value resourceNamenullptr;napi_create_string_utf8(env,NormalizeInt32,NAPI_AUTO_LENGTH,resourceName);napi_status statusnapi_create_async_work(env,nullptr,resourceName,ExecuteNormalize,CompleteNormalize,context,context-work);if(status!napi_ok){napi_reject_deferred(env,context-deferred,CreateError(env,Cannot create async work));deletecontext;returnpromise;}statusnapi_queue_async_work(env,context-work);if(status!napi_ok){napi_delete_async_work(env,context-work);napi_reject_deferred(env,context-deferred,CreateError(env,Cannot queue async work));deletecontext;}returnpromise;}创建失败与排队失败是两条不同清理路径前者还没有有效 work后者已经创建但没有执行需要先删除 work。任何提前返回都要核对上下文、Promise 和 work 各自由谁负责。十、注册导出函数时保持名称一致staticnapi_valueInit(napi_env env,napi_value exports){napi_property_descriptor properties[]{{normalizeInt32,nullptr,NormalizeInt32,nullptr,nullptr,nullptr,napi_default,nullptr}};napi_define_properties(env,exports,sizeof(properties)/sizeof(properties[0]),properties);returnexports;}EXTERN_C_STARTstaticnapi_module entryModule{.nm_version1,.nm_flags0,.nm_filenamenullptr,.nm_register_funcInit,.nm_modnameentry,.nm_privnullptr,.reserved{0}};EXTERN_C_ENDexternC__attribute__((constructor))voidRegisterEntryModule(void){napi_module_register(entryModule);}nm_modname、生成的共享库名、类型声明目录和 ArkTS import 必须对应。出现“模块能加载但找不到函数”时先逐项核对这四个名称不要先怀疑计算逻辑。十一、为什么这里没有在工作线程直接使用输入指针napi_get_arraybuffer_info()返回数据地址和长度但地址所有权仍属于引擎。异步任务至少要回答两个问题工作执行期间ArrayBuffer 如何保持可达并且不被回收ArkTS 是否可能同时修改同一块缓冲形成数据竞争复制输入把这两个问题转换成明确的 C 所有权适合多数中等规模计算。若数据巨大且复制成为主要成本可考虑更高级的零拷贝方案但必须同时设计引用生命周期、只读约束、并发访问和异常清理不能只删除memcpy就称为零拷贝。十二、批量大小需要在延迟和吞吐之间取舍单次 100 个元素时异步调度可能比计算本身更贵单次几千万个元素时复制和等待又可能造成峰值内存过高。可以对多个批量做基准asyncfunctionbenchmarkBatch(size:number):Promisenumber{constinputnewInt32Array(size)for(leti0;isize;i){input[i](i*17)%10000}conststartDate.now()awaitnormalizeInt32(input.buffer)returnDate.now()-start}至少测试 1K、10K、100K 和业务真实上限并分别记录总耗时、主线程响应、峰值内存和并发任务数。不要用 Debug 单次结果决定 Release 策略。十三、为并发任务设置入口限流异步不代表资源无限。如果用户快速重复点按多个大任务会同时复制输入并占用工作队列。ArkTS 服务层可以限制同一业务只运行一个任务classNativeNormalizeService{privaterunning:booleanfalseasyncexecute(input:Int32Array):PromiseInt32Array{if(this.running){thrownewError(A normalize task is already running)}this.runningtruetry{constresultawaitnormalizeInt32(input.buffer)returnnewInt32Array(result)}finally{this.runningfalse}}}需要并行时应根据 CPU、任务长度和内存预算设置上限并定义排队、取消和页面离开后的结果处理规则。十四、正确性用边界数据验证至少覆盖1. 空数组 2. 单元素数组 3. 所有元素相同 4. 正数与负数混合 5. INT32_MIN 与 INT32_MAX 6. 字节长度不是4的倍数 7. 传入非ArrayBuffer 8. 连续并发调用 9. 页面离开后任务完成 10. 原生任务创建或排队失败归一化结果还要和一份 ArkTS 参考实现逐项比较。性能优化不能改变算法语义尤其要关注整数溢出、除零、舍入方式和输出字节解释。十五、上线前生命周期清单接口按批传输不在循环中频繁跨语言调用ArrayBuffer的元素类型、字节长度和空输入行为已写入契约引擎拥有的输入指针从未被delete或free工作线程只访问 C 自有数据不创建napi_valuePromise 的 resolve/reject 只发生一次create、queue、execute、complete 每条失败路径都能释放资源napi_delete_async_work()与上下文析构各执行一次并发入口有限流超大输入有分片或上限Release 真机比较边界次数、总耗时、主线程响应和峰值内存边界数据结果与 ArkTS 参考算法一致。十六、性能来自清晰的跨语言边界Node-API 性能优化首先是边界设计其次才是 C 算法。用ArrayBuffer把大量元素合并成一次调用用异步工作把纯计算移出 ArkTS 主线程再让完成回调负责创建结果和释放任务三层责任才真正闭合。示例主动复制输入是在性能与可证明生命周期之间做出的保守选择。只有基准数据证明复制已经成为瓶颈并且团队能完整处理引用、并发和异常时才值得进入更复杂的共享内存方案。Node-API资料索引华为开发者文档Node-API开发简介华为开发者文档Node-API开发规范华为开发者文档使用Node-API异步任务
HarmonyOS Node-API 跨语言性能优化ArrayBuffer、异步任务与生命周期ArkTS 调用 C 并不自动变快。如果把十万个数拆成十万次跨语言函数调用边界转换的成本可能比计算本身更高如果在主线程里直接执行重计算原生代码同样会卡住界面如果异步任务仍然引用已经失效的缓冲指针问题会进一步变成随机崩溃。本文实现一个批量归一化示例ArkTS 用ArrayBuffer一次传入整块Int32Array数据Node-API 在主线程完成参数校验和数据快照把纯 C 计算排入异步工作队列最后回到原线程创建返回值并兑现 Promise。示例重点不在算法复杂度而在跨语言责任边界是否正确。一、先判断任务是否值得下沉到原生层适合 Node-API 的工作通常具备以下特征计算量足够大边界成本相对较小数据可以批量传输而不是逐元素回调算法已有可靠 C/C 实现或需要原生库工作过程不依赖 ArkUI 组件和 ArkTS 对象可以明确输入、输出、错误和释放时机。简单字符串拼接、少量字段转换或单个加法没有必要进入原生层。跨语言层应是粗粒度业务能力而不是把每一行 ArkTS 都包装成 C 函数。二、设计一个窄而稳定的接口本文只暴露一个函数输入ArrayBuffer返回PromiseArrayBuffer。ArkTS 类型声明放在entry/src/main/cpp/types/libentry/index.d.tsexportconstnormalizeInt32:(input:ArrayBuffer)PromiseArrayBuffer这种接口有三个优点一次传入整块连续数据减少跨语言次数Promise 清楚表达任务不是同步完成输出仍是缓冲区调用方可以选择Int32Array、Uint8Array等视图解释。接口契约还应写明元素类型、字节序、空输入行为、数值范围和失败类型。仅写ArrayBuffer并不能说明里面装的是什么。三、ArkTS 侧只负责组织输入和消费结果import{normalizeInt32}fromlibentry.soexportasyncfunctionnormalizeScores(values:number[]):PromiseInt32Array{constinputInt32Array.from(values)constoutputBufferawaitnormalizeInt32(input.buffer)returnnewInt32Array(outputBuffer)}调用方不要逐个元素调用原生方法// 不建议边界往返次数与元素数量相同。for(constvalueofvalues){result.push(nativeNormalizeOne(value))}一次调用处理一批数据通常比“更小的原生函数”更有意义。批量大小也不是越大越好超大输入会增加复制、等待和峰值内存需要结合业务分片。四、CMake只链接必要的Node-API库entry/src/main/cpp/CMakeLists.txt保持依赖最小cmake_minimum_required(VERSION 3.5.0) project(NodeApiBatchDemo) set(NATIVERENDER_ROOT_PATH ${CMAKE_CURRENT_SOURCE_DIR}) add_library(entry SHARED napi_init.cpp) target_link_libraries(entry PUBLIC libace_napi.z.so)如果计算逻辑拆到独立源文件再显式加入add_library。不要为了一个简单任务链接无关图形、媒体或网络库否则会增加构建、包体和维护成本。五、异步上下文要拥有自己的数据通过napi_get_arraybuffer_info()获得的指针由 JavaScript 引擎管理不能delete或free。更重要的是异步工作排队后原始 ArkTS 缓冲区的生命周期和并发修改都需要谨慎处理。本文选择在创建任务的线程中复制一份输入使工作线程只依赖 C 自有内存#includealgorithm#includecstdint#includecstring#includelimits#includestring#includevector#includenapi/native_api.hstructNormalizeContext{napi_async_work worknullptr;napi_deferred deferrednullptr;std::vectorint32_tinput;std::vectorint32_toutput;std::string error;};这次复制有成本但换来了明确的所有权和线程安全。如果业务要进一步减少复制需要用引用保持输入对象存活并严格评估工作期间调用方是否会修改底层数据复杂度明显更高。六、参数校验必须在排队前完成主线程回调中先取得参数确认是ArrayBuffer再检查字节长度是否能被int32_t整除staticboolReadInt32Buffer(napi_env env,napi_callback_info info,std::vectorint32_toutput){size_t argc1;napi_value argv[1]{nullptr};if(napi_get_cb_info(env,info,argc,argv,nullptr,nullptr)!napi_ok||argc!1){napi_throw_type_error(env,nullptr,Expected one ArrayBuffer);returnfalse;}boolisArrayBufferfalse;if(napi_is_arraybuffer(env,argv[0],isArrayBuffer)!napi_ok||!isArrayBuffer){napi_throw_type_error(env,nullptr,Input must be ArrayBuffer);returnfalse;}void*rawnullptr;size_t byteLength0;if(napi_get_arraybuffer_info(env,argv[0],raw,byteLength)!napi_ok){napi_throw_error(env,nullptr,Cannot read ArrayBuffer);returnfalse;}if(byteLength%sizeof(int32_t)!0){napi_throw_range_error(env,nullptr,Invalid Int32 byte length);returnfalse;}if(byteLength0){output.clear();returntrue;}if(rawnullptr){napi_throw_error(env,nullptr,ArrayBuffer data is null);returnfalse;}constauto*beginstatic_castconstint32_t*(raw);output.assign(begin,beginbyteLength/sizeof(int32_t));returntrue;}当byteLength为 0 时不应对空指针执行无意义运算。正式实现可以把空输入直接返回空缓冲或者按接口契约拒绝无论选择哪一种都要固定行为。七、工作线程只运行纯C计算napi_create_async_work()的 execute 回调运行在工作线程。这里不能使用原来的env创建napi_value也不要触碰 ArkUI 状态。staticvoidExecuteNormalize(napi_env env,void*data){auto*contextstatic_castNormalizeContext*(data);if(context-input.empty()){context-output.clear();return;}constauto[minIt,maxIt]std::minmax_element(context-input.begin(),context-input.end());constint64_tminValue*minIt;constint64_tmaxValue*maxIt;constint64_trangemaxValue-minValue;context-output.resize(context-input.size());if(range0){std::fill(context-output.begin(),context-output.end(),0);return;}for(size_t i0;icontext-input.size();i){constint64_tshiftedstatic_castint64_t(context-input[i])-minValue;context-output[i]static_castint32_t((shifted*1000)/range);}}中间计算使用int64_t避免int32_t相减和乘法溢出。算法选择和边界类型同样属于接口正确性不应因为代码进入 C 就忽略。八、完成回调负责创建返回值和释放任务complete 回调回到原 ArkTS 线程可以创建ArrayBuffer、兑现 Promise并删除异步工作。输出缓冲由引擎创建C 只把结果复制进去staticnapi_valueCreateError(napi_env env,conststd::stringmessage){napi_value textnullptr;napi_value errornullptr;napi_create_string_utf8(env,message.c_str(),message.size(),text);napi_create_error(env,nullptr,text,error);returnerror;}staticvoidCompleteNormalize(napi_env env,napi_status status,void*data){auto*contextstatic_castNormalizeContext*(data);if(status!napi_ok||!context-error.empty()){conststd::string messagecontext-error.empty()?Async work failed:context-error;napi_reject_deferred(env,context-deferred,CreateError(env,message));}else{void*outputDatanullptr;napi_value arrayBuffernullptr;constsize_t bytescontext-output.size()*sizeof(int32_t);if(napi_create_arraybuffer(env,bytes,outputData,arrayBuffer)napi_ok){if(bytes0){std::memcpy(outputData,context-output.data(),bytes);}napi_resolve_deferred(env,context-deferred,arrayBuffer);}else{napi_reject_deferred(env,context-deferred,CreateError(env,Cannot create output ArrayBuffer));}}napi_delete_async_work(env,context-work);deletecontext;}napi_delete_async_work()只调用一次context也只释放一次。输入指针来自引擎时从未手工释放复制后的std::vector则随上下文析构。九、创建Promise、任务并处理排队失败入口函数把前面几段连接起来staticnapi_valueNormalizeInt32(napi_env env,napi_callback_info info){auto*contextnewNormalizeContext();if(!ReadInt32Buffer(env,info,context-input)){deletecontext;returnnullptr;}napi_value promisenullptr;if(napi_create_promise(env,context-deferred,promise)!napi_ok){deletecontext;napi_throw_error(env,nullptr,Cannot create Promise);returnnullptr;}napi_value resourceNamenullptr;napi_create_string_utf8(env,NormalizeInt32,NAPI_AUTO_LENGTH,resourceName);napi_status statusnapi_create_async_work(env,nullptr,resourceName,ExecuteNormalize,CompleteNormalize,context,context-work);if(status!napi_ok){napi_reject_deferred(env,context-deferred,CreateError(env,Cannot create async work));deletecontext;returnpromise;}statusnapi_queue_async_work(env,context-work);if(status!napi_ok){napi_delete_async_work(env,context-work);napi_reject_deferred(env,context-deferred,CreateError(env,Cannot queue async work));deletecontext;}returnpromise;}创建失败与排队失败是两条不同清理路径前者还没有有效 work后者已经创建但没有执行需要先删除 work。任何提前返回都要核对上下文、Promise 和 work 各自由谁负责。十、注册导出函数时保持名称一致staticnapi_valueInit(napi_env env,napi_value exports){napi_property_descriptor properties[]{{normalizeInt32,nullptr,NormalizeInt32,nullptr,nullptr,nullptr,napi_default,nullptr}};napi_define_properties(env,exports,sizeof(properties)/sizeof(properties[0]),properties);returnexports;}EXTERN_C_STARTstaticnapi_module entryModule{.nm_version1,.nm_flags0,.nm_filenamenullptr,.nm_register_funcInit,.nm_modnameentry,.nm_privnullptr,.reserved{0}};EXTERN_C_ENDexternC__attribute__((constructor))voidRegisterEntryModule(void){napi_module_register(entryModule);}nm_modname、生成的共享库名、类型声明目录和 ArkTS import 必须对应。出现“模块能加载但找不到函数”时先逐项核对这四个名称不要先怀疑计算逻辑。十一、为什么这里没有在工作线程直接使用输入指针napi_get_arraybuffer_info()返回数据地址和长度但地址所有权仍属于引擎。异步任务至少要回答两个问题工作执行期间ArrayBuffer 如何保持可达并且不被回收ArkTS 是否可能同时修改同一块缓冲形成数据竞争复制输入把这两个问题转换成明确的 C 所有权适合多数中等规模计算。若数据巨大且复制成为主要成本可考虑更高级的零拷贝方案但必须同时设计引用生命周期、只读约束、并发访问和异常清理不能只删除memcpy就称为零拷贝。十二、批量大小需要在延迟和吞吐之间取舍单次 100 个元素时异步调度可能比计算本身更贵单次几千万个元素时复制和等待又可能造成峰值内存过高。可以对多个批量做基准asyncfunctionbenchmarkBatch(size:number):Promisenumber{constinputnewInt32Array(size)for(leti0;isize;i){input[i](i*17)%10000}conststartDate.now()awaitnormalizeInt32(input.buffer)returnDate.now()-start}至少测试 1K、10K、100K 和业务真实上限并分别记录总耗时、主线程响应、峰值内存和并发任务数。不要用 Debug 单次结果决定 Release 策略。十三、为并发任务设置入口限流异步不代表资源无限。如果用户快速重复点按多个大任务会同时复制输入并占用工作队列。ArkTS 服务层可以限制同一业务只运行一个任务classNativeNormalizeService{privaterunning:booleanfalseasyncexecute(input:Int32Array):PromiseInt32Array{if(this.running){thrownewError(A normalize task is already running)}this.runningtruetry{constresultawaitnormalizeInt32(input.buffer)returnnewInt32Array(result)}finally{this.runningfalse}}}需要并行时应根据 CPU、任务长度和内存预算设置上限并定义排队、取消和页面离开后的结果处理规则。十四、正确性用边界数据验证至少覆盖1. 空数组 2. 单元素数组 3. 所有元素相同 4. 正数与负数混合 5. INT32_MIN 与 INT32_MAX 6. 字节长度不是4的倍数 7. 传入非ArrayBuffer 8. 连续并发调用 9. 页面离开后任务完成 10. 原生任务创建或排队失败归一化结果还要和一份 ArkTS 参考实现逐项比较。性能优化不能改变算法语义尤其要关注整数溢出、除零、舍入方式和输出字节解释。十五、上线前生命周期清单接口按批传输不在循环中频繁跨语言调用ArrayBuffer的元素类型、字节长度和空输入行为已写入契约引擎拥有的输入指针从未被delete或free工作线程只访问 C 自有数据不创建napi_valuePromise 的 resolve/reject 只发生一次create、queue、execute、complete 每条失败路径都能释放资源napi_delete_async_work()与上下文析构各执行一次并发入口有限流超大输入有分片或上限Release 真机比较边界次数、总耗时、主线程响应和峰值内存边界数据结果与 ArkTS 参考算法一致。十六、性能来自清晰的跨语言边界Node-API 性能优化首先是边界设计其次才是 C 算法。用ArrayBuffer把大量元素合并成一次调用用异步工作把纯计算移出 ArkTS 主线程再让完成回调负责创建结果和释放任务三层责任才真正闭合。示例主动复制输入是在性能与可证明生命周期之间做出的保守选择。只有基准数据证明复制已经成为瓶颈并且团队能完整处理引用、并发和异常时才值得进入更复杂的共享内存方案。Node-API资料索引华为开发者文档Node-API开发简介华为开发者文档Node-API开发规范华为开发者文档使用Node-API异步任务
