Embedded Real-Time Systems (TI-IRTS) GoF State Pattern a Behavioral Pattern

Transcription

1 Embedded Real-Time Systems (TI-IRTS) GoF State Pattern a Behavioral Pattern Version:

2 State Pattern Behavioral Intent: Allow an object to alter its behavior when its internal state changes. The object will appear to change its class (its state). An implementation technique for realizing a state machine described by a UML State Chart. Each state is implemented as a class with the events as operations. Slide 2

3 TCP State Chart Example TCPClosed ActiveOpen PassiveOpen Close Transmit TCPEstablished Close Send TCPListen Slide 3

4 Client State Pattern Class Diagram * TCPConnection +ActiveOpen() +PassiveOpen() +Close() +Acknowledge() +Synchronize() +Send() +Transmit() _state 1 TCPState +ActiveOpen() +PassiveOpen() +Close() +Acknowledge() +Synchronize() +Send() +Transmit() _state->activeopen() TCPEstablished TCPListen TCPClosed Close() Transmit() Close() Send() ActiveOpen () PassiveOpen() Slide 4

5 State Pattern - GoF Structure Client * Context +Request() _state 1 State +Handle() _state->handle(); ConcreteStateA +Handle() ConcreteStateB +Handle() Slide 5

6 State Pattern C++ Example (1) TCPConnection ActiveOpen () PassiveOpen() Close() Acknowledge() Synchronize() Send() Transmit() -ChangeState() «friend» _state TCPState ActiveOpen () PassiveOpen() Close() Acknowledge() Synchronize() Send() Transmit() -ChangeState() class TCPConnection public: TCPConnection(); void ActiveOpen(); void PassiveOpen(); void Close(); void Acknowledge(); void Synchronize(); void Send(); void Transmit(); void ProcessOctet(TCPOctetStream*); private: friend class TCPState; void ChangeState(TCPState*); TCPState* _state; ; Slide 6

7 State Pattern C++ Example (2) TCPConnection::TCPConnection () _state = TCPClosed::Instance(); void TCPConnection::ActiveOpen () _state->activeopen(this); void TCPConnection::PassiveOpen () _state->passiveopen(this); void TCPConnection::Close () _state->close(this); void TCPConnection::Acknowledge () _state->acknowledge(this); void TCPConnection::Synchronize () _state->synchronize(this); void TCPConnection::ChangeState (TCPState* s) _state = s; Slide 7

8 State Pattern C++ Example (3) class TCPState public: virtual void ActiveOpen(TCPConnection*); virtual void PassiveOpen(TCPConnection*); virtual void Close(TCPConnection*); virtual void Acknowledge(TCPConnection*); virtual void Synchronize(TCPConnection*); virtual void Send(TCPConnection*); virtual void Transmit(TCPConnection*, TCPOctetStream*); protected: TCPState() void ChangeState(TCPConnection*, TCPState*); ; Slide 8

9 State Pattern C++ Example (4) Implementation of TCPState with default code: void TCPState::ActiveOpen (TCPConnection*) default(); void TCPState::PassiveOpen (TCPConnection*) default(); void TCPState::Close (TCPConnection*) default(); void TCPState::Acknowledge (TCPConnection*) default(); void TCPState::Synchronize (TCPConnection*) default(); void TCPState::Send (TCPConnection*) default(); void TCPState::Transmit (TCPConnection*, TCPOctetStream*) default(); void TCPState::ChangeState (TCPConnection* t, TCPState* s) t->changestate(s); Slide 9

10 State Pattern C++ Example (5) TCPConnection::TCPConnection () _state = TCPClosed::Instance(); // start state TCPClosed state object create :TCPConnection :TCPClosed Slide 10

11 State Pattern C++ Example (6) 1 ActiveOpen 1.1 ActiveOpen :TCPConnection ChangeState :TCPClosed ChangeState Instance void TCPConnection::ActiveOpen () _state->activeopen(this); TCPEstablished void TCPClosed::ActiveOpen (TCPConnection* t) // send SYN, receive SYN, ACK, etc. ChangeState(t, TCPEstablished::Instance()); // state shift Slide 11

12 State Pattern C++ Example (7) void TCPClosed::PassiveOpen (TCPConnection* t) ChangeState(t, TCPListen::Instance()); void TCPEstablished::Transmit (TCPConnection* t, TCPOctetStream* o) t->processoctet(o); // no state change void TCPEstablished::Close (TCPConnection* t) // send FIN, receive ACK of FIN ChangeState(t, TCPListen::Instance()); Slide 12

13 State Pattern C++ Example (8) Singleton pattern class Singleton public: static Singleton* Instance(); protected: Singleton(); private: static Singleton* _instance; ; Singleton* Singleton::_instance = 0; Singleton* Singleton::Instance () if (_instance == 0) _instance = new Singleton; return _instance; Slide 13

14 State Pattern C++ Example (9) Singleton pattern used on TCPClosed class class TCPClosed : public TCPState public: static TCPState* Instance(); virtual void ActiveOpen(TCPConnection*); virtual void PassiveOpen(TCPConnection*); protected: TCPClosed(); private: static TCPState* _instance; TCPState* TCPClosed::_instance = 0; TCPState* TCPClosed::Instance() if (_instance = = 0) _instance = new TCPClosed; return _instance; Slide 14

15 State Pattern Implementation Details (1) TCPState ActiveOpen () PassiveOpen() Close() Acknowledge() Synchronize() Send() Transmit() 1. Design choice 1. All event operations specified as pure virtual (C++) Requires that all operations are defined in the subclasses (forced by the compiler) 2. Design choice 2. All event operations have default implementation in superclass Only necessary to implement event operations for the actual state Slide 15

