2025年10月2日，OpenHarmony城市技術(shù)論壇歐洲系列活動(dòng)第三站在素有“德國(guó)硅谷”之稱的德累斯頓盛大舉辦。作為歐洲的科研與產(chǎn)業(yè)的核心重鎮(zhèn)，德累斯頓匯聚了來(lái)自研究機(jī)構(gòu)、產(chǎn)業(yè)界及獨(dú)立開(kāi)發(fā)者的多方力量，圍繞操作系統(tǒng)、虛擬化、并發(fā)調(diào)試與驗(yàn)證方法等前沿議題展開(kāi)了深度碰撞。本次論壇秉承“開(kāi)放、共享、合作”的社區(qū)精神，一方面清晰勾勒出OpenHarmony的全球生態(tài)圖景，另一方面推動(dòng)跨領(lǐng)域思想交匯與智慧碰撞，為開(kāi)源生態(tài)的繁榮發(fā)展注入了強(qiáng)勁動(dòng)能。

開(kāi)場(chǎng)報(bào)告由OpenHarmony技術(shù)指導(dǎo)委員會(huì)并發(fā)與協(xié)同TSG成員、華為德累斯頓研究所所長(zhǎng)劉宇濤帶來(lái)。他首先介紹了OpenHarmony的整體情況，從系統(tǒng)架構(gòu)設(shè)計(jì)、技術(shù)特征到社區(qū)生態(tài)發(fā)展，展示了這一開(kāi)源操作系統(tǒng)的戰(zhàn)略定位與全球影響力。劉宇濤強(qiáng)調(diào)，OpenHarmony憑借模塊化、可裁剪和多終端適配的能力，已成為面向未來(lái)設(shè)備互聯(lián)的重要平臺(tái)。他進(jìn)一步展望了潛在的研究方向，包括端-邊-云一體化的協(xié)同模型、安全可信的隔離與權(quán)限機(jī)制、高效開(kāi)放的AI能力，以及在并發(fā)調(diào)試、虛擬化、操作系統(tǒng)等支持上的持續(xù)演進(jìn)。

劉宇濤作報(bào)告

來(lái)自Cyberus Technology的Philipp Schuster帶來(lái)了關(guān)于虛擬機(jī)Live Migration的專題分享。他結(jié)合團(tuán)隊(duì)的實(shí)踐案例，深入解析了QEMU/KVM環(huán)境下虛擬機(jī)遷移的技術(shù)細(xì)節(jié)，包括內(nèi)存臟頁(yè)的追蹤方式、I/O和網(wǎng)絡(luò)狀態(tài)在遷移過(guò)程中的保持，以及如何通過(guò)libvirt與自動(dòng)化腳本提高遷移的穩(wěn)定性與可控性。Philipp不僅展示了遷移過(guò)程中常見(jiàn)的瓶頸和調(diào)優(yōu)方法，還分享了實(shí)際部署時(shí)可能遇到的典型挑戰(zhàn)與解決思路。這一內(nèi)容讓與會(huì)者對(duì)虛擬化技術(shù)在高可用系統(tǒng)、分布式平臺(tái)和未來(lái)嵌入式場(chǎng)景中的應(yīng)用有了更直觀的認(rèn)識(shí)。

Philipp Schuster作報(bào)告

來(lái)自柏林的獨(dú)立開(kāi)發(fā)者Alyssa Ross則介紹了其主導(dǎo)的操作系統(tǒng)項(xiàng)目Spectrum。這一系統(tǒng)以分區(qū)隔離（compartmentalization）為核心設(shè)計(jì)理念，旨在通過(guò)嚴(yán)格的模塊劃分和最小權(quán)限原則提升操作系統(tǒng)的安全性與魯棒性。在演講中，他詳細(xì)闡述了Spectrum的架構(gòu)設(shè)計(jì)、隔離邊界的實(shí)現(xiàn)方式、內(nèi)核與用戶態(tài)交互的機(jī)制，以及在系統(tǒng)性能與安全性之間的平衡問(wèn)題。他還結(jié)合實(shí)踐案例討論了該系統(tǒng)在不同應(yīng)用場(chǎng)景下的適用性，為參會(huì)者提供了一個(gè)與主流操作系統(tǒng)截然不同的技術(shù)探索方向。

Alyssa Ross作報(bào)告

