Synchronous Objects with Scheduling Policies

pages

English

Documents

Écrit par
Marc Pouzet

Publié par
pefav

Lire un extrait

Obtenez un accès à la bibliothèque pour le consulter en ligne En savoir plus

Découvre YouScribe en t'inscrivant gratuitement

Je m'inscris

Découvre YouScribe en t'inscrivant gratuitement

Je m'inscris

pages

English

Ebook

Lire un extrait

Obtenez un accès à la bibliothèque pour le consulter en ligne En savoir plus

Publié par

pefav

Nombre de lectures

Langue

English

Synchronous Objects with Scheduling Policies Introducing safe shared memory in Lustre a Marc Pouzet Univ. Paris-Sud 11 Paris March 2009, 10th a Joint work with Paul Caspi, Jean-Louis Colac¸o, Leonard Gerard and Pascal Raymond Seminar INRIA, Paris, March 10th, 2009, page 1/46

modular programming

flow block

power-train modeling

scheduling policies

hierarchical automata

provide modular

Voir

Publié par

pefav

Nombre de lectures

Langue

English

SynchronousObjectswithSchedulingPoliciesIntroducingsafesharedmemoryinLustreaMarcPouzetUniv.Paris-Sud11siraPMarch2009,10thaJointworkwithPaulCaspi,Jean-LouisCola¸co,Le´onardGe´rardandPascalRaymondeSimanrNIIR,AaPrsi,aMcrh01ht,0290,apeg/164

Motivations•addressthemodularprogrammingofsynchronoussystemswithmodesinstantiation•allowingtoseparatetheirspeciﬁcationfromtheirimplementationandtheirExistingsolutionsareeitherunsafeortworestrictivetoallowforatrulymodulardesign•••••organizeadesignintermofclassesandobjects:Proposal:64/2egap,9002,ht01hcraM,siraP,AIRNIranimeS)secarlacitirc,.g.e(tciﬂnocfoecnesbaehtytnaraugotsnaemraludomedivorpsdohtemotdnopserrocedomhcaeforoivahebehtgninﬁedsmetsysbusetubirttafotrapehtyalpselbairavderahsotesoporpdnanoitatneirotcejbodnasedomneewtebygolananaekameWselbairavderahsotetirw/daerefasnunoylertubraludomeromsinoitulosknilumiSehtylticilpxedettimsnartebtsumsetatsderahs,woﬂ-atadsuonorhcnysnirellortnocralucitrapahtiw

••aastceitvotafemdotdrheoExample:anautomotivepower-trainmodelingasudgehcsihrebireradcaihsacdlaaatutﬂ-oomwtabaoli(cnk(SitntaSeiﬂmouwl)ni)kahttp://amp.ece.cmu.edu/eceseminar/2000/Spring/slides/ButtsSeminarINRIA,Paris,March10th,2009,page3/46