或许他们的架构师都是专门证明程序可靠性的数学家呢。 //@OuTrain: //@neverlive:这事儿真是。。一波三折。。@apc2:这帖子写的太好了，所有爱车的或者是码农都应该读一读。绝对受益匪浅。摘要:丰田的车载嵌入式操作系统里大量使用全局变量，更使用了递归，导致有缓冲区溢出的可能。所以有可能是刹车失灵的原因。网页链接
