資源描述：
《基于共享總線多核實(shí)時(shí)系統(tǒng)wcet分析》由會(huì)員上傳分享，免費(fèi)在線閱讀，更多相關(guān)內(nèi)容在學(xué)術(shù)論文-天天文庫(kù)。
1、AThesisinComputerArchitectureWCETAnalysisofMulticoreReal—-TimeSystemswithSharedBusesByGuoYingSupervisor：ProfessorDengQingxuNortheasternUniversityJune2010WCETAnalysisofMulticoreReal—TimeSystemswithSharedBusesAbstractItispredictedthatmulticoreprocessorswillbeincreasinglyusedinfutureembedde
2、dreal—timesystemsforhighperformanceandlowenergyconsumption．T11emajorobstacleisthatpeoplemaynotpredictandprovideanypreciseguaranteeonreal—timepropertiesofthemulticorereal-timesystemsbecauseofthesharedresources．ThesharedmemorybusiSoneofthemostcriticalresourcesinthemulticoresystems．becausea
3、ll也ecorescarlaccesstheoff-chipmemoryonlywiththesharedbus．ButatthesalTletime，thesharedbusmayseverelydegradethetimingpredictabilityofthemulticorereal—timesystems．Tmsisbecausethatthebusdelayforeachcoremaynotbepreciselypredictedduetotheaccesscontentionbetweensomecores．Tosolvethisaboveproblem
4、，thisthesismainlyanalyzestheofthemulticorereal-timesystemwiththesharedbusesusingthemodelcheckingtechnique．T11isthesisstudiesamulticoresystemmodelwhereeachcorehasaprivatecacheandallcoresuseasharedbustoaccesstheoff-chipmemory．Fortheanalysisofthesystemmodel，thisthesisfirstlyu．sesabstractint
5、erpretationtechniquetoanalyzetheprivateinstructioncachebehaviorofaprogramrunningonadedicatedcore．Afterthat，wecanobtaintheinformationwhethereachinstructionoftheprogramisintheinstructionCacheornot．Basedonthesecacheanalysisresults．t11iSthesisthencarlconstructatimedautomatonforeachprogramrun
6、ninginthismulticoresystemwiththehelpofUPPAALmodelchecker．Theseautomatonsoftheprogramscanmodeltheprecisetiminginformationonwhentoaccessthememorybusforeachcore．ThethesisalsomodelsthebehaviorofthesharedbusinthemulticoresystemusingaUPPAAL’Stimedautomaton．Finally，thisthesisusesUPPAALtocheckth
7、ewholesystemmodelcomposedoftheautomatonsoftheprogramsandthesharedbus．Withthismethod，itcarlobtainthepreciseestimationofeachprogramrunninginthismulticoresystem新t11thesharedbus．Basedonthepresentedtechniques，thisthesishasdevelopedatoolforanalyzingtheofthemulticorereal—timesys