來(lái)自華為德累斯頓研究所的Diogo Behrens與Martin Becky則分享了他們?cè)诙嗪瞬l(fā)程序調(diào)試方面的研究進(jìn)展。他們介紹了團(tuán)隊(duì)構(gòu)建的record-and-replay機(jī)制，能夠在多核環(huán)境中通過(guò)記錄執(zhí)行路徑、線程調(diào)度與關(guān)鍵事件，從而在后續(xù)的重放階段精準(zhǔn)還原運(yùn)行過(guò)程。這種方法極大地緩解了并發(fā)缺陷“難以重現(xiàn)”的問(wèn)題，使開(kāi)發(fā)者能夠在穩(wěn)定環(huán)境中定位競(jìng)態(tài)條件、死鎖和低概率異常。他們還展示了在日志開(kāi)銷控制、非確定性事件處理以及與現(xiàn)有調(diào)試工具鏈結(jié)合方面的優(yōu)化成果。這一報(bào)告引發(fā)了參會(huì)者對(duì)并發(fā)調(diào)試工具未來(lái)發(fā)展的熱烈討論。

Diogo Behrens作報(bào)告

來(lái)自Barkhausen Institute的Franti?ek Farka帶來(lái)了題為“Debug, Execute, Verify! Development-Verification Co-Design Made Practical”的報(bào)告。他指出，傳統(tǒng)的軟件研發(fā)流程往往將驗(yàn)證工作后置，導(dǎo)致缺陷發(fā)現(xiàn)延遲、修復(fù)成本高昂。為此，他們提出了一種開(kāi)發(fā)與驗(yàn)證協(xié)同設(shè)計(jì)的方法論，將調(diào)試、執(zhí)行與形式驗(yàn)證緊密結(jié)合起來(lái)。他展示了如何在代碼執(zhí)行路徑中設(shè)置驗(yàn)證檢查點(diǎn)，如何將靜態(tài)分析與動(dòng)態(tài)檢測(cè)結(jié)合，以及如何在復(fù)雜嵌入式或操作系統(tǒng)環(huán)境中落地這一思路。通過(guò)具體的實(shí)驗(yàn)案例，他證明了這種方法能夠在開(kāi)發(fā)早期顯著降低潛在缺陷的風(fēng)險(xiǎn)。這一觀點(diǎn)為與會(huì)者提供了新的研發(fā)流程參考，特別適合對(duì)高可靠性要求極高的系統(tǒng)。

Franti?ek Farka作報(bào)告

在正式報(bào)告之后，論壇進(jìn)入自由交流環(huán)節(jié)，現(xiàn)場(chǎng)氛圍十分熱烈。與會(huì)者圍繞虛擬化應(yīng)用、操作系統(tǒng)安全、并發(fā)調(diào)試和驗(yàn)證工具鏈等話題展開(kāi)了深入的互動(dòng)，許多觀點(diǎn)在跨機(jī)構(gòu)、跨背景的交流中得到進(jìn)一步碰撞。主辦方還向大家展示了基于OpenHarmony和HarmonyOS的多種設(shè)備形態(tài)，包括智能手機(jī)、PC以及開(kāi)發(fā)板，直觀展示了系統(tǒng)在多端場(chǎng)景下的應(yīng)用能力。這一展示引發(fā)了參會(huì)者的濃厚興趣，不少人表示希望進(jìn)一步參與社區(qū)合作與技術(shù)探索。

城市論壇現(xiàn)場(chǎng)

本次德累斯頓站論壇的成功舉辦，不僅展示了OpenHarmony在全球開(kāi)源生態(tài)中的發(fā)展勢(shì)頭，也為歐洲本地研究人員與國(guó)際社區(qū)建立聯(lián)系提供了寶貴機(jī)會(huì)。從系統(tǒng)架構(gòu)、虛擬化遷移到安全隔離、并發(fā)調(diào)試與驗(yàn)證協(xié)同，論壇內(nèi)容覆蓋廣泛、思想碰撞激烈，進(jìn)一步推動(dòng)了社區(qū)在前沿操作系統(tǒng)技術(shù)上的交流與合作。隨著OpenHarmony在歐洲的影響力不斷擴(kuò)大，未來(lái)必將有更多的合作成果和創(chuàng)新應(yīng)用落地，助力全球開(kāi)源生態(tài)的繁榮發(fā)展。