Fred's blog

為了弄出一些空硬碟，我整理一些舊資料想燒出來，無意間發現過去的一些有趣想法〔笑〕。這是我高中時期的一個構想，原本是針對思考現今程式邏輯的不足，所提出的另一種邏輯原型。當時純粹只是為了解決線性邏輯的單方向性，所以僅僅在解決新模型的結構問題。過程以簡單的幾何方式來緒述初步架構，並未思考到實際的應用，當然也缺少許多實際的數學推導。但是由於長期接觸資料庫的應用和系統的規劃，後來在高三時的一些空閒時間，有嘗試運用和簡化該模型使用在資料庫處裡的系統上，雖有些初步成果，但也還不到實用階段。 簡單來說，對邏輯要就是 off(false) 不然就是 on(true)，這是 0 與 1 的基本概念。但進一步的邏輯是線性的， 0 與 1 決定了兩條向前走的路，如果每碰到一個 0 與 1 的判斷算是一個 Node ，那每個 Node 連起來最終會形成一條直線，且這條直線上有一個 Node 會是我們要的答案，至於是哪一個呢？就是由程式設計師決定了。線性邏輯已經被全世界的數學家、哲學家、科學家和 Hacker 發揮到淋離盡緻，它的確可以稱為今日的科技之母，當然，Multi-dimensional Logic Computing Model 也是架構在這上面。 只不過線性邏輯總是無法處理意外(exception) 的狀況，解決兩個選擇以外的組合，需要靠更多的 Node 去解決。我們必需先用人腦判斷是否有意外發生，再去針對意外設計 Node 解決，這也是為什麼當今 Artificial Intelligence 遲遲無重大突破的原因。雖然出現很多模糊理論、基因演算法、神經網路理論，但也不過是想辦法將 exception 當成訓練因子，歸納收斂成一個運算的方向，再用固定形式去求出答案。 在這種狀況下，線性邏輯顯然不夠用。從幾何的角度切入，一直線可以有無盡的 Node；從數學方程式來看，若是等號兩邊相等，一條線最終的 Node 必等於第一個 Node。從此假設可以發現，邏輯線被繞成一個圈，但是在應用面來說，這個圈沒有答案、沒有意義。為了解決這問題，於是想到種方法，若使用兩條邏輯線，必會產生兩個互相交集的點，這也代表答案將可能出現在這兩個點上面〔也就是停住有解答〕。 現在假設邏輯線可能很多且不論是否有交集：若每條線相同長度，無窮的圓周線將有可能變成一個球體狀，但事實上不同的邏輯不可能同樣長，這造成了形狀...

說到叢集電腦(Cluster Computer)，過去最容易建置的 Cluster 方案 openMosix，一向擁有許多的用戶和支持者，相較其他的專案如：OpenSSI，openMosix 對 Linux Kernel 的改動最小，而且，就它的發展歷史來看，也是取經於過去已經存在的 Mosix 架構，因此不論是在安裝建置或是可用性上，openMosix都是良好且值得一用的不二選擇。但是，openMosix在今年突然宣佈了將要停止開發的消息，這消息令許多人錯愕，也都紛紛尋找其他替代方案；就在這時候一向被認為不成熟的 Kerrighed 專案﹝ http://www.kerrighed.org/ ﹞，在今年度開發的表現亮眼，逐漸跳脫出給人不成熟的印象。 Kerrighed 在不久前支援了 2.6.20 的新核心，也釋出了 2.0、2.1 版本，代表的是從 1.0 的概念實作，提升了到開始針對實用面的研發，並立即支援了多處理器和64位元架構的硬體。 以下是 Kerrighed 官方網站上的目前發展特色說明： Current Features Global Process Management Cluster wide PIDs Process migration with open files, pipes, sockets, shared memory segments, etc. Mosix-like global process scheduler. Full cluster wide UNIX process management interface (ps, top, kill, etc). Global Memory Management Support for distributed system V memory segments. Checkpoint / restart Checkpoint/restart of single processes (EXPERIMENTAL) Kerrighed 在網站上的研發行程表示，將在年底改進執行程序轉移的效能， 更會在 明年增進數個關於記憶體、檔案暫存等特色，值得另人矚目。 後記 我將會在有空的時候詳細測試 Kerrighed 的能力，若有更多相關心得和問題，也將陸續記錄下來。