Synchronous Objects with Scheduling Policies

Marc Pouzet

Description

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

Sujets

• Raymond
• Gerard
• Modular programming

Informations

• Publié par: pefav
• Nombre de lectures: 13
• Langue: English

Extrait

SynchronousObjectswithSchedulingPolicies IntroducingsafesharedmemoryinLustre a MarcPouzet Univ.Paris-Sud11 siraP March2009,10th a JointworkwithPaulCaspi,Jean-LouisCola¸co,Le´onardGe´rardandPascalRaymond eSimanrNIIR,AaPrsi,aMcrh01ht,0290,apeg/164

Motivations • addressthemodularprogrammingofsynchronoussystemswithmodes instantiation • allowingto separate their specification fromtheir implementation andtheir Existingsolutionsareeitherunsafeortworestrictivetoallowforatrulymodulardesign • • • • • organizeadesignintermofclassesandobjects: Proposal: 64/2egap,9002,ht01hcraM,siraP,AIRNIranimeS )secarlacitirc,.g.e(tciflnocfoecnesbaehtytnaraugotsnaemraludomedivorp sdohtemotdnopserrocedomhcaeforoivahebehtgninfiedsmetsysbus etubirttafotrapehtyalpselbairavderahs otesoporpdnanoitatneirotcejbodnasedomneewtebygolananaekameW selbairavderahsotetirw/daerefasnunoylertubraludomeromsinoitulosknilumiSeht ylticilpxedettimsnartebtsumsetatsderahs,wofl-atadsuonorhcnysni rellortnocralucitrapahtiw

• • a a s tc e i t v o ta f e m d o t d rh e o Example:anautomotivepower-trainmodeling a s u d g e h cs ih r e bi r e ra d c a ih s ac d l a a at ut fl- o o m w ta b a ol i( c n k( S i t n ta S e i fl m o u w l ) ni)k a http://amp.ece.cmu.edu/eceseminar/2000/Spring/slides/Butts SeminarINRIA,Paris,March10th,2009,page3/46

SeminarINRIA,Pra,sihcraM1,ht0,9002apeg64/4