1 / 41

CS244-Introduction to Embedded Systems and Ubiquitous Computing

CS244-Introduction to Embedded Systems and Ubiquitous Computing. Instructor: Eli Bozorgzadeh Computer Science Department UC Irvine Winter 2010. CS244 – Lecture 6. Model of Computation. Taxonomy of Computations. Some Characteristics. “ Regular” vs “Event-Driven”

paco
Télécharger la présentation

CS244-Introduction to Embedded Systems and Ubiquitous Computing

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript


  1. CS244-Introduction to Embedded Systems and Ubiquitous Computing Instructor: Eli Bozorgzadeh Computer Science Department UC Irvine Winter 2010

  2. CS244 – Lecture 6 Model of Computation Winter 2010- CS 244

  3. Taxonomy of Computations Some Characteristics • “Regular” vs “Event-Driven” • Regular examples: streaming applications, processors,… • Event-driven: “reactive” (triggered by changes in environment) • Real-Time • Hard vs. Soft deadlines • Periodic vs. Aperiodic • Control, Data, Communication • How much of each? • Parallelism, Geographic distances • Highly concurrent vs. sequential; distributed systems • Deterministic vs. Non-deterministic • Degree of predictability

  4. Model M1 Model M2 Language L1 Behavior Tool Behavior Language L2 Models, Languages, & Tools • A model of computation is a conceptual notions used to capture a system behavior, e.g.: • A set of objects • Composition rules • Execution semantics • A languages defines the syntax to capture a models of computation • A tool is a “compiler” transforming a model captured in one language to a model captured in another language

  5. Models of Computation • Sequential model of computation • A single thread of execution • Concurrent model of computation • Multiple threads of execution • Synchronization points • Communication mechanisms • Object Oriented (OO) Model of computation • View the computation as a set of objects • Based, inherited, or composed • Polymorphism: a derived class can modify the behavior of its base class

  6. Petri net P1 P2 P3 P4 KPN Models of Computation … • FSM • A set of states and transitions • Mealy and Moore • DFG • A set of computation nodes and flow paths • Petri net • A set of places, transitions, edges, and tokens • Kahn Process Network (KPN) • A set of concurrent processes sharing data using unbounded buffers • Communicating Sequential Processes (CSP)

  7. a:=5 b:=7 c:=8 a:=6 a:=9 Models of computation: Examples • Discrete event model • Discrete Events (DE) • Events occur at discrete points on a time continuum • Events trigger computations • Computations trigger more events queue a b c 5 10 13 15 19 time action ICS212 FQ05 (Dutt) Models, Languages, Tools

  8. Models of computation: Examples • Continuous Time (CT): Differential equations • Asynchronous message passing • Differential equations model continuous i/o response as a function of continuous time • Synchronous message passing

  9. Models of Computation … • Synchronous Reactive (SR) • Break time into an ordered sequence of instances • Each instance is initiated by an event from the environment • Publish & Subscribe (P&S) • Sending applications (publishers) publish messages without explicitly specifying recipients • Receiving applications (subscribers) receive only those messages that the subscriber has registered an interest in • Loosely coupled networked systems (middleware handles the linking) • Hybrid and hierarchical models

  10. Languages • Common: • Assembly (closest language to Turing-machine model of computation) • ANSI C, C++ • ANSI C/C++ & POSIX • ADA, VHDL • JAVA • Evolving: • SystemC • SystemVerilog • SpecC, … • Others: • Magic for layout • VHDL subset for RTL • Ptolemy • API extensions • CORBA • Client-server • TCP/IP • Etc.

  11. Poetry Recipe Story State machine Sequent. program Data- flow Models Languages English Spanish Japanese C C++ Java Recipes vs. English Sequential programs vs. C Models vs. languages • Computation models describe system behavior • Conceptual notion, e.g., recipe, sequential program • Languages capture models • Concrete form, e.g., English, C • Variety of languages can capture one model • E.g., sequential program model  C,C++, Java • One language can capture variety of models • E.g., C++ → sequential program model, object-oriented model, state machine model • Certain languages better at capturing certain computation models

  12. req > floor u,d,o, t = 1,0,0,0 GoingUp !(req > floor) timer < 10 req > floor !(timer < 10) u,d,o,t = 0,0,1,0 UnitControl process using a state machine Idle DoorOpen u,d,o,t = 0,0,1,1 req == floor req < floor !(req<floor) u,d,o,t = 0,1,0,0 GoingDn u is up, d is down, o is open req < floor t is timer_start Finite-state machine (FSM) model

  13. Formal definition • An FSM is a 6-tuple F<S, I, O, F, H, s0> • S is a set of all states {s0, s1, …, sl} • I is a set of inputs {i0, i1, …, im} • O is a set of outputs {o0, o1, …, on} • F is a next-state function (S x I→ S) • H is an output function (S → O) • s0is an initial state • Moore-type • Associates outputs with states (as given above, H maps S → O) • Mealy-type • Associates outputs with transitions (H maps S x I→ O) • Shorthand notations to simplify descriptions • Implicitly assign 0 to all unassigned outputs in a state • Implicitly AND every transition condition with clock edge (FSM is synchronous)

  14. Finite-state machine with datapath model (FSMD) • FSMD extends FSM: complex data types and variables for storing data • FSMs use only Boolean data types and operations, no variables • FSMD: 7-tuple <S, I , O, V, F, H, s0> • S is a set of states {s0, s1, …, sl} • I is a set of inputs {i0, i1, …, im} • O is a set of outputs {o0, o1, …, on} • V is a set of variables {v0, v1, …, vn} • F is a next-state function (S x I x V→ S) • H is an action function (S → O + V) • s0 is an initial state • I,O,V may represent complex data types (i.e., integers, floating point, etc.) • F,H may include arithmetic operations • H is an action function, not just an output function • Describes variable updates as well as outputs • Complete system state now consists of current state, si, and values of all variables We described UnitControl as an FSMD req > floor u,d,o, t = 1,0,0,0 GoingUp !(req > floor) timer < 10 req > floor !(timer < 10) u,d,o,t = 0,0,1,0 Idle DoorOpen u,d,o,t = 0,0,1,1 req == floor req < floor !(req<floor) u,d,o,t = 0,1,0,0 GoingDn u is up, d is down, o is open req < floor t is timer_start

  15. req > floor u,d,o, t = 1,0,0,0 GoingUp !(req > floor) timer < 10 req > floor u,d,o,t = 0,0,1,0 !(timer < 10) Idle DoorOpen u,d,o,t = 0,0,1,1 req == floor req < floor !(req<floor) u,d,o,t = 0,1,0,0 GoingDn req < floor Describing a system as a state machine • 2. Declare all variables (none in this example) 1. List all possible states • 3. For each state, list possible transitions, with conditions, to other states • 4. For each state and/or transition, list associated actions • 5. For each state, ensure exclusive and complete exiting transition conditions • No two exiting conditions can be true at same time • Otherwise nondeterministic state machine • One condition must be true at any given time • Reducing explicit transitions should be avoided when first learning u is up, d is down, o is open t is timer_start

  16. State machine vs. sequential program model • Different thought process used with each model • State machine: • Encourages designer to think of all possible states and transitions among states based on all possible input conditions • Sequential program model: • Designed to transform data through series of instructions that may be iterated and conditionally executed • State machine description excels in many cases • More natural means of computing in those cases • Not due to graphical representation (state diagram) • Would still have same benefits if textual language used (i.e., state table) • Besides, sequential program model could use graphical representation (i.e., flowchart)

  17. Try Capturing Other Behaviors with an FSM • E.g., Answering machine blinking light when there are messages • E.g., A simple telephone answering machine that answers after 4 rings when activated • E.g., A simple crosswalk traffic control light • Others

  18. Capturing state machines in sequential programming language • Despite benefits of state machine model, most popular development tools use sequential programming language • C, C++, Java, Ada, VHDL, Verilog, etc. • Development tools are complex and expensive, therefore not easy to adapt or replace • Must protect investment • Two approaches to capturing state machine model with sequential programming language • Front-end tool approach • Additional tool installed to support state machine language • Graphical and/or textual state machine languages • May support graphical simulation • Automatically generate code in sequential programming language that is input to main development tool • Drawback: must support additional tool (licensing costs, upgrades, training, etc.) • Language subset approach • Most common approach...

  19. Language subset approach • Follow rules (template) for capturing state machine constructs in equivalent sequential language constructs • Used with software (e.g.,C) and hardware languages (e.g.,VHDL) • Capturing UnitControl state machine in C • Enumerate all states (#define) • Declare state variable initialized to initial state (IDLE) • Single switch statement branches to current state’s case • Each case has actions • up, down, open, timer_start • Each case checks transition conditions to determine next state • if(…) {state = …;} #define IDLE0 #define GOINGUP1 #define GOINGDN2 #define DOOROPEN3 void UnitControl() { int state = IDLE; while (1) { switch (state) { IDLE: up=0; down=0; open=1; timer_start=0; if (req==floor) {state = IDLE;} if (req > floor) {state = GOINGUP;} if (req < floor) {state = GOINGDN;} break; GOINGUP: up=1; down=0; open=0; timer_start=0; if (req > floor) {state = GOINGUP;} if (!(req>floor)) {state = DOOROPEN;} break; GOINGDN: up=1; down=0; open=0; timer_start=0; if (req < floor) {state = GOINGDN;} if (!(req<floor)) {state = DOOROPEN;} break; DOOROPEN: up=0; down=0; open=1; timer_start=1; if (timer < 10) {state = DOOROPEN;} if (!(timer<10)){state = IDLE;} break; } } } UnitControl state machine in sequential programming language

  20. General template #define S0 0 #define S1 1 ... #define SN N void StateMachine() { int state = S0; // or whatever is the initial state. while (1) { switch (state) { S0: // Insert S0’s actions here & Insert transitions Ti leaving S0: if( T0’s condition is true ) {state = T0’s next state; /*actions*/ } if( T1’s condition is true ) {state = T1’s next state; /*actions*/ } ... if( Tm’s condition is true ) {state = Tm’s next state; /*actions*/ } break; S1: // Insert S1’s actions here // Insert transitions Ti leaving S1 break; ... SN: // Insert SN’s actions here // Insert transitions Ti leaving SN break; } } }

  21. Without hierarchy With hierarchy A1 z A w x A1 z y B x y B A2 w z A2 Concurrency B C D C1 D1 x u y v C2 D2 HCFSM and the Statecharts language • Hierarchical/concurrent state machine model (HCFSM) • Extension to state machine model to support hierarchy and concurrency • States can be decomposed into another state machine • With hierarchy has identical functionality as Without hierarchy, but has one less transition (z) • Known as OR-decomposition • States can execute concurrently • Known as AND-decomposition • Statecharts • Graphical language to capture HCFSM • timeout:transition with time limit as condition • history: remember last substate OR-decomposed state A was in before transitioning to another state B • Return to saved substate of A when returning from B instead of initial state

  22. ElevatorController int req; UnitControl RequestResolver NormalMode up = down = 0; open = 1; while (1) { while (req == floor); open = 0; if (req > floor) { up = 1;} else {down = 1;} while (req != floor); open = 1; delay(10); } } ... req = ... ... !fire fire FireMode up = 0; down = 1; open = 0; while (floor > 1); up = 0; down = 0; open = 1; Program-state machine model (PSM): HCFSM plus sequential program model • Program-state’s actions can be FSM or sequential program • Designer can choose most appropriate • Stricter hierarchy than HCFSM used in Statecharts • transition between sibling states only, single entry • Program-state may “complete” • Reaches end of sequential program code, OR • FSM transition to special complete substate • PSM has 2 types of transitions • Transition-immediately (TI): taken regardless of source program-state • Transition-on-completion (TOC): taken only if condition is true AND source program-state is complete • SpecCharts: extension of VHDL to capture PSM model • SpecC: extension of C to capture PSM model • NormalMode and FireMode described as sequential programs • Black square originating within FireMode indicates !fire is a TOC transition • Transition from FireMode to NormalMode only after FireMode completed

  23. Petri Nets • C = ( P, T, I, O) • PlacesP = { p1, p2, p3, …, pn} • TransitionsT = { t1, t2, t3, …, tn} • Input I : T  Pr (r = number of places) • OutputO : T  Pq (q = number of places) • marking µ : assignment of tokens to the places of Petri net µ = µ1, µ2, µ3, … µn

  24. Applications of Petri Net • Petri net is primarily used for studying the dynamic concurrent behavior of network-based systems where there is a discrete flow. • Petri Nets are applied in practice by industry, academia, and other places. -reference

  25. Basics of Petri Nets Petri net consist two types of nodes: places and transitions. And arc exists only from a place to a transition or from a transition to a place. A place may have zero or more tokens. Graphically, places, transitions, arcs, and tokens are represented respectively by: circles, bars, arrows, and dots. p1 t1 p2

  26. Basics of Petri Nets -continued Below is an example Petri net with two places and one transaction. Transition node is ready to fire if and only if there is at least one token at each of its input places state transition of form (1, 0)  (0, 1) p1 : input place p2: output place p1 t1 p2

  27. Properties of Petri Nets Sequential ExecutionTransition t2 can fire only after the firing of t1. This impose the precedence of constraints "t2 after t1." SynchronizationTransition t1 will be enabled only when a token there are at least one token at each of its input places. MergingHappens when tokens from several places arrive for service at the same transition. p1 t1 p2 t2 p3 t1

  28. Properties of Petri Nets Concurrencyt1 and t2 are concurrent. - with this property, Petri net is able to model systems of distributed control with multiple processes executing concurrently in time. -continued t1 t2

  29. Properties of Petri Nets Conflictt1 and t2 are both ready to fire but the firing of any leads to the disabling of the other transitions. -continued t1 t2 t1 t2

  30. Properties of Petri Nets Conflict - continued the resulting conflict may be resolved in a purely non-deterministic way or in a probabilistic way, by assigning appropriate probabilities to the conflicting transitions. there is a choice of either t1 and t2, or t3 and t4 t1 t2 t3 t4 -continued

  31. Example: In a Restaurant (A Petri Net) Waiter free Customer 1 Customer 2 Take order Take order wait Order taken wait eating eating Tell kitchen Serve food Serve food

  32. Example: In a Restaurant (Two Scenarios) • Scenario 1: • Waiter takes order from customer 1; serves customer 1; takes order from customer 2; serves customer 2. • Scenario 2: • Waiter takes order from customer 1; takes order from customer 2; serves customer 2; serves customer 1.

  33. Waiter free Customer 1 Customer 2 Take order Take order wait Order taken wait eating eating Tell kitchen Serve food Serve food Example: In a Restaurant (Scenario 1)

  34. Waiter free Customer 1 Customer 2 Take order Take order wait Order taken wait eating eating Tell kitchen Serve food Serve food Example: In a Restaurant (Scenario 2)

  35. Petri Net with Time • 1962 - Carl Adam Petri originally proposed Petri without any notion of time. Concept of time was intentionally avoided because addition of time restricts the behavior of the net. • 1970s ~ - Addition of time has been discussed in order to analyze the performance of the modeled system. • Many properties are still undecided for Petri nets extended with data and time.

  36. References • Slides from lecture notes by • www.cise.ufl.edu/~fishwick/cap4800/pn1.ppt • For additional reading, refer to: • http://www.springerlink.com/content/978-94-007-0257-8#section=813480&page=1 • Chapter : Specifications and Modeling , section 2.6, page 67. You can read online using UCI internet access.

  37. ConcurrentProcessExample() { x = ReadX() y = ReadY() Call concurrently: PrintHelloWorld(x) and PrintHowAreYou(y) } PrintHelloWorld(x) { while( 1 ) { print "Hello world." delay(x); } } PrintHowAreYou(x) { while( 1 ) { print "How are you?" delay(y); } } PrintHelloWorld ReadX ReadY PrintHowAreYou time Subroutine execution over time Enter X: 1 Enter Y: 2 Hello world. (Time = 1 s) Hello world. (Time = 2 s) How are you? (Time = 2 s) Hello world. (Time = 3 s) How are you? (Time = 4 s) Hello world. (Time = 4 s) ... Sample input and output Simple concurrent process example Concurrent process model • Describes functionality of system in terms of two or more concurrently executing subtasks • Many systems easier to describe with concurrent process model because inherently multitasking • E.g., simple example: • Read two numbers X and Y • Display “Hello world.” every X seconds • Display “How are you?” every Y seconds • More effort would be required with sequential program or state machine model

  38. Process Network • Task Graph (or process network) • Node: processes performing operations • Processes map intput data streams to output data streams • Typical processes include iterations • Edge: shows relation between the processes Winter 2010- CS 244

  39. Asynchronous message passing • Communication between processes is buffered, typically assumed to be unbounded FIFOs. • Kahn process network (KPN) • Writes are non-blocking, reads block when reading from empty FIFO. • Only single process can read from FIFO. • Synchronous data flow (SDF) Winter 2010- CS 244

  40. Z = (A + B) * (C - D) A B C D modulate convolve t1 t2 transform Z Nodes with more complex transformations A B C D + – t1 t2 * Z Nodes with arithmetic transformations Dataflow model • Derivative of concurrent process model • Nodes represent transformations • May execute concurrently • Edges represent flow of tokens (data) from one node to another • May or may not have token at any given time • When all of node’s input edges have at least one token, node may fire • When node fires, it consumes input tokens processes transformation and generates output token • Nodes may fire simultaneously • Several commercial tools support graphical languages for capture of dataflow model • Can automatically translate to concurrent process model for implementation • Each node becomes a process

  41. A B C D mA mB mC mD modulate convolve mt1 t1 t2 ct2 tt1 tt2 transform tZ Z Synchronous dataflow Synchronous dataflow • With digital signal-processors (DSPs), data flows at fixed rate • Multiple tokens consumed and produced per firing • Synchronous dataflow model takes advantage of this • Each edge labeled with number of tokens consumed/produced each firing • Can statically schedule nodes, so can easily use sequential program model • Don’t need real-time operating system and its overhead • Algorithms developed for scheduling nodes into “single-appearance” schedules • Only one statement needed to call each node’s associated procedure • Allows procedure inlining without code explosion, thus reducing overhead even more

More Related