资源描述:
《Synchronization of periodic clocks》由会员上传分享,免费在线阅读,更多相关内容在行业资料-天天文库。
1、SynchronizationofPeriodicClocksAlbertCohen1MarcDuranton2ChristineEisenbeis1ClairePagetti1FlorencePlateau3MarcPouzet31ALCHEMYGroup,INRIAFutursandLRI,Paris-SudUniversity,France2PhilipsResearchLaboratories,Eindhoven,TheNetherlands3LRI,Paris-SudUniversity,Franc
2、eAbstractpowerandpredictabilityreasons(real-time).Yetthecombinedin-Weproposeaprogrammingmodeldedicatedtoreal-timevideo-creaseinmaskcostsandinthevariabilityofsupportedalgorithmsstreamingapplicationsforembeddedmediadevices,includinghigh-leadstoastrongpressuret
3、owardsprogrammable,domain-specificde-definitionTVs.Thismodelisbuiltonthesynchronousprogrammingsigns,balancingthesoftwareandhardwareshares.modelextendedwithdomain-specificknowledge—periodicevolu-General-purposearchitecturesandcompilersarenotsuitableforthetionofs
4、treams—toallowcorrect-by-constructionpropertiesofthedesignofreal-timeandhigh-performance(massivelyparallel)pro-applicationtobeprovenbythecompiler.Thesepropertiesincludegrammablesystem-on-chip[4].Achievingahighercomputedensitybufferrequirementsanddelaysbetwee
5、ninputandoutputstreams.andstillpreservingprogrammabilityisachallengeforthechoiceofSuchpropertiesaretedioustoanalyzebyhand,duetothecombina-anappropriatearchitecture,programminglanguageandcompiler.toricsofvideofilters,multipledataratesandformats.WeshowhowIntere
6、stingly,thesynchronousexecutionparadigm[1]allowsfortoextendacoresynchronousdata-flowlanguagewithanotionofpe-thegenerationofcustom,parallelhardwareandsoftwaresystemswithriodicclocks,andtodesignarelaxedclockcalculus(atypesystemcorrect-by-constructionstructuralp
7、roperties,includingreal-timeandforclocks)toallownonstrictlysynchronousprocessestobecom-resourceconstraints.Thismodelmetindustrialsuccessforsafety-posed.Thisrelaxationisassociatedwithasubtypingruleintheclockcritical,reactivesystems,throughlanguageslikeSIGNAL,
8、LUSTREcalculus.Delay,bufferinsertionandcontrolcodeforthesebuffers(SCADE),ESTEREL.Itisthusnaturaltoinvestigatetheapplicabil-areautomaticallyinferredfromtheclocktypesthroughasystematicityofsuchlan