看板 Gossiping作者 jserv (松鼠)標題 Re: [問卦] 為什麼台灣沒做出作業系統?時間 Sun Oct 1 04:22:10 2017
※ 引述《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
Nucleus RTOS - Wikipedia Nucleus RTOS is a real-time operating system (RTOS) offered by the Embedded Software Division of Mentor Graphics, a Siemens Business, supporting a wide range of 32 and 64bit embedded platforms. Nucleus RTOS was first released in 1993 and to date is estimated to be deployed in over 4 billion devices ...
[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
--
--
※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 220.133.113.20
※ 文章代碼(AID): #1Pp_pv6R (Gossiping)
※ 文章網址: https://www.ptt.cc/bbs/Gossiping/M.1506802937.A.19B.html
※ 同主題文章:
Re: [問卦] 為什麼台灣沒做出作業系統?
10-01 04:22 jserv.
推 wuyiulin: 倚天啊?啥?現在小孩沒裝過倚天1F 10/01 04:23
→ AhSs: 你發錯時間了2F 10/01 04:23
推 pime: 半夜長知識4F 10/01 04:25
推 wuyiulin: 等等這是jserv大大@@
(<___>)5F 10/01 04:25
推 CCY0927: 有神快拜 \(◎o◎)/8F 10/01 04:27
推 sugizo0: 娘子,快點跟牛魔王出來看上帝!12F 10/01 04:32
→ Firstshadow: (づ′・ω・)づ怎噗把開發os時間拿來開發其他東西噠(づ′・ω・)づ 縮好的網頁os捏13F 10/01 04:33
→ jserv: Linus Torvalds開發核心之餘,有漂亮老婆和三位女兒16F 10/01 04:35
→ jserv: 同樣是核心開發者的Nicholas McGuire有5個小孩19F 10/01 04:36
→ jserv: Linux核心大佬Thomas Gleixner也兼顧家庭和事業,女兒好正22F 10/01 04:37
推 ap954212: 我以為會提到上火箭的mini-arm-os24F 10/01 04:38
→ jserv: 真有專業的話,是不需要犧牲開發作業系統的時間啦25F 10/01 04:38
→ ptrex: 倚天只是中文碼翻譯程式。要靠DOS29F 10/01 04:41
推 Apache: 剛好在念OS36F 10/01 04:45
推 doomhammer: 我到底在晚上看到了什麼....先推再說以免人家認為我看不懂38F 10/01 04:46
推 chiayuyu: 哇靠 jserv都不用睡覺的40F 10/01 04:46
→ jserv: 我睡醒看到學生提醒我躺著又中槍,就順便上來推銷課程42F 10/01 04:47
推 Bookdaily: 第一次聽到IoT 平台作業系統的故事43F 10/01 04:49
推 capita: 台灣很難做的是 GUI 的部分 光是專利就鎖死了大部分可能性後面還有應用生態圈問題 但底層技術部分台灣還是可以做的44F 10/01 04:49
推 linda17a3: jserv大推文補充的生育數在暗示什麼嗎46F 10/01 04:51
→ capita: 不過相關專利也差不多都開始解鎖了48F 10/01 04:51
推 nikolas: 感謝大師 放下聯發科 投身教育學子 精神令人敬佩49F 10/01 04:52
推 YU0158: 老師這麼晚還不睡????50F 10/01 04:55
推 yuta02: 嗯吶~@@53F 10/01 04:58
推 tim0922: 大師晚上還是要早點睡阿54F 10/01 04:59
推 swhss: ap , 你有做 mini-arm-os ?55F 10/01 05:00
推 Turas: !!!57F 10/01 05:21
推 joyca: 清流,好久沒看到了59F 10/01 05:23
推 brepus: 推好文~~60F 10/01 05:24
→ rs6000: 為啥我要跪著看這篇70F 10/01 06:00
推 sxcv: 推推71F 10/01 06:01
推 oswad: 神串留名77F 10/01 06:15
推 louiseeg: 居然吊到了 給推 reference通通看78F 10/01 06:17
推 weido: 快推 嘻嘻81F 10/01 06:33
推 iamten: 其實核心不難 完整driver才難 一大堆格規要看86F 10/01 06:41
→ jk01: 有神快拜88F 10/01 06:44
推 doghib: 大師發文必需推94F 10/01 07:02
推 gametv: 有神快拜啊!103F 10/01 07:15
推 cjtv: 看不懂110F 10/01 07:26
推 welen: 推116F 10/01 07:37
推 zufu: 看不懂推120F 10/01 07:43
推 kcheart: 推 jserv 居然自稱肥宅123F 10/01 07:45
推 kenndy: 神人快拜124F 10/01 07:45
推 tgenie: jserv快拜133F 10/01 07:55
推 kenndy: 幾時才有取代windows的作業系統呢?134F 10/01 07:56
推 hdjj: 有神快拜137F 10/01 07:56
推 Fice: 推140F 10/01 07:57
推 sme: 有神快拜~145F 10/01 08:03
推 agong: 以前上過數位邏輯 才知這世界的01149F 10/01 08:05
推 a2470abc: 神一般的存在 感恩大大的奉獻153F 10/01 08:13
推 iosian: seafood156F 10/01 08:16
推 nt46: 推157F 10/01 08:17
推 lemocat: 哇ㄕjserv. <(_ _)>159F 10/01 08:18
推 aokitaka: 是jserv!有神趕快拜163F 10/01 08:21
推 pugipupu: 不是我看不懂事這篇文章發出了一道白光刺的我眼睛好痛啊啊欸欸164F 10/01 08:22
推 don323: 幫高調。記者快來抄169F 10/01 08:25
推 tlsg2: 專業推177F 10/01 08:33
→ jserv: 請叫我「腦禪」,我接受學生用作業的程式碼來供養181F 10/01 08:37
推 kamichu: 號稱一個下午就開發出kernel的大神182F 10/01 08:37
推 Wand: 往上ㄧ滑看id,長知識啊185F 10/01 08:40
推 THBouz: 感恩讚歎(?)
感恩讚歎(?)186F 10/01 08:40
推 bala73: 有神快拜189F 10/01 08:43
推 m9o2o: 專業推190F 10/01 08:43
推 boogieman: 有人真的好沒水準 倚天只是中文系統 常駐程式而已 還不是要裝DOS才能執行?193F 10/01 08:47
推 Dvdoer: 漲知識推197F 10/01 08:51
推 kuokevin: @@原來是Linux大神 跪~200F 10/01 08:53
推 vi000246: 也只有大神能回答這問題了201F 10/01 08:53
推 DICB: 家人問我為什麼把手機舉高 腳跪下來打字....202F 10/01 08:53
推 riker729: 寫作業系統不難 難的是可靠度和效率 有沒有人要用203F 10/01 08:53
推 vinsh: 長知識推206F 10/01 08:58
→ jserv: 「取代Windows」是個不精確的命題,今年超級電腦500強中,500台裡有498台運行GNU/Linux,剩下的2台則是Unix
換言之,MS-Windows在Top 500沒有市占率可言207F 10/01 09:01
→ jserv: 手機和平板的世界中,Windows 10也有類似的頹勢211F 10/01 09:04
推 tksq: 大神給推212F 10/01 09:04
→ jserv: 市場性質不同,就有不同的作業系統和對應的生態系統存在
@linda17a3, 我只是檢討自己的生產力低落, sigh213F 10/01 09:05
推 wax207: 有認真有推,還有就是台灣企業很難接受產品要研發很久這件事,要做到滿很難215F 10/01 09:06
→ jserv: @iamten, 天底下任何事認真做都難,MS-Windows的裝置驅動程式用到formal verification來確保行為符合規範217F 10/01 09:08
→ jserv: @AgentSkye56, 我只是多多兼課,降低被學校解雇的風險221F 10/01 09:11
推 legendd: 跪著看 老師好!227F 10/01 09:13
→ jserv: @kcheart, 搬來台南過生活五年多,我(幸福)肥宅我驕傲229F 10/01 09:13
→ jserv: @ccccccccccc, 我去年開始指導歷史系的學生學習資訊工程
希望我可因此寫出更多人看得懂的東西,這篇的確沒寫好232F 10/01 09:15
推 gR7P4zXH: 那個...hackmd可以用虛擬貨幣贊助嗎235F 10/01 09:18
推 loveu8: 拜一下。禮拜六有聽AOT XD241F 10/01 09:26
推 cabron: 又來個專家在回應PTT文XDD243F 10/01 09:28
推 rhox: ptt滿滿的大神245F 10/01 09:29
→ jserv: @loveu8, 感謝捧場,歡迎一起研究JVM和程式語言的議題247F 10/01 09:32
→ jserv: @defu, 用馬尾圖打賞更好,感恩251F 10/01 09:34
推 widec: 推253F 10/01 09:35
推 oneJack: Audi rm / -rf258F 10/01 09:44
→ oneJack: sudo rm / -rf260F 10/01 09:44
推 kducky: 趕快推不然別人以為我看不懂261F 10/01 09:44
推 saddog: 跪著推文263F 10/01 09:46
→ uice: 那麼,有什麼作業系統,能讓一般人…
簡單安裝Adobe、Autodesk二大廠的軟體!?265F 10/01 09:48
推 jyunwei: 竟然跟看看科技報導跟開箱文就以為懂OS的這麼認真,推269F 10/01 09:50
→ godchildtw: 每個電器都有作業系統,只是是用按鍵或遙控器操作271F 10/01 09:52
→ godchildtw: 電視、冷氣、洗衣機、相機、汽車、飛機、...273F 10/01 09:54
推 Luber: 有神快拜275F 10/01 09:56
推 hackerman: 看文章內容就猜想作者可能是誰 真的是神...284F 10/01 10:15
推 JameC: QQ好羨慕成大的同學285F 10/01 10:16
→ remmurds: 想請問jserv大大有在研究.net core的vm嗎?
還有docker相關的容器技術287F 10/01 10:18
推 ZBeta: 推289F 10/01 10:20
推 liugs963: 娘子,塊跟牛魔王出來看上帝297F 10/01 10:37
推 s755369: jserv 推起來298F 10/01 10:41
推 machiko: 看到id只能推了!301F 10/01 10:44
推 ttping: 有神!!302F 10/01 10:45
推 eyic: 長知識推307F 10/01 10:54
推 mynewid: 差不多就像你說的這樣309F 10/01 10:57
推 maul: 神串留名315F 10/01 11:03
推 kiwi0530: 老師保重身體,這麼晚還要回發廢者也太累了316F 10/01 11:03
推 arhat: 原來是神下凡來解答 推起來317F 10/01 11:04
推 Aesti: 神就是神,面對廢文依然專業又有氣度的回應329F 10/01 11:41
推 jialin6666: 戶政一代的MITUX 同文。 嚴格來說,也是國外核心來改的。後來因為沒支援新的硬體。所以。。。333F 10/01 11:51
推 azter: 推~338F 10/01 12:02
推 rti56kt: 是大神啊啊啊m(_ _;)m339F 10/01 12:02
推 flyady: 這篇神阿~~341F 10/01 12:04
推 sgpx: 專業350F 10/01 12:40
推 jaid: <(_ _)>宅色夫352F 10/01 12:42
→ jserv: @reinforce15, 感謝指正,不過貼文該如何編輯呢?356F 10/01 12:55
推 gusony: 未看先猜 明天jserv上課要講作業系統357F 10/01 13:00
→ jserv: @gusony, 我每堂課都想探討作業系統,特別是演化的背景歷程不過我都要努力壓抑,畢竟學生有足夠素養(能力和GUTS)才行358F 10/01 13:03
推 Dante6: 專業推!360F 10/01 13:06
推 lukechin: 老師~大寫E可以編輯文章XD361F 10/01 13:14
推 maiyuy: 為什麼讓我跪著推文?363F 10/01 13:28
--