feat: throttle auto-monitor updates through shared pipeline

[wakonig]

Description

This PR moves the auto-monitored updates to a shared pipeline at a throttled update rate. This solves two issues:

• We deal better with unreasonably high updates rates, e.g. from ECMC
• The communication to Redis is now more efficient thanks to a shared pipeline.

Additional Comments

If we wanted to, we could further extend it in a follow-up PR to also provide support for the long-awaited "readout priority continous".

Definition of Done

• Documentation is up-to-date.

[codecov]

Codecov Report

❌ Patch coverage is 85.39326% with 13 lines in your changes missing coverage. Please review.

Files with missing lines	Patch %	Lines
.../bec_server/device_server/devices/devicemanager.py	85.39%	7 Missing and 6 partials ⚠️

📢 Thoughts on this report? Let us know!

[Copilot]

Pull request overview

This PR refactors device auto-monitor signal updates so they are queued and flushed through a shared Redis pipeline at a throttled rate, reducing overhead and coping better with very high update rates (e.g. from ECMC).

Changes:

• Introduces a dedicated auto-monitor update thread that batches readback/config/limit updates and executes them via one shared Redis pipeline.
• Changes auto-monitor and limit subscriptions to enqueue updates (instead of publishing immediately) and ensures the update thread is running.
• Adds/updates unit tests to validate the new queueing, subscription behavior, and update-loop batching.

Reviewed changes

Copilot reviewed 2 out of 2 changed files in this pull request and generated 1 comment.

File	Description
bec_server/bec_server/device_server/devices/devicemanager.py	Adds throttled, batched auto-monitor update pipeline with a background thread; updates callbacks/subscriptions to enqueue updates.
bec_server/tests/tests_device_server/test_device_manager_ds.py	Adds test coverage for new auto-monitor queueing, thread-start behavior, and batched update loop execution.

---

💡 Add Copilot custom instructions for smarter, more guided reviews. Learn how to get started.