🦞🌯 Lobster Roll

Thread

Memory-Model Recommendations for Rusting the Linux Kernel (paulmck.livejournal.com)
L 11 pts 1 comments by lattera Oct 14, 2021 linuxrustsecurity thread

Stories related to "Memory-Model Recommendations for Rusting the Linux Kernel" across the full archive.

Memory-Model Recommendations for Rusting the Linux Kernel (paulmck.livejournal.com)
L 11 pts 1 comments by lattera Oct 14, 2021 linuxrustsecurity Systems / Low-Level / OSSecurity / Privacy thread
A Linux-kernel memory model! (paulmck.livejournal.com)
L 7 pts 0 comments by nanxiao Apr 6, 2018 linux Systems / Low-Level / OS thread
Linux kernel memory-model (documentation & tooling) (git.kernel.org)
L 6 pts 1 comments by 1amzave Apr 7, 2018 compsciformalmethodslinux Systems / Low-Level / OSProgramming Languages / CS Theory thread
See also Paul McKenney's blog post: https://paulmck.livejournal.com/49667.html
Intel® Memory Protection Extensions (Intel® MPX) for Linux (01.org)
L 8 pts 4 comments by geocar Mar 22, 2016 assemblyclinuxprogramming Systems / Low-Level / OSProgramming (General) thread
Linux Kernel Memory Barriers (2006) (kernel.org)
L 2 pts 0 comments by haxor Aug 2, 2016 assemblylinux Systems / Low-Level / OS thread
A very thorough and useful document that I had never seen before.
A formal kernel memory-ordering model (part 1) (lwn.net)
L 5 pts 0 comments by qznc Jun 8, 2017 linux Systems / Low-Level / OS thread
Linux Kernel Release Model (kroah.com)
L 4 pts 0 comments by j11g Feb 5, 2018 linux Systems / Low-Level / OS thread
An Evolutionary Study of Linux Memory Management for Fun and Profit (2016) (usenix.org)
L 3 pts 0 comments by nickpsecurity Feb 19, 2018 linuxpdfprogrammingsecurity Systems / Low-Level / OSProgramming (General)Security / PrivacyProductivity / Career / Business thread
A cache invalidation bug in Linux memory management (googleprojectzero.blogspot.com)
L 5 pts 4 comments by zpojqwfejwfhiunz Sep 30, 2018 debugginglinuxsecurity Systems / Low-Level / OSProgramming (General)Security / PrivacyProductivity / Career / Business thread
SiFive unveils octa-core RISC-V designs, including two Linux-ready models (linuxgizmos.com)
L 12 pts 5 comments by inactive-user Nov 1, 2018 hardwarelinux Systems / Low-Level / OSMaker / DIY / Hardware thread
Model-Checking an Entire Linux Distribution for Security Vulnerabilities (2005) (people.eecs.berkeley.edu)
L 1 pts 0 comments by nickpsecurity Feb 27, 2019 formalmethodslinuxpdfsecurity Systems / Low-Level / OSProgramming Languages / CS TheorySecurity / Privacy thread
Uses [MOPS](https://people.eecs.berkeley.edu/~daw/mops/).
Where is the memory going? Memory waste under Linux (2006) (halobates.de)
L 5 pts 1 comments by calvin Jun 10, 2019 linuxpdfperformance Systems / Low-Level / OSData / Databases / Infrastructure thread
Linux kernel's inability to gracefully handle low memory pressure (lkml.org)
L 25 pts 6 comments by cnst Aug 6, 2019 linuxosdevpractices Systems / Low-Level / OSProductivity / Career / Business thread
Emulating Persistent Memory in the Linux Kernel with Different Page Sizes (williamwalcher.xyz)
L 3 pts 0 comments by cibaract Dec 20, 2019 compscilinuxosdevperformance Systems / Low-Level / OSProgramming Languages / CS TheoryData / Databases / InfrastructureGaming / Retro Computing thread
Purgeable Memory Allocations for Linux (nullprogram.com)
L 18 pts 2 comments by calvin Dec 29, 2019 linuxosdev Systems / Low-Level / OS thread
A "living" Linux process with no memory (github.com)
L 47 pts 15 comments by izabera Mar 26, 2020 assemblyclinux Systems / Low-Level / OS thread
The Arm64 memory tagging extension in Linux (lwn.net)
L 7 pts 0 comments by fro Oct 19, 2020 linuxsecurity Systems / Low-Level / OSSecurity / Privacy thread
Limit specific process memory on desktop linux with cgroups and earlyoom (raymii.org)
L 4 pts 0 comments by raymii Feb 12, 2021 linux Systems / Low-Level / OS thread
Linux memory management FAQ (landley.net)
L 7 pts 0 comments by calvin Feb 13, 2021 linux Systems / Low-Level / OSProductivity / Career / Business thread
Linux Memory Management at Scale (youtube.com)
L 4 pts 1 comments by itamarst Mar 23, 2021 linuxperformancevideo Systems / Low-Level / OSData / Databases / InfrastructureProductivity / Career / Business thread
Linux Internals: How /proc/self/mem writes to unwritable memory (offlinemark.com)
L 22 pts 2 comments by enxio May 28, 2021 linux Systems / Low-Level / OS thread
Linux with "memory folios": a 7% performance boost when compiling the kernel (lore.kernel.org)
L 14 pts 0 comments by nixcraft Jun 15, 2021 linux Systems / Low-Level / OS thread
vrmiguel/bustd: a really lightweight process killer daemon for out-of-memory scenarios on Linux (github.com)
L 6 pts 0 comments by epilys Jul 31, 2021 linuxrust Systems / Low-Level / OS thread
Memory-safe programming in the Linux Kernel (No not RUST) — eBPF (coscreen.co)
L 2 pts 1 comments by calvin Aug 21, 2021 linux Systems / Low-Level / OSProgramming (General) thread
How a simple Linux kernel memory corruption bug can lead to complete system compromise (googleprojectzero.blogspot.com)
L 9 pts 1 comments by lattera Oct 19, 2021 linuxsecurity Systems / Low-Level / OSSecurity / Privacy thread
What Memory Model Should the Rust Language Use? (paulmck.livejournal.com)
L 20 pts 15 comments by matklad Nov 4, 2021 c++compilerslinuxrust Systems / Low-Level / OSProgramming Languages / CS Theory thread
Bookmark: gather information on a Linux process' physical memory pages' status (github.com)
L 2 pts 0 comments by itamarst Nov 24, 2022 linux Systems / Low-Level / OS thread
Monitoring ECC memory on Linux with rasdaemon (setphaserstostun.org)
L 7 pts 1 comments by freddyb Jan 8, 2023 linux Systems / Low-Level / OS thread
Google Proposes New mseal() Memory Sealing Syscall For Linux (phoronix.com)
L 31 pts 13 comments by voutilad Oct 17, 2023 linuxosdev Systems / Low-Level / OS thread
A memory model for Rust code in the kernel (lwn.net)
L 8 pts 1 comments by jmillikin Apr 6, 2024 linuxrust Systems / Low-Level / OSProgramming (General) thread