关闭

关闭

关闭

封号提示

内容

首页 A Primer on Memory Consistency and Cache Cohere…

A Primer on Memory Consistency and Cache Coherence.pdf

A Primer on Memory Consistency …

sailing_王齐 2011-09-28 评分 0 浏览量 0 0 0 0 暂无简介 简介 举报

简介:本文档为《A Primer on Memory Consistency and Cache Coherencepdf》,可适用于IT/计算机领域,主题内容包含MorganClaypoolPublisherswwwmorganclaypoolcomSeriesEditor:MarkDHill,Univers符等。

MorganClaypoolPublisherswwwmorganclaypoolcomSeriesEditor:MarkDHill,UniversityofWisconsinMORGANCLAYPOOLCMMorganClaypoolPublishersAboutSYNTHESIsThisvolumeisaprintedversionofaworkthatappearsintheSynthesisDigitalLibraryofEngineeringandComputerScienceSynthesisLecturesprovideconcise,originalpresentationsofimportantresearchanddevelopmenttopics,publishedquickly,indigitalandprintformatsFormoreinformationvisitwwwmorganclaypoolcomSYNTHESISLECTURESONCOMPUTERARCHITECTUREMarkDHill,SeriesEditorISBN:SeriesISSN:SYNTHESISLECTURESONCOMPUTERARCHITECTUREAPRIMERONMEMORYCONSISTENCYANDCACHECOHERENCESORIN•HILL•WOODAPrimeronMemoryConsistencyandCacheCoherenceDanielJSorin,DukeUniversityMarkDHillandDavidAWood,UniversityofWisconsin,MadisonManymoderncomputersystemsandmostmulticorechips(chipmultiprocessors)supportsharedmemoryinhardwareInasharedmemorysystem,eachoftheprocessorcoresmayreadandwritetoasinglesharedaddressspaceForasharedmemorymachine,thememoryconsistencymodeldefinesthearchitecturallyvisiblebehaviorofitsmemorysystemConsistencydefinitionsproviderulesaboutloadsandstores(ormemoryreadsandwrites)andhowtheyactuponmemoryAspartofsupportingamemoryconsistencymodel,manymachinesalsoprovidecachecoherenceprotocolsthatensurethatmultiplecachedcopiesofdataarekeptuptodateThegoalofthisprimeristoprovidereaderswithabasicunderstandingofconsistencyandcoherenceThisunderstandingincludesboththeissuesthatmustbesolvedaswellasavarietyofsolutionsWepresentbothhighlevelconceptsaswellasspecific,concreteexamplesfromrealworldsystemsAPrimeronMemoryConsistencyandCacheCoherenceDanielJSorinMarkDHillDavidAWoodAPrimeronMemoryConsistencyandCacheCoherenceiiOnelinerChapterTitleSynthesisLecturesonComputerArchitectureEditorMarkDHill,UniversityofWisconsinSynthesisLecturesonComputerArchitecturepublishestopagepublicationsontopicspertainingtothescienceandartofdesigning,analyzing,selectingandinterconnectinghardwarecomponentstocreatecomputersthatmeetfunctional,performanceandcostgoalsThescopewilllargelyfollowthepurviewofpremiercomputerarchitectureconferences,suchasISCA,HPCA,MICRO,andASPLOSAPrimeronMemoryConsistencyandCacheCoherenceDanielJSorin,MarkDHill,andDavidAWoodDynamicBinaryModification:Tools,Techniques,andApplicationsKimHazelwoodQuantumComputingforComputerArchitects,SecondEditionTzvetanSMetodi,ArvinIFaruque,FredericTChongHighPerformanceDatacenterNetworks:Architectures,Algorithms,andOpportunitiesDennisAbts,JohnKimProcessorMicroarchitecture:AnImplementationPerspectiveAntonioGonzález,FernandoLatorre,andGrigoriosMagklisTransactionalMemory,ndeditionTimHarris,JamesLarus,andRaviRajwarComputerArchitecturePerformanceEvaluationModelsLievenEeckhoutIntroductiontoReconfigurableSupercomputingMarcoLanzagorta,StephenBique,andRobertRosenbergOnChipNetworksNatalieEnrightJergerandLiShiuanPehTheMemorySystem:YouCan’tAvoidIt,YouCan’tIgnoreIt,YouCan’tFakeItBruceJacobFaultTolerantComputerArchitectureDanielJSorinTheDatacenterasaComputer:AnIntroductiontotheDesignofWarehouseScaleMachinesLuizAndréBarrosoandUrsHölzleComputerArchitectureTechniquesforPowerEfficiencyStefanosKaxirasandMargaretMartonosiChipMultiprocessorArchitecture:TechniquestoImproveThroughputandLatencyKunleOlukotun,LanceHammond,andJamesLaudonTransactionalMemoryJamesRLarusandRaviRajwarQuantumComputingforComputerArchitectsTzvetanSMetodiandFredericTChongiiiCopyrightbyMorganClaypoolAllrightsreservedNopartofthispublicationmaybereproduced,storedinaretrievalsystem,ortransmittedinanyformorbyanymeanselectronic,mechanical,photocopy,recording,oranyotherexceptforbriefquotationsinprintedreviews,withoutthepriorpermissionofthepublisherAPrimeronMemoryConsistencyandCacheCoherenceDanielJSorin,MarkDHill,andDavidAWoodwwwmorganclaypoolcomISBN:paperbackISBN:ebookDOI:SEDVYCACAPublicationintheMorganClaypoolPublishersseriesSYNTHESISLECTURESONCOMPUTERARCHITECTURE#Lecture#SeriesEditor:MarkDHill,UniversityofWisconsinSeriesISSNISSNprintISSNelectronicAPrimeronMemoryConsistencyandCacheCoherenceDanielJSorin,MarkDHill,andDavidAWoodSYNTHESISLECTURESONCOMPUTERARCHITECTURE#ABSTRACTManymoderncomputersystemsandmostmulticorechips(chipmultiprocessors)supportsharedmemoryinhardwareInasharedmemorysystem,eachoftheprocessorcoresmayreadandwritetoasinglesharedaddressspaceForasharedmemorymachine,thememoryconsistencymodeldefinesthearchitecturallyvisiblebehaviorofitsmemorysystemConsistencydefinitionsproviderulesaboutloadsandstores(ormemoryreadsandwrites)andhowtheyactuponmemoryAspartofsupportingamemoryconsistencymodel,manymachinesalsoprovidecachecoherenceprotocolsthatensurethatmultiplecachedcopiesofdataarekeptuptodateThegoalofthisprimeristoprovidereaderswithabasicunderstandingofconsistencyandcoherenceThisunderstandingincludesboththeissuesthatmustbesolvedaswellasavarietyofsolutionsWepresentbothhighlevelconceptsaswellasspecific,concreteexamplesfromrealworldsystemsviKEYWORDScomputerarchitecture,memoryconsistency,cachecoherence,sharedmemory,memorysystems,multicoreprocessor,multiprocessorviiThisprimerisintendedforreaderswhohaveencounteredmemoryconsistencyandcachecoherenceinformally,butnowwanttounderstandwhattheyentailinmoredetailThisaudienceincludescomputingindustryprofessionalsaswellasjuniorgraduatestudentsWeexpectourreaderstobefamiliarwiththebasicsofcomputerarchitectureRememberingthedetailsofTomasulo’salgorithmorsimilardetailsisunnecessary,butwedoexpectreaderstounderstandissueslikearchitecturalstate,dynamicinstructionscheduling(outoforderexecution),andhowcachesareusedtoreduceaveragelatenciestoaccessstoragestructuresTheprimarygoalofthisprimeristoprovidereaderswithabasicunderstandingofconsistencyandcoherenceThisunderstandingincludesboththeissuesthatmustbesolvedaswellasavarietyofsolutionsWepresentbothhighlevelconceptsaswellasspecific,concreteexamplesfromrealworldsystemsAsecondarygoalofthisprimeristomakereadersawareofjusthowcomplicatedconsistencyandcoherenceareIfreaderssimplydiscoverwhatitisthattheydonotknowwithoutactuallylearningitthatdiscoveryisstillasubstantialbenefitFurthermore,becausethesetopicsaresovastandsocomplicated,itisbeyondthescopeofthisprimertocoverthemexhaustivelyItisnotagoalofthisprimertocoveralltopicsindepth,butrathertocoverthebasicsandapprisethereadersofwhattopicstheymaywishtopursueinmoredepthWeowemanythanksforthehelpandsupportwehavereceivedduringthedevelopmentofthisprimerWethankBlakeHechtmanforimplementingandtesting(anddebugging!)allofthecoherenceprotocolsinthisprimerAsthereaderwillsoondiscover,coherenceprotocolsarecomplicated,andwewouldnothavetrustedanyprotocolthatwehadnottested,soBlake’sworkwastremendouslyvaluableBlakeimplementedandtestedalloftheseprotocolsusingtheWisconsinGEMSsimulationinfrastructurehttp:wwwcswiscedugemsForreviewingearlydraftsofthisprimerandforhelpfuldiscussionsregardingvarioustopicswithintheprimer,wegratefullythankTreyCainandMiloMartinForprovidingadditionalfeedbackontheprimer,wethankNewshaArdalani,ArkapravaBasu,BradBeckmann,BobCypher,JoeDevietti,SandipGovindDhoot,AlexEdelsburg,JayneelGandhi,DanGibson,MarisabelGuevara,GaganGupta,BlakeHechtman,DerekHower,ZacharyMarzec,HiranMayukh,RalphNathan,MarcOrr,VijaySathish,AbhiramiSenthilkumaran,SimhaSethumadhavan,VenkatanathanPrefaceviiiAPRIMERONMEMORYCONSISTENCYANDCACHECOHERENCEVaradarajan,DerekWilliams,andMengZhangWhileourreviewersprovidedgreatfeedback,theymayormaynotagreewithallofthefinalcontentsofthisprimerThisworkissupportedinpartbytheNationalScienceFoundation(CNS,CNS,CCF,CCF,andCCF),SandiaDOE(#MSNDOE),SemiconductorResearchCorporation(contractHJ),andtheUniversityofWisconsin(KellettAwardtoHill)TheviewsexpressedhereinarenotnecessarilythoseoftheNSF,Sandia,DOE,orSRCDanthanksDeborah,Jason,andJuliefortheirloveandforputtingupwithhimtakingthetimetoworkonanothersynthesislectureDanthankshisUncleSolforhelpinginspirehimtobeanengineerinthefirstplaceLastly,DandedicatesthisbooktothememoryofRustySneiderman,atreasuredfriendofthirtyyearswhowillbedearlymissedbyeveryonewhowasluckyenoughtohaveknownhimMarkwishestothankSue,Nicole,andGregoryfortheirloveandsupportDavidthankshiscoauthorsforputtingupwithhisdeadlinechallengedworkstyle,hisparentsRogerandAnnWoodforinspiringhimtobeasecondgenerationComputerSciencesprofessor,andJane,Alex,andZachforhelpinghimrememberwhatlifeisallaboutixPrefaceixIntroductiontoConsistencyandCoherenceConsistency(aka,MemoryConsistency,MemoryConsistencyModel,orMemoryModel)Coherence(aka,CacheCoherence)AConsistencyandCoherenceQuizWhatthisPrimerDoesNotDoCoherenceBasicsBaselineSystemModelTheProblem:HowIncoherenceCouldPossiblyOccurDefiningCoherenceMaintainingtheCoherenceInvariantsTheGranularityofCoherenceTheScopeofCoherenceReferencesMemoryConsistencyMotivationandSequentialConsistencyProblemswithSharedMemoryBehaviorWhatIsaMemoryConsistencyModelConsistencyvsCoherenceBasicIdeaofSequentialConsistency(SC)ALittleSCFormalismNaiveSCImplementationsABasicSCImplementationwithCacheCoherenceOptimizedSCImplementationswithCacheCoherenceAtomicOperationswithSCPuttingitAllTogether:MIPSRContentsxAPRIMERONMEMORYCONSISTENCYANDCACHECOHERENCEFurtherReadingRegardingSCReferencesTotalStoreOrderandthexMemoryModelMotivationforTSOxBasicIdeaofTSOxALittleTSOFormalismandanxConjectureImplementingTSOxAtomicInstructionsandFenceswithTSOAtomicInstructionsFencesFurtherReadingRegardingTSOComparingSCandTSOReferencesRelaxedMemoryConsistencyMotivationOpportunitiestoReorderMemoryOperationsOpportunitiestoExploitReorderingAnExampleRelaxedConsistencyModel(XC)TheBasicIdeaoftheXCModelExamplesUsingFencesunderXCFormalizingXCExamplesShowingXCOperatingCorrectlyImplementingXCAtomicInstructionswithXCFenceswithXCACaveatSequentialConsistencyforDataRaceFreeProgramsSomeRelaxedModelConceptsReleaseConsistencyCausalityandWriteAtomicityARelaxedMemoryModelCaseStudy:IBMPowerFurtherReadingandCommercialRelaxedMemoryModelsAcademicLiteratureCommercialModelsComparingMemoryModelsHowDoRelaxedMemoryModelsRelatetoEachOtherandTSOandSCHowGoodAreRelaxedModelsHighLevelLanguageModelsReferencesCoherenceProtocolsTheBigPictureSpecifyingCoherenceProtocolsExampleofaSimpleCoherenceProtocolOverviewofCoherenceProtocolDesignSpaceStatesTransactionsMajorProtocolDesignOptionsReferencesSnoopingCoherenceProtocolsIntroductiontoSnoopingBaselineSnoopingProtocolHighLevelProtocolSpecificationSimpleSnoopingSystemModel:AtomicRequests,AtomicTransactionsBaselineSnoopingSystemModel:NonAtomicRequests,AtomicTransactionsRunningExampleProtocolSimplificationsAddingtheExclusiveStateMotivationGettingtotheExclusiveStateHighLevelSpecificationofProtocolDetailedSpecificationRunningExample

用户评论(0)

0/200

精彩专题

上传我的资料

每篇奖励 +1积分

资料评分:

/42
仅支持在线阅读

意见
反馈

立即扫码关注

爱问共享资料微信公众号

返回
顶部

举报
资料