kernel/trace/rv/monitors/sleep/sleep.h

Source file repositories/reference/linux-study-clean/kernel/trace/rv/monitors/sleep/sleep.h

File Facts

System
Linux kernel
Corpus path
kernel/trace/rv/monitors/sleep/sleep.h
Extension
.h
Size
7313 bytes
Lines
264
Domain
Core OS
Bucket
Scheduler, Processes, Timers, Sync, And Syscalls
Inferred role
Core OS: implementation source
Status
source implementation candidate

Why This File Exists

Core operating-system implementation surface: boot, tasks, memory, VFS, syscall-facing interfaces, synchronization, credentials, and isolation.

Dependency Surface

Detected Declarations

Annotated Snippet

#include <linux/rv.h>

#define MONITOR_NAME sleep

enum ltl_atom {
	LTL_ABORT_SLEEP,
	LTL_BLOCK_ON_RT_MUTEX,
	LTL_CLOCK_NANOSLEEP,
	LTL_EPOLL_WAIT,
	LTL_FUTEX_LOCK_PI,
	LTL_FUTEX_WAIT,
	LTL_KERNEL_THREAD,
	LTL_KTHREAD_SHOULD_STOP,
	LTL_NANOSLEEP_CLOCK_MONOTONIC,
	LTL_NANOSLEEP_CLOCK_TAI,
	LTL_NANOSLEEP_TIMER_ABSTIME,
	LTL_RT,
	LTL_SLEEP,
	LTL_TASK_IS_MIGRATION,
	LTL_TASK_IS_RCU,
	LTL_WAKE,
	LTL_WOKEN_BY_EQUAL_OR_HIGHER_PRIO,
	LTL_WOKEN_BY_HARDIRQ,
	LTL_WOKEN_BY_NMI,
	LTL_NUM_ATOM
};
static_assert(LTL_NUM_ATOM <= RV_MAX_LTL_ATOM);

static const char *ltl_atom_str(enum ltl_atom atom)
{
	static const char *const names[] = {
		"ab_sl",
		"bl_on_rt_mu",
		"cl_na",
		"ep_wa",
		"fu_lo_pi",
		"fu_wa",
		"ker_th",
		"kth_sh_st",
		"na_cl_mo",
		"na_cl_ta",
		"na_ti_ab",
		"rt",
		"sl",
		"ta_mi",
		"ta_rc",
		"wak",
		"wo_eq_hi_pr",
		"wo_ha",
		"wo_nm",
	};

	return names[atom];
}

enum ltl_buchi_state {
	S0,
	S1,
	S2,
	S3,
	S4,
	S5,
	S6,
	S7,
	RV_NUM_BA_STATES
};
static_assert(RV_NUM_BA_STATES <= RV_MAX_BA_STATES);

static void ltl_start(struct task_struct *task, struct ltl_monitor *mon)
{
	bool woken_by_nmi = test_bit(LTL_WOKEN_BY_NMI, mon->atoms);
	bool woken_by_hardirq = test_bit(LTL_WOKEN_BY_HARDIRQ, mon->atoms);
	bool woken_by_equal_or_higher_prio = test_bit(LTL_WOKEN_BY_EQUAL_OR_HIGHER_PRIO,
	     mon->atoms);
	bool wake = test_bit(LTL_WAKE, mon->atoms);
	bool task_is_rcu = test_bit(LTL_TASK_IS_RCU, mon->atoms);
	bool task_is_migration = test_bit(LTL_TASK_IS_MIGRATION, mon->atoms);
	bool sleep = test_bit(LTL_SLEEP, mon->atoms);
	bool rt = test_bit(LTL_RT, mon->atoms);
	bool nanosleep_timer_abstime = test_bit(LTL_NANOSLEEP_TIMER_ABSTIME, mon->atoms);
	bool nanosleep_clock_tai = test_bit(LTL_NANOSLEEP_CLOCK_TAI, mon->atoms);
	bool nanosleep_clock_monotonic = test_bit(LTL_NANOSLEEP_CLOCK_MONOTONIC, mon->atoms);
	bool kthread_should_stop = test_bit(LTL_KTHREAD_SHOULD_STOP, mon->atoms);
	bool kernel_thread = test_bit(LTL_KERNEL_THREAD, mon->atoms);
	bool futex_wait = test_bit(LTL_FUTEX_WAIT, mon->atoms);
	bool futex_lock_pi = test_bit(LTL_FUTEX_LOCK_PI, mon->atoms);
	bool epoll_wait = test_bit(LTL_EPOLL_WAIT, mon->atoms);
	bool clock_nanosleep = test_bit(LTL_CLOCK_NANOSLEEP, mon->atoms);
	bool block_on_rt_mutex = test_bit(LTL_BLOCK_ON_RT_MUTEX, mon->atoms);
	bool abort_sleep = test_bit(LTL_ABORT_SLEEP, mon->atoms);

Annotation

Implementation Notes