id	summary	reporter	owner	description	type	status	priority	milestone	component	version	resolution	keywords	cc	field_blocks	field_dependson	field_seealso
556	fibril_timer semantics are flawed	Jiri Svoboda	Jiri Svoboda	"Fibril timer does not hold the timer lock while the callback is executed. That means there is no guarantee after return from fibril_timer_clear() that the callback has been either cancelled or has run to completion. It could happen that the callback is still running after we return from fibril_timer_clear(). That makes the return value of fibril_timer_clear() worthless.

fibril_timer is currently used for TCP retransmissions.
"	defect	closed	major	0.6.0	helenos/lib/c	mainline	fixed					#557, #558