波音MCAS代码的bug找到了 (转载) - 未名空间MITBBS历史存档

国际科技财经博客移民网络热点娱乐民生时事公众号

Redian新闻

>未名空间

>Joke - 肚皮舞运动

波音MCAS代码的bug找到了 (转载)

波音MCAS代码的bug找到了 (转载)# Joke - 肚皮舞运动

H*g2019-03-13 07:03

1 楼

【以下文字转载自 Military 讨论区】
发信人: btphy (btphy), 信区: Military
标题: 波音MCAS代码的bug找到了
发信站: BBS 未名空间站 (Tue Mar 12 20:53:48 2019, 美东)
不怪三哥，怪C语言：
if(keep_mcas_on=false)
{
turn_off_mcas();
}
else
{
turn_on_mcas();
}

★ 发自iPhone App: ChinaWeb 1.1.5

G*U2019-03-13 07:03

2 楼

难道不是==吗？

【在 H********g 的大作中提到】

: 【以下文字转载自 Military 讨论区】
: 发信人: btphy (btphy), 信区: Military
: 标题: 波音MCAS代码的bug找到了
: 发信站: BBS 未名空间站 (Tue Mar 12 20:53:48 2019, 美东)
: 不怪三哥，怪C语言：
: if(keep_mcas_on=false)
: {
: turn_off_mcas();
: }
: else

n*d2019-03-13 07:03

3 楼

C这点太邪恶了

【在 H********g 的大作中提到】

s*l2019-03-13 07:03

4 楼

看来还是不灵惹得祸
if(keep_mcas_on=false)
{
turn_on_mcas();
}
else
{
turn_off_mcas();
}

H*g2019-03-13 07:03

5 楼

我早上就想 c这么多年为啥不修这个毛病把=改成 eq 其实还好打一些

【在 n***d 的大作中提到】

: C这点太邪恶了

o*p2019-03-13 07:03

6 楼

Usually people add -Werror=parentheses to avoid this type of errors, don't
worry.

H*g2019-03-13 07:03

7 楼

何不把这个做缺省呢

【在 o****p 的大作中提到】

: Usually people add -Werror=parentheses to avoid this type of errors, don't
: worry.

s*l2019-03-13 07:03

8 楼

=是赋值符号，==是equal，楼上的code编辑器应该通不过

【在 H********g 的大作中提到】

: 我早上就想 c这么多年为啥不修这个毛病把=改成 eq 其实还好打一些

H*g2019-03-13 07:03

9 楼

哦应该是 “把 == 改成 eq 其实还好打些”

【在 s*l 的大作中提到】

: =是赋值符号，==是equal，楼上的code编辑器应该通不过

H*g2019-03-13 07:03

10 楼

什么是不灵？boolen？

【在 s*l 的大作中提到】

: 看来还是不灵惹得祸
: if(keep_mcas_on=false)
: {
: turn_on_mcas();
: }
: else
: {
: turn_off_mcas();
: }

s*l2019-03-13 07:03

11 楼

是， Boolean。

H*g2019-03-13 07:03

12 楼

哦又写错字了

【在 s*l 的大作中提到】

: 是， Boolean。

H*g2019-03-13 07:03

13 楼

原来不吝一直读不伦

【在 s*l 的大作中提到】

: 是， Boolean。

s*l2019-03-13 07:03

14 楼

另外我觉得笑点不是那个=符号而该是逻辑，翻译下那个代码：
如果MCAS处于未打开状态
关掉MCAS
如果 MCAS处于打开状态
打开MCAS

【在 H********g 的大作中提到】

: 原来不吝一直读不伦

o*p2019-03-13 07:03

15 楼

GCC is very flexible, and it is for experts only, which means you should
know exactly what you are doing. If you don't, you have to read the manual
and make sure you do.
-Werror=parentheses reports an error and stops the compilation. It was not
designed for spotting the '=' operator usage originally, but just used as a
trick. It is supposed that when you really mean to use the == operator, you
don't add the parentheses explicitly, but for better coding style, you
always want to add them to emphasize that you are doing an assignment. So,
you are doing an assignment but not using parentheses, you are very likely
having a typo.

