作者:
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!!!
作者:
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趁亂推免得被發現看不懂