Re: [問卦] 為什麼台灣沒做出作業系統？消失

看板Gossiping作者時間6年前 (2017/10/01 04:22), 編輯推噓366(367推 1噓 84→)
留言452則, 375人參與, 最新討論串3/5 (看更多)
※ 引述《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 -- ※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 220.133.113.20 ※ 文章網址: https://www.ptt.cc/bbs/Gossiping/M.1506802937.A.19B.html
推
10/01 04:23, , 1F
倚天啊？啥？現在小孩沒裝過倚天
10/01 04:23, 1F
→
10/01 04:23, , 2F
你發錯時間了
10/01 04:23, 2F
推
10/01 04:24, , 3F
這篇真好。不過你把倚天放哪惹
10/01 04:24, 3F
推
10/01 04:25, , 4F
半夜長知識
10/01 04:25, 4F
推
10/01 04:25, , 5F
等等這是jserv大大@@
10/01 04:25, 5F
→
10/01 04:26, , 6F
(<___>)
10/01 04:26, 6F
推
10/01 04:26, , 7F
優文給推
10/01 04:26, 7F
推
10/01 04:27, , 8F
有神快拜 ＼(◎o◎)／
10/01 04:27, 8F
推
10/01 04:27, , 9F
大半夜發專業文是怎麼回事XDDD
10/01 04:27, 9F
推
10/01 04:28, , 10F
啊啊啊你是敬群大師！
10/01 04:28, 10F
推
10/01 04:30, , 11F
同時在四大都開課的大神！！快拜
10/01 04:30, 11F
推
10/01 04:32, , 12F
娘子，快點跟牛魔王出來看上帝！
10/01 04:32, 12F
→
10/01 04:33, , 13F
(づ′・ω・）づ怎噗把開發os時間拿來開發其他東西噠
10/01 04:33, 13F
→
10/01 04:34, , 14F
(づ′・ω・）づ 縮好的網頁os捏
10/01 04:34, 14F
推
10/01 04:34, , 15F
好 快推免得別人說我看不懂
10/01 04:34, 15F
→
10/01 04:35, , 16F
Linus Torvalds開發核心之餘，有漂亮老婆和三位女兒
10/01 04:35, 16F
推
10/01 04:36, , 17F
天啊，拜見大神
10/01 04:36, 17F
推
10/01 04:36, , 18F
是jserv大大
10/01 04:36, 18F
→
10/01 04:36, , 19F
同樣是核心開發者的Nicholas McGuire有5個小孩
10/01 04:36, 19F
推
10/01 04:37, , 20F
你好靠腰喔 竟然有標參考資料
10/01 04:37, 20F
推
10/01 04:37, , 21F
天啊！！真大神！！臺灣知名的！！
10/01 04:37, 21F
→
10/01 04:37, , 22F
Linux核心大佬Thomas Gleixner也兼顧家庭和事業，女兒好正
10/01 04:37, 22F
推
10/01 04:38, , 23F
參拜
10/01 04:38, 23F
推
10/01 04:38, , 24F
我以為會提到上火箭的mini-arm-os
10/01 04:38, 24F
→
10/01 04:38, , 25F
真有專業的話，是不需要犧牲開發作業系統的時間啦
10/01 04:38, 25F
推
10/01 04:39, , 26F
厲害!!!
10/01 04:39, 26F
推
10/01 04:39, , 27F
先存檔晚點看
10/01 04:39, 27F
推
10/01 04:40, , 28F
老師真的是太認真了 這種時間還在做研究ＱＱ
10/01 04:40, 28F
→
10/01 04:41, , 29F
倚天只是中文碼翻譯程式。要靠DOS
10/01 04:41, 29F
推
10/01 04:41, , 30F
快推 我真的看不懂XD
10/01 04:41, 30F
推
10/01 04:42, , 31F
還有附參考來源 好正式XD
10/01 04:42, 31F
→
10/01 04:43, , 32F
敬群大師你真的很屌欸欸欸
10/01 04:43, 32F
→
10/01 04:43, , 33F
(づ′・ω・）づ 說ㄉ怎都剛好是linux的ㄇ
10/01 04:43, 33F
推
10/01 04:43, , 34F
這種時間做研究不好吧…
10/01 04:43, 34F
推
10/01 04:45, , 35F
c: \et
10/01 04:45, 35F
推
10/01 04:45, , 36F
剛好在念OS
10/01 04:45, 36F
→
10/01 04:45, , 37F
優文！
10/01 04:45, 37F
推
10/01 04:46, , 38F
我到底在晚上看到了什麼....先推再說以免人家認為我看
10/01 04:46, 38F
→
10/01 04:46, , 39F
不懂
10/01 04:46, 39F
還有 373 則推文
推
10/01 21:06, , 413F
朝聖推... <(__ __)>
10/01 21:06, 413F
推
10/01 21:14, , 414F
推~~
10/01 21:14, 414F
推
10/01 22:18, , 415F
推
10/01 22:18, 415F
推
10/01 22:59, , 416F
老師，要修改內文，可先回到文章列表，游標只在你的
10/01 22:59, 416F
→
10/01 23:00, , 417F
文章前面後按大寫E，即可修改文章囉
10/01 23:00, 417F
→
10/01 23:01, , 418F
*指在
10/01 23:01, 418F
推
10/01 23:18, , 419F
9.2五毛:下一篇要拿中國開發LINUX全面導入政府來酸台灣
10/01 23:18, 419F
推
10/01 23:59, , 420F
10/01 23:59, 420F
→
10/01 23:59, , 421F
是說，之前那個搶車票、演唱會門票最後有改善嗎？
10/01 23:59, 421F
推
10/02 01:11, , 422F
短短的幾分鐘 就可以 coding OS 推神人
10/02 01:11, 422F
推
10/02 02:22, , 423F
神
10/02 02:22, 423F
推
10/02 07:56, , 424F
看基佬上鋼彈馬上改OS，宅色夫就是這類型新人類
10/02 07:56, 424F
→
10/02 07:56, , 425F
jserv大大可以介紹幾款國人開發的RTOS嗎？
10/02 07:56, 425F
→
10/02 08:42, , 426F
@busybox, 現在的問題是台灣業界普遍「做了不說」，例如
10/02 08:42, 426F
→
10/02 08:44, , 427F
聯發科、晨星，和金麗科這些台灣公司都有自己研發的RTOS
10/02 08:44, 427F
→
10/02 08:44, , 428F
而且已經賣到世界各地，搭配晶片銷售到許多你我未曾想像到
10/02 08:44, 428F
→
10/02 08:45, , 429F
的角落，不像某些人說「不知道怎麼賣」，但這些RTOS從未
10/02 08:45, 429F
→
10/02 08:46, , 430F
單獨出現或者應用在其他晶片中，而是作為整合解決方案
10/02 08:46, 430F
→
10/02 08:47, , 431F
因此外界永遠只看到這些IC設計公司，卻不理解他們對於
10/02 08:47, 431F
→
10/02 08:47, , 432F
系統軟體的投入，當然也不曉得台灣RTOS的發展狀況
10/02 08:47, 432F
→
10/02 08:48, , 433F
@ctes940008, 改善是絕對有，但可能不是你想像的幅度
10/02 08:48, 433F
推
10/02 10:59, , 434F
有神快拜
10/02 10:59, 434F
→
10/02 11:28, , 435F
宅色夫RRR
10/02 11:28, 435F
推
10/02 11:51, , 436F
任務導向的os無需考慮安裝程式或是配合數以百計硬
10/02 11:51, 436F
→
10/02 11:51, , 437F
體，其實跟windows，ios等應用系統面對的問題不太
10/02 11:51, 437F
→
10/02 11:51, , 438F
一樣，不可一概而論啦
10/02 11:51, 438F
→
10/02 11:52, , 439F
作業系統這個概念太廣泛惹
10/02 11:52, 439F
→
10/02 11:52, , 440F
rtOs的效能不是win，Macos等系統能比擬的
10/02 11:52, 440F
推
10/02 12:00, , 441F
如果說要建立生態系統吸引人使用開發，搞出下一個w
10/02 12:00, 441F
→
10/02 12:00, , 442F
in或是ios這種玩意台灣還真的辦不到
10/02 12:00, 442F
推
10/02 13:11, , 443F
宅色夫，未看先推!!!
10/02 13:11, 443F
推
10/02 16:19, , 444F
jserv的話，應該說這幾年來竟只做了2套 XDDDDDDD
10/02 16:19, 444F
推
10/03 07:25, , 445F
推
10/03 07:25, 445F
推
10/03 18:53, , 446F
推個QQ
10/03 18:53, 446F
推
10/04 00:22, , 447F
朝聖推:)
10/04 00:22, 447F
推
10/04 09:37, , 448F
jserv 必推
10/04 09:37, 448F
推
10/05 10:00, , 449F
未看先猜有人玩倚天梗，然後有新警察嚴詞指正它不是OS
10/05 10:00, 449F
推
10/06 15:56, , 450F
<(_ _)>
10/06 15:56, 450F
推
10/07 12:46, , 451F
一定要推一下的啊！ https://goo.gl/yv487Z
10/07 12:46, 451F
推
11/09 10:40, , 452F
跪了
11/09 10:40, 452F
‣ 更多 jserv 的文章
文章代碼(AID): #1Pp_pv6R (Gossiping)
討論串 (同標題文章)
本文引述了以下文章的的內容：
以下文章回應了本文：
完整討論串 (本文為第 3 之 5 篇)：
排序： 最舊先 | 最新先 | 留言數
在新視窗開啟完整討論串 (共5篇)
‣ 更多 jserv 的文章
文章代碼(AID): #1Pp_pv6R (Gossiping)