※ 本文為 MindOcean 轉寄自 ptt.cc 更新時間: 2017-11-14 23:01:26
看板 Gossiping
作者 標題 Re: [問卦] 讀通計算機組織對寫程式有什麼幫助？
時間 Mon Nov 13 00:54:13 2017
※ 引述《Huffman (HuffmanAlgorithm)》之銘言：
: 計算機組織與設計
: 內容就是組合語言 評估計算機效能 自組CPU 記憶體管理
: 想不太透這些與碼農寫程式啥關係
: 有無八卦？
既然八卦板在 40 天內有 4 篇文章的標題提及計算機組織，剛好小弟最近授課進度
與此相關，順手回覆如下，歡迎交流討論。(謎之聲：原來八卦板也能夠討論資訊
工程的課業，這看板實在太萬能了，讚歎 Ptt!)
首先，想像一個情境，你到某一間製造家電的公司服務，擔任軟體工程師的你被主管
要求「讓公司的電扇能夠透過某種時序編碼，得以讓使用者感覺出自然風，而且功耗
要降到最低」，你會怎麼應對呢？
要求「讓公司的電扇能夠透過某種時序編碼，得以讓使用者感覺出自然風，而且功耗
要降到最低」，你會怎麼應對呢？
於是你就求助只比 Ptt 大神還遜色一點的 Google，提交以下關鍵字：
「電扇 自然風 控制」
不難發現「用 PIC 單片機製作電扇自然風發生器」[1] 這篇文章，後者開頭寫得很
到位：
「我們使用美國 Microchip 公司的單片機製作了一種電扇自然風發生器，它能有
規律地控制風扇送風的強弱。傳統的電扇通過它可產生自然風，亦可將它直接做在
電扇里，即是自然風電扇。」
規律地控制風扇送風的強弱。傳統的電扇通過它可產生自然風，亦可將它直接做在
電扇里，即是自然風電扇。」
依據上面的描述，所謂「產生自然風」的電扇其實就傳統電扇加上特殊的控制，而且
正是時序控制，原來主管的要求還真的跟軟體工程師背景有關，不是特別刁難你呀。
正是時序控制，原來主管的要求還真的跟軟體工程師背景有關，不是特別刁難你呀。
文中提到的 Microchip 公司在 2016 年初分別收購 Micrel 和 Atmel 兩家老字號
的微處理晶片供應商。作為 8-bit 微控制器的領導廠商，Microchip 毛利高達六成
[2]，這讓人不免好奇這利潤到底怎麼來？！Microchip 陸續清算低毛利 (< 50%)
的微處理晶片供應商。作為 8-bit 微控制器的領導廠商，Microchip 毛利高達六成
[2]，這讓人不免好奇這利潤到底怎麼來？！Microchip 陸續清算低毛利 (< 50%)
的產品，現在該公司著重醫療與健身電子、照明控制、照護與手術等超高毛利的產
業。
舉例來說，在以醫院為背景題材的影集或電影中，我們可見外科醫師以傳統手術刀
切開組織器官，再以絲線結紮止血的畫面，但早在近 100 年前「電刀」的問世，
徹底縮短手術時間、改善傷口癒合，減少病人失血，也降低感染等併發症的機率、
提高醫療品質。「電刀」的英文名稱為 Electrosurgical Unit（縮寫為 ESU），
又稱為高頻電刀，當高頻電流透過器械（電刀筆）作用在人體組織時，會使具有
切開組織器官，再以絲線結紮止血的畫面，但早在近 100 年前「電刀」的問世，
徹底縮短手術時間、改善傷口癒合，減少病人失血，也降低感染等併發症的機率、
提高醫療品質。「電刀」的英文名稱為 Electrosurgical Unit（縮寫為 ESU），
又稱為高頻電刀，當高頻電流透過器械（電刀筆）作用在人體組織時，會使具有
粘滯性的體液極劇振動，因摩擦而產生熱量，使組織內的水分快速蒸發，以致組織
分離或者凝固，這就是以電能代替傳統手術刀的基本原理。[3] 等等，這跟軟體有
什麼關聯？考慮到腦（神經）外科、眼科、耳鼻喉科、婦產科等較為精細的外科手
術時，電刀必須限定操作的次數 (這說法不精確，主要就是反映損耗的狀況)，但
護理人員幾乎不能可能從表面上得知一把電刀到底用了多少次、損耗又如何，這時
就是咱們軟體工程師發揮作用之處，簡單來說，適用精細外科手術的雙極電刀
術時，電刀必須限定操作的次數 (這說法不精確，主要就是反映損耗的狀況)，但
護理人員幾乎不能可能從表面上得知一把電刀到底用了多少次、損耗又如何，這時
就是咱們軟體工程師發揮作用之處，簡單來說，適用精細外科手術的雙極電刀
(bipolar) 裡頭有微控制器，隨時記錄電刀使用的狀況，並作為自我檢驗稽核
機制，避免醫療護理人員過度使用。
忘了說，男人攝護腺的手術自然也跟這類電刀有關，要是軟體沒寫好，讓男人的
功能永久 disable (應該要加上 "d"，表示被動態，哎呀，想起來就心好痛)，那
就是罪過了。既然上述領域裡頭軟體品質的影響很重大，形式化驗證自然就是關鍵
議題，不過有件事是前提：
功能永久 disable (應該要加上 "d"，表示被動態，哎呀，想起來就心好痛)，那
就是罪過了。既然上述領域裡頭軟體品質的影響很重大，形式化驗證自然就是關鍵
議題，不過有件事是前提：
「軟體要在什麼等級的硬體上運作，才能確保演算法和各式控制邏輯得以充分
運作呢？」
就前述電扇控制、電刀，還有多種電廠安全監控系統來說，不乏仍採用 8-bit，
顯然不是為了省錢，而是要在最小的空間達到最低功耗且軟硬體本身都要做出
完整的檢驗，甚至要從電路 register-transfer level (RTL)、週邊硬體、軟體
系統，到通訊協定等等，沒有一個環節可放過。畢竟這動輒造成公共安全危機，
資訊系統造成的損失隨便都以十年起跳。
系統，到通訊協定等等，沒有一個環節可放過。畢竟這動輒造成公共安全危機，
資訊系統造成的損失隨便都以十年起跳。
你說，計算機組織重不重要呢？要是資訊系統的研發人員不能很清楚知道 DMA,
interrupt, exception / trap / mode switch 的成本，不清楚各種硬體行為，
又如何確保時間精準地符合期待呢？當系統放到到汽車電子和航空系統時，就是
一連串即時系統 [5] 的考量，屆時即便是沒充分處理的 page fault 都會讓
interrupt, exception / trap / mode switch 的成本，不清楚各種硬體行為，
又如何確保時間精準地符合期待呢？當系統放到到汽車電子和航空系統時，就是
一連串即時系統 [5] 的考量，屆時即便是沒充分處理的 page fault 都會讓
系統陷入不可挽救的境界 (錯過 deadline，在 hard/safe real-time 往往會
釀造悲劇)，在多核心的架構中，儘管 cache coherence 的成本看起來都是微秒
(10 的 -6 次方秒) 等級或更小，但累積起來卻很可能造成影響，注意，只要有
一次沒符合規範，就 GG 了 (捏著自己 GG 想想有多痛，我說軟體工程師的
(10 的 -6 次方秒) 等級或更小，但累積起來卻很可能造成影響，注意，只要有
一次沒符合規範，就 GG 了 (捏著自己 GG 想想有多痛，我說軟體工程師的
良心)。
不過也不要怕自己做得不夠好，導致他人家破人亡，就不踏入軟體開發，我們
資訊從業人員本該創造更好的數位世界基礎建設，讓世人得以受益，不然我們
的存在還有什麼理由?
資訊從業人員本該創造更好的數位世界基礎建設，讓世人得以受益，不然我們
的存在還有什麼理由?
對了，在加密貨幣領域中，往往伴隨著虛擬機器，如 Ethereum 的 EVM 作為
執行 smart contract 的基礎 [6]，這時你若有充分的計算機組織結構的背景
知識，會讓你開發相關系統軟體時，能夠確保行為更 deterministic, safe,
sequentually correct. 希望讀到這裡，您能有點啟發，歡迎來挑戰相關的
作業 sandbox [7] >>
sequentually correct. 希望讀到這裡，您能有點啟發，歡迎來挑戰相關的
作業 sandbox [7] >>
預期目標
- 研讀 形式化驗證，並透過 cbmc 做 model checking 的練習
- 探討 隔離執行環境的建構與應用，思考加密貨幣領域的系統軟體
- 深入學習 GNU Toolchain，涵蓋 GDB 和 GProf
- 延伸 simulator 作業，培養軟體設計的技巧和學習嚴謹的系統分析
[1] http://cocdig.com/docs/show-post-626.html
[2] https://ycharts.com/companies/MCHP/gross_profit_margin
Microchip Technology Gross Profit Margin (Quarterly) (MCHP)
Microchip Technology has a Gross Profit Margin (Quarterly) of 60.67%. Microchip Technology Gross Profit Margin (Quarterly) (MCHP) charts, historical d ...
Microchip Technology has a Gross Profit Margin (Quarterly) of 60.67%. Microchip Technology Gross Profit Margin (Quarterly) (MCHP) charts, historical d ...
%E6%B7%BA%E8%AB%87%E9%9B%BB%E5%88%80.aspx (請將兩行串接)
[4] https://hackmd.io/s/H1xxp3pF0
![[圖]](https://avatars.githubusercontent.com/u/478921?s=400)
https://www.slideshare.net/jserv/making-linux-do-hard-realtime
GitHub - pirapira/awesome-ethereum-virtual-machine: Ethereum Virtual Machine Awesome List
![[圖]]()
awesome-ethereum-virtual-machine - Ethereum Virtual Machine Awesome List ...
![[圖]](https://avatars2.githubusercontent.com/u/44281?s=400&v=4)
--
※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 140.116.245.162
※ 文章代碼(AID): #1Q27oxcW (Gossiping)
※ 文章網址: https://www.ptt.cc/bbs/Gossiping/M.1510505659.A.9A0.html
推 : 快推 不然大家以為我看不懂1F 11/13 00:55
推 : 媽的有神快拜2F 11/13 00:56
→ : 太猛啦3F 11/13 00:56
推 : 這是讀書筆記吧4F 11/13 00:56
推 : 我也是這樣想的5F 11/13 00:57
推 : 先推6F 11/13 00:57
推 : jserv@@7F 11/13 00:57
推 : 大神先推再看8F 11/13 00:58
推 : 116終於不是廢文惹9F 11/13 00:59
→ : 對不起，是我們116教師不夠努力，檢討中10F 11/13 01:00
推 : WOWOWOWOWOWOW11F 11/13 01:01
噓 : 文組滾12F 11/13 01:02
推 : 推13F 11/13 01:03
推 : 這是教授還助教來發文嗎14F 11/13 01:03
→ : 任何一個受過CS訓練的學生都應該可以上來澄清Arch的用處15F 11/13 01:05
→ : 不過我想學生都在忙著準備期中考，就幫他們回覆
→ : 不過我想學生都在忙著準備期中考，就幫他們回覆
推 : 參見大神17F 11/13 01:05
推 : jserv大大18F 11/13 01:06
推 : 大神推19F 11/13 01:06
推 : 居然在八卦板看到jserv大神 推!20F 11/13 01:08
推 : 強者21F 11/13 01:08
推 : 靠 想說怎麼讀起來有料 原來是高手寫的22F 11/13 01:10
推 : pusheen 我是說push23F 11/13 01:12
推 : 拜讀完 膝蓋痛了一下......24F 11/13 01:13
推 : …25F 11/13 01:15
→ : 怎麼會是膝蓋痛呢？不是GG隱隱作疼啊？！軟體很重要26F 11/13 01:15
→ : 唉唉唉唉，在八卦版看到唐鳳還看到敬群大大，小弟我髕27F 11/13 01:17
推 : 只能推了28F 11/13 01:17
→ : 骨骨折還沒好啊，跪到不能再跪了29F 11/13 01:17
→ : 考完研究所就忘光了QQ30F 11/13 01:18
推 : 讚讚31F 11/13 01:21
推 : !!!32F 11/13 01:21
推 : 有神快拜 剛好最近在念計組33F 11/13 01:23
→ : QQ34F 11/13 01:23
推 : 推35F 11/13 01:24
推 : 先推再看36F 11/13 01:26
推 : jserv37F 11/13 01:26
噓 : 嘻嘻首噓38F 11/13 01:27
→ : 幹原來不是
→ : 幹原來不是
推 : 宅色夫 <(_ _)>40F 11/13 01:27
推 : 太專業了！ 跪了41F 11/13 01:28
推 : 老師好42F 11/13 01:31
推 : 未看先推43F 11/13 01:31
→ : jserv大教我OS嗚嗚嗚嗚
→ : jserv大教我OS嗚嗚嗚嗚
推 : .45F 11/13 01:33
推 : 太神辣47F 11/13 01:36
→ : @b0920075, 感謝捧場，我會多回幾篇讓你好好噓48F 11/13 01:36
推 : 學店資科後面三分之一都不懂49F 11/13 01:37
推 : 大神!!! 推!!!50F 11/13 01:37
→ : @lulocke, 我從台灣最好的學店發文，是我沒寫好，會改進51F 11/13 01:38
推 : 又是半夜優質文52F 11/13 01:38
→ : 老師好53F 11/13 01:39
推 : 大大有甚麼好懂的組合語言資料可以看嗎?54F 11/13 01:39
→ : @newwer, 組合語言存在的目的不是「好懂」，而是掌握電腦55F 11/13 01:40
→ : 還是回去翻 datasheet 和 reference manual 吧
→ : 還是回去翻 datasheet 和 reference manual 吧
推 : 認真文 推57F 11/13 01:41
推 : push58F 11/13 01:45
推 : push59F 11/13 01:46
→ : 跪拜大神60F 11/13 01:48
推 : 好羨慕有這種課…61F 11/13 01:49
→ : 研所才開始自學c語言、linux
→ : 就是沒有基礎才知道基礎學科的重要性
→ : 可惜大多數人在學校中只在意軟體跑出來的結果
→ : 內容及流程對大部分的人來說都是0 kpi. QQ
→ : 研所才開始自學c語言、linux
→ : 就是沒有基礎才知道基礎學科的重要性
→ : 可惜大多數人在學校中只在意軟體跑出來的結果
→ : 內容及流程對大部分的人來說都是0 kpi. QQ
推 : XD 推66F 11/13 01:50
推 : 推67F 11/13 01:50
推 : 推個68F 11/13 01:52
→ : @woo0422, 歡迎用下班空檔挑戰課程練習題，我可以幫忙批改69F 11/13 01:52
推 : 清流推70F 11/13 01:52
推 : jes文 先推在看 ！！！！71F 11/13 01:52
→ : 軟體工程師挑好戰場很重要，不下於歌手選遠對合適的曲目72F 11/13 01:53
推 : 每次發文都附註解，真的是太強大了...73F 11/13 01:53
推 : 趕快推 不然人家以為我不懂74F 11/13 01:55
推 : 哩細在供三小辣75F 11/13 01:55
推 : 釣到了 推76F 11/13 01:57
→ : @Yuwuen, 我只是等學生天亮前把程式交出，發文打發時間77F 11/13 01:57
推 : 請問jserv老師，下班後要如何學好資料結構和演算法的基78F 11/13 02:02
→ : 礎，彌補非純血CS背景的gap，必須以最有效率的寫法完成
→ : 工作任務。
→ : 礎，彌補非純血CS背景的gap，必須以最有效率的寫法完成
→ : 工作任務。
推 : 有神先拜再說81F 11/13 02:02
推 : 樓下解釋 pipeline82F 11/13 02:04
推 : 推84F 11/13 02:06
→ : @over117, 應該先問「為何上班沒辦法達成目標呢？」85F 11/13 02:07
推 : 已收藏這篇文章86F 11/13 02:07
推 : 老師辛苦了87F 11/13 02:07
推 : 任何一個受過CS訓練的學生都應該可以上來澄清Arch的用處88F 11/13 02:08
→ : 我不這麼認為
→ : 樓下比較 MIPS 和 ARM 的主要差異
→ : 我不這麼認為
→ : 樓下比較 MIPS 和 ARM 的主要差異
推 : 推專業91F 11/13 02:10
推 : 難怪覺得這id很眼熟 原來是教授啊92F 11/13 02:11
推 : 是松鼠！！94F 11/13 02:17
推 : 太神啦95F 11/13 02:18
推 : 有神快拜96F 11/13 02:21
推 : 幹這ID先推再說97F 11/13 02:22
推 : 話說 jserv 大師是哪一年拿到助教授的職位的啊98F 11/13 02:22
→ : 以前 NCKU 不是只給講師的名份嘛......
→ : 以前 NCKU 不是只給講師的名份嘛......
推 : 百推100F 11/13 02:24
推 : 神101F 11/13 02:24
推 : 樓下解釋 Amdahl's law102F 11/13 02:26
→ : @zzzz8931, 在我大學畢業前 (好欠揍的答覆XD)104F 11/13 02:28
推 : 我也是半路出家 看到中斷,DMA,CPU loading之類的就頭痛105F 11/13 02:29
推 : 嗯嗯跟我想的一樣106F 11/13 02:29
→ : 尤其是在不同平台之間porting簡直是惡夢107F 11/13 02:30
推 : 尤記得一兩年前問卦的時候，jserv 還沒掛上助教授頭銜..108F 11/13 02:30
推 : 看不完想睡了 謝謝大神109F 11/13 02:30
推 : 朝聖，很受用110F 11/13 02:30
→ : 樓下闡述計算機組織與人工智慧的關聯性111F 11/13 02:31
推 : 樓下列舉 RISC-V 未來發展的可能性與阻礙113F 11/13 02:38
→ : 樓上的問題很好，可惜我還沒有能力作出RISC-V相容處理器114F 11/13 02:46
→ : 還不夠努力，之後有進展一定來分享
→ : 還不夠努力，之後有進展一定來分享
推 : 好的，不知道未來貴校的計組／計結會用白算盤 RISC-V 版116F 11/13 02:47
→ : 當教科書嘛？
→ : 當教科書嘛？
推 : 我目前是電機系大二，研究所想轉資工，目前主要都在寫Py118F 11/13 02:48
→ : 沒看推文猜是教授 居然是..119F 11/13 02:48
→ : thon 和 JavaScript (node js,chrome extension...)，120F 11/13 02:48
→ : 研究過一點點區塊鏈技術，專題想做用智能和約實現的公益
→ : 平台，linux 操作( 寫shell、docker 等) 平日都有在用，
→ : 會Cisco 機器的基礎設定，但我沒有太多架服務的經驗,也
→ : 沒讀過資工必修的科目(演算法等)，我不會c++ 只有寫過C
→ : 但十分入門(沒學到指標)，請問教授您覺的，我學習哪些技
→ : 研究過一點點區塊鏈技術，專題想做用智能和約實現的公益
→ : 平台，linux 操作( 寫shell、docker 等) 平日都有在用，
→ : 會Cisco 機器的基礎設定，但我沒有太多架服務的經驗,也
→ : 沒讀過資工必修的科目(演算法等)，我不會c++ 只有寫過C
→ : 但十分入門(沒學到指標)，請問教授您覺的，我學習哪些技
→ : 研究所不考的東西，大學教授不能教太多，不然會被學生申訴126F 11/13 02:48
→ : 能，對轉資工所幫助比較大？127F 11/13 02:48
推 : 樓下列舉幾項將指令集架構開源的好處與壞處？128F 11/13 02:50
推 : 朝聖Jserv~129F 11/13 02:50
→ : @heaviest, 考台灣的研究所，短期內還是考古題為主(無奈)130F 11/13 02:51
→ : 沒學到C語言的指標不要還沒入門，那連前戲都不算，94不行
→ : 沒學到C語言的指標不要還沒入門，那連前戲都不算，94不行
推 : 幹 讀起來感覺不對 看了id才知道是神132F 11/13 02:56
推 : 最近在唸計組, 推!!!133F 11/13 02:57
推 : 計組真的很重要134F 11/13 03:00
推 : 推 每次都有新東西135F 11/13 03:01
推 : 那您覺的哪些技能學好是對走CS 領域受用無窮的呢？演算136F 11/13 03:02
→ : 法？計組？資結？C? 網路概論？
→ : 法？計組？資結？C? 網路概論？
推 : 七年前得知大神，就一直在後頭追隨您了 <(_ _)>138F 11/13 03:04
→ : @heaviest, 不如「知道自己能做什麼才可發揮自身特質」139F 11/13 03:05
推 : 樓上上忘了 OS140F 11/13 03:06
→ : 盲目學習是很可怕的，尤其搶著在極短時間囫圇吞棗141F 11/13 03:06
→ : 比方說我知道像我這種智商低的人，很難在一個領域成為專家
→ : 但我知道很多專家需要有人協助系統整合，我就從這地方切入
→ : 比方說我知道像我這種智商低的人，很難在一個領域成為專家
→ : 但我知道很多專家需要有人協助系統整合，我就從這地方切入
推 : 朝聖144F 11/13 03:09
→ : 樓下說明何謂 "Pipeline Hazards"？145F 11/13 03:09
→ : (依據鄉民的標準，智商沒有 180，大概都是低智商)146F 11/13 03:09
→ : @zzzz8931, 前面貼的現代處理器講座(cpu)有提到喔
→ : 爭取和真正專家/高手共事的機會(包含寫測試程式)，才會徹底
→ : 看到一個領域的本質，進而知曉其根基的面向有多深遠
→ : @zzzz8931, 前面貼的現代處理器講座(cpu)有提到喔
→ : 爭取和真正專家/高手共事的機會(包含寫測試程式)，才會徹底
→ : 看到一個領域的本質，進而知曉其根基的面向有多深遠
推 : 專業推150F 11/13 03:14
推 : Tax Supervisor!!!!!!!151F 11/13 03:16
推 : 樓下想像，你的程式要跑20分鐘但你的同事只要10秒就跑完152F 11/13 03:17
→ : 那種心情是多麼複雜？
→ : 那種心情是多麼複雜？
推 : 嗚嗚嗚嗚就跟姆斯拿不到總冠一樣哭哭154F 11/13 03:20
→ : https://goo.gl/FEJ3Wc # 如果懂Arch，挖加密貨幣可快20%155F 11/13 03:23
→ : Improve CPU Monero mining up to 20% with huge pages
→ : Improve CPU Monero mining up to 20% with huge pages
→ : 大神 如果選錯專業 想去學習資工方面的從哪下手好 零基157F 11/13 03:27
→ : 礎QAQ
→ : 礎QAQ
推 : 樓下說明為什麼有人會說 g++ 後面別亂加 -O3?159F 11/13 03:27
推 : 不過同時huge pages也不是毫無成本的160F 11/13 03:29
→ : 某些系統(例如Database, KV-store)就不見得適合
→ : 當然也有適合的, 不過應該要case by case討論
→ : 某些系統(例如Database, KV-store)就不見得適合
→ : 當然也有適合的, 不過應該要case by case討論
→ : @tobbaco, 你若要零基礎又要短期看到效果，去找seafood163F 11/13 03:30
→ : 如果真的挖到微秒等級, 就需要精細調教系統了164F 11/13 03:30
→ : 我只能教人如何用15年才頓悟作業系統核心的設計這種學習法165F 11/13 03:30
→ : 感謝 @luckylove 指點！
→ : 感謝 @luckylove 指點！
→ : 樓下說明想要追求最好的效能應該使用C, C++, 還是 Java?167F 11/13 03:32
→ : 你程式要跑20分鐘，你同事只要10秒鐘，假設你們兩個的結168F 11/13 03:32
→ : 果一樣也正確，那我認為應該從國中數學開始檢討。
→ : 也就是說其中有一人的計算方式在邏輯上，充滿著過多無效
→ : 且多餘的作法。
→ : 果一樣也正確，那我認為應該從國中數學開始檢討。
→ : 也就是說其中有一人的計算方式在邏輯上，充滿著過多無效
→ : 且多餘的作法。
推 : 講的例子有點奇怪抱歉，可能10秒跟1秒，比較符合真實172F 11/13 03:37
→ : 那可能叫那位較差的朋友把一本聖經本語言乖乖唸完，再思173F 11/13 03:39
推 : 不敢說指點啦!!(討論總是有益的) 前陣子有看到MongoDB174F 11/13 03:39
→ : 討論「效能」前，應該規範適用的前提。比方說爭分奪秒的175F 11/13 03:40
推 : 講人話176F 11/13 03:40
→ : 考一下算法上有沒有多於的步驟，應該就差不多了。177F 11/13 03:40
→ : 股票交易所可為了提升單核心的運算速度，用液態氮配合超頻178F 11/13 03:40
→ : 跟Redis的一些文件才發現的, hugepages也有跟NUMA互動179F 11/13 03:40
→ : 不過也不無可能吧，真的沒掌握到資料好的性質，確實可能180F 11/13 03:41
→ : 做白工，程式搞一堆其實是浪費時間的步驟
→ : 做白工，程式搞一堆其實是浪費時間的步驟
→ : 硬是把原本4GHz主頻超到接近5GHz，非常熱，一定要處理散熱182F 11/13 03:41
→ : 的地方要特別調整, 不過Hugepage有機會加速是真的183F 11/13 03:41
→ : 但股票交易所即使願意做這樣高成本的投資，但也用Java開發184F 11/13 03:42
→ : 為什麼呢？Java的並行(concurrency)能力和語意行為正確就是
→ : 為什麼呢？Java的並行(concurrency)能力和語意行為正確就是
→ : 話說，很多人會在學習的路上質疑線性代數到底學來幹嘛，186F 11/13 03:43
→ : 箇中關鍵考量點187F 11/13 03:43
→ : 不知道各位怎麼看這件事情？188F 11/13 03:43
→ : 為何不把質疑單一學科的力氣拿來質疑自己存在的意義呢？XD189F 11/13 03:44
→ : 宅色夫大人的作法已經到了最硬的部份，也就是軟體做到沒190F 11/13 03:44
推 : 我還真沒想過要用到液態氮 XD191F 11/13 03:45
推 : 大神教我嵌入式系統~192F 11/13 03:45
→ : 得做了，不過不管怎樣，多思考讓自己的想法洗鍊，其實對193F 11/13 03:45
→ : @poboq0002, 等我做更多醫療電子的計畫後，希望推出GG和MCU194F 11/13 03:46
→ : 關聯的專文和示範
→ : 關聯的專文和示範
→ : 設計都是很有幫助的，我發現現實中不管是寫程式還是什麼196F 11/13 03:46
→ : 結果差的都是不習慣長久思考的人。
→ : 結果差的都是不習慣長久思考的人。
推 : 想問一下，NCKU CSIE 碩士畢業生大多去哪些地方工作呀？198F 11/13 03:49
→ : 其實我覺得現在人或說是大多數的人學習有個很不好的點，199F 11/13 03:50
→ : @zzzz8931, 請不要對學店有太多幻想。我們教師的錯...200F 11/13 03:50
→ : 就是太功利太求要立刻有個東西出來，導致成品都很差，不201F 11/13 03:51
推 : 我沒有要鄙視 NCKU CSIE 的意思，不要誤會202F 11/13 03:51
→ : 過這類人都是結果論者，數學其實是教你簡潔的思考，這在203F 11/13 03:52
推 : 曾經聽聞一個都市傳說…只要在每天凌晨5點提出一個pullRequ204F 11/13 03:52
→ : est，就能interrupt教授的睡眠。
→ : est，就能interrupt教授的睡眠。
→ : 貴校常年在某雜誌榮登企業最愛新鮮人的學校來源，所以才206F 11/13 03:53
→ : 好奇發文
→ : 好奇發文
推 : 太長了明天在看XD208F 11/13 03:54
→ : 當一間學校的畢業生大多放棄在校培養的專業，甘於跟著機器209F 11/13 03:54
→ : 做任何事都很好用，並非一定得套上什麼數學式子或理論。210F 11/13 03:54
→ : 有些教授早上四點回信都不知道他到底是出國還是沒睡覺211F 11/13 03:54
→ : 輪轉之際，就算有幾年幾百億，終究還是學店212F 11/13 03:54
→ : 他們真的有放棄嗎？ 我是很認真的問213F 11/13 03:55
→ : 你的意思是學非所用？
→ : 你的意思是學非所用？
→ : 離題了，等我在教幾年書，拿出更多數據再來揭發真相215F 11/13 03:58
→ : 趕快回歸主題，學習計算機組織很重要 (笑)
→ : 趕快回歸主題，學習計算機組織很重要 (笑)
推 : 那你怎麼看「大學不是職業訓練所」這件事？217F 11/13 03:59
→ : 不熱衷學習吧，時代趨勢跟學校老師無關。218F 11/13 04:00
推 : 八卦版難得優文 推219F 11/13 04:01
推 : 恩恩 跟我想的差不多220F 11/13 04:09
推 : 好認真221F 11/13 04:11
推 : 朝聖推222F 11/13 04:16
推 : 耶 我們教授耶223F 11/13 04:49
推 : 嗚這學期事情跟課都太多沒修到您的iot224F 11/13 04:50
推 : 專業文還不推225F 11/13 04:58
推 : 快住手 不要把syllabus貼上來226F 11/13 05:02
推 : 朝聖推227F 11/13 05:20
推 : 百推內228F 11/13 05:21
推 : 老師好 我星期三要考試QQ229F 11/13 05:29
推 : 哦哦哦哦哦！是宅色夫大大230F 11/13 05:30
推 : 推231F 11/13 06:29
推 : 推232F 11/13 06:36
推 : 有神快拜233F 11/13 06:41
推 : 大神！234F 11/13 06:53
推 : 謝謝教師 我會好好努力唸書去成大235F 11/13 07:10
推 : 我媽問我為什麼跪著滑手機！236F 11/13 07:11
推 : 教授 今年要當幾個人 （被拖走）237F 11/13 07:27
推 : 有神QQ238F 11/13 07:30
推 : 推專業239F 11/13 07:31
推 : 快推240F 11/13 07:32
推 : 推241F 11/13 07:37
推 : 論文給推242F 11/13 07:39
推 : 推243F 11/13 07:42
→ : 有神快拜244F 11/13 07:46
推 : 看到神了245F 11/13 07:48
推 : 百推246F 11/13 07:50
推 : 專業推~247F 11/13 07:57
→ : @NEWSTAY, 其實沒有固定課綱，我通常都是觀察產業和學生248F 11/13 07:58
→ : 素質的分佈，再來決定課程要怎麼進行，自然進度就變化很大
→ : 素質的分佈，再來決定課程要怎麼進行，自然進度就變化很大
推 : 看完了 再推250F 11/13 07:59
→ : @silentence, 趕快讓沒有緣分的學生早點退選，就不用當掉251F 11/13 07:59
推 : 嗯嗯文組看不懂QQ252F 11/13 08:01
→ : @aqua25113, 讓您看不懂，一定是我的表達不好，請告知哪段253F 11/13 08:01
推 : 推254F 11/13 08:02
推 : ....怎我覺得你把這兩個東西牽起來是離題..255F 11/13 08:03
→ : RTL跟high level language有這麼大的關係嗎...
→ : RTL跟high level language有這麼大的關係嗎...
推 : 推257F 11/13 08:04
→ : @mmonkeyboyy, 請查閱歐盟對醫療電子設備的規範258F 11/13 08:04
→ : 囧> 那不過就是一堆規範....SO WHAT259F 11/13 08:06
→ : 有包含整個硬體、軟體，到所有的通訊協定都要通過檢測260F 11/13 08:07
→ : 我還DO254哩....明明計組是要讓學生了解他們的261F 11/13 08:07
→ : 簡單來說，你不只要交代IO，甚至要給出詳細的時序資訊262F 11/13 08:07
→ : code被轉成machine code後在處理器裡會幹嘛263F 11/13 08:08
→ : 藉此了解 如針對特性可以寫出較有效率的程式碼
→ : 藉此了解 如針對特性可以寫出較有效率的程式碼
推 : 神來啦...跪著推文265F 11/13 08:08
推 : 身為文組 我已經盡力了…266F 11/13 08:09
推 : 雖然我想也許這樣會學生聽得進去啦@_@ 但我總覺牽太267F 11/13 08:10
推 : 推268F 11/13 08:11
→ : 遠....囧> 不過每個人的方式不同就是了269F 11/13 08:11
推 : 老師好～270F 11/13 08:12
→ : 也許對embedded的會需要的@_@271F 11/13 08:13
推 : 朝聖272F 11/13 08:13
推 : 文組果然只會誤國273F 11/13 08:14
推 : 但我這種文組的還是去誤國好了274F 11/13 08:17
推 : 連推文都看不懂(≧ ≦)275F 11/13 08:17
推 : 朝聖推276F 11/13 08:17
推 : 快推 不然是別人以為我不會277F 11/13 08:23
推 : 看不懂278F 11/13 08:25
→ : 覺得例子有些問題279F 11/13 08:26
→ : 做embedded system跟cs本來就是兩個不同的領域
→ : embedded system這邊已經比較偏電子底層了
→ : 國外大學cs可是不教授電子電路呦
→ : 做embedded system跟cs本來就是兩個不同的領域
→ : embedded system這邊已經比較偏電子底層了
→ : 國外大學cs可是不教授電子電路呦
推 : 神 這境界凡人不懂283F 11/13 08:27
推 : 推284F 11/13 08:30
→ : 很多國外CS CA CO等課 現在都是 gem5去了285F 11/13 08:33
→ : 當然還有更狠的是 直接ISA去做
→ : 不過這就看系了@_@~ 最近是一幫RISCV的 就照做一份
→ : 當然還有更狠的是 直接ISA去做
→ : 不過這就看系了@_@~ 最近是一幫RISCV的 就照做一份
推 : 神288F 11/13 08:36
推 : 推289F 11/13 08:41
推 : 朝聖推290F 11/13 08:51
推 : 請收下我的膝蓋291F 11/13 08:53
推 : 推推推292F 11/13 08:54
→ : 往embedded走可能用得到...FLAG的話真的不太需要293F 11/13 08:56
推 : 神快拜294F 11/13 08:59
推 : 專業...295F 11/13 09:02
推 : 宅色夫296F 11/13 09:03
推 : 雙膝ㄧ軟297F 11/13 09:05
推 : 計算機組織不是幾百年前的東西嗎，被說得好難QQ298F 11/13 09:05
推 : 成大資訊 看到jserv趕快來朝聖！299F 11/13 09:07
推 : 推！300F 11/13 09:10
推 : 好猛301F 11/13 09:11
→ : @notbeloser, 我只想強調，毛利這麼高的產業需要有人去302F 11/13 09:11
→ : 解決問題，大家應該強化自己的專業，用打群架的方式去搶錢
→ : 解決問題，大家應該強化自己的專業，用打群架的方式去搶錢
推 : 老師都不用睡覺的嗎....304F 11/13 09:22
推 : 神人ㄘㄢˉㄅ305F 11/13 09:29
→ : 參拜
→ : 參拜
→ : @weboau, 想到高等教育培育出來的學生在蠅頭小利打轉，我就307F 11/13 09:30
→ : 睡不好。現在的死胡同太可怕。只有專攻高毛利市場才能翻身
→ : 睡不好。現在的死胡同太可怕。只有專攻高毛利市場才能翻身
推 : J大 你的實驗室有收考試生嗎Q_Q309F 11/13 09:33
推 : Jserv大大 早安 還認得我嗎？ 哈哈哈310F 11/13 09:36
推 : ....高毛利別的進階要求也很高311F 11/13 09:36
→ : 例如車用電腦 早先瑞薩也是強到哭巴 也是XD
推 : 然後等microchip跳進去 大家再跟著跳就搶回來了
→ : 事實上某大廠就是專精此道 說規格嘛 歐盟就那樣啊
→ : 做是做 文件也不是我們去出啊
→ : 例如車用電腦 早先瑞薩也是強到哭巴 也是XD
推 : 然後等microchip跳進去 大家再跟著跳就搶回來了
→ : 事實上某大廠就是專精此道 說規格嘛 歐盟就那樣啊
→ : 做是做 文件也不是我們去出啊
推 : 是大神！316F 11/13 09:44
推 : 正在翻譯matering embedlinux prog這本看到這篇好有感觸317F 11/13 09:55
推 : 有人有辦法一句推文 激怒老師嗎?318F 11/13 10:00
推 : 哇嗚319F 11/13 10:01
推 : 我本科都沒你那莫專精。（拜320F 11/13 10:10
推 : 看到jserv先跪一波321F 11/13 10:11
推 : 我就知道是這樣322F 11/13 10:12
推 : 這不推還有天理嗎？323F 11/13 10:15
推 : 摁摁 我也想這樣說324F 11/13 10:17
→ : 幹 想個屁 跪著推
→ : 幹 想個屁 跪著推
推 : 我以為我在看什麼理論書籍...326F 11/13 10:19
![[圖]](https://i.imgur.com/9ohI6qNh.png)
→ : 推這句328F 11/13 10:20
推 : 嗯嗯，幹你讓我感覺自己像文組329F 11/13 10:22
推 : 好文，推330F 11/13 10:31
推 : 是hard/soft realtime吧？331F 11/13 10:32
推 : 文組看不懂，覺得強332F 11/13 10:36
推 : 推 jserv，學以致用333F 11/13 10:43
推 : 朝聖推334F 11/13 10:43
→ : 靠杯，整篇中文字跟英文字拆開都懂，合起來變天書335F 11/13 10:46
推 : 宅色夫你又來了336F 11/13 10:48
推 : 推337F 11/13 10:55
推 : 有神快拜!!338F 11/13 11:07
推 : 推339F 11/13 11:10
推 : 推340F 11/13 11:11
推 : 推341F 11/13 11:27
推 : 推342F 11/13 11:28
Safety of Computer Control Systems 1986 (Safecomp '86) Trends in Safe Real ... - Google 圖書
![[圖]]()
The proceedings of the fifth workshop in this subject continue the trend set by the previous four and discusses some of the current problems involved ...
→ : @leoone, 想學東西很簡單，趕快來寫作業，我會批改345F 11/13 11:31
推 : 好的 j大 想再問一個問題 ProcessA若 time out 後 想再立346F 11/13 11:35
→ : 即進入 CPU 不管ready Q是否為空 還有需要在做context swi
→ : tch嗎？網路上查的資料 linux似乎會讓PA直接進入 ？
→ : 即進入 CPU 不管ready Q是否為空 還有需要在做context swi
→ : tch嗎？網路上查的資料 linux似乎會讓PA直接進入 ？
推 : 不好意思在這裡問您問題，但我非本科生沒有老師可以問Q_Q351F 11/13 11:37
→ : @leoone, 請愛用kgdb觀察Linux核心的運作，再比對你的理解352F 11/13 11:38
→ : 不要強調自己「非本科」，在這個世紀只要沒強度都是非本科
→ : @BlackBerry10, 激怒我很簡單，只要說「我好手好腳，但我
→ : 覺得 ___ 好難，我放棄」
→ : 不要強調自己「非本科」，在這個世紀只要沒強度都是非本科
→ : @BlackBerry10, 激怒我很簡單，只要說「我好手好腳，但我
→ : 覺得 ___ 好難，我放棄」
推 : 我好像在醉資心95還是95之前某級的學長心得文中看過這位356F 11/13 11:42
→ : 神人學長的事蹟描述 有印象的是自己做UNIX\Linux的優化
→ : 神人學長的事蹟描述 有印象的是自己做UNIX\Linux的優化
推 : 宅色夫，未看先推!!358F 11/13 11:44
→ : 應該是同一位不是我亂組吧 哈哈359F 11/13 11:44
→ : @Sunofgod, 人如果沒有持續進步，就完蛋了，我進步太緩慢360F 11/13 11:48
→ : 成大資工醉資心BBS前站長路過 (小時候的回憶)
→ : 成大資工醉資心BBS前站長路過 (小時候的回憶)
推 : 專業文 推362F 11/13 11:53
推 : 你媽知道你在這發優文嗎？363F 11/13 11:58
推 : 推專業364F 11/13 12:36
推 : .... 認真看完回頭看ID 果然是jserv大神365F 11/13 12:39
推 : XD366F 11/13 12:44
推 : 我記得我剛下課啊？怎麼又上課了(癱367F 11/13 12:55
推 : 看懂最後那段而已....368F 11/13 12:57
推 : 網站怎進不去369F 11/13 13:01
推 : 看不懂 QQ370F 11/13 13:08
推 : 只能推了371F 11/13 13:09
推 : 推！372F 11/13 13:10
推 : 跟我想的一樣373F 11/13 13:20
推 : 先跪再說374F 11/13 14:03
推 : 推 專業375F 11/13 14:10
推 : 跪見宅色夫老師376F 11/13 14:39
推 : ...377F 11/13 14:47
→ : @nova06091, 請告知不能存取的網址為何378F 11/13 15:34
推 : ？？？379F 11/13 15:52
推 : 推380F 11/13 15:53
→ : 好久沒在台灣看到有人提到CBMC model checker了381F 11/13 16:03
→ : 上次還跟一個在微軟研究院的德國佬討論Z3
→ : 微軟用Z3來驗證hyper-v的正確性
→ : 應該是說 VCC 跟 Z3
→ : 上次還跟一個在微軟研究院的德國佬討論Z3
→ : 微軟用Z3來驗證hyper-v的正確性
→ : 應該是說 VCC 跟 Z3
→ : 話說 jserv 大師近期有計畫來 NTU 演講嗎？385F 11/13 16:13
推 : 有神快跪386F 11/13 16:19
推 : 推 太神啦387F 11/13 17:00
推 : 116不發廢文 浪費ip388F 11/13 17:11
推 : 推～最近在學PIC ，畢竟高階語言有他的極限，組語還是很389F 11/13 17:39
→ : 重要的
→ : 重要的
推 : 有神一定要拜！391F 11/13 18:16
推 : 太神了 推推392F 11/13 18:39
推 :393F 11/13 18:57
推 : 老師好，朝聖推394F 11/13 19:21
推 : 娘子!快點出來看上帝!395F 11/13 20:13
推 : 推396F 11/13 21:45
推 : 今天有偷喊老師的名子 不知道老師有沒有注意到XD397F 11/14 00:25
推 : 推 宅色夫398F 11/14 08:11
→ : @chttl5566, 目前研究是RTOS搶佔式排程的model checking399F 11/14 10:27
噓 : 看謀400F 11/14 10:45
→ : @Derp, 請告知哪一段需要改進，謝謝401F 11/14 11:39
推 : 跪推jserv402F 11/14 12:31
推 : 回14樓 是助理教授喔403F 11/14 14:09
推 : 朝聖404F 11/14 14:39
推 : 老師好405F 11/14 19:10
推 : 細細看好像蠻有意思~謝謝厲害的長知識教學分享文406F 11/14 20:32
推 : 推！407F 11/14 22:42
--
(￣︶￣)ｂ Freerunner, MaxColin, Sifox, et79210, clisan 說讚！
1樓 時間: 2017-11-13 10:12:49 (台灣)
→
11-13 10:12 TW
看不懂的人，也能推：我們資訊從業人員本該創造更好的數位世界基礎建設，讓世人得以受益，不然我們的存在還有什麼理由
回列表(←)
分享