未分類
2020 年 11 月 26 日

嫦娥系列使用什么语言写的？

嫦娥系列使用什么语言写的？

資深大佬 : coool 0

之前看到美国的航天系统代码用 lisp 写的，咱们的嫦娥系列大概会是什么语言？

大佬有話說 (100)

  • 資深大佬 : imydou

    应该是自主研发的，会不会是 Elanguage ？

  • 資深大佬 : IGJacklove

    国内这些都是机密，小心给你扣个间谍罪。

  • 資深大佬 : DingSoung

    娥语言

  • 資深大佬 : heimeil

    你好，我是中國北方的網友，對你說的東西很感興趣，請速與我聯繫。(

  • 資深大佬 : iConnect

    c c++ java Python 用这些都没有问题呀

  • 主 資深大佬 : coool

    @IGJacklove 额……这就涉密了么

  • 主 資深大佬 : coool

    @iConnect 之前看到文章说 lisp 的 REPL 很方便，航天器发射上去了代码有 bug 还能在地球上操作修改

  • 資深大佬 : sadfQED2

    我猜可能是 c 或者汇编？因为航天器内存和 cpu 性能并不高，程序得尽可能减少开销，因此带 gc 的语言估计不会考虑。可能主要 c，部分驱动之类的东西汇编？

  • 資深大佬 : zxCoder

    @heimeil （应该是 大陆北方的网友

  • 資深大佬 : zxCoder

    （建议使用中科院自主研发的木兰语言

  • 資深大佬 : hugoqin

    @DingSoung erlang?

  • 資深大佬 : proxychains

    @heimeil 宫廷玉液酒下一句是什么

  • 資深大佬 : ASmartPig

    硬件控制方面一般都主要还是汇编，C，C++吧，当然嫦娥这种东西自己琢磨也是正常的

  • 資深大佬 : ddefewfewf

    @IGJacklove 这 tm 还泄密 用的不是还是老外写的语言

  • 資深大佬 : amezf

    @heimeil #4 应该是大陆北方 嫦娥系列使用什么语言写的？

  • 資深大佬 : iFlicker

    早期是汇编。。。几十年了应该早就过了保密期了，现在不知道

  • 資深大佬 : supuwoerc

    我猜是 c c++ lua 啥的?

  • 資深大佬 : sujin190

    @ddefewfewf #14 c 语言说的只是规范不属于谁，作为实现编译器才有所属权，嫦娥这种项目用的肯定是自己写的编译器

  • 資深大佬 : rocbomb

    @sadfQED2 性能不高，但运算量也不高的。。。
    重点是稳定，稳定，稳定！
    可以确定，一定是实时操作系统

  • 資深大佬 : a1gslyghmqnl

    肯定有一些限制条件，比如，想象一下变轨的时候给你来个 GC

  • 資深大佬 : coderluan

    中文编程之月语

  • 資深大佬 : rainfallmax

    C 和 某个忘记名字的 实时语言。。。

  • 資深大佬 : keenmisty

    C 和 Fortran 吧感觉

  • 資深大佬 : yorkw

    运行的应该是类似 VxWorks 这种实时操作系统，对口职位是嵌入式软件开发工程师

  • 資深大佬 : efaun

    @ddefewfewf #14 气抖冷，易语言什么时候可以站起来

  • 資深大佬 : Xusually

    @heimeil 有那味了。。。认真脸.jpg

  • 資深大佬 : libook

    不了解，而且了解的人可能也不会回复，避免泄密。
    科普向的话可以猜测分析一下，从计算机专业角度来讲，假设用的芯片是自研的话，因为指令集可能和商用芯片不同，所以可能就得从机器语言、汇编再到系统编程语言整体完善，C 语言其实可以看成是汇编的语法糖，而汇编语言只是机器语言的自然语言化的格式而已。所以可以自研语言，也可以用现成的主流语言，但至少语言的底层实现细节都可以是针对自研系统的特性而重新设计的。

    现在中国技术人员对国际上各主流技术贡献都很大，也有些领域中国是走在前列的，其实很多开放性的技术已经没有清晰的国别属性了，算是全球贡献者共同努力的成果，所以没必要谈到主流技术就扣上外国技术的帽子。

  • 資深大佬 : en20

    中国航天 招聘

    该职位暂时没有职位描述信息。

  • 資深大佬 : ltm

    C VxWorks

  • 資深大佬 : Saurichthys

    php

  • 資深大佬 : baobao1270

    个人推测应该是 C Cpp 和汇编

  • 資深大佬 : hello2060

    @sujin190 怕外国编译器有后门？

  • 資深大佬 : icyalala

    2008 年的新闻：
    http://news.sina.com.cn/c/2008-09-26/190216364818.shtml
    北京飞控中心全部实现了由 Windows 操作系统向 UNIX 操作系统的过渡。

    2014 年嫦娥三号部分新闻：
    http://www.pmrslab.cn/news/guokeda.html
    “都是做开发的，有的对 C++ 比较熟，就做基础开发，有的对二次开发比较熟，就做后续的开发”

    2014 年知乎某人的回答：
    https://www.zhihu.com/question/19614946
    后台服务器各种的都有，可以肯定的是有大型机，有 Unix 。
    控制系统以 RTOS 居多，据我所知有一些用的盗版 VxWorks，还有用 uC/OS 的，也有根据 VxWorks 或者别的嵌入式系统改的，也有自己写的。

    某些个人简介：
    周占永
    北京航天飞行控制中心 /轨道室　（助理）工程师、主任（主管）设计师、主任设计师、高级工程师
    北京航天飞行控制中心 /深空室　项目副总、高级工程师
    航天项目软件开发系统分析设计
    精通 C/C++、Fortran 等编程语言
    精通航天软件开发及 GJB5000A 软件管理

  • 資深大佬 : shenjinpeng

    html

  • 資深大佬 : Vegetable

    @icyalala 朋友，你听说过 12339 吗？

  • 資深大佬 : tairan2006

    js

  • 資深大佬 : cxe2v

    每逢这种帖子必有保密侠出现

  • 資深大佬 : acmore

    当然是 PHP /:狗头

  • 主 資深大佬 : coool

    我还以为也会用 lisp……

  • 資深大佬 : Kilerd

    说 java python 的都是没做过硬件开发的，硬件上面基本都是需要跑实时系统的，所以只能用非 GC 语言。

    至于 spaceX 的那个所谓的前端，估计是 cpp 底层，然后用 electron 做了一个可视化而已。

  • 資深大佬 : sujin190

    @hello2060 #32 理由之一，此外猜测航天类程序可能在编译生成指令有其他要求啥的，反正国外航天用的编译器也不可能拿来给你用是吧，消费品领域的芯片也没法直接用在航天领域，否则太空辐射下直接就挂了，十之八九指令集也是独立的，那么编译器不通用也可以理解，还可以保证自主知识产权防止泄密啥的

  • 資深大佬 : alienx717

    木~木兰

  • 資深大佬 : hello2060

    @sujin190 基于猜测那不是怎么说都可以，谁知道国外航天用啥编译器，谁知道我们有没有外国航天编译器，谁知道航天程序编译器有没有特殊要求，谁知道指令集是不是独立的。我猜测用的是 gcc 3.125 版，不给用 go to, 效率低。代码 review 是自研系统，缩进 3 格

  • 資深大佬 : across

    机体肯定是 c 为主吧。
    军工航天对安全性和稳定性要求很严格，之前老美战斗机编程手册即使转到 C++，也严格要求很多功能不能用，内存完全手动控制的。

  • 資深大佬 : sujin190

    @hello2060 #43 别杠啊，猜测那也是要合理，也分多大概率可信，航天不能用消费品芯片不能抗太空辐射是真的啊，那么不和消费品芯片一样指令集不再正常不过了，关于指令有特殊要求的测试是基于太空辐射清空下不同于消费品领域的环境稳定性，那么在指令执行过程中加热额外校验过程，或者双路执行校验过程不也很合理么，否则你这不是瞎猜纯属杠么，再说科学进步的基础本来也就是合理猜测然后验证么

  • 資深大佬 : raaaaaar

    HDL，误

  • 資深大佬 : PerFectTime

    你好，国安，开下门 嫦娥系列使用什么语言写的？ 嫦娥系列使用什么语言写的？ 嫦娥系列使用什么语言写的？

  • 資深大佬 : wygege

    既然都是嫦娥了，肯定是用文言文写的

  • 資深大佬 : lakehylia

    RTOS 吧，魔改版

  • 資深大佬 : AndyAO

    icyalala 提供了为数不多的有价值信息

  • 資深大佬 : hello2060

    @sujin190 我不懂啊，不能用消费级芯片就不能用消费级芯片指令集？校验一定要放在指令集里吗？

  • 資深大佬 : tjunsh

    你好，我是居委会，开下门，查水表

  • 資深大佬 : cjpjxjx

    首先可以排除易语言

  • 資深大佬 : ZRS

    C++的概率比较高

  • 資深大佬 : icyalala

    @Vegetable 这么说 Google 比间谍还危险咯。。

  • 資深大佬 : wildlynx

    没有人提到 ada 吗？

  • 資深大佬 : diveIntoWork

    C，之前了解过隔壁部门

  • 資深大佬 : laydown

    @coool 说你涉密就是涉密，不涉也涉。

  • 資深大佬 : back0893

    应该是和 nasa 差不多吧.

  • 資深大佬 : douglarek

    @coool 地球上改完怎么传输上去

  • 資深大佬 : fish267

    Ada

  • 資深大佬 : meteor957

    上面的疯狂给自己加戏，是真的进去过还是在意淫

  • 資深大佬 : levelworm

    不知道有没有 forth 。。。

  • 資深大佬 : cassyfar

    @sujin190 指令集 MIPS 啊。编译估计就是换皮的 gcc

  • 主 資深大佬 : coool

    @douglarek 忘记在哪里看的文章了，不过确实是有写地球上修复的已经发射的航天器的代码 bug 。

  • 資深大佬 : sujin190

    @hello2060 #51 能用啊，不过我国航天工业发展毕竟早，再加上航天用芯片稳定性要求高而性能要求不高，所以制程还是毕竟高的，就现在制造水平我们自己设计制造戳戳有余了，也可能定制部分指令集吧，校验指令应该是要放在芯片一层的吧，否则岂不是要出现如何校验校验用代码是否正确的死循环了

  • 資深大佬 : sujin190

    @cassyfar #64 有可能，毕竟也没啥必要完全从头来，定制修改也就足够了

  • 資深大佬 : hello2060

    @sujin190 我不知道哎，芯片一层是哪一层啊？指令集里带校验就不用校验校验了吗？

  • 資深大佬 : danhahaha

    易语言

  • 資深大佬 : xuanbg

    大概率是 C 。Java 这种太大了，而且中间隔着 JVM，可靠性天然就比机器码低好几个级别，不太可能用。

  • 資深大佬 : liuqiangxi

    有些人把航天的东西想的太复杂太牛了,航天部门做开发的才多少人啊,待遇也一般,真正的人才估计都在外面的大公司,航天部门的东西应该也就是勉强能用的水平.还有人说芯片在太空怕辐射的,人都能上太空,芯片不能加个防辐射的壳吗?太幼稚了.

  • 資深大佬 : ankino17

    习语言

  • 資深大佬 : tabris17

    @ankino17 搜了一下，还真有这个语言，作者当年起名没想好，肯定很后悔把

  • 資深大佬 : tabris17

    @liuqiangxi 据说马斯克的飞船用的是民用 Intel CPU，用多块芯片冗余计算来容错

  • 資深大佬 : DEVN

    直接整一个 JAVA 运行时环境

  • 資深大佬 : chisj

    VxWorks 可能性挺大。

  • 資深大佬 : chisj

    哦，语言啊，应该是 C

  • 資深大佬 : Vegetable

    @coool 老兄，你说的他是不是，火星救援？

  • 資深大佬 : ruzztok

    javascript+vue

  • 資深大佬 : namelosw

    Java 应该不行, GC 就偏离跑道了.

    LISP 那个很久之前我之前看过一些资料, 按理说大部分 LISP 也是 GC 语言, 也会有 freeze 问题, 不过他们的系统是特制的, 会专门留出来 clock 来避免这些问题.

    LISP 的优势就是它的动态性, 所以有问题直接 REPL 现场往里面写代码调试, 有任何之前没想到的问题都可以挽救, 而 C 和 Java 这些写死了编译好了, 就只能重新上传包重启了…

  • 資深大佬 : sujin190

    @hello2060 #68 比如加法指令，消费级芯片每次加法用一个加法器来计算就行，航天芯片为了防止辐射导致的异常，可以使用多个加法器同时计算，然后只有计算结果一致才认为计算成功之类的吧，写内存也可以这样，每次操作结果被保存在 A 、B 两个相同的寄存器中，A 写入内存，B 再和内存比较，一致才认为写成功

  • 資深大佬 : newmlp

    肯定有 C 和 CPP，但是也肯定不止 C/CPP，我是不是说了废话

  • 資深大佬 : allanwell

    首先排除 Swift

  • 資深大佬 : lightwaves

    肯定是实时操作系统，玉兔号用的是 SpaceOS，据说是 VxWorks 改的，我就是搞嵌入式软件开发的

  • 資深大佬 : hello2060

    @sujin190 在这种情况下无法确定哪个是对哪个是错程序也就没有了意义。而且也没法判断哪个是对哪个是错。

  • 資深大佬 : sampeng

    js 也不是不可能啊。。。

  • 資深大佬 : seasona

    c，比如翼辉的 sylixos

  • 資深大佬 : sujin190

    @hello2060 #85 不是要确定哪个对，是确定是错的，错的时候直接触发重新计算，马斯克的 spacex 已经开始使用消费级芯片了，不过是放在防护后面，同时部署多路，每次计算完比较多路结果，一致才继续，否则重试

  • 資深大佬 : nyfwan123

    当然是月语啦！

  • 資深大佬 : jtsai

    框架的话应该是 thinkphp

  • 資深大佬 : hello2060

    @sujin190 那有了校验指令集还要这样多路计算吗？

  • 資深大佬 : chenyu8674

    没有任何语言，所有操作都是机械传动的
    比如发射钮按下去后会拉动一个杠杆，点燃火箭底下的火柴

  • 資深大佬 : sujin190

    @hello2060 #91 有钱就可以啊，消费级芯片因为产量高通用，所以价格要便宜很多，前段时间还看到有文章说马斯克 spacex 因为用消费级芯片省了好多好多钱，所以好牛逼特斯拉要涨了。。

  • 資深大佬 : LiYanHong

    古语

  • 資深大佬 : yiios

    阿波罗的源代码已经在 github 上开源了，自我审查的一群人到底在顾虑什么呢？

  • 資深大佬 : ocean1477

    @chenyu8674 真有你的

  • 資深大佬 : overthemoon

    @wildlynx 这是美国军方的语言吧

  • 資深大佬 : prodcd

    为啥没人猜 Arduino ？

  • 資深大佬 : love

    军方芯片是怎么生产的？几纳米工艺？

  • 資深大佬 : mikumkf

    算法层面都有,Python,C++各种,正好认识个在里面搞算法的