【在 H********g 的大作中提到】

: 何不把这个做缺省呢

n*d2019-03-13 07:03

16 楼

一般写成false == blabla

【在 o****p 的大作中提到】

: Usually people add -Werror=parentheses to avoid this type of errors, don't
: worry.

H*g2019-03-13 07:03

17 楼

判断那个应该是设置值不是状态注意那个keep
所以是 if （用户要保持MACS打开 == 0）：关掉MCAS 否则打开

【在 s*l 的大作中提到】

: 另外我觉得笑点不是那个=符号而该是逻辑，翻译下那个代码：
: 如果MCAS处于未打开状态
: 关掉MCAS
: 如果 MCAS处于打开状态
: 打开MCAS

m*n2019-03-13 07:03

18 楼

话说你们马工都是怎么找到虫子的？
有专门特殊的程序去找？
还是逐行逐行的靠人力目测？

H*g2019-03-13 07:03

19 楼

我脚着是目测自查互查群众举报督查组专办顺藤摸瓜大搞阳谋引蛇出洞

【在 m********n 的大作中提到】

: 话说你们马工都是怎么找到虫子的？
: 有专门特殊的程序去找？
: 还是逐行逐行的靠人力目测？

n*d2019-03-13 07:03

20 楼

都有

【在 m********n 的大作中提到】

: 话说你们马工都是怎么找到虫子的？
: 有专门特殊的程序去找？
: 还是逐行逐行的靠人力目测？

b*e2019-03-13 07:03

21 楼

ppt unittest

出洞

【在 H********g 的大作中提到】

: 我脚着是目测自查互查群众举报督查组专办顺藤摸瓜大搞阳谋引蛇出洞

t*o2019-03-13 07:03

22 楼

有经验的程序员都是这么写
if(false==keep_mcas_on)

【在 H********g 的大作中提到】

: 我脚着是目测自查互查群众举报督查组专办顺藤摸瓜大搞阳谋引蛇出洞

t*o2019-03-13 07:03

23 楼

有静态分析工具，也有动态runtime的。
当然大部分要靠测试

【在 m********n 的大作中提到】

: 话说你们马工都是怎么找到虫子的？
: 有专门特殊的程序去找？
: 还是逐行逐行的靠人力目测？

d*f2019-03-13 07:03

24 楼

很难相信飞控软件用通用compiler,　当然特指的也是based on gcc有可能，不过一般
来说像样点的公司，有实际价值的产品，都是要用最少两家compiler的

a
you

【在 o****p 的大作中提到】

: GCC is very flexible, and it is for experts only, which means you should
: know exactly what you are doing. If you don't, you have to read the manual
: and make sure you do.
: -Werror=parentheses reports an error and stops the compilation. It was not
: designed for spotting the '=' operator usage originally, but just used as a
: trick. It is supposed that when you really mean to use the == operator, you
: don't add the parentheses explicitly, but for better coding style, you
: always want to add them to emphasize that you are doing an assignment. So,
: you are doing an assignment but not using parentheses, you are very likely
: having a typo.

o*p2019-03-13 07:03

25 楼

It doesn't always help, and is not a good coding style, not many people are
using this.

【在 n***d 的大作中提到】

: 一般写成false == blabla

o*p2019-03-13 07:03

26 楼

Almost everyone uses gcc now, the back end can be customized.

【在 d********f 的大作中提到】

: 很难相信飞控软件用通用compiler,　当然特指的也是based on gcc有可能，不过一般
: 来说像样点的公司，有实际价值的产品，都是要用最少两家compiler的
:
: a
: you

w*g2019-03-13 07:03

27 楼

和java design pattern一样，都是党八股

are
★ 发自iPhone App: ChinaWeb 1.1.5

