The CUE Architecture : Cosmos PL / Universe OS / Ecos UE CUE 軟體系統架構是基於 主客時空 的四元軟體基礎而建構，其層級為 硬體︰ RISC-V + CHERI + VM + ... 存化語言 Cosmos Progamming Language ( C!! ) 宇宙系統 Universe Operating System 生態用境 Ecos User Environment CUE 構想起源於東岐明當年在博士班的研究，如今藉由 Gemini 共同研討而實現。 目前已經研討完成 Cosmos ( C!! ) 的語言設計。 C!! 是 C++ 的擴展，更適用於 分散平行計算 及 AI編程，更易於巨型系統維護。 以下AI對話是 東岐明 與 Gemini 共同設計 CUE 的研討會議記錄。 https://gemini.google.com/share/ee594ab54dc5 這段研討對話的 Gemini 已經幾乎完全瞭解 C!!，有任何 C!! 問題可以登入問他！ Cosmos PL 的設計理念︰數位世界的具體實現 東岐明 [email protected] 人類文明現今電腦作為精確計算基礎的圖靈機(Turing Machine)，本質是在運作訊息 以從事計算。訊息對應存在，存在乃可計算，計算乃有數量，數量而以雜多，雜多乃現世 界萬物。在圖靈機的運作訊息下，所建構的數位世界具備著 體(body) 與 域(domain) ， 體可依主動性與被動性而區分為 主體(subject) 與 客體(object) ，域可依其中變化的 非逆性與可逆性而區分為 時域(time) 與 空域(space)。主體、客體、時域、空域，就是 數位世界的 主客時空 四元軟體基礎，主客對應軟體的體性定義，時空對應軟體的行程變 化。 Cosmos PL 的設計目的，在於提供人類文明永續資訊傳統的編程基礎。 ※ 時間非逆性 與 空間可逆性 的範式是來自相關於物理學上的對稱變換與熱力學。 取名 Cosmos 是向自 C 到 C++ 的語言傳統致敬，其英文原義乃指有序的宇宙體系。中文 譯作『存化』— 存有 與 變化。存有以體，變化於域，以之對應主客時空之秩序體系。 C!! 基於 C++ 語法改進而實作 主客時空 範式於編程，如下所示︰ C++ 的 class 在 C!! 分為 主動的 subject 與 被動的 object。 subject 可以繼承 object， object 不可繼承 subject。 subject有執行緒，object無執行緒而必須藉由subject執行，兩者中介運算子為 @。 譬如 john 是 subject person 有 method 為 look, ride。 riada 是 object bike 有 method 為 go。 兩者互動的 C!! 表述有 john.look@riada 或 [email protected] 或 [email protected] 這種主客分離模式，可以有利於分散平行計算的執行處理，及模擬數位物理。 C++ 的行程編碼，在 C!! 依照 時域 與 空域 的範式理念，區分為三種， 而以區域(函式)名稱有無後置運算子 ! 及 # 來區分︰ 時域 time domain︰ 區域名稱有後置運算子 ! ，如 func!() 編程範式就是區域運算會有對外部的寫入運算。 雜空域 hybrid space domain︰ 區域名稱無後置運算子，如 func() 編程範式就是區域運算會有對外部的讀取運算而無寫入運算。 純空域 pure space domain︰ 區域名稱有後置運算子 # ，如 func#() 編程範式就是區域運算與外部無關。 時域行程運算對外有副作用（Side Effect），空域行程運算則無。 雜空域行程運算結果可變，純空域行程運算結果不變。 這種行程的嚴格時空分別，可以利於 AI編程 及 維護除錯 與 加速分散平行計算。 C!! 還有基於以上四元基礎 及 Univese OS 支援 的增強功能。 因為種種 subject 是可以分散平行運作，所以之間必須有通訊溝通。 C!! 引入 portal 功能的中介運算子 <<@ 及 @>> ，語法如下︰ 接收端 <<@ 發送端 ， 發送端 @>> 接收端 ( @ 代表主體相關) C!! 的交易(transaction)行程是以 !!{...}!! 範圍， 在 Universe OS 支援下整批交易，失敗後會整批回滾(rollback)。 C!! 的危險(unsafe)行程是以 ??{...}?? 範圍，主要在核心及驅動程式的關鍵使用。 C!! 的例外行程是以 $$(e){} ，緊接於相關執行區域後，而有類似 switch 語法。 $$(e){ ...(預執行碼，若有的話) case a: case b: ..... default: } C!! 的繼承表述，嚴格區分 一般 與 界面， 兩者以 | 隔開，一般在左，界面在右。 a 是子類別， b,c,d 是父類別， b 是一般， c,d 是界面，可有如下案例︰ a:b ， a:b|c,d ， a:|c,d ，這種語法區分可以使繼承模式明顯易知，利於維護。 上述即是目前 Cosmos Programming Language 的大略設計規劃藍圖， Cosmos 詳細規格及設計過程，請見上面 東岐明 與 Gemini 的研討對話記錄。 -- 全書贈閱 《推背圖諰：中國國運與人類命運之預言憂患》全書PDF檔 免費流通 https://amidha.blogspot.com/2024/10/TBTSbook.html 詮釋《推背圖》，反省過去，展望未來，自二十一世紀浩劫後重建人類文明， 至於二十七世紀人工生命挑戰人類，終於二十九世紀全球政權交付人工智能。 --

※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 118.232.102.52 (臺灣) ※ 文章網址: https://webptt.com/m.aspx?n=bbs/CSSE/M.1769835996.A.526.html ※ amidha:轉錄至看板 Tech_Job 01/31 13:07 ※ amidha:轉錄至看板 Soft_Job 01/31 13:07 ※ amidha:轉錄至看板 Gossiping 01/31 13:20