2 * Copyright (c) 2017 François Tigeot
5 * Redistribution and use in source and binary forms, with or without
6 * modification, are permitted provided that the following conditions
8 * 1. Redistributions of source code must retain the above copyright
9 * notice unmodified, this list of conditions, and the following
11 * 2. Redistributions in binary form must reproduce the above copyright
12 * notice, this list of conditions and the following disclaimer in the
13 * documentation and/or other materials provided with the distribution.
15 * THIS SOFTWARE IS PROVIDED BY THE AUTHOR ``AS IS'' AND ANY EXPRESS OR
16 * IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES
17 * OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED.
18 * IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR ANY DIRECT, INDIRECT,
19 * INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT
20 * NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
21 * DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
22 * THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
23 * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF
24 * THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
27 #ifndef _LINUX_INTERRUPT_H_
28 #define _LINUX_INTERRUPT_H_
30 #include <linux/kernel.h>
31 #include <linux/bitops.h>
32 #include <linux/irqflags.h>
33 #include <linux/hrtimer.h>
34 #include <linux/kref.h>
36 #include <linux/atomic.h>
38 struct tasklet_struct
{
40 void (*func
)(unsigned long);
51 * TODO: verify these points:
52 * - tasklets that have the same type cannot be run on multiple processors at the same time
53 * - tasklets always run on the processor from which they were originally
55 * - when a tasklet is scheduled, its state is set to TASKLET_STATE_SCHED, and the tasklet
57 * - during the execution of its function, the tasklet state is set to TASKLET_STATE_RUN
58 * and the TASKLET_STATE_SCHED state is removed
61 /* XXX scheduling and execution should be handled separately */
63 tasklet_schedule(struct tasklet_struct
*t
)
65 set_bit(TASKLET_STATE_SCHED
, &t
->state
);
67 lockmgr(&t
->lock
, LK_EXCLUSIVE
);
68 clear_bit(TASKLET_STATE_SCHED
, &t
->state
);
70 set_bit(TASKLET_STATE_RUN
, &t
->state
);
73 clear_bit(TASKLET_STATE_RUN
, &t
->state
);
75 lockmgr(&t
->lock
, LK_RELEASE
);
78 /* This function ensures that the tasklet is not scheduled to run again */
79 /* XXX this doesn't kill anything */
81 tasklet_kill(struct tasklet_struct
*t
)
83 lockmgr(&t
->lock
, LK_EXCLUSIVE
);
84 clear_bit(TASKLET_STATE_SCHED
, &t
->state
);
85 lockmgr(&t
->lock
, LK_RELEASE
);
89 tasklet_init(struct tasklet_struct
*t
, void (*func
)(unsigned long), unsigned long data
)
91 lockinit(&t
->lock
, "ltasklet", 0, LK_CANRECURSE
);
97 #endif /* _LINUX_INTERRUPT_H_ */