n******t
发帖数: 4406 | 1 鑑於小菊花不停地在造謠，其實這些事情，根本不是什麼祕密，官方的都放在那裏的。
比如說好奇號：
The Flight Software is coded primarily in ANSI C, with some targeted
assembly code and some C++. The size of the system, in source lines of code
(SLOC), is [300K] but this value does not include the operating system.
The operating system is Wind River's VxWorks.
原文可以參見官方介紹：
https://trs.jpl.nasa.gov/bitstream/handle/2014/37499/05-0539.pdf?sequence=1&
isAllowed=y
好奇號炸了嗎？沒有。。。看來JPL的人可能真是不如小菊花。
那我看看NASA的項目一般用的是啥呢?
https://space.stackexchange.com/questions/21948/what-is-the-most-popular-
programming-language-in-space
A specific example of C's use: NASA's Core Flight System (cFS homepage) is
written in C, and is in use on several missions right now (related question).
From the LightSail paper presented at SmallSat 2015, "LightSail FSW (
software and firmware) is written in the C programming language." LightSail
also ran a Linux distribution, again written in C.
看來又是小菊花嘴裏過時的C。
我們再看看F-35裏面的軟件是用什麼寫的：
7% 汇编、5% Ada83、35% C++、53% C
看來F-35的team也是和現實脫節太多，不知道這麼寫飛機會爆炸。
當然這不是第一次這個人被抓現行了，反正臉皮是自己的，要不要也是他的事情。
http://mitbbs.com/article1/Programming/31569563_3_0.html |
w********m
发帖数: 1137 | 2 这个代码大概有3milllion行，
我看了一下
大部分C是Python generate的
我说JPL怎么有钱请人的 |
n******t
发帖数: 4406 | 3 你看到好奇號代碼了？給我鏈接我也去看看唄。
【在 w********m 的大作中提到】
: 这个代码大概有3milllion行，
: 我看了一下
: 大部分C是Python generate的
: 我说JPL怎么有钱请人的
|
m*****p
发帖数: 39 | 4 Safe Critical行業特殊：不允許垃圾回收，所以Java/JS/Py/Go/Csharp都完蛋了。認
證必須用兩種完全不同的語言，所以Ada基本是陪練。我不明白為什麼沒人用Rust？ |
g****t
发帖数: 31659 | 5 据我实践和学习。C的安全性现在是靠各种各样的内容规矩保障的。古代有本烧脑书，
专门讲c pitfalls。另外还有历史悠久的的c obfuscation 大赛。发明pyhon的人，发
明perl的人都拿过这个奖。
总体来讲。现在关键位置上的c代码压根不是学校或者书上那些paper knowledge能覆盖
的。几乎可以
说是两码事了。
: Safe Critical行業特殊：不允許垃圾回收，所以Java/JS/Py/Go/Csharp
都完蛋
了。認
: 證必須用兩種完全不同的語言，所以Ada基本是陪練。我不明白為什麼沒
人用
Rust？
【在 m*****p 的大作中提到】
: Safe Critical行業特殊：不允許垃圾回收，所以Java/JS/Py/Go/Csharp都完蛋了。認
: 證必須用兩種完全不同的語言，所以Ada基本是陪練。我不明白為什麼沒人用Rust？
|
T********i
发帖数: 2416 | 6 一个人或者会写代码，或者不会。写出来的或者work，或者不work。
生产性代码，给全世界用，本来就要有各种规矩。
非生产性代码，可能只需要运行一次，满足运行一次通过的条件就好了。
基本考虑就是成本收益而已。
【在 g****t 的大作中提到】
: 据我实践和学习。C的安全性现在是靠各种各样的内容规矩保障的。古代有本烧脑书，
: 专门讲c pitfalls。另外还有历史悠久的的c obfuscation 大赛。发明pyhon的人，发
: 明perl的人都拿过这个奖。
: 总体来讲。现在关键位置上的c代码压根不是学校或者书上那些paper knowledge能覆盖
: 的。几乎可以
: 说是两码事了。
:
:
: Safe Critical行業特殊：不允許垃圾回收，所以Java/JS/Py/Go/Csharp
: 都完蛋
: 了。認
|
x****u
发帖数: 44466 | 7 你丫从来都不好好学中文就打滚，我从来没说C已经灭绝了，我贴的链接说的是C从No1
跌到了No4，而且大都被外包到印度东南亚了
波音摔死几百人的737MAX，丰田烧死多人的加速门都是C码农的功劳
这也没办法，人命关天的事情让低素质人写就是这结果，你家junior kernel码农一个
月只有5000rmb么。
code
1&
【在 n******t 的大作中提到】
: 鑑於小菊花不停地在造謠，其實這些事情，根本不是什麼祕密，官方的都放在那裏的。
: 比如說好奇號：
: The Flight Software is coded primarily in ANSI C, with some targeted
: assembly code and some C++. The size of the system, in source lines of code
: (SLOC), is [300K] but this value does not include the operating system.
: The operating system is Wind River's VxWorks.
: 原文可以參見官方介紹：
: https://trs.jpl.nasa.gov/bitstream/handle/2014/37499/05-0539.pdf?sequence=1&
: isAllowed=y
: 好奇號炸了嗎？沒有。。。看來JPL的人可能真是不如小菊花。
|
x****u
发帖数: 44466 | 8 我擦，居然。。。
【在 w********m 的大作中提到】
: 这个代码大概有3milllion行，
: 我看了一下
: 大部分C是Python generate的
: 我说JPL怎么有钱请人的
|
x****u
发帖数: 44466 | 9 C obfuscation的代码一般都是用工具生成的，也就是类似别人说的python把自身编译
成C的做法
Csharp
【在 g****t 的大作中提到】
: 据我实践和学习。C的安全性现在是靠各种各样的内容规矩保障的。古代有本烧脑书，
: 专门讲c pitfalls。另外还有历史悠久的的c obfuscation 大赛。发明pyhon的人，发
: 明perl的人都拿过这个奖。
: 总体来讲。现在关键位置上的c代码压根不是学校或者书上那些paper knowledge能覆盖
: 的。几乎可以
: 说是两码事了。
:
:
: Safe Critical行業特殊：不允許垃圾回收，所以Java/JS/Py/Go/Csharp
: 都完蛋
: 了。認
|
w********m
发帖数: 1137 | 10 好奇号火星漫游车使用的是 BAE 制造的 RAD750 处理器，
运行的是 Wind River Systems 开发的嵌入式实时操作系统 VxWorks
好奇号代码共 250 万行，程序语言是C，多是用 Python 脚本自动生成
NASA JPL 共有 30 名程序员参与开发，测试团队超过 10 人，
超过一百万行代码是手写。程序包括 150 个独立模块，
每个模块执行不同的功能，高度耦合的模块组合成组件。 |
|
|
w********m
发帖数: 1137 | 11 写的时候是Python
编译成C
有大牛写个python to C的编译器就行了
然后找三十个JHU的研究生写python
比外包到阿三程序员靠谱多了
所以火星车没爆炸 |
x****u
发帖数: 44466 | 12 好奇号被人打脸是python生成代码的就不说了，就说这F35吧，这可是反软工的垃圾项
目典型代表，美国几乎每个IT培训都要把它拖出来鞭尸
预算超标多次，延期不计其数，都TMD部署了还发射不了导弹，雷达功能需要2.0，3.0
甚至硬件大修后才能解锁，日本欧洲第一批拿到的飞机只能当教练机飞着玩
code
1&
【在 n******t 的大作中提到】
: 鑑於小菊花不停地在造謠，其實這些事情，根本不是什麼祕密，官方的都放在那裏的。
: 比如說好奇號：
: The Flight Software is coded primarily in ANSI C, with some targeted
: assembly code and some C++. The size of the system, in source lines of code
: (SLOC), is [300K] but this value does not include the operating system.
: The operating system is Wind River's VxWorks.
: 原文可以參見官方介紹：
: https://trs.jpl.nasa.gov/bitstream/handle/2014/37499/05-0539.pdf?sequence=1&
: isAllowed=y
: 好奇號炸了嗎？沒有。。。看來JPL的人可能真是不如小菊花。
|
n******t
发帖数: 4406 | 13 還是那句話，同學你看到過代碼嗎？粘貼知乎的討論貼就算了。
发信人: walkrandom (walkrandom), 信区: Programming
标 题: Re: 說C用在Mars Rover上去會崩的，能不能要點臉？
发信站: BBS 未名空间站 (Sun May 17 12:12:17 2020, 美东)
这个代码大概有3milllion行，
我看了一下
~~~~~~~~~~~~~~
你看的是什麼代碼？
大部分C是Python generate的
我说JPL怎么有钱请人的 |
n******t
发帖数: 4406 | 14 你看到過代碼沒？
給個reference也行
【在 w********m 的大作中提到】
: 写的时候是Python
: 编译成C
: 有大牛写个python to C的编译器就行了
: 然后找三十个JHU的研究生写python
: 比外包到阿三程序员靠谱多了
: 所以火星车没爆炸
|
x****u
发帖数: 44466 | 15 这是一个公开报告里面讲的
【在 n******t 的大作中提到】
: 還是那句話，同學你看到過代碼嗎？粘貼知乎的討論貼就算了。
: 发信人: walkrandom (walkrandom), 信区: Programming
: 标 题: Re: 說C用在Mars Rover上去會崩的，能不能要點臉？
: 发信站: BBS 未名空间站 (Sun May 17 12:12:17 2020, 美东)
: 这个代码大概有3milllion行，
: 我看了一下
: ~~~~~~~~~~~~~~
: 你看的是什麼代碼？
: 大部分C是Python generate的
: 我说JPL怎么有钱请人的
|
n******t
发帖数: 4406 | 16 恩，你把"公開報告"貼一下吧.要不然你滾粗？
【在 x****u 的大作中提到】
: 这是一个公开报告里面讲的
|
x****u
发帖数: 44466 | 17 我都搜到了10年前的讨论帖，你丫先把英文练练吧
人家也就是转了原话而已，你就觉得被世界fuck了。
【在 n******t 的大作中提到】
: 恩，你把"公開報告"貼一下吧.要不然你滾粗？
|
n******t
发帖数: 4406 | 18 廢話少說，你的公開報告呢？趕緊貼出來。沒有也行，請你滾出這裡，謝謝。
【在 x****u 的大作中提到】
: 我都搜到了10年前的讨论帖，你丫先把英文练练吧
: 人家也就是转了原话而已，你就觉得被世界fuck了。
|
x****u
发帖数: 44466 | 19 你把人家原话译成英文，用google搜就有答案，莫打滚
【在 n******t 的大作中提到】
: 廢話少說，你的公開報告呢？趕緊貼出來。沒有也行，請你滾出這裡，謝謝。
|
x****u
发帖数: 44466 | 20 人家给的是原话。。。
我之前也不知道，一下就搜到了
【在 n******t 的大作中提到】
: 廢話少說，你的公開報告呢？趕緊貼出來。沒有也行，請你滾出這裡，謝謝。
|
n******t
发帖数: 4406 | 21 你這個不要臉的玩意，這是你自己噴的東西，現在請你給出出處。否則滾出去，好嗎？
发信人: xiaoju (可爱的龙猫), 信区: Programming
标 题: Re: 說C用在Mars Rover上去會崩的，能不能要點臉？
发信站: BBS 未名空间站 (Sun May 17 22:15:50 2020, 美东)
这是一个公开报告里面讲的
【在 n******t 的大作中提到】
: 還是那句話，同學你看到過代碼嗎？粘貼知乎的討論貼就算了。
: 发信人: walkrandom (walkrandom), 信区: Programming
: 标 题: Re: 說C用在Mars Rover上去會崩的，能不能要點臉？
: 发信站: BBS 未名空间站 (Sun May 17 12:12:17 2020, 美东)
: 这个代码大概有3milllion行，
: 我看了一下
: ~~~~~~~~~~~~~~
: 你看的是什麼代碼？
: 大部分C是Python generate的
: 我说JPL怎么有钱请人的
|
x****u
发帖数: 44466 | 22 你把谷歌搜索结果贴上了会不会？
【在 n******t 的大作中提到】
: 你這個不要臉的玩意，這是你自己噴的東西，現在請你給出出處。否則滾出去，好嗎？
: 发信人: xiaoju (可爱的龙猫), 信区: Programming
: 标 题: Re: 說C用在Mars Rover上去會崩的，能不能要點臉？
: 发信站: BBS 未名空间站 (Sun May 17 22:15:50 2020, 美东)
: 这是一个公开报告里面讲的
|
