Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/C/Linux/kernel/trace/rv/monitors/sleep/   (Open Source Betriebssystem Version 6.17.9©)  Datei vom 24.10.2025 mit Größe 658 B image not shown  

Quelle  Kconfig   Sprache: C

 
# SPDX-License-Identifier: GPL-2.0-only
#
config RV_MON_SLEEP
 depends on RV
 select RV_LTL_MONITOR
 depends on HAVE_SYSCALL_TRACEPOINTS
 depends on RV_MON_RTAPP
 select TRACE_IRQFLAGS
 default y
 select LTL_MON_EVENTS_ID
 bool "sleep monitor"
 help
   Monitor that real-time tasks do not sleep in a manner that may
   cause undesirable latency.

   If you are developing a real-time system and not entirely sure whether
   the applications are designed correctly for real-time, you want to say
   Y here.

   Enabling this monitor may have performance impact (due to select
   TRACE_IRQFLAGS). Therefore, you probably should say N for
   production kernel.

¤ Dauer der Verarbeitung: 0.9 Sekunden  (vorverarbeitet)  ¤

*© Formatika GbR, Deutschland






Wurzel

Suchen

Beweissystem der NASA

Beweissystem Isabelle

NIST Cobol Testsuite

Cephes Mathematical Library

Wiener Entwicklungsmethode

Haftungshinweis

Die Informationen auf dieser Webseite wurden nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit, noch Qualität der bereit gestellten Informationen zugesichert.

Bemerkung:

Die farbliche Syntaxdarstellung und die Messung sind noch experimentell.