Parallet：一門為異步而生的動態編程語言設計與實現

緣起：C# 異步編程的痛點

作者需開發高並發服務器，C# 異步模式（APM/EAP/Task）導致回調地獄、異常處理分散、循環/控制流難表達。決定創造新語言 Parallet，目標：同步寫法，異步執行。

核心設計：函數默認異步，自動分析

• **無關鍵字**：無 async/await，函數默認可掛起
• **自動推斷**：編譯器分析哪些函數涉及 I/O/阻塞，自動生成異步狀態機
• **語法同步**：開發者寫同步風格代碼，運行時自動釋放線程、恢復上下文

對比：傳統異步 vs Parallet

// 傳統 C# 回調風格
void LoadConfigAsync(Action callback) {
    var req = WebRequest.Create("config.aspx");
    req.BeginGetResponse(ar => {
        var resp = req.EndGetResponse(ar);
        var config = Parse(resp.GetResponseStream());
        callback(config);
    }, null);
}

// 調用者：層層回調，try/catch 極難統一
LoadConfigAsync(cfg => {
    try { Init(cfg); } catch { Log(); }
});

// Parallet：同步寫法，自動異步
function LoadConfig() {
    var xhr = new XHR();
    xhr.open("get", "server.aspx");
    xhr.send("");           // 這裡自動掛起，不阻塞線程
    return ParseConfig(xhr.responseText); // 恢復後繼續
}

try {
    var config = LoadConfig(); // 看起來同步，實則異步
    InitMySystem(config.OptionName);
} catch (e) {                   // 統一異常處理！
    alert("initialize failed");
}

運行時機制：解釋器 + 虛擬棧

• **不依賴 OS 線程棧**：所有局部變量、返回地址存儲在 VM 管理的堆棧
• **掛起 = 保存 VM 棧幀**：無需 OS 線程上下文切換，極輕量
• **恢復 = 還原 VM 棧幀**：調度器重新分配線程繼續執行
• **早期為純解釋執行**，後實現動態編譯到 IL（.NET），性能提升 100x

關鍵創新點

1. 統一異常處理：try/catch 自然覆蓋異步調用鏈，無需手動傳遞錯誤回調
2. 控制流保真：for/while/if 正常工作，無需展平為狀態機
3. 零語法成本：現有同步代碼幾乎無修改即可異步化
4. 自動並行分析：獨立異步調用可自動並發（類似 Promise.all）

實現里程碑

• ✅ 語法設計、解析器、AST
• ✅ 解釋器執行引擎（虛擬棧、協程調度）
• ✅ 標準庫：網絡、文件、定時器異步 API
• ✅ 動態編譯到 .NET IL（方法級 JIT），性能達實用水平
• 🚧 優化：逃逸分析、內聯、SIMD、GC 整合
• 🚧 語言服務：LSP、調試器、包管理器

類似項目對比

總結

Parallet 探索了「隱式異步、同步語法、結構化異常」的語言設計空間。雖為個人研究項目，但其思想——**將異步複雜性下沉到語言運行時**——正是現代語言（Go、Kotlin、Rust async、C# 迭代）演進的共同方向。理解 Parallet，有助於深度掌握異步編程本質。

1. 上一篇文章： C 語言數組原地逆序：雙指針交換標準實現
2. 下一篇文章： OpenGL 矩陣存儲順序與坐標系變換的數學本質

關於C語言

C 語言不定參數深度解析：原理、實作與陷阱

前言 不定參數是 C/C++ 的特色功能，除格式化輸出（pr

C語言實作：學生程式設計成績統計系統（總分、平均、標準差、最高最低分）

學生成績統計完整實作 本程式模擬某小組 C++ 程式設計課程

非遞歸堆排序演算法實現與效能測試

非遞歸堆排序演算法深度解析 堆排序是一種基於二叉堆資料結構的

C# 設計模式：建造者模式 將複雜物件建構與表示分離

問題背景 建構一個「學生選課成績單」物件，包含：必修、選修、