notes/MLC-03/

[utterances-bot]

[MLC-机器学习编译]03 张量程序实践 - Guanyi Yu

official notes (English) 笔记 首先对上节课一些没有详细介绍的概念给出解释: block: 用于计算单元. axis: [block_axis] = T.axis.[axis_type]([axis_range], [mapped_value]) 为什么要指定axis? A: 提供了额外信息, 可能对程序优化是有帮助的, 当然也可能是冗余的或者能被程序分析得到.

https://ygy.wiki/notes/MLC-03/

[Aguin]

助教的解答: mlc-ai/mlc-zh#24 (comment)

感谢提问，这个问题的本质分为几个部分：

1. 如果axis_range 和 loop_range不一致是合法的吗？
   答：显然是不合法的
2. 如果不合法会出现什么情况？
   答：目前对于程序正确性验证这一块确实代码还不完善。理论上应该报错，但实际上由于没有严格检查会产生undefined behavior。该问题我们也会尽快修复。
3. 为什么127 和129行为不一致？
   答：undefined behavior会产生不可控的结果。从具体实现上来看，129实际上超过了数组本身的定义空间所以报错了；127没有越界。但这都是”非法行为“不予以鼓励。