tvm-dev mailing list archives

Site index · List index
Message view « Date » · « Thread »
Top « Date » · « Thread »
From Andrew Tulloch <notificati...@github.com>
Subject Re: [dmlc/tvm] [RFC] MISRA-C/C++ Compliant Runtime (#3159)
Date Wed, 15 May 2019 22:42:17 GMT
@liangfu this looks quite interesting. Does MISRA compliance affect the compiler or the generated
code as well (i.e. how do we certify that the output of e.g. LLVM is correct, doesn't segfault,
etc?).

WRT to the minimal runtime I put together that `bundle_deploy.cc` list quite quickly, I think
with a bit of pruning (e.g. if we enforce single threaded use from MISRA, we can get rid of
`threading_backend`/`thread_pool`, etc). IIRC @nhynes and co were potentially interested in
a minimal Rust runtime which might be useful as well here?

-- 
You are receiving this because you are subscribed to this thread.
Reply to this email directly or view it on GitHub:
https://github.com/dmlc/tvm/issues/3159#issuecomment-492850849
Mime
  • Unnamed multipart/alternative (inline, 7-Bit, 0 bytes)
View raw message