News: 0001474455

  ARM Give a man a fire and he's warm for a day, but set fire to him and he's warm for the rest of his life (Terry Pratchett, Jingo)

RISC-V Memory Hot Plugging To Be Introduced With Linux 6.11

([RISC-V] 2 Hours Ago Memory Hot Plugging/Unplugging)


The RISC-V kernel port with [1]Linux 6.11 is introducing the ability to handle memory hot plugging/unplugging.

Similar to Linux on x86_64 and other CPU architectures, RISC-V with the upcoming Linux 6.11 cycle is set to land support for memory hot (un)plugging. Linux's memory hot (un)plug support allows increasing/decreasing the physical memory size at run-time. Yes, this can be useful if physically (un)plugging memory DIMMs to your running RISC-V server, but more commonly this memory hot plugging is useful in the context of virtual machines (VMs) and increasing/decreasing the exposed memory at run-time to the VM.

For those interested in the RISC-V memory hot plugging implementation for the Linux kernel can find all the details via [2]this merge to RISC-V's "for-next" code of new material set to be upstreamed in mid-July with the Linux 6.11 merge window.



[1] https://www.phoronix.com/search/Linux+6.11

[2] https://git.kernel.org/pub/scm/linux/kernel/git/riscv/linux.git/commit/?h=for-next&id=60a6707f582ebbdfb6b378f45d7bf929106a1cd5



uid313

HOW TO PROVE IT, PART 5

proof by accumulated evidence:
Long and diligent search has not revealed a counterexample.

proof by cosmology:
The negation of the proposition is unimaginable or
meaningless. Popular for proofs of the existence of God.

proof by mutual reference:
In reference A, Theorem 5 is said to follow from Theorem 3 in
reference B, which is shown to follow from Corollary 6.2 in
reference C, which is an easy consequence of Theorem 5 in
reference A.

proof by metaproof:
A method is given to construct the desired proof. The
correctness of the method is proved by any of these
techniques.