robert-w-gries / rust_workshop

Rust Workshop

Examples on Rust Playground

• General

  • Mutability - Variables are immutable by default

  • Structs 1 - types of struct

  • Structs 2 - Show impl on structs

  • Enums

  • Traits

• Examples for Type Safety

  • Array Overflow C

  • Array Overflow Rust

  • Integer Overflow C

  • Integer Overflow Rust

  • Integer Underflow C

  • Integer Underflow Rust

  • Character Overflow C

  • Character Overflow Rust

  • Typing Error 1 C - signed/unsigned (assignment)

  • Typing Error 1 Rust - signed/unsigned (assignment)

  • Typing Error 2 C - signed/unsigned comparison (int)

  • Typing Error 2 Rust - signed/unsigned comparison (int)

  • Typing Error 3 C - signed/unsigned comparison (char)

  • Typing Error 3 Rust - signed/unsigned comparison (char)

• Examples for Memory Safety

  • Ownership

  • Dangling reference C

  • Dangling reference Rust

  • Double free C

  • Double free Rust

  • Use after free C

  • Use after free Rust

  • Iterator Invalidation Rust

  • Iterator Invalidation C++

• Concurrency Examples

  • Spawn a Thread

  • Thread and Ownership

  • Message Passing Between Threads

  • Mutex (Synchronization Type)

  • Arc (Sycnhronization Type)

  • Shared-state Concurrency with Mutex and Arc

Setup Rust on Local Machine

Mac

curl --proto '=https' --tlsv1.2 -sSf https://sh.rustup.rs | sh
source $HOME/.cargo/env

Linux

curl --proto '=https' --tlsv1.2 -sSf https://sh.rustup.rs | sh
source $HOME/.cargo/env

Ubuntu/Debian

apt install build-essential

Centos/Fedora

yum install gcc

Running the examples on local machine

You can run any of the code examples by using cargo run --example [example]. You can compile the error code by using cargo run --example [example] --features=broken.

To run the mutex example, execute the following commands:

cargo run --example mutex

cargo run --example mutex --features=broken