tqchen commented on issue #3934: [Runtime] MISRA-C compliant TVM runtime URL: https://github.com/apache/incubator-tvm/pull/3934#issuecomment-591522110 Thanks @liangfu I understand the MISRA case. In particular, the current TVM runtime API won't use non standard int for exchange (e.g. explicitly use int64_t). I do not mean to make use of the current TVM runtime. Instead, I think we should create a ```crt_runtime_api.c``` that implements the functions in https://github.com/apache/incubator-tvm/blob/master/include/tvm/runtime/c_runtime_api.h. This implementation will serve two purposes: - The C API is relatively stable API that we can rely on, and we can use it to expose CRT to frontend languages like python - Optionally, the user can still make use of the internal CRT API, however, I do think we should think about streamline the API a bit, and see if we would like to provide some extra things. Note that the API interface does not have any opinion in terms of the system call functions being used(malloc vs static page allocation), so it should be MISRA compatible. Having a stable API would also allows us to evolve the CRT further by conforming to the same standard ABI
---------------------------------------------------------------- This is an automated message from the Apache Git Service. To respond to the message, please log on to GitHub and use the URL above to go to the specific comment. For queries about this service, please contact Infrastructure at: [email protected] With regards, Apache Git Services
