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/kref.h>
35 #include <linux/atomic.h>
37 struct tasklet_struct
{
39 void (*func
)(unsigned long);
50 * TODO: verify these points:
51 * - tasklets that have the same type cannot be run on multiple processors at the same time
52 * - tasklets always run on the processor from which they were originally
54 * - when a tasklet is scheduled, its state is set to TASKLET_STATE_SCHED, and the tasklet
56 * - during the execution of its function, the tasklet state is set to TASKLET_STATE_RUN
57 * and the TASKLET_STATE_SCHED state is removed
60 /* XXX scheduling and execution should be handled separately */
62 tasklet_schedule(struct tasklet_struct
*t
)
64 set_bit(TASKLET_STATE_SCHED
, t
->state
);
66 lockmgr(&t
->lock
, LK_EXCLUSIVE
);
67 clear_bit(TASKLET_STATE_SCHED
, t
->state
);
69 set_bit(TASKLET_STATE_RUN
, t
->state
);
71 clear_bit(TASKLET_STATE_RUN
, t
->state
);
73 lockmgr(&t
->lock
, LK_RELEASE
);
76 /* This function ensures that the tasklet is not scheduled to run again */
77 /* XXX this doesn't kill anything */
79 tasklet_kill(struct tasklet_struct
*t
)
81 lockmgr(&t
->lock
, LK_EXCLUSIVE
);
82 clear_bit(TASKLET_STATE_SCHED
, t
->state
);
83 lockmgr(&t
->lock
, LK_RELEASE
);
87 tasklet_init(struct tasklet_struct
*t
, void (*func
)(unsigned long), unsigned long data
)
89 lockinit(&t
->lock
, "ltasklet", 0, LK_CANRECURSE
);
95 #endif /* _LINUX_INTERRUPT_H_ */