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