-
Rust's Mutex, Atomics and UnsafeCell – Spooky Action at a Distance?
In this post we explore how Rust's Atomic, Mutex, and UnsafeCell types interact with its type system and concepts of references and aliasing ⊕ mutability. We do so by looking at how the AtomicUsize and Mutex types are implemented, how violating Rust's assumptions can lead to incorrect optimizations by the compiler, and the surprising global impact of synchronization primitives.
-
TockWorld 7 Recap
On June 26-28 we held the 7th annual Tock gathering in San Diego, CA. This year combined a developer day, conference, and tutorials, expanding the purpose and audience of TockWorld.
-
Talking Tock 57: Cargo Build System for the Kernel
With pull request #4075 merged, Tock now supports using standard
cargocommands directly when compiling the kernel for any Tock board. For example, you can now build the kernel for the nRF52840dk by simply: -
Analyzing Binary Size Bloat in Tock
Tock is a powerful and secure embedded operating system. While Tock was designed with resource constraints in mind, years of additional features, generalizing to more platforms, and security improvements have brought resource, and in particular, code size bloat.
-
Talking Tock 56: New libtock-c Design
With pull request #370 merged,
libtock-cnow has a new, consistent format for the library API. This is a major usability upgrade for writing libtock-c apps.