楼主:
jserv (松鼠)
2017-10-01 04:22:10※ 引述《inet (所有的相遇都有意义)》之铭言：
: 三大作业系统
: 微软有Windows
: 频果有iOS
: Google 有android
: 都是美制
: 看出来要称霸市场没有作业系统不行
: 为什么只要美国做得出来？
这样说来，标题应该改成“为什么德国/日本/中国/...(其他G20列表)...没做出
作业系统？”
其实第一行就可议，请问什么叫做“三大作业系统”？用出货量来计算吗？还是
依据媒体的可见度呢？
从电子计算机问世以来，作业系统从来就不是单独存在，是为了解决特定的工程
议题，人们多半不会直接接触作业系统，而是透过其上的应用程式或 shell (这
不好翻译，可理解为让你输入命令的文字接口或者图形人机接口等等)。
如果真要算出货量，上述三套作业系统还比不上 seL4，后者光在 2005 年到 2012
年之间就累积超过 15 亿台装置的出货量 [1]，而 seL4 源自哪里？德国和澳大利亚，
更深入来看，seL4 在分类上隶属于 L4 微核心 [2]，这领域最顶尖的研究单位就在
澳大利亚，甚至美国军方也采用 seL4 作为新一代无人作战直升机里头的主要作业
系统 [3]。为什么美国军方采纳自己国家以外的解决方案呢？原因无他，seL4 是世界
上第一个被证实功能和实作完全符合期望的高效能作业系统核心 [4]。
看到这里，你大概会说：“原来澳洲不只有袋鼠和打工度假，还有世界一流的作业
系统呀？”
从 Wikipedia 的资料 [1] 显示，L4 微核心的家族成员除了 seL4，还有好几个实作，
其中不乏商业化应用的案例，包含两个由台湾人参与的专案，如 codezero microkernel
和 F9 microkernel，后者则是源自台湾成功大学的课堂作业 (开发主力之一是一位大学
四年级的学生)。在电脑科学的研究排名来说，成功大学可能连二流都称不上，但仍可
孕育出已透过 F9 microkernel，让美国 Genesi 公司以此为根基，开发出 IoT 平台
里头的作业系统 [5]。该怎么解释呢？Because we can.
不过出货量达到 15 亿个单位的作业系统比比皆是，像是老字号的 Nucleus RTOS [6]
累积用于世界上超过 40 亿个装置中，远超过原命题“三大”的出货量总和，而
Nucleus RTOS 就由总部设立于德国的企业西门子所拥有。
在 Military & Aerospace [7] 列出的国防和航太工业讯息中，也可找到台湾厂商作为
重要供应商的讯息，而也有台湾人开发的作业系统核心在里头。之前网友说得很好，
光是 Ptt 八卦板的网友就有一堆具备开发作业系统的经验。
依据工业技术研究的数据 [8]，2008 年台湾在工具机的市场产值达到 1200 亿元，占
世界第 5 名，出口值则达 960 亿元，为世界第 4 名，而台湾工具机供应商所采用的
作业系统，不乏自制的实作，像是来自工业技术研究院，也有台湾厂商在极为精简的
人力投入下，开发出运用在前述高单价市场的 RTOS 核心。只会敲键盘的肥宅如我，
这几年也做了两套，遑论板上高手如云的诸位。
开发作业系统可能也不会太难，至少对一位大三下学期才从 C 语言程式设计学起的
成大机械系学生来说 (喔，真的不需要动员到资讯工程系的学生)，两学期的训练就
足以开发一套具体而微的作业系统 [9]，甚至成为大学作业系统课程的教材。这方面
来看，我对台湾的教育还是深具信心。
若您对开发作业系统感兴趣，在成功大学甚至有专门的课程 [10]，欢迎参考指教。
台湾人王祐中博士在上个世纪就开创 Linux 为基础的即时作业系统的重要里程碑，
绝对是当时的“三大”解决方案之一，他说过一席很棒的话，在此分享如下：
“写一个作业系统是多么美好的事，在有限的生命中千万不要遗漏了它。”
[1] https://en.wikipedia.org/wiki/L4_microkernel_family
[2] microkernel 中文资讯请见拙作: https://hackmd.io/s/SJ55y7fR
[3] https://futurism.com/darpa-is-trying-to-develop-an-unhackable-drone-by-2018/
[4] 里头重要的特质就是形式化验证，可参见拙作: https://hackmd.io/s/H1xxp3pF0
[5] https://genesi.company/solutions/embedded
[6] https://en.wikipedia.org/wiki/Nucleus_RTOS
[7] http://www.militaryaerospace.com/
[8] https://goo.gl/m6hXof
[9] http://wiki.csie.ncku.edu.tw/embedded/rtenv
[10] http://wiki.csie.ncku.edu.tw/sysprog/schedule
作者:
wuyiulin (龙破坏剑士-巴斯达布雷达)
2017-10-01 04:23:00倚天啊？啥？现在小孩没装过倚天
作者:
AhSs (阿絲)
2017-10-01 04:23:00你发错时间了
作者:
formatted (ゴミ丼 わがんりんにゃれ)
2017-10-01 04:24:00这篇真好。不过你把倚天放哪惹
作者:
pime (JayCheng)
2017-10-01 04:25:00半夜长知识
作者:
wuyiulin (龙破坏剑士-巴斯达布雷达)
2017-10-01 04:25:00等等这是jserv大大@@(<___>)
作者:
AnnaOuO (AnnaOuO)
2017-10-01 04:26:00优文给推
作者:
CCY0927 (只是个暱称罢了)
2017-10-01 04:27:00有神快拜 ＼(◎o◎)／
作者:
formatted (ゴミ丼 わがんりんにゃれ)
2017-10-01 04:28:00啊啊啊你是敬群大师！
作者:
sugizo0 (台湾鲁蛇)
2017-10-01 04:32:00娘子，快点跟牛魔王出来看上帝！
(づ′・ω・）づ怎噗把开发os时间拿来开发其他东西哒(づ′・ω・）づ 缩好的网页os捏
作者: linda17a3 (510) 2017-10-01 04:34:00
好 快推免得别人说我看不懂
楼主:
jserv (松鼠)
2017-10-01 04:35:00Linus Torvalds开发核心之余，有漂亮老婆和三位女儿
作者:
oaoa0123 (ball ^ω^ ice)
2017-10-01 04:36:00天啊，拜见大神
楼主:
jserv (松鼠)
2017-10-01 04:36:00同样是核心开发者的Nicholas McGuire有5个小孩
楼主:
jserv (松鼠)
2017-10-01 04:37:00Linux核心大佬Thomas Gleixner也兼顾家庭和事业，女儿好正
作者:
ap954212 (death is like the wings)
2017-10-01 04:38:00我以为会提到上火箭的mini-arm-os
楼主:
jserv (松鼠)
2017-10-01 04:38:00真有专业的话，是不需要牺牲开发作业系统的时间啦
作者: ptrex (咖哩炖大学布连系) 2017-10-01 04:41:00
倚天只是中文码翻译程式。要靠DOS
作者:
formatted (ゴミ丼 わがんりんにゃれ)
2017-10-01 04:43:00敬群大师你真的很屌欸欸欸
作者:
Apache (阿帕契)
2017-10-01 04:45:00刚好在念OS
我到底在晚上看到了什么....先推再说以免人家认为我看不懂
楼主:
jserv (松鼠)
2017-10-01 04:47:00我睡醒看到学生提醒我躺着又中枪，就顺便上来推销课程
作者:
capita (小明)
2017-10-01 04:49:00台湾很难做的是 GUI 的部分 光是专利就锁死了大部分可能性后面还有应用生态圈问题 但底层技术部分台湾还是可以做的
作者: linda17a3 (510) 2017-10-01 04:51:00
jserv大推文补充的生育数在暗示什么吗
作者:
capita (小明)
2017-10-01 04:51:00不过相关专利也差不多都开始解锁了
作者:
nikolas (你花多少时间?)
2017-10-01 04:52:00感谢大师 放下联发科 投身教育学子 精神令人敬佩
作者:
YU0158 (è¿·ä½ çŽ‰â„¢)
2017-10-01 04:55:00老师这么晚还不睡????
作者:
deepdish (Keep The Faith)
2017-10-01 04:57:00推
作者:
yuta02 (火车上面有鳄鱼~)
2017-10-01 04:58:00嗯呐～@@
作者:
tim0922 (掬水月)
2017-10-01 04:59:00大师晚上还是要早点睡阿
作者: swhss 2017-10-01 05:00:00
ap , 你有做 mini-arm-os ？
作者: andycypress (......) 2017-10-01 05:21:00
原来半夜不睡觉可以捕获名人呢
作者:
Turas (ﾟдﾟ)
2017-10-01 05:21:00!!!
作者: TatsuyaShiba ( ) 2017-10-01 05:22:00
纯推116学长
作者:
joyca (joyca)
2017-10-01 05:23:00清流，好久没看到了
作者: brepus (brepus) 2017-10-01 05:24:00
推好文～～
作者:
fly0204 (For the Empire)
2017-10-01 05:25:00有神先拜
作者: lovejay6602 (Mr yee) 2017-10-01 05:30:00
是神明大人啊
作者:
yuu101 (YY)
2017-10-01 05:35:00神 快拜
作者: silentence (小飞号：号：) 2017-10-01 05:49:00
有神咬饵啦 ~
作者: jefferya147 (头上一把刀) 2017-10-01 05:58:00
朝圣
作者:
rs6000 (正义的胖虎)
2017-10-01 06:00:00为啥我要跪着看这篇
作者: sxcv 2017-10-01 06:01:00
推推
作者:
wasijohn (咖咩哈咩哈)
2017-10-01 06:01:00对
作者:
MissMacy (玫希最爱灰灰)
2017-10-01 06:02:00先推再拜
作者: PolarGG (PolarGG) 2017-10-01 06:14:00
跪着推
作者: oswad (os) 2017-10-01 06:15:00
神串留名
作者:
coolda (cool)
2017-10-01 06:21:00有神快拜
作者:
weido (维逗)
2017-10-01 06:33:00快推 嘻嘻
作者:
uniski (梦想航海的水瓶)
2017-10-01 06:36:00推
作者: ernova831 2017-10-01 06:40:00
啊啊啊啊啊啊有神快拜啊啊啊啊啊啊
作者:
iamten (小腾)
2017-10-01 06:41:00其实核心不难 完整driver才难 一大堆格规要看
作者:
wensandra (天邊的一顆星)
2017-10-01 06:43:00这篇写的是中文吗？ 我怎么看不懂
作者: jk01 2017-10-01 06:44:00
有神快拜
作者:
Wush978 (拒看低质媒体)
2017-10-01 06:50:00推
作者:
larusa (最爱小熊宝贝)
2017-10-01 06:54:00朝圣 推
作者:
doghib (lun)
2017-10-01 07:02:00大师发文必需推
作者:
JJ1622 2017-10-01 07:05:00有神快拜
作者: tn754030 (tn754040) 2017-10-01 07:05:00
百推内 有神快拜
作者:
jitaomef (agilebean)
2017-10-01 07:06:00推
作者:
seon520 (一乐)
2017-10-01 07:10:00推
作者:
gametv (期待着今天)
2017-10-01 07:15:00有神快拜啊!
作者:
keyman2 (edge)
2017-10-01 07:22:00都没听过QQ
作者: cadaver (尸体) 2017-10-01 07:23:00
推jserv
作者:
cjtv (小当家)
2017-10-01 07:26:00看不懂
作者:
spc17992 (Fasto)
2017-10-01 07:34:00朝圣!
作者:
charlly (风塔的高度)
2017-10-01 07:35:00身体要顾~
作者: wkunhui (kunhui) 2017-10-01 07:36:00
有神快拜
作者: welen (keep walking) 2017-10-01 07:37:00
推
作者: Jurrasicube (Jrec) 2017-10-01 07:38:00
有神快拜
作者: elliotpepe (鲜克有终) 2017-10-01 07:41:00
1
作者:
shiauji (消極)
2017-10-01 07:43:00懵
作者:
zufu (祝福)
2017-10-01 07:43:00看不懂推
作者: easybaby 2017-10-01 07:44:00
推
作者:
kcheart (很菜很鲁 就是鲁菜吗？)
2017-10-01 07:45:00推 jserv 居然自称肥宅
作者:
kenndy (SUPERMAN)
2017-10-01 07:45:00神人快拜
作者:
Dinenger (低能兒)
2017-10-01 07:45:00趁乱推免得被发现看不懂