Microsoft在.Net中探索“安全”手動(dòng)內(nèi)存管理 灰鴿子,遠(yuǎn)程控制軟件

admin

Microsoft在.Net中探索“安全”手動(dòng)內(nèi)存管理 灰鴿子,遠(yuǎn)程控制軟件
微軟研究部項(xiàng)目Snowflake將手動(dòng)記憶管理和垃圾回收整合在一起，為開(kāi)發(fā)商提供“兩個(gè)世界最好的”
Microsoft Research一直在.Net運(yùn)行時(shí)集成安全的手動(dòng)內(nèi)存管理與垃圾收集（GC）。目標(biāo)是為開(kāi)發(fā)人員提供自動(dòng)內(nèi)存管理的便利性和安全性，并通過(guò)手動(dòng)釋放內(nèi)存來(lái)提高性能的機(jī)會(huì)。

這項(xiàng)稱為Project Snowflake的工作是本周由微軟研究院和劍橋大學(xué)和普林斯頓大學(xué)的合著者發(fā)表的論文的主題。使用Snowflake，程序員可以在GC堆或手動(dòng)堆中分配對(duì)象之間進(jìn)行選擇。 Snowflake將開(kāi)源.Net運(yùn)行時(shí)與手動(dòng)管理內(nèi)存的功能結(jié)合在一起，而不會(huì)影響性能或安全性。現(xiàn)有應(yīng)用程序使用GC堆未修改運(yùn)行，而不會(huì)降低性能。

研究人員說(shuō)：“我們的.Net CoreCLR實(shí)現(xiàn)在實(shí)際應(yīng)用中的實(shí)驗(yàn)結(jié)果顯示出顯著的性能提升，特別是在多線程情況下：峰值工作組節(jié)省3倍，運(yùn)行時(shí)間提高2倍，監(jiān)控軟件, 遠(yuǎn)程控制。

Microsoft的手動(dòng)內(nèi)存管理模型基于手動(dòng)對(duì)象的唯一所有者的概念，堆棧或堆中的位置僅包含對(duì)分配在手動(dòng)堆上的對(duì)象的引用。引入屏蔽的概念，以實(shí)現(xiàn)手動(dòng)對(duì)象​​的安全并發(fā)共享。屏蔽在本地線程存儲(chǔ)中創(chuàng)建狀態(tài)，以防止在使用對(duì)象時(shí)進(jìn)行解除分配。

研究人員說(shuō)，盡管垃圾收集器（如.Net GC）通過(guò)快速線程局部碰撞分配和年輕物體的收集來(lái)提供高吞吐量，但研究表明，與手動(dòng)內(nèi)存管理相比，GC可以引入性能開(kāi)銷。他們解釋說(shuō)，這些開(kāi)銷在大數(shù)據(jù)分析和實(shí)時(shí)流處理應(yīng)用中被放大，部分原因是需要追蹤大堆。

研究人員指出，“隨著現(xiàn)代服務(wù)器利用更大的記憶，這種趨勢(shì)可能會(huì)持續(xù)下去，數(shù)千吉字節(jié)甚至幾兆字節(jié)的大小已經(jīng)很普遍了。手動(dòng)內(nèi)存管理通過(guò)避免跟蹤對(duì)象圖來(lái)釋放對(duì)象來(lái)解決問(wèn)題，并允許程序員使用自己的對(duì)象生命周期知識(shí)來(lái)釋放對(duì)象在程序中的特定位置。根據(jù)研究人員的說(shuō)法，這提高了吞吐量和內(nèi)存使用率。但手動(dòng)內(nèi)存管理“通常不安全”，可能導(dǎo)致崩潰和漏洞。它也取消了GC的生產(chǎn)效益。

Project Snowflake在Microsoft的開(kāi)源.NET實(shí)現(xiàn)（稱為.Net Core）中修改CoreCLR運(yùn)行時(shí)，并使用手動(dòng)內(nèi)存的API擴(kuò)展了標(biāo)準(zhǔn)庫(kù)。靈活的編程模型被用于手動(dòng)存儲(chǔ)器管理，允許在任意程序位置分配和釋放對(duì)象，并且在多個(gè)線程之間并發(fā)和安全地共享對(duì)象。

微軟的設(shè)計(jì)不會(huì)對(duì)垃圾收集或?qū)懭胝系K等操作造成任何開(kāi)銷。要優(yōu)化應(yīng)用程序的程序員必須逐步更改代碼以在手動(dòng)堆中分配對(duì)象并顯式地釋放它們。手動(dòng)管理的對(duì)象保證完整的類型和時(shí)間安全性，包括在并發(fā)訪問(wèn)的情況下。根據(jù)報(bào)告，開(kāi)發(fā)人員可以獲得動(dòng)態(tài)受管理的異常情況，但不會(huì)出現(xiàn)任何崩潰或安全​​漏洞，監(jiān)控軟件。