tree b75de5d3351ad3ce98aefb6c028fc3cfe86f86c0
parent 7c2458882519fceb14e726ef2eefc11c95363897
author Ewout van Bekkum <ewout@google.com> 1636052824 -0700
committer CQ Bot Account <pigweed-scoped@luci-project-accounts.iam.gserviceaccount.com> 1636355628 +0000

pw_sync_threadx: Add optimized ThreadNotification backend

Adds an optimized thread notification backend using tx_thread_sleep
and tx_thread_wait_abort.

Also fills out the missing pw_sync_threadx documentation and adds
an assert to the InterruptSpinLock backend to ensure it's not used
on SMP ports.

Change-Id: Iff89afb5aad9d16751d03b297620dd7530092791
Reviewed-on: https://pigweed-review.googlesource.com/c/pigweed/pigweed/+/67301
Pigweed-Auto-Submit: Ewout van Bekkum <ewout@google.com>
Commit-Queue: Auto-Submit <auto-submit@pigweed.google.com.iam.gserviceaccount.com>
Reviewed-by: Keir Mierle <keir@google.com>