The Java Memory Model

The Java Memory Model

ID:40351913

大?。?99.44 KB

頁數(shù):14頁

時間:2019-07-31

The Java Memory Model_第1頁
The Java Memory Model_第2頁
The Java Memory Model_第3頁
The Java Memory Model_第4頁
The Java Memory Model_第5頁
資源描述:

《The Java Memory Model》由會員上傳分享,免費在線閱讀,更多相關(guān)內(nèi)容在學術(shù)論文-天天文庫。

1、TheJavaMemoryModel?JeremyMansonandWilliamPughSaritaV.AdveDepartmentofComputerScienceDepartmentofComputerScienceUniversityofMaryland,CollegeParkUniversityofIllinoisatUrbana-ChampaignCollegePark,MDUrbana-Champaign,IL{jmanson,pugh}@cs.umd.edusadve@cs.uiuc.eduABSTRA

2、CTMeaningsofPrograms]:OperationalSemanticsThispaperdescribesthenewJavamemorymodel,whichGeneralTerms:Design,LanguageshasbeenrevisedaspartofJava5.0.Themodelspeci?esKeywords:Concurrency,Java,MemoryModel,Multithread-thelegalbehaviorsforamultithreadedprogram;itde?nes

3、ingthesemanticsofmultithreadedJavaprogramsandpartiallydetermineslegalimplementationsofJavavirtualmachinesandcompilers.1.INTRODUCTIONThenewJavamodelprovidesasimpleinterfaceforcor-Thememorymodelforamultithreadedsystemspeci?esrectlysynchronizedprograms–itguarantees

4、sequentialcon-howmemoryactions(e.g.,readsandwrites)inaprogramsistencytodata-race-freeprograms.Itsnovelcontributionwillappeartoexecutetotheprogrammer,andspeci?cally,isrequiringthatthebehaviorofincorrectlysynchronizedwhichvalueeachreadofamemorylocationmayreturn.Ev

5、-programsbeboundedbyawellde?nednotionofcausality.eryhardwareandsoftwareinterfaceofasystemthatadmitsThecausalityrequirementisstrongenoughtorespectthemultithreadedaccesstosharedmemoryrequiresamemorysafetyandsecuritypropertiesofJavaandweakenoughtomodel.Themodeldete

6、rminesthetransformationsthattheallowstandardcompilerandhardwareoptimizations.Tosystem(compiler,virtualmachine,orhardware)canapplyourknowledge,othermodelsareeithertooweakbecausetoaprogramwrittenatthatinterface.Forexample,giventheydonotprovideforsu?cientsafety/sec

7、urity,oraretooaprograminmachinelanguage,thememorymodelforthestrongbecausetheyrelyonastrongnotionofdataandmachinelanguage/hardwareinterfacewilldeterminethecontroldependencesthatprecludessomestandardcompileroptimizationsthehardwarecanperform.transformations.Forahi

8、gh-levelprogramminglanguagesuchasJava,theAlthoughthemajorityofwhatiscurrentlydoneincompil-memorymodeldeterminesthetransformationsthecompilerersislegal,thenewmodelintr

當前文檔最多預覽五頁,下載文檔查看全文

此文檔下載收益歸作者所有

當前文檔最多預覽五頁,下載文檔查看全文
溫馨提示:
1. 部分包含數(shù)學公式或PPT動畫的文件,查看預覽時可能會顯示錯亂或異常,文件下載后無此問題,請放心下載。
2. 本文檔由用戶上傳,版權(quán)歸屬用戶,天天文庫負責整理代發(fā)布。如果您對本文檔版權(quán)有爭議請及時聯(lián)系客服。
3. 下載前請仔細閱讀文檔內(nèi)容,確認文檔內(nèi)容符合您的需求后進行下載,若出現(xiàn)內(nèi)容與標題不符可向本站投訴處理。
4. 下載文檔時可能由于網(wǎng)絡(luò)波動等原因無法下載或下載錯誤,付費完成后未能成功下載的用戶請聯(lián)系客服處理。