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.
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
【 在 netghost (Up to Isomorphism) 的大作中提到: 】 : 鑑於小菊花不停地在造謠，其實這些事情，根本不是什麼祕密，官方的都放在那裏的。 : 比如說好奇號： : 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的人可能真是不如小菊花。 : ...................
【 在 netghost (Up to Isomorphism) 的大作中提到: 】 : 鑑於小菊花不停地在造謠，其實這些事情，根本不是什麼祕密，官方的都放在那裏的。 : 比如說好奇號： : 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的人可能真是不如小菊花。 : ...................
鑑於小菊花不停地在造謠，其實這些事情，根本不是什麼祕密，官方的都放在那裏的。
比如說好奇號：
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
这个代码大概有3milllion行，
我看了一下
大部分C是Python generate的
我说JPL怎么有钱请人的
你看到好奇號代碼了？給我鏈接我也去看看唄。
【 在 walkrandom (walkrandom) 的大作中提到: 】
: 这个代码大概有3milllion行，
: 我看了一下
: 大部分C是Python generate的
: 我说JPL怎么有钱请人的
Safe Critical行業特殊：不允許垃圾回收，所以Java/JS/Py/Go/Csharp都完蛋了。認
證必須用兩種完全不同的語言，所以Ada基本是陪練。我不明白為什麼沒人用Rust？
据我实践和学习。C的安全性现在是靠各种各样的内容规矩保障的。古代有本烧脑书，
专门讲c pitfalls。另外还有历史悠久的的c obfuscation 大赛。发明pyhon的人，发
明perl的人都拿过这个奖。
总体来讲。现在关键位置上的c代码压根不是学校或者书上那些paper knowledge能覆盖的。几乎可以
说是两码事了。
【 在 magagop(magagop) 的大作中提到: 】
<br>: Safe Critical行業特殊：不允許垃圾回收，所以Java/JS/Py/Go/Csharp
都完蛋
了。認
<br>: 證必須用兩種完全不同的語言，所以Ada基本是陪練。我不明白為什麼沒
人用
Rust？
<br>
一个人或者会写代码，或者不会。写出来的或者work，或者不work。
生产性代码，给全世界用，本来就要有各种规矩。
非生产性代码，可能只需要运行一次，满足运行一次通过的条件就好了。
基本考虑就是成本收益而已。
【 在 guvest (我爱你老婆Anna) 的大作中提到: 】
: 据我实践和学习。C的安全性现在是靠各种各样的内容规矩保障的。古代有本烧脑书，
: 专门讲c pitfalls。另外还有历史悠久的的c obfuscation 大赛。发明pyhon的人，发
: 明perl的人都拿过这个奖。
: 总体来讲。现在关键位置上的c代码压根不是学校或者书上那些paper knowledge能覆盖
: 的。几乎可以
: 说是两码事了。
:
: Safe Critical行業特殊：不允許垃圾回收，所以Java/JS/Py/Go/Csharp
: 都完蛋
: 了。認
:
: 證必須用兩種完全不同的語言，所以Ada基本是陪練。我不明白為什麼沒
: ...................
你丫从来都不好好学中文就打滚，我从来没说C已经灭绝了，我贴的链接说的是C从No1
跌到了No4，而且大都被外包到印度东南亚了
波音摔死几百人的737MAX，丰田烧死多人的加速门都是C码农的功劳
这也没办法，人命关天的事情让低素质人写就是这结果，你家junior kernel码农一个
月只有5000rmb么。
【 在 netghost (Up to Isomorphism) 的大作中提到: 】
: 鑑於小菊花不停地在造謠，其實這些事情，根本不是什麼祕密，官方的都放在那裏的。
: 比如說好奇號：
: 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的人可能真是不如小菊花。
: ...................
我擦，居然。。。
【 在 walkrandom (walkrandom) 的大作中提到: 】
: 标 题: Re: 說C用在Mars Rover上去會崩的，能不能要點臉？
: 发信站: BBS 未名空间站 (Sun May 17 12:12:17 2020, 美东)
:
: 这个代码大概有3milllion行，
: 我看了一下
: 大部分C是Python generate的
: 我说JPL怎么有钱请人的
:
: --
C obfuscation的代码一般都是用工具生成的，也就是类似别人说的python把自身编译
成C的做法
【 在 guvest (我爱你老婆Anna) 的大作中提到: 】
: 据我实践和学习。C的安全性现在是靠各种各样的内容规矩保障的。古代有本烧脑书，
: 专门讲c pitfalls。另外还有历史悠久的的c obfuscation 大赛。发明pyhon的人，发
: 明perl的人都拿过这个奖。
: 总体来讲。现在关键位置上的c代码压根不是学校或者书上那些paper knowledge能覆盖
: 的。几乎可以
: 说是两码事了。
: <br>: Safe Critical行業特殊：不允許垃圾回收，所以Java/JS/Py/Go/
Csharp
: 都完蛋
: 了。認
: <br>: 證必須用兩種完全不同的語言，所以Ada基本是陪練。我不明白為什麼沒
: ...................
好奇号火星漫游车使用的是 BAE 制造的 RAD750 处理器，
运行的是 Wind River Systems 开发的嵌入式实时操作系统 VxWorks
好奇号代码共 250 万行，程序语言是C，多是用 Python 脚本自动生成
NASA JPL 共有 30 名程序员参与开发，测试团队超过 10 人，
超过一百万行代码是手写。程序包括 150 个独立模块，
每个模块执行不同的功能，高度耦合的模块组合成组件。
写的时候是Python
编译成C
有大牛写个python to C的编译器就行了
然后找三十个JHU的研究生写python
比外包到阿三程序员靠谱多了
所以火星车没爆炸
好奇号被人打脸是python生成代码的就不说了，就说这F35吧，这可是反软工的垃圾项
目典型代表，美国几乎每个IT培训都要把它拖出来鞭尸
预算超标多次，延期不计其数，都TMD部署了还发射不了导弹，雷达功能需要2.0，3.0
甚至硬件大修后才能解锁，日本欧洲第一批拿到的飞机只能当教练机飞着玩
【 在 netghost (Up to Isomorphism) 的大作中提到: 】
: 鑑於小菊花不停地在造謠，其實這些事情，根本不是什麼祕密，官方的都放在那裏的。
: 比如說好奇號：
: 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的人可能真是不如小菊花。
: ...................
還是那句話，同學你看到過代碼嗎？粘貼知乎的討論貼就算了。
发信人: walkrandom (walkrandom), 信区: Programming
标 题: Re: 說C用在Mars Rover上去會崩的，能不能要點臉？
发信站: BBS 未名空间站 (Sun May 17 12:12:17 2020, 美东)
这个代码大概有3milllion行，
我看了一下
~~~~~~~~~~~~~~
你看的是什麼代碼？
大部分C是Python generate的
我说JPL怎么有钱请人的
你看到過代碼沒？
給個reference也行
【 在 walkrandom (walkrandom) 的大作中提到: 】
: 写的时候是Python
: 编译成C
: 有大牛写个python to C的编译器就行了
: 然后找三十个JHU的研究生写python
: 比外包到阿三程序员靠谱多了
: 所以火星车没爆炸
这是一个公开报告里面讲的
【 在 netghost (Up to Isomorphism) 的大作中提到: 】
: 還是那句話，同學你看到過代碼嗎？粘貼知乎的討論貼就算了。
: 发信人: walkrandom (walkrandom), 信区: Programming
: 标 题: Re: 說C用在Mars Rover上去會崩的，能不能要點臉？
: 发信站: BBS 未名空间站 (Sun May 17 12:12:17 2020, 美东)
: 这个代码大概有3milllion行，
: 我看了一下
: ~~~~~~~~~~~~~~
: 你看的是什麼代碼？
: 大部分C是Python generate的
: 我说JPL怎么有钱请人的
恩，你把"公開報告"貼一下吧.要不然你滾粗？
【 在 xiaoju (可爱的龙猫) 的大作中提到: 】
: 标 题: Re: 說C用在Mars Rover上去會崩的，能不能要點臉？
: 发信站: BBS 未名空间站 (Sun May 17 22:15:50 2020, 美东)
:
: 这是一个公开报告里面讲的
:
: 【 在 netghost (Up to Isomorphism) 的大作中提到: 】
: : 還是那句話，同學你看到過代碼嗎？粘貼知乎的討論貼就算了。
: : 发信人: walkrandom (walkrandom), 信区: Programming
: : 标 题: Re: 說C用在Mars Rover上去會崩的，能不能要點臉？
: : 发信站: BBS 未名空间站 (Sun May 17 12:12:17 2020, 美东)
: : 这个代码大概有3milllion行，
: : 我看了一下
: : ~~~~~~~~~~~~~~
: : 你看的是什麼代碼？
: : 大部分C是Python generate的
: : 我说JPL怎么有钱请人的
:
:
:
: --
我都搜到了10年前的讨论帖，你丫先把英文练练吧
人家也就是转了原话而已，你就觉得被世界fuck了。
【 在 netghost (Up to Isomorphism) 的大作中提到: 】
: 恩，你把"公開報告"貼一下吧.要不然你滾粗？
廢話少說，你的公開報告呢？趕緊貼出來。沒有也行，請你滾出這裡，謝謝。
【 在 xiaoju (可爱的龙猫) 的大作中提到: 】
: 我都搜到了10年前的讨论帖，你丫先把英文练练吧
: 人家也就是转了原话而已，你就觉得被世界fuck了。
你把人家原话译成英文，用google搜就有答案，莫打滚
【 在 netghost (Up to Isomorphism) 的大作中提到: 】
: 你的公開報告呢？趕緊貼出來。沒有也行，請你滾出這裡，謝謝。
人家给的是原话。。。
我之前也不知道，一下就搜到了
【 在 netghost (Up to Isomorphism) 的大作中提到: 】
: 哈哈哈哈，大家看見了吧。這個賤人在身體力行不要逼臉的book example。
: 誰的觀點誰舉證這個道理，你媽沒教過你？
你這個不要臉的玩意，這是你自己噴的東西，現在請你給出出處。否則滾出去，好嗎？
发信人: xiaoju (可爱的龙猫), 信区: Programming
标 题: Re: 說C用在Mars Rover上去會崩的，能不能要點臉？
发信站: BBS 未名空间站 (Sun May 17 22:15:50 2020, 美东)
这是一个公开报告里面讲的
【 在 netghost (Up to Isomorphism) 的大作中提到: 】
: 還是那句話，同學你看到過代碼嗎？粘貼知乎的討論貼就算了。
: 发信人: walkrandom (walkrandom), 信区: Programming
: 标 题: Re: 說C用在Mars Rover上去會崩的，能不能要點臉？
: 发信站: BBS 未名空间站 (Sun May 17 12:12:17 2020, 美东)
: 这个代码大概有3milllion行，
: 我看了一下
: ~~~~~~~~~~~~~~
: 你看的是什麼代碼？
: 大部分C是Python generate的
: 我说JPL怎么有钱请人的
【 在 xiaoju (可爱的龙猫) 的大作中提到: 】
: 标 题: Re: 說C用在Mars Rover上去會崩的，能不能要點臉？
: 发信站: BBS 未名空间站 (Tue May 19 19:21:16 2020, 美东)
:
: 人家给的是原话。。。
:
: 我之前也不知道，一下就搜到了
:
: 【 在 netghost (Up to Isomorphism) 的大作中提到: 】
: : 哈哈哈哈，大家看見了吧。這個賤人在身體力行不要逼臉的book example。
: : 誰的觀點誰舉證這個道理，你媽沒教過你？
:
:
:
: --
你把谷歌搜索结果贴上了会不会？
【 在 netghost (Up to Isomorphism) 的大作中提到: 】
: 你這個不要臉的玩意，這是你自己噴的東西，現在請你給出出處。否則滾出去，好嗎？
: 发信人: xiaoju (可爱的龙猫), 信区: Programming
: 标 题: Re: 說C用在Mars Rover上去會崩的，能不能要點臉？
: 发信站: BBS 未名空间站 (Sun May 17 22:15:50 2020, 美东)
: 这是一个公开报告里面讲的