tools/verification/models/sched/nrp.dot

Source file repositories/reference/linux-study-clean/tools/verification/models/sched/nrp.dot

File Facts

System
Linux kernel
Corpus path
tools/verification/models/sched/nrp.dot
Extension
.dot
Size
1430 bytes
Lines
30
Domain
Support Tooling And Documentation
Bucket
tools
Inferred role
Support Tooling And Documentation: tools
Status
atlas-only

Why This File Exists

Repository support layer: documentation, build tooling, samples, user-space helper tools, generated initramfs support, licenses, and validation utilities.

Dependency Surface

Detected Declarations

Annotated Snippet

digraph state_automaton {
	center = true;
	size = "7,11";
	{node [shape = doublecircle] "any_thread_running"};
	{node [shape = circle] "any_thread_running"};
	{node [shape = circle] "nested_preempt"};
	{node [shape = plaintext, style=invis, label=""] "__init_preempt_irq"};
	{node [shape = circle] "preempt_irq"};
	{node [shape = circle] "rescheduling"};
	"__init_preempt_irq" -> "preempt_irq";
	"any_thread_running" [label = "any_thread_running", color = green3];
	"any_thread_running" -> "any_thread_running" [ label = "schedule_entry\nirq_entry" ];
	"any_thread_running" -> "rescheduling" [ label = "sched_need_resched" ];
	"nested_preempt" [label = "nested_preempt"];
	"nested_preempt" -> "any_thread_running" [ label = "schedule_entry_preempt\nschedule_entry" ];
	"nested_preempt" -> "nested_preempt" [ label = "irq_entry" ];
	"nested_preempt" -> "preempt_irq" [ label = "sched_need_resched" ];
	"preempt_irq" [label = "preempt_irq"];
	"preempt_irq" -> "nested_preempt" [ label = "schedule_entry_preempt\nschedule_entry" ];
	"preempt_irq" -> "preempt_irq" [ label = "irq_entry\nsched_need_resched" ];
	"rescheduling" [label = "rescheduling"];
	"rescheduling" -> "any_thread_running" [ label = "schedule_entry_preempt\nschedule_entry" ];
	"rescheduling" -> "preempt_irq" [ label = "irq_entry" ];
	"rescheduling" -> "rescheduling" [ label = "sched_need_resched" ];
	{ rank = min ;
		"__init_preempt_irq";
		"preempt_irq";
	}
}

Annotation

Implementation Notes