July 2006 Archives

之前不知野台是何物？也沒參加過任何一年的野台開唱。
但是，幾星期前在光點台北誠品意外聽到正播放像是女童般輕柔聲音(雖然聽不懂法語，但真的很棒)，詢問店員卻跟我說是絲慕巴黎第二話，當時沒買，到Fnac法雅客試聽才發現根本不是，原本以為就再也找不到這張專輯。恰好上瑜珈課時，老師正播放著這熟悉的聲音，詢問後來知道原來是Mondialito(夢的雅朵)的清晨筆記(Note of Dawn)。前幾天上Mondialito的官方網站，發現7/28竟然要到台北演唱，便衝動趕去參加2006野台開唱的山大王。
關於Mondialito可見MCB 音樂殖民地的介紹。
強烈建議，以後要參加野台開唱的朋友，記得帶耳塞，不然小弟到現在還一直耳鳴，有些舞台音樂真的很大聲。我的耳朵不知何時會恢復，(T_T)!!
2006-07-30 補充：專輯由前衛花園發行，那有更多Mondialito的介紹和評論。

本文的標題是因為七月份科學人，刊出一篇關於軟體驗證的文章，軟體，別再出錯了！(因中文網站並沒有此篇內文，所以放上英文版文章"Dependable Software by Design")，主要是談到因為軟體越來越龐大，透過事先針對設計作檢核，可以減少之後軟體測試的錯誤和軟體開發成本。以物件導向開發來說，就是在OOA階段就針對UML來分析，降低軟體出錯、開發成本或避免造成重大意外。因此目前這方面大多應用在需高度安全的安全關鍵系統(Safety-Critical Systems)，如航空器、自動控制、醫療設備等等。
但此文作者，Daniel Jackson發展Alloy，使用另一種的狀態檢核方式，有別於之前談論到的Model Checking，叫做Model Finder，基礎為First Order Logic，跟Model Checker的Temporal Logic是不一樣，而作者聲稱比Model Checker更能應付複雜的軟體設計和狀態。而軟體為何不能像其他工程，如土木、機械工程，那樣針對每個元件檢測後，組合便不需再測試？原因在於軟體是離散的，不像其他工程是連續(符合物理性質)，因為每個Component皆獨立，且組合後變化成級數膨脹，而片段執行無誤，不代表整體是可運作的。
相同地，Alloy也必須給定一些Constraints，使其找出軟體設計上的Counterexamples(反例)，證明其缺陷。而規格語言是以Z Formal language為基礎。文中並列出目前各種Formal language(正規語言)的資料。
而之前研究是比較類似USE，使用OCL來表示限制式(Constraints)。

題外話，今年的IBM開發者大會將於7/25~26舉行，期待跟Dr. Ivar Jacobson合照。去年的IBM開發者大會心得。

前幾天，一位網友留言，詢問對Yahoo新版網頁的感想。
以下是回覆的內容：

關於您所給的Yahoo新版網頁介紹。小弟想到的並不是介面、互動程式或AJAX方面，而是昇陽總裁舒瓦茲（Jonathan Schwartz）在1980年所提出的"網路就是電腦"(The Network Is The Computer)，Thin Client將會取代現有的個人電腦。因為在連線費用越來越便宜、頻寬越來越高和資料壓縮技術進步的未來，個人電腦不再需要強大的運算，只需要當作顯示和儲存裝置即可，就連最需要運算的MPEG4影像壓縮，只要交給壓縮晶片或是影像轉檔服務的網站(Youtube或Google Video將來也許會推出)，因文書作業都已經可以透過網頁處理了(如：Google Spreadsheets為網路試算表)。所以有人說「手機未來就是電腦」，小弟認為並非手機的運算能力跟個人電腦一樣。而是Web越來越成熟，2.0- >3.0->X.0會一直演進下去，所以網路就是OS、網路就是一切。只要任何裝置連上網路，就等於有強大的運算能力和功能。
所以基於以上的論述，1.未來顯示晶片會越來越重要，絢麗強大的介面將需要更Power的3D顯示晶片和3D Engine；2.Browser的競爭將持續下去，可能不只是兩雄競爭(I.E. and Firefox)，而是特定功能的Browser會陸續出現，適合線上遊戲的Browser，適合線上剪輯的Browser等等。3.OS設計將兩極化， Thin Client的OS可能只要精簡的上網功能和檔案處理，Server Side OS則將越來越複雜以應付網路運算時代和語意網(Semantic Web)的來臨。4.更多的網路新創公司會出現，不斷挑戰現有的霸主，就像Google取代Microsoft一樣(不大可能完全取代，但部份市場將蠶食，如：Flickr已是最佳的網路相簿網站)。5.搜尋演算法將續熱，資料只會呈級數膨脹，將無用的資料轉變為有用的資訊會越來越重要，以便運用於語意網上。

之後在Google Extensions for Firefox看到想像已久的外掛程式，Google Browser Sync，讓Firefox使用者，可以將Firefox設定上傳至Google，並在其他台電腦開啟時，同步化所有勾選的內容，包括書籤、Cookie、表單帳號密碼等等。讓多台電腦或家中與公司之Firefox都能一致，尤其是書籤，常常必須整理，裝上之後便會自動判定，完全不用在新增或刪除，強力推薦。可見上述淺見對瀏覽器的預測應該還算正確。

上個月參加IBM Domino 7升級戰鬥營，講師利用VMware Server模擬測試環境，讓學員能更瞭解升級步驟及過程。
之後便思考，如果利用VMware來做備援，再不增加硬體的前提下。最簡單的方式如右圖，在兩台伺服器分別執行VMware Server，每台伺服器各執行兩個虛擬系統，Server 1跟Server 1.B完全相同，Server 2亦同，相互備援，當一台伺服器硬體故障，便立即啟動備援的虛擬系統，減少復原時間，甚至當機後能即時啟動，利用JAVA實做Automatic checking agent來確認Domino系統是否運作正常，送出vmware-cmd start的命令，達到Fault-Tolerance的效果。
而VMware Server 1.0正式版已於2006/07/12 Releases，取代原有的VMware GSX Server。
2006-07-21 補充：中國VMWARE網站有非常多VMware的文件跟資訊。