16 State Pattern Implementation Details (2) Event parameters, guard, entry and exit actions void TCPClosed::event1(TCPConnection* t,type parameter1) if ( t->guard1() ) exit(); // explicit call of exit action t->action_1(); ChangeState(t,TCPListen::Instance()); void TCPConnection::ChangeState(State* ps) _state= ps; _state->entry(); // call entry in new state Slide 16

17 Three Solutions for Event Handling Class_X +event1() +event2() +event3() _state->event1(); StatePattern Class_X +handleevent(eventno) StatePattern 3. Class_X +handlecommand(command* pc) switch (eventno) case START: _state->start(); StatePattern pc->execute(_state); Slide 17

18 Event Handling - Solution 1. Class_X +event1() +event2() +event3() _state->event1(); StatePattern Each event modeled as an operation in the Context class TCPConnection ActiveOpen () PassiveOpen() Close() Acknowledge() Synchronize() Send() Transmit() _state TCPState ActiveOpen () PassiveOpen() Close() Acknowledge() Synchronize() Send() Transmit() _state->activeopen() Slide 18

19 Event Handling - Solution 2. Class_X +handleevent(eventno) Only one operation in the Context class switch based StatePattern switch (eventno) case START: _state->start(); TCPConnection TCPState +handleevent(eventno) switch (eventno) case ACTIVE_OPEN: _state->activeopen(); break; Slide 19 _state ActiveOpen () PassiveOpen() Close() Acknowledge() Synchronize() Send() Transmit()

20 Event Handling - Solution 3. Class_X +handlecommand(command* pc) StatePattern pc->execute(_state); Only one operation in the Context class polymorphic based An example of the Command Pattern used in concert with the State Pattern Slide 20

21 Command (GoF) & State Pattern (C++) Command +excecute() TCPConnection handlecommand() _state TCPState ActiveOpen () PassiveOpen() Close() Acknowledge() Synchronize() Send() Transmit() ActiveOpen PassiveOpen Close excecute() excecute() excecute() TCPEstablished TCPListen TCPClosed Close() Transmit() Close() Send() ActiveOpen () PassiveOpen() excecute(tcpstate* pstate) pstate->activeopen(); handlecommand(command* pcommand) pcommand->excecute(_state); Slide 21

22 State Pattern Infusion Pump Example InfusionPump Control «friend» +start() +stop() +alarmacknowledged() +alarmdetected() +dooropened() +clear() -startalarm() -stopalarm() -startinfusion() -stopinfusion() -cleartotal() currentstate STATE abstract +start() +stop() +alarmacknowledged() +alarmdetected() +dooropened() +clear() ALARM +alarmacknowledged() INFUSION_INACTIVE +start() +clear() INFUSION_ACTIVE +stop() +alarmdetected() +dooropened() Slide 22

23 Example with Hierarchic State Machine (1) Infusion Pump Operating state setin Maintenance Infusion Pump Maintenance state setinoperation /start_alarm Alarm alarmacknowledged / stopalarm stop / stopinfusio n Infusion Inactive clear / cleartotal start[ door_closed ] / startinfusion /stopinfusion; startalarm Infusion Active alarmdetected dooropened Slide 23

24 Hierarchic State Pattern Example STATE InfusionPump Control currentstate start() stop() alarmacknowledged() alarmdetecteded() dooropened() clear() setinmaintenance() setinoperation() abstract classes Operation setinmaintenance() Maintenance setinoperation() ALARM alarmacknowledged() INFUSION_INACTIVE start() clear() INFUSION_ACTIVE stop() alarmdetected() dooropened() Slide 24

25 Definition of Interface IPump Client «interface» InfusionPump Control-IF +start() +stop() +alarmacknowledged() +alarmdetected() +dooropened() +clear() +setinoperation() +setinmaintenance() action op. only called from state machine Slide 25 InfusionPump Control +start() +stop() +alarmacknowledged() +alarmdetected() +dooropened() +clear() +setinoperation() +setinmaintenance() +startalarm() +stopalarm() +startinfusion() +stopinfusion() +cleartotal()

26 Discussion of State Pattern Implementation Disadvantages Results in many small classes Breaks encapsulation (of the state machine class) Advantages Easy to implement most UML state chart notations (guards, event parameters, entry, exit) State Pattern can be reverse engineered from code All state handling logic in separate state classes Easy to extend with new states Recommendation: Very useful for nontrivial flat and hierarchical state machines Slide 26

27 Pacemaker Class Diagram Classes with state machines abstract class Slide 27

28 Pacemaker State Chart for Class Coil Driver Slide 28

29 Step 1: Construct Class Hierarchy CoilDriver CoilDriver State Disabled Enabled Idle Receiving Bit Waiting ForBit WaitingTo Transmit Transmitting Bit WaitingTo Pulse Pulsing Slide 29

30 Step 2: Add Event Operations CoilDriver EnableComm() DisableComm() Outgoing(Byte) Pulse() mystate CoilDriver State EnableComm() DisableComm() Outgoing(Byte) Pulse() abstract class with abstract operations Disabled EnableComm() Enabled DisableComm() Add operations for outgoing arrows on state chart Idle Receiving Bit Waiting ForBit WaitingTo Transmit Transmitting Bit Outgoing(Byte) Pulse() WaitingTo Pulse Pulsing Slide 30

31 Summary State extremely useful Slide 31