/linux/Documentation/block/ |
H A D | bfq-iosched.rst | 9 - BFQ guarantees a high system and application responsiveness, and a 70 4-1 Service guarantees provided 84 Regardless of the actual background workload, BFQ guarantees that, for 126 Strong fairness, bandwidth and delay guarantees 132 guarantees, it is possible to compute a tight per-I/O-request delay 133 guarantees by a simple formula. If not configured for strict service 134 guarantees, BFQ switches to time-based resource sharing (only) for 142 possibly heavy workloads are being served, BFQ guarantees: 193 - With respect to idling for service guarantees, if several 196 guarantees the expected throughput distribution without ever [all …]
|
/linux/rust/kernel/alloc/ |
H A D | allocator.rs | 78 /// # Guarantees 80 /// This method has the same guarantees as `Allocator::realloc`. Additionally 111 // - Those functions provide the guarantees of this function. in call() 132 // `layout.align()` which together with the slab guarantees means that `Kmalloc` will return in aligned_layout() 138 // SAFETY: `realloc` delegates to `ReallocFunc::call`, which guarantees that 141 // - `realloc` satisfies the guarantees, since `ReallocFunc::call` has the same. 208 // SAFETY: `realloc` delegates to `ReallocFunc::call`, which guarantees that 211 // - `realloc` satisfies the guarantees, since `ReallocFunc::call` has the same. 229 // SAFETY: `realloc` delegates to `ReallocFunc::call`, which guarantees that 232 // - `realloc` satisfies the guarantees, since `ReallocFunc::call` has the same.
|
/linux/rust/kernel/list/ |
H A D | impl_list_item_mod.rs | 193 // SAFETY: See GUARANTEES comment on each method. 195 // GUARANTEES: 201 // SAFETY: The caller guarantees that `me` points at a valid value of type `Self`. 207 // GUARANTEES: 223 // GUARANTEES: 236 // GUARANTEES: 259 // SAFETY: See GUARANTEES comment on each method. 261 // GUARANTEES: 294 // GUARANTEES: 310 // GUARANTEES: (always) [all …]
|
/linux/rust/kernel/ |
H A D | alloc.rs | 157 /// - Implementers must ensure that all trait functions abide by the guarantees documented in the 158 /// `# Guarantees` sections. 162 /// # Guarantees 175 /// # Guarantees 203 /// to `realloc` guarantees that the new or grown buffer has at least `Layout::size` bytes, but 222 /// # Guarantees 224 /// This function has the same guarantees as [`Allocator::alloc`]. When `ptr == Some(p)`, then 225 /// it additionally guarantees that: 248 // SAFETY: The caller guarantees that `ptr` points at a valid allocation created by this in free()
|
H A D | page.rs | 268 // it has performed a bounds check and guarantees that `src` is 271 // There caller guarantees that there is no data race. 290 // bounds check and guarantees that `dst` is valid for `len` bytes. 292 // There caller guarantees that there is no data race. 310 // bounds check and guarantees that `dst` is valid for `len` bytes. 312 // There caller guarantees that there is no data race. 338 // bounds check and guarantees that `dst` is valid for `len` bytes. Furthermore, we have 339 // exclusive access to the slice since the caller guarantees that there are no races.
|
H A D | uaccess.rs | 259 /// # Guarantees 390 // * If we hit the `len < dst.len()` case, then `raw_strncpy_from_user` guarantees that in strcpy_into_buf() 392 // * Otherwise, `raw_strncpy_from_user` guarantees that the string contained no NUL bytes, in strcpy_into_buf() 480 /// # Guarantees 505 // GUARANTEES: `strncpy_from_user` was successful, so `dst` has contents in accordance with the in raw_strncpy_from_user() 506 // guarantees of this function. in raw_strncpy_from_user()
|
H A D | cpu.rs | 60 // INVARIANT: The function safety guarantees `id` is a valid CPU id. in from_i32_unchecked() 86 // INVARIANT: The function safety guarantees `id` is a valid CPU id. in from_u32_unchecked()
|
/linux/Documentation/ABI/testing/ |
H A D | sysfs-kernel-mm-numa | 24 to violate the guarantees of cpusets. Shared memory, 28 which need strict cpuset location guarantees.
|
/linux/arch/s390/include/asm/ |
H A D | kmsan.h | 46 * Note, this sacrifices occasionally breaking scheduling guarantees. in kmsan_virt_addr_valid() 48 * performance guarantees due to being heavily instrumented. in kmsan_virt_addr_valid()
|
/linux/tools/memory-model/Documentation/ |
H A D | locking.txt | 48 The basic rule guarantees that if CPU0() acquires mylock before CPU1(), 80 This converse to the basic rule guarantees that if CPU0() acquires 140 The smp_load_acquire() guarantees that its load from "flags" will 142 problem. The smp_store_release() guarantees that its store will be
|
/linux/arch/parisc/include/asm/ |
H A D | ldcw.h | 5 /* Because kmalloc only guarantees 8-byte alignment for kmalloc'd data, 6 and GCC only guarantees 8-byte alignment for stack locals, we can't
|
/linux/arch/x86/include/asm/ |
H A D | kmsan.h | 89 * Note, this sacrifices occasionally breaking scheduling guarantees. in kmsan_virt_addr_valid() 91 * performance guarantees due to being heavily instrumented. in kmsan_virt_addr_valid()
|
/linux/arch/riscv/include/asm/ |
H A D | bitops.h | 266 * Note: there are no guarantees that this function will not be reordered 268 * make sure not to rely on its reordering guarantees. 283 * Note: there are no guarantees that this function will not be reordered 285 * make sure not to rely on its reordering guarantees.
|
/linux/arch/arm/nwfpe/ |
H A D | ChangeLog | 61 comment in the code beside init_flag state the kernel guarantees 64 I couldn't even find anything that guarantees it is zeroed when
|
/linux/kernel/livepatch/ |
H A D | shadow.c | 189 * This function guarantees that the constructor function is called only when 218 * This function guarantees that only one shadow variable exists with the given 219 * @id for the given @obj. It also guarantees that the constructor function
|
/linux/rust/kernel/drm/gem/ |
H A D | mod.rs | 61 // SAFETY: The existence of a shared reference guarantees that the refcount is non-zero. in inc_ref() 225 // INVARIANT: The drm subsystem guarantees that the `struct drm_device` will live 250 // SAFETY: The DRM subsystem guarantees that the `struct drm_device` will live as long as in new() 270 // free callback which guarantees this object has zero remaining references,
|
/linux/lib/ |
H A D | Kconfig.kgdb | 141 'go', KDB tries to continue. No guarantees that the 144 No guarantees that the kernel is still usable in this situation.
|
/linux/rust/kernel/fs/ |
H A D | file.rs | 279 // SAFETY: The caller guarantees that the pointer is not dangling and stays valid for the in from_raw_file() 282 // INVARIANT: The caller guarantees that there are no problematic `fdget_pos` calls. in from_raw_file() 335 // SAFETY: The file is valid because the shared reference guarantees a nonzero refcount. in flags() 353 // SAFETY: The caller guarantees that the pointer is not dangling and stays valid for the in from_raw_file() 356 // INVARIANT: The caller guarantees that there are no problematic `fdget_pos` calls. in from_raw_file()
|
/linux/drivers/mmc/core/ |
H A D | sd_ops.c | 318 /* NOTE: caller guarantees scr is heap-allocated */ in mmc_app_send_scr() 368 /* NOTE: caller guarantees resp is heap-allocated */ in mmc_sd_switch() 388 /* NOTE: caller guarantees ssr is heap-allocated */ in mmc_app_sd_status()
|
/linux/rust/kernel/block/mq/ |
H A D | request.rs | 128 // success of the call to `try_set_end` guarantees that there are no in end_ok() 181 // valid. The existence of `&self` guarantees that the private data is 241 // SAFETY: The type invariant of `Request` guarantees that the private
|
/linux/include/linux/ |
H A D | dm-bufio.h | 107 * dm_bufio_write_dirty_buffers guarantees that the buffer is on-disk but 127 * Write all dirty buffers. Guarantees that all dirty buffers created prior
|
/linux/kernel/ |
H A D | Kconfig.preempt | 28 time, but there are no guarantees and occasional longer delays 104 require real-time guarantees.
|
/linux/Documentation/ |
H A D | memory-barriers.txt | 49 - Guarantees. 223 GUARANTEES 226 There are some minimal guarantees that may be expected of a CPU: 309 And there are anti-guarantees: 311 (*) These guarantees do not apply to bitfields, because compilers often 322 (*) These guarantees apply only to properly aligned and sized scalar 329 guarantees were introduced into the C11 standard, so beware when 418 the CPU under consideration guarantees that for any load preceding it, 476 This acts as a one-way permeable barrier. It guarantees that all memory 491 This also acts as a one-way permeable barrier. It guarantees that all [all …]
|
/linux/tools/testing/selftests/arm64/pauth/ |
H A D | pac_corruptor.S | 9 * also guarantees no possible collision. TCR_EL1.TBI0 is set by default so no
|
/linux/net/sunrpc/xprtrdma/ |
H A D | frwr_ops.c | 260 * largest r/wsize NFS will ask for. This guarantees that in frwr_query_device() 492 * memory regions. This guarantees that registered MRs are properly fenced 533 /* Strong send queue ordering guarantees that when the in frwr_unmap_sync() 598 * This guarantees that registered MRs are properly fenced from the 634 /* Strong send queue ordering guarantees that when the in frwr_unmap_async()
|