atomicity

Here are 5 public repositories matching this topic...

LibTTAK: Next Generation Memory Model

c open-source optimization concurrency threading memory-safety lock-free virtual-memory memory-leak deterministic minimalistic atomicity modern-c arena-allocator gc-free

Experimental comparison of bit-banding and read-modify-write on the TM4C123GXL, measuring cycles, .text size, and interrupt safety.

benchmark arm embedded cortex-m embedded-systems atomicity embedded-c tm4c123gxl bit-banding systick rmw

Bachelor's Thesis - Static Analysis Using Facebook Infer to Find Atomicity Violations

Master's Thesis - Advanced Static Analysis of Atomicity in Concurrent Programs through Facebook Infer

Dining philosophers problem solution in C

Add a description, image, and links to the atomicity topic page so that developers can more easily learn about it.

To associate your repository with the atomicity topic, visit your repo's landing page and select "manage topics."