| /linux/Documentation/trace/rv/ |
| H A D | deterministic_automata.rst | 1 Deterministic Automata
4 Formally, a deterministic automaton, denoted by G, is defined as a quintuple:
16 special case of deterministic automata, the occurrence of the event in *E*
17 in a state in *X* has a deterministic next state from *X*.
48 Deterministic Automaton in C
152 The 'wip.h' content is the code sample in section 'Deterministic Automaton
|
| H A D | linear_temporal_logic.rst | 12 Initially, the specification can only be written in the form of deterministic
14 complex specifications, deterministic automaton is found to be inappropriate as
108 automaton - a non-deterministic state machine which checks the satisfiability of
|
| H A D | monitor_wwnr.rst | 5 - Type: per-task deterministic automaton
|
| H A D | monitor_wip.rst | 5 - Type: per-cpu deterministic automaton
|
| H A D | da_monitor_instrumentation.rst | 1 Deterministic Automata Instrumentation
|
| /linux/Documentation/locking/ |
| H A D | pi-futex.rst | 54 to think about how to offer the option of a deterministic locking
68 even if all critical sections are coded carefully to be deterministic
71 deterministic execution of the high-prio task: any medium-priority task
|
| /linux/include/linux/ |
| H A D | rv.h | 20 * Deterministic automaton per-object variables.
40 * non-deterministic state machine, the monitor can be in multiple
|
| /linux/kernel/rcu/ |
| H A D | Makefile | 2 # Any varying coverage in these files is non-deterministic
|
| /linux/tools/testing/selftests/kvm/include/ |
| H A D | kvm_util_types.h | 11 * static_assert() to avoid creating non-deterministic behavior that is
|
| /linux/arch/x86/kernel/apic/ |
| H A D | Makefile | 6 # Leads to non-deterministic coverage that is not a function of syscall inputs.
|
| /linux/Documentation/security/ |
| H A D | self-protection.rst | 198 While many protections can be considered deterministic (e.g. read-only
224 mounting a successful attack, making the location non-deterministic
250 being relatively deterministic in layout due to the order of early-boot
|
| /linux/arch/mips/include/asm/mips-boards/ |
| H A D | piix4.h | 24 /* Deterministic Latency Control */
|
| /linux/crypto/ |
| H A D | Kconfig | 1184 tristate "NIST SP800-90A DRBG (Deterministic Random Bit Generator)"
1186 DRBG (Deterministic Random Bit Generator) (NIST SP800-90A)
1224 tristate "CPU Jitter Non-Deterministic RNG (Random Number Generator)"
1230 A non-physical non-deterministic ("true") RNG (e.g., an entropy source
1232 deterministic RNG (e.g., per NIST SP800-90C).
|
| /linux/include/rv/ |
| H A D | automata.h | 5 * Deterministic automata helper functions, to be used with the automata
|
| H A D | da_monitor.h | 5 * Deterministic automata (DA) monitor functions, to be used together
42 * Generic helpers for all types of deterministic automata monitors.
|
| /linux/drivers/dax/ |
| H A D | Kconfig | 17 restrictions that make the mapping behavior deterministic.
|
| /linux/tools/testing/selftests/proc/ |
| H A D | proc-net-dev-lseek.c | 32 /* /proc/net/dev output is deterministic in fresh netns only. */ in main()
|
| /linux/tools/verification/rvgen/rvgen/templates/dot2k/ |
| H A D | main.c | 26 * Declare the deterministic automata monitor.
|
| /linux/arch/mips/bcm47xx/ |
| H A D | time.c | 40 * Use deterministic values for initial counter interrupt in plat_time_init()
|
| /linux/include/cxl/ |
| H A D | mailbox.h | 18 * outputs commands this is always expected to be deterministic. For
|
| /linux/drivers/ssb/ |
| H A D | driver_gpio.c | 236 * deterministic to address them more easily. The other buses could get in ssb_gpio_chipco_init()
433 * deterministic to address them more easily. The other buses could get in ssb_gpio_extif_init()
|
| /linux/Documentation/dev-tools/ |
| H A D | gpio-sloppy-logic-analyzer.rst | 31 non-deterministic code paths and non-maskable interrupts. It is called 'sloppy'
|
| /linux/arch/xtensa/include/asm/ |
| H A D | elf.h | 156 * deterministic. Also, clearing a0 terminates debugger backtraces.
|
| /linux/drivers/watchdog/ |
| H A D | intel-mid_wdt.c | 180 * deterministic values. in mid_wdt_probe()
|
| /linux/Documentation/arch/x86/ |
| H A D | topology.rst | 299 3) CPUID leaf 0x00000004 (Deterministic Cache Parameters Leaf)
330 0x00000004 (Deterministic Cache Parameters Leaf) and CPUID leaf 0x00000001
|