【在 o****p 的大作中提到】

: It doesn't always help, and is not a good coding style, not many people are
: using this.

d*f2019-03-13 07:03

28 楼

基本都是定制，但是理论上一般production可以用一家，但是testing会有好几家。不
过在班加罗尔什么都可能发生

【在 o****p 的大作中提到】

: Almost everyone uses gcc now, the back end can be customized.

y*w2019-03-13 07:03

29 楼

bool还这么等来等去。。。

t*o2019-03-13 07:03

30 楼

可能最后发现班加罗尔这帮孙子根本没测试

【在 d********f 的大作中提到】

: 基本都是定制，但是理论上一般production可以用一家，但是testing会有好几家。不
: 过在班加罗尔什么都可能发生

w*g2019-03-13 07:03

31 楼

事情没查清，不能妖魔化三哥啊

★ 发自iPhone App: ChinaWeb 1.1.5

【在 t*****o 的大作中提到】

: 可能最后发现班加罗尔这帮孙子根本没测试

d*o2019-03-13 07:03

32 楼

如果用eq
那leq,geq,neq都是单独的符号
综合语比较落后
语言还是要往分析语方向发展

【在 H********g 的大作中提到】

: 哦应该是 “把 == 改成 eq 其实还好打些”

c*n2019-03-13 07:03

33 楼

if(keep_mcas_on)

【在 t*****o 的大作中提到】

: 有经验的程序员都是这么写
: if(false==keep_mcas_on)

H*g2019-03-13 07:03

34 楼

挺好啊深圳io的汇编语言就是 lt gt eq ne

【在 d****o 的大作中提到】

: 如果用eq
: 那leq,geq,neq都是单独的符号
: 综合语比较落后
: 语言还是要往分析语方向发展

H*g2019-03-13 07:03

35 楼

perl的字符串比较就是ne eq

【在 H********g 的大作中提到】

: 挺好啊深圳io的汇编语言就是 lt gt eq ne

H*g2019-03-13 07:03

36 楼

加not是不是就成了分析语 python就用 not

【在 d****o 的大作中提到】

: 如果用eq
: 那leq,geq,neq都是单独的符号
: 综合语比较落后
: 语言还是要往分析语方向发展

m*n2019-03-13 07:03

37 楼

buy west melon X 1
if(see sesame)
then (buy 2 jins)

d*f2019-03-13 07:03

38 楼

绝对不算妖魔化，你让三哥作新proj还凑合，这种legacy code肯定不能用，三哥的ppt
文化也反映他们在coding风格里，就是短平快，根本没看懂就帮你oo一把，agile起来
，几百人大团队，全是screw master，每天开１０多个会，真有打算写code都被screw
master累死了

【在 w*****g 的大作中提到】

: 事情没查清，不能妖魔化三哥啊
:
: ★ 发自iPhone App: ChinaWeb 1.1.5

l*s2019-03-13 07:03

39 楼

：if(keep_mcas_on)
：【在 tofunao (厚德载雾自强不吸) 的大作中提到: 】
if(!keep_mcas_on)

d*o2019-03-13 07:03

40 楼

对，
自由语素构成单词，
大蛇用not,
贝尔系的吸//吸加加/R用!，
马特拉波用~
都算

【在 H********g 的大作中提到】

: 加not是不是就成了分析语 python就用 not

E*12019-03-13 07:03

41 楼

== 这么简单的相等逻辑判断，有什么问题。。。上面竟然还有这么多人吵吵有问题，
真是无语了，都是现在冒出来的一堆狗屁所谓高级说人话语言搞的错，看来大部分写程
序的都是半路出家，基础太差

o*p2019-03-13 07:03

42 楼

if (false == keep_mcas_on) works, but a lot of times it is like "if (
timestamp == get_timestamp())". A partly working trick is not a solution, I
never use it.

a*g2019-03-13 07:03

43 楼

这种东西静态分析就搞定了的事情

【在 t*****o 的大作中提到】

