3 unstable releases
0.2.1 | Dec 29, 2023 |
---|---|
0.2.0 | Dec 29, 2023 |
0.1.0 | Jul 7, 2023 |
#385 in Memory management
43KB
604 lines
Stupid alloc - what if memory allocation was annoying
Mostly a weird exercise in how much you can make a memory allocator suck.
This allocator will create and open files to use as the allocation's data, through a memory map. If you enable the interactive
feature, it will even prompt you for a file name every time
the program allocates something! Cool!
How to use it
don't
No but really how does one use this
Using cargo add
:
cargo add stupidalloc
Manually specifying the dependency in Cargo.toml
:
[dependencies]
stupidalloc = { version = "0.2.1" }
The interactive
feature
The crate comes with a feature, interactive
, that will open confirmation and file picker dialog windows instead of silently opening and allocating memory. Enable it at your own risk,
as sometimes dialogs are unavailable. This crate uses native-dialog
for this feature.
Graphical interface
The graphics
feature creates graphical windows that display memory contents as black or white pixels, representing the bits of the allocations! Click on each pixel to either set the bit (left click) or clear the bit (right click). You can easily modify memory contents this way!
Additionally, the always-graphics
feature enables graphical windows for every single new allocation performed, and not just creation on-demand by the user.
Graphical windows are created using the minifb
crate.
https://github.com/shadyfennec/stupidalloc/assets/68575248/b19790c7-bc9e-4a59-99c9-18d7e308739e
Logging
The logging
crate creates companion logging files that record useful information about each allocation, using the familiar Markdown format. Useful for debugging!
Using the allocator
- You can use it as the global allocator of your program, but it may lead to wonkiness and weird stuff like prompting for allocations before
main()
is executed!
use stupidalloc::StupidAlloc;
#[global_allocator]
static GLOBAL: StupidAlloc = StupidAlloc;
fn main() {
// ...
}
- By using the
allocator_api
nightly feature, you can selectively allocate single objects with this allocator:
// Requires nightly
#![feature(allocator_api)]
use stupidalloc::StupidAlloc;
fn main() {
let normal_box = Box::new(1);
let stupid_box = Box::new_in(1, StupidAlloc);
}
A cool usage is to stop the execution of your program (through your favourite stdin
read) and then go look at the allocation files with a hex editor (might I recommend Hexyl?)
To help you with that, the allocator exposes a few helper functions:
StupidAlloc.state()
returns aHashMap
where the key is the address of the memory map (and so the address of the allocated object), and the value is aPathBuf
to the associated file.StupidAlloc
implementsfmt::Display
, so runningprintln!("{StupidAlloc}")
will print a lovely summary of all the allocations currently being tracked.StupidAlloc.file_of(x)
will return the file associated to the linked object, if it exists. Obviously this only works with stuff allocated with the stupid allocator. An example of use:
// Still requires nightly
#![feature(allocator_api)]
use stupidalloc::StupidAlloc;
fn main() {
let stupid_box = Box::new_in(1, StupidAlloc);
// Since it's a Box<i32>, we need to pass &i32 to the function to get the
// address of where the integer is.
let file = StupidAlloc.file_of(&*stupid_box).unwrap();
// Go nuts with it!
}
Another cool usage is to be able to see how stuff is laid out in memory, without having to use memory viewers or complicated GDB syntax!
For example, ever wanted to see how a Vec<T>
is organised in memory?
use stupidalloc::StupidAlloc;
#[global_allocator]
static GLOBAL: StupidAlloc = StupidAlloc;
fn main() {
let boxed_vec = Box::new(vec![1, 2, 3]);
println!("{}", StupidAlloc.file_of(&*boxed_vec).unwrap().display());
// Somehow pause execution
}
This program will print the path of the allocation file for the Vec<T>
struct
(and not the allocation for the data of the Vec
, because then we'd only see
the numbers 1, 2, 3!). Open it in a hex viewer, and you can try and guess what
each field is, and try to corroborate it with the struct's definition.
If your system allows you to (I know Windows can be a bit restrictive), try and
modify the length and/or capacity fields and see what happens afterwards!
Disclaimers
- I do not claim that this library is perfect and free of any fault. Here there be typos and mistakes and examples that I didn't test and don't work. Send an issue if something's wrong!
- If you don't have file picker / file dialog capabilities (minimal i3 installation, TTY-only, ...),
interactivity
won't work. - Similarly, if you don't have a graphical environment altogether,
graphics
andalways-graphics
won't work either. - I only tested this on Windows and Linux. If it doesn't work on MacOS or any other OS, sorry. If it doesn't work for you on Windows or Linux: weird! Hit me up.
- If you mess with the memory files in any way you'll mess up with your program memory, but seeing as this is topologically the same as messing with
/proc/mem
I consider this a cool feature. - I'm probably going to work on this a little bit more to add some quality-of-life features, but that's it. It's a shitpost, not a serious library.
(old) Demo
https://github.com/shadyfennec/stupidalloc/assets/68575248/f2490dc1-8412-4450-9359-7387f79682ea
Dependencies
~2–13MB
~145K SLoC