C embedded – State machine

Utilizarea „State Machine”-ilor (SM) este larg rapandita in programare. Un SM este un automat de stari programat sa execute anumite functii in corelatie cu anumite evenimente si semnale externe.
Decizii de design :
– Reprezentarea evenimentelor
– Reprezentarea starilor
– Reprezentarea tranzitiilor
– Distribuirea evenimentelor catre StateMachine

Metode si modele de creere a unui SM :
– Switch-uri imbricate
– Tabel de stari
– OO State Design Pattern
– Abordare mixta

Cereintele unui SM:
– Intretinerea simpla
– Utilizarea memoriei minimala
– Eficienta

Reprezentarea comuna a unui SM:

Metoda Switch-urilor imbricate
– Starile si evenimentele sunt reprezentate de enumeratii – Cel puțin două niveluri ale declarațiilor de comutare; una pentru expedierea statului, celălalt pentru selectarea semnalului.
– Acțiuni de tranziție sunt puse în aplicare în declarația de comutare a selectarii semnalului

Pro:
– Simpla și pe scară largă instituit
– Amprenta de memorie mică (o singură variabilă care conține starea)
Contra:
– O posibilitate redusă de refolosire a codului
– Distribuirea liniara in timp a evenimentelor si a semnalelor
Exemplu:


typedef enum
{
SIG_1, /* signal 1 */
SIG_2 /* signal 2 */
} signal_t;

typedef enum
{
STATE_1, /* state 1 */
STATE_2 /* state 2 */
} state_t;

state_t cur_state;
void init(void)
{
cur_state = STATE_1;
}
void tran(state_t target_state)
{
cur_state=target_state;
}

dispatch(signal_t signal)
{
switch(cur_state)
{
case STATE_1:
switch(signal)
{
case SIG_1:
/* trans action */
tran(STATE_2);
break;
}
break;
case(STATE_2):
switch(signal)
{
case SIG_1:
/* trans action */
break;
case SIG_2:
/* trans action */
tran(STATE_1);
break;
}
break;
}
}