Firmware requirements, peripheral integration, task coordination, fault diagnosis and verification for microcontroller products. Start from the actual hardware and acceptance conditions before choosing an implementation.
A memory slab becomes predictable when both its geometry and its outstanding-block budget are explicit. Verify the block stride, alignment and backing-buffer extent before counting free blocks. Then account for every allocated block, including blocks under construction, queued, being processed and retained for retry. A fixed-size allocator removes variable-size fragmentation within that slab; it does…
A finite timeout on k_mbox_put() does not bound the entire synchronous send. In Zephyr 3.7.0 it limits waiting for a compatible receiver. Once that receiver accepts the message, the sender can remain blocked until the receiver retrieves or discards the data. A robust design therefore needs two separate limits: one for matching and an application-level…
A successful k_poll() call tells a dispatcher which conditions became ready. It does not reserve a semaphore token or remove an item from a queue. Design the loop as three separate operations: interpret the poll result, attempt the actual acquisition, and rearm the event records. Treating those operations as one transaction is a common reason…
Choose a ready-queue backend by required features, peak runnable population and measured build/resource cost. Total thread count alone is a poor selector: a product with many blocked threads can still have a small ready set. Compare compatible backends under the same controlled workload before claiming one is faster. This guide targets the upstream Zephyr v3.7.0…
A Zephyr meta-IRQ thread can preempt lower-priority ordinary threads even when they are cooperative or hold a scheduler lock. Before enabling that priority class, audit code that treats “another thread cannot run here” as its shared-state protection. Meta-IRQ work remains thread-context work, but its scheduling contract is stronger than an ordinary high-priority worker’s. This guide…
Zephyr’s deadline option orders eligible threads within the same static-priority class. It does not allow a lower-static-priority thread to outrank a higher-static-priority thread merely because its deadline is earlier. Validate that boundary before using the option to express a product-wide urgency policy. This guide targets Zephyr v3.7.0 with CONFIG_SCHED_DEADLINE enabled, one CPU, ordinary preemptible threads…
Zephyr time slicing gives eligible ready threads of equal priority opportunities to run. It does not promise equal accumulated CPU time, equal completed work or equal response latency. Qualify the service requirement with ready/running/blocked traces, especially when threads block frequently or higher-priority work repeatedly interrupts them. This guide targets Zephyr v3.7.0 on one CPU with…
Repeated k_yield() calls do not guarantee progress for lower-priority threads. Yield keeps the current thread ready; the scheduler still chooses according to priority. If a cooperative worker must allow lower-priority work to run, qualify an operation that actually makes it unready, or redesign the scheduling and workload contract. This guide uses Zephyr v3.7.0 on one…
Protect the shared predicate with a mutex, test it while holding that mutex, and wait in a loop that rechecks it after every return. A condition-variable signal tells a waiter to reconsider shared state. It does not reserve an item or prove that the state is still suitable when the waiter regains the mutex. This…
portMAX_DELAY is not a universal “forever” argument. In FreeRTOS Kernel V11.1.0, an ordinary queue wait can treat it as indefinite when INCLUDE_vTaskSuspend is enabled. A delay call does not necessarily use that interpretation. Check the API path, effective configuration and selected port’s tick type together. This article focuses on that sentinel decision in upstream V11.1.0….