| /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()
|