A "cursed" container with opaque keys, usable as a static variable

the iris system

Last update: Mar 17, 2022

Related tags

Miscellaneous cursedcontainer

Overview

cursedcontainer

Please, for the love of all things good in the world, do not use this crate unless you've read the code thoroughly and understand the implications of using such an utterly unsafe piece of software. You have been warned.

A "cursed" container with an opaque key type, that allows for retrieving mutable references to the objects contained within.

The CursedContainer is a synchronized init-on-first-use Vec<T> wrapper, where the objects within the inner Vec are themselves contained within an [UnsafeCell], allowing for retrieval of mutable references to those objects without a mutable reference to the CursedContainer itself.

This design allows for assigning a CursedContainer to a static variable, like so:

static CONTAINER: CursedContainer<usize> = CursedContainer::new();

let key = CONTAINER.insert(69420);
assert_eq!(CONTAINER.get(key), Some(&mut 69420));

Safety

Hahah, good joke.

There is some safety built into CursedContainer around initialization race conditions, but accessing items within the container is unsafe by design - it allows for retrieving multiple mutable references to the same object stored within the container.

It is the responsibility of your application code to make sure that things don't go horribly wrong when using a CursedContainer.

But... why?

This crate was developed for the author's hobby operating system project, and the lack of safety in here is designed for that purpose.

License

cursedcontainer is licensed under the MIT license, the text of which can be found in the LICENSE file, or at https://opensource.org/licenses/MIT.

You might also like...

Static Web Server - a very small and fast production-ready web server suitable to serve static web files or assets

Use explicit container types with Scrypto! Leverage the Rust compiler's type checking to increase security and productivity when developing Radix blueprints.

Scrypto Static Types Use explicit container types with Scrypto! Leverage the Rust compiler's type checking to increase security and productivity when

7 Aug 5, 2022

Comments

(Comment)

*Shudders* It really does work.

#[cfg(tests)]
mod tests {
    use super::*;
    
    static CONTAINER: CursedContainer<usize> = CursedContainer::new();

    fn inductive_hyp() -> usize {
        let key = CONTAINER.insert(69420);
        key
    }


    #[test]
    fn demo() -> Result<()> {
        let key = inductive_hyp();
        let nested = CONTAINER.insert(key + 1);
        assert_eq!(NEXT_CONTAINER_ID, 2 as AtomicUsize);
        Ok(())
    }
}

opened by dmgolembiowski 0

A "cursed" container with opaque keys, usable as a static variable

Related tags

Overview

cursedcontainer

Safety

But... why?

License

You might also like...

Static Web Server - a very small and fast production-ready web server suitable to serve static web files or assets

serve a static site, single page application or just a static file with Rust

Serve a static site, single page application or just a static file with Rust

A tool that uses the credentials stored in 1password as an environment variable.

Variable-length signed and unsigned integer encoding that is byte-orderable for Rust

A cargo subcommand to fetch the $OUT_DIR environment variable from build scripts

Port Finance Variable Rate Lending & Liquidity Mining Program

Safe Unix shell-like parameter expansion/variable substitution via cross-platform CLI or Rust API

Tool to convert variable and function names in C/C++ source code to snake_case

An efficient async condition variable for lock-free algorithms

Macro to print variable(s) with values nicely (stripped from release builds)

A tiny minimal container runtime written in Rust.

A secure container runtime with OCI interface

A lite tool to make systemd work in any container(Windows Subsystem for Linux 2, Docker, Podman, etc.)

netavark: A container network stack

A lite tool to make systemd work in any container(Windows Subsystem for Linux 2, Docker, Podman, etc.)

Easy to use, extendable, OCI-compliant container runtime written in pure Rust

Container monitor in Rust

Use explicit container types with Scrypto! Leverage the Rust compiler's type checking to increase security and productivity when developing Radix blueprints.

Comments

(Comment)

Owner

the iris system

A static mail HTML archive for the 21st century, written in Rust

An unsafe botched job that doesn't rely on types being 'static lifetime.

Shallow Container is a light-weight container tool written in Rust.

An implementation of the OPAQUE password-authenticated key exchange protocol

Usable, easy and safe pure-Rust crypto

A Bancho implementation made in Rust for the *cursed* stack.

Another cursed Garry's Mod module. This time, it adds the C preprocessor to Lua scripts

Usable, easy and safe pure-Rust crypto

Docker images for compiling static Rust binaries using musl-libc and musl-gcc, with static versions of useful C libraries. Supports openssl and diesel crates.

Hot reload static web server for deploying mutiple static web site with version control.

A Bancho implementation made in Rust for the cursed stack.