id	summary	reporter	owner	description	type	status	priority	milestone	component	version	resolution	keywords	cc	field_blocks	field_dependson	field_seealso
557	fibril_timer_func needs first aid	Jiri Svoboda	Jiri Svoboda	fibril_timer_func() has serveral issues. In general it thinks the timer state cannot change (or cannot change in some ways) while it's waiting and not holding the timer lock - while the state can actually change arbitrarily. For example, after returning from fibril_condvarwait_timeout() with rc == ETIMEOUT we don't check the state at all.	defect	closed	major	0.6.0	helenos/lib/c	mainline	fixed					#556, #558