1*4882a593Smuzhiyun // SPDX-License-Identifier: GPL-2.0
2*4882a593Smuzhiyun /**
3*4882a593Smuzhiyun * A generic FSM based on fsm used in isdn4linux
4*4882a593Smuzhiyun *
5*4882a593Smuzhiyun */
6*4882a593Smuzhiyun
7*4882a593Smuzhiyun #include "fsm.h"
8*4882a593Smuzhiyun #include <linux/module.h>
9*4882a593Smuzhiyun #include <linux/slab.h>
10*4882a593Smuzhiyun #include <linux/timer.h>
11*4882a593Smuzhiyun
12*4882a593Smuzhiyun MODULE_AUTHOR("(C) 2000 IBM Corp. by Fritz Elfert (felfert@millenux.com)");
13*4882a593Smuzhiyun MODULE_DESCRIPTION("Finite state machine helper functions");
14*4882a593Smuzhiyun MODULE_LICENSE("GPL");
15*4882a593Smuzhiyun
16*4882a593Smuzhiyun fsm_instance *
init_fsm(char * name,const char ** state_names,const char ** event_names,int nr_states,int nr_events,const fsm_node * tmpl,int tmpl_len,gfp_t order)17*4882a593Smuzhiyun init_fsm(char *name, const char **state_names, const char **event_names, int nr_states,
18*4882a593Smuzhiyun int nr_events, const fsm_node *tmpl, int tmpl_len, gfp_t order)
19*4882a593Smuzhiyun {
20*4882a593Smuzhiyun int i;
21*4882a593Smuzhiyun fsm_instance *this;
22*4882a593Smuzhiyun fsm_function_t *m;
23*4882a593Smuzhiyun fsm *f;
24*4882a593Smuzhiyun
25*4882a593Smuzhiyun this = kzalloc(sizeof(fsm_instance), order);
26*4882a593Smuzhiyun if (this == NULL) {
27*4882a593Smuzhiyun printk(KERN_WARNING
28*4882a593Smuzhiyun "fsm(%s): init_fsm: Couldn't alloc instance\n", name);
29*4882a593Smuzhiyun return NULL;
30*4882a593Smuzhiyun }
31*4882a593Smuzhiyun strlcpy(this->name, name, sizeof(this->name));
32*4882a593Smuzhiyun init_waitqueue_head(&this->wait_q);
33*4882a593Smuzhiyun
34*4882a593Smuzhiyun f = kzalloc(sizeof(fsm), order);
35*4882a593Smuzhiyun if (f == NULL) {
36*4882a593Smuzhiyun printk(KERN_WARNING
37*4882a593Smuzhiyun "fsm(%s): init_fsm: Couldn't alloc fsm\n", name);
38*4882a593Smuzhiyun kfree_fsm(this);
39*4882a593Smuzhiyun return NULL;
40*4882a593Smuzhiyun }
41*4882a593Smuzhiyun f->nr_events = nr_events;
42*4882a593Smuzhiyun f->nr_states = nr_states;
43*4882a593Smuzhiyun f->event_names = event_names;
44*4882a593Smuzhiyun f->state_names = state_names;
45*4882a593Smuzhiyun this->f = f;
46*4882a593Smuzhiyun
47*4882a593Smuzhiyun m = kcalloc(nr_states*nr_events, sizeof(fsm_function_t), order);
48*4882a593Smuzhiyun if (m == NULL) {
49*4882a593Smuzhiyun printk(KERN_WARNING
50*4882a593Smuzhiyun "fsm(%s): init_fsm: Couldn't alloc jumptable\n", name);
51*4882a593Smuzhiyun kfree_fsm(this);
52*4882a593Smuzhiyun return NULL;
53*4882a593Smuzhiyun }
54*4882a593Smuzhiyun f->jumpmatrix = m;
55*4882a593Smuzhiyun
56*4882a593Smuzhiyun for (i = 0; i < tmpl_len; i++) {
57*4882a593Smuzhiyun if ((tmpl[i].cond_state >= nr_states) ||
58*4882a593Smuzhiyun (tmpl[i].cond_event >= nr_events) ) {
59*4882a593Smuzhiyun printk(KERN_ERR
60*4882a593Smuzhiyun "fsm(%s): init_fsm: Bad template l=%d st(%ld/%ld) ev(%ld/%ld)\n",
61*4882a593Smuzhiyun name, i, (long)tmpl[i].cond_state, (long)f->nr_states,
62*4882a593Smuzhiyun (long)tmpl[i].cond_event, (long)f->nr_events);
63*4882a593Smuzhiyun kfree_fsm(this);
64*4882a593Smuzhiyun return NULL;
65*4882a593Smuzhiyun } else
66*4882a593Smuzhiyun m[nr_states * tmpl[i].cond_event + tmpl[i].cond_state] =
67*4882a593Smuzhiyun tmpl[i].function;
68*4882a593Smuzhiyun }
69*4882a593Smuzhiyun return this;
70*4882a593Smuzhiyun }
71*4882a593Smuzhiyun
72*4882a593Smuzhiyun void
kfree_fsm(fsm_instance * this)73*4882a593Smuzhiyun kfree_fsm(fsm_instance *this)
74*4882a593Smuzhiyun {
75*4882a593Smuzhiyun if (this) {
76*4882a593Smuzhiyun if (this->f) {
77*4882a593Smuzhiyun kfree(this->f->jumpmatrix);
78*4882a593Smuzhiyun kfree(this->f);
79*4882a593Smuzhiyun }
80*4882a593Smuzhiyun kfree(this);
81*4882a593Smuzhiyun } else
82*4882a593Smuzhiyun printk(KERN_WARNING
83*4882a593Smuzhiyun "fsm: kfree_fsm called with NULL argument\n");
84*4882a593Smuzhiyun }
85*4882a593Smuzhiyun
86*4882a593Smuzhiyun #if FSM_DEBUG_HISTORY
87*4882a593Smuzhiyun void
fsm_print_history(fsm_instance * fi)88*4882a593Smuzhiyun fsm_print_history(fsm_instance *fi)
89*4882a593Smuzhiyun {
90*4882a593Smuzhiyun int idx = 0;
91*4882a593Smuzhiyun int i;
92*4882a593Smuzhiyun
93*4882a593Smuzhiyun if (fi->history_size >= FSM_HISTORY_SIZE)
94*4882a593Smuzhiyun idx = fi->history_index;
95*4882a593Smuzhiyun
96*4882a593Smuzhiyun printk(KERN_DEBUG "fsm(%s): History:\n", fi->name);
97*4882a593Smuzhiyun for (i = 0; i < fi->history_size; i++) {
98*4882a593Smuzhiyun int e = fi->history[idx].event;
99*4882a593Smuzhiyun int s = fi->history[idx++].state;
100*4882a593Smuzhiyun idx %= FSM_HISTORY_SIZE;
101*4882a593Smuzhiyun if (e == -1)
102*4882a593Smuzhiyun printk(KERN_DEBUG " S=%s\n",
103*4882a593Smuzhiyun fi->f->state_names[s]);
104*4882a593Smuzhiyun else
105*4882a593Smuzhiyun printk(KERN_DEBUG " S=%s E=%s\n",
106*4882a593Smuzhiyun fi->f->state_names[s],
107*4882a593Smuzhiyun fi->f->event_names[e]);
108*4882a593Smuzhiyun }
109*4882a593Smuzhiyun fi->history_size = fi->history_index = 0;
110*4882a593Smuzhiyun }
111*4882a593Smuzhiyun
112*4882a593Smuzhiyun void
fsm_record_history(fsm_instance * fi,int state,int event)113*4882a593Smuzhiyun fsm_record_history(fsm_instance *fi, int state, int event)
114*4882a593Smuzhiyun {
115*4882a593Smuzhiyun fi->history[fi->history_index].state = state;
116*4882a593Smuzhiyun fi->history[fi->history_index++].event = event;
117*4882a593Smuzhiyun fi->history_index %= FSM_HISTORY_SIZE;
118*4882a593Smuzhiyun if (fi->history_size < FSM_HISTORY_SIZE)
119*4882a593Smuzhiyun fi->history_size++;
120*4882a593Smuzhiyun }
121*4882a593Smuzhiyun #endif
122*4882a593Smuzhiyun
123*4882a593Smuzhiyun const char *
fsm_getstate_str(fsm_instance * fi)124*4882a593Smuzhiyun fsm_getstate_str(fsm_instance *fi)
125*4882a593Smuzhiyun {
126*4882a593Smuzhiyun int st = atomic_read(&fi->state);
127*4882a593Smuzhiyun if (st >= fi->f->nr_states)
128*4882a593Smuzhiyun return "Invalid";
129*4882a593Smuzhiyun return fi->f->state_names[st];
130*4882a593Smuzhiyun }
131*4882a593Smuzhiyun
132*4882a593Smuzhiyun static void
fsm_expire_timer(struct timer_list * t)133*4882a593Smuzhiyun fsm_expire_timer(struct timer_list *t)
134*4882a593Smuzhiyun {
135*4882a593Smuzhiyun fsm_timer *this = from_timer(this, t, tl);
136*4882a593Smuzhiyun #if FSM_TIMER_DEBUG
137*4882a593Smuzhiyun printk(KERN_DEBUG "fsm(%s): Timer %p expired\n",
138*4882a593Smuzhiyun this->fi->name, this);
139*4882a593Smuzhiyun #endif
140*4882a593Smuzhiyun fsm_event(this->fi, this->expire_event, this->event_arg);
141*4882a593Smuzhiyun }
142*4882a593Smuzhiyun
143*4882a593Smuzhiyun void
fsm_settimer(fsm_instance * fi,fsm_timer * this)144*4882a593Smuzhiyun fsm_settimer(fsm_instance *fi, fsm_timer *this)
145*4882a593Smuzhiyun {
146*4882a593Smuzhiyun this->fi = fi;
147*4882a593Smuzhiyun #if FSM_TIMER_DEBUG
148*4882a593Smuzhiyun printk(KERN_DEBUG "fsm(%s): Create timer %p\n", fi->name,
149*4882a593Smuzhiyun this);
150*4882a593Smuzhiyun #endif
151*4882a593Smuzhiyun timer_setup(&this->tl, fsm_expire_timer, 0);
152*4882a593Smuzhiyun }
153*4882a593Smuzhiyun
154*4882a593Smuzhiyun void
fsm_deltimer(fsm_timer * this)155*4882a593Smuzhiyun fsm_deltimer(fsm_timer *this)
156*4882a593Smuzhiyun {
157*4882a593Smuzhiyun #if FSM_TIMER_DEBUG
158*4882a593Smuzhiyun printk(KERN_DEBUG "fsm(%s): Delete timer %p\n", this->fi->name,
159*4882a593Smuzhiyun this);
160*4882a593Smuzhiyun #endif
161*4882a593Smuzhiyun del_timer(&this->tl);
162*4882a593Smuzhiyun }
163*4882a593Smuzhiyun
164*4882a593Smuzhiyun int
fsm_addtimer(fsm_timer * this,int millisec,int event,void * arg)165*4882a593Smuzhiyun fsm_addtimer(fsm_timer *this, int millisec, int event, void *arg)
166*4882a593Smuzhiyun {
167*4882a593Smuzhiyun
168*4882a593Smuzhiyun #if FSM_TIMER_DEBUG
169*4882a593Smuzhiyun printk(KERN_DEBUG "fsm(%s): Add timer %p %dms\n",
170*4882a593Smuzhiyun this->fi->name, this, millisec);
171*4882a593Smuzhiyun #endif
172*4882a593Smuzhiyun
173*4882a593Smuzhiyun timer_setup(&this->tl, fsm_expire_timer, 0);
174*4882a593Smuzhiyun this->expire_event = event;
175*4882a593Smuzhiyun this->event_arg = arg;
176*4882a593Smuzhiyun this->tl.expires = jiffies + (millisec * HZ) / 1000;
177*4882a593Smuzhiyun add_timer(&this->tl);
178*4882a593Smuzhiyun return 0;
179*4882a593Smuzhiyun }
180*4882a593Smuzhiyun
181*4882a593Smuzhiyun /* FIXME: this function is never used, why */
182*4882a593Smuzhiyun void
fsm_modtimer(fsm_timer * this,int millisec,int event,void * arg)183*4882a593Smuzhiyun fsm_modtimer(fsm_timer *this, int millisec, int event, void *arg)
184*4882a593Smuzhiyun {
185*4882a593Smuzhiyun
186*4882a593Smuzhiyun #if FSM_TIMER_DEBUG
187*4882a593Smuzhiyun printk(KERN_DEBUG "fsm(%s): Restart timer %p %dms\n",
188*4882a593Smuzhiyun this->fi->name, this, millisec);
189*4882a593Smuzhiyun #endif
190*4882a593Smuzhiyun
191*4882a593Smuzhiyun del_timer(&this->tl);
192*4882a593Smuzhiyun timer_setup(&this->tl, fsm_expire_timer, 0);
193*4882a593Smuzhiyun this->expire_event = event;
194*4882a593Smuzhiyun this->event_arg = arg;
195*4882a593Smuzhiyun this->tl.expires = jiffies + (millisec * HZ) / 1000;
196*4882a593Smuzhiyun add_timer(&this->tl);
197*4882a593Smuzhiyun }
198*4882a593Smuzhiyun
199*4882a593Smuzhiyun EXPORT_SYMBOL(init_fsm);
200*4882a593Smuzhiyun EXPORT_SYMBOL(kfree_fsm);
201*4882a593Smuzhiyun EXPORT_SYMBOL(fsm_settimer);
202*4882a593Smuzhiyun EXPORT_SYMBOL(fsm_deltimer);
203*4882a593Smuzhiyun EXPORT_SYMBOL(fsm_addtimer);
204*4882a593Smuzhiyun EXPORT_SYMBOL(fsm_modtimer);
205*4882a593Smuzhiyun EXPORT_SYMBOL(fsm_getstate_str);
206*4882a593Smuzhiyun
207*4882a593Smuzhiyun #if FSM_DEBUG_HISTORY
208*4882a593Smuzhiyun EXPORT_SYMBOL(fsm_print_history);
209*4882a593Smuzhiyun EXPORT_SYMBOL(fsm_record_history);
210*4882a593Smuzhiyun #endif
211