: 有静态分析工具，也有动态runtime的。
: 当然大部分要靠测试

s*h2019-03-13 07:03

44 楼

真正看不懂的人是你

【在 E*******1 的大作中提到】

: == 这么简单的相等逻辑判断，有什么问题。。。上面竟然还有这么多人吵吵有问题，
: 真是无语了，都是现在冒出来的一堆狗屁所谓高级说人话语言搞的错，看来大部分写程
: 序的都是半路出家，基础太差

f*y2019-03-13 07:03

45 楼

"if (keep_mcas_on=false)" 等同于 "if(false)"，那么 "turn_on_mcas()" 总是被执
行。

【在 H********g 的大作中提到】

: 加not是不是就成了分析语 python就用 not

t*s2019-03-13 07:03

46 楼

难道不是都用llvm and clang 吗？

【在 o****p 的大作中提到】

: Almost everyone uses gcc now, the back end can be customized.

t*s2019-03-13 07:03

47 楼

why not get_timestamp() == timestamp ?

I

【在 o****p 的大作中提到】

: if (false == keep_mcas_on) works, but a lot of times it is like "if (
: timestamp == get_timestamp())". A partly working trick is not a solution, I
: never use it.

o*p2019-03-13 07:03

48 楼

最后还是gcc compatible的呀，又没啥区别，还是管gcc叫爸爸。

【在 t***s 的大作中提到】

: 难道不是都用llvm and clang 吗？

s*f2019-03-13 07:03

49 楼

早就说过了，如果老印占领了美国高科技业，大家自求多福吧。我共事过的老印那编程
水平，啥不懂硬抄我们的codes。
印度本国做的飞机大多都坠毁了，现在又来祸祸美国了。
波音CEO从15年起是印度移民。
从另一方面讲，中国终于有机会赶超美国了。可是我也不希望以生命为代价。。。
特别是我还要做飞机呢，别被我赶上了吧，怕怕！

p*h2019-03-13 07:03

50 楼

C919说不定能出头了

【在 s*******f 的大作中提到】

: 早就说过了，如果老印占领了美国高科技业，大家自求多福吧。我共事过的老印那编程
: 水平，啥不懂硬抄我们的codes。
: 印度本国做的飞机大多都坠毁了，现在又来祸祸美国了。
: 波音CEO从15年起是印度移民。
: 从另一方面讲，中国终于有机会赶超美国了。可是我也不希望以生命为代价。。。
: 特别是我还要做飞机呢，别被我赶上了吧，怕怕！

K*22019-03-13 07:03

51 楼

尼玛，可能飞行员的屏幕上出现了烫烫烫、屯屯屯、锟斤拷

M*k2019-03-13 07:03

52 楼

能抄就不错了。我们以前外包的老印开发组把原型里某个计算的部分改成了一个13个分
支的hardcode switch...
事实上那些值都不是常数

【在 s*******f 的大作中提到】

m*n2019-03-13 07:03

53 楼

屏幕出现提示：“飞机仰角过高，可能影响飞行安全，大家怎么看？”

【在 K*****2 的大作中提到】

: 尼玛，可能飞行员的屏幕上出现了烫烫烫、屯屯屯、锟斤拷

d*f2019-03-13 07:03

54 楼

你们在美国见到的３哥程序员都是翘楚，搬家罗尔你是没有见识过，那个牛ｂ程度，人
家１７岁前都在检牛粪，１８岁就是cto了

【在 M******k 的大作中提到】

: 能抄就不错了。我们以前外包的老印开发组把原型里某个计算的部分改成了一个13个分
: 支的hardcode switch...
: 事实上那些值都不是常数

H*g2019-03-13 07:03

55 楼

然后下面自动回复70多层：太吓人了原来这么高印度人写的程序吧白牛空姐说不
要紧

【在 m********n 的大作中提到】

: 屏幕出现提示：“飞机仰角过高，可能影响飞行安全，大家怎么看？”