Add debug output to DPP example

Author: adel-mamin

apps/examples/dpp/main.c

@@ -31,6 +31,7 @@
 #include <stddef.h>
 
 #include "common/compiler.h"
+#include "common/constants.h"
 #include "common/macros.h"
 #include "event/event.h"
 #include "pal/pal.h"
@@ -53,6 +54,47 @@ const char *event_to_str(int id) {
     AM_ASSERT(0);
 }
 
+static void log_pool(
+    int pool_index, int event_index, const struct am_event *event, int size
+) {
+    (void)size;
+    am_pal_printf(
+        "pool %d index %d event %s\n",
+        pool_index,
+        event_index,
+        event_to_str(event->id)
+    );
+}
+
+static void log_queue(
+    const char *name, int i, int len, int cap, const struct am_event *event
+) {
+    am_pal_printf(
+        "name %s, index %d, len %d cap %d event %s\n",
+        name,
+        i,
+        len,
+        cap,
+        event_to_str(event->id)
+    );
+}
+
+AM_NORETURN void am_assert_failure(
+    const char *assertion, const char *file, int line
+) {
+    am_pal_printf(
+        AM_COLOR_RED "ASSERT: %s (%s:%d)(task %d)\n" AM_COLOR_RESET,
+        assertion,
+        file,
+        line,
+        am_pal_task_own_id()
+    );
+    am_event_log_pools(/*num=*/-1, log_pool);
+    am_ao_dump_event_queues(/*num=*/-1, log_queue);
+    am_pal_flush();
+    __builtin_trap();
+}
+
 int main(void) {
     struct am_ao_state_cfg cfg_ao = {
         .crit_enter = am_pal_crit_enter, .crit_exit = am_pal_crit_exit

apps/examples/dpp/philo.c

@@ -109,6 +109,7 @@ static int philo_eating(struct philo *me, const struct am_event *event) {
         return AM_HSM_HANDLED();
 
     case EVT_TIMEOUT: {
+        am_pal_printf("philo %d publishing DONE\n", me->id);
         struct done *msg = (struct done *)am_event_allocate(
             EVT_DONE, sizeof(struct done), /*margin=*/0
         );

apps/examples/dpp/table.c

@@ -28,6 +28,7 @@
 #include "common/macros.h"
 #include "event/event.h"
 #include "hsm/hsm.h"
+#include "pal/pal.h"
 #include "ao/ao.h"
 
 #include "events.h"
@@ -92,11 +93,13 @@ static void table_serve(int philo) {
         EVT_EAT, sizeof(struct eat), /*margin=*/0
     );
     eat->philo = philo;
+    am_pal_printf("table serving philo %d\n", philo);
     am_ao_publish(&eat->event);
     philo_mark_eating(philo);
 
     if (m_table.nsession) {
         --m_table.nsession;
+        am_pal_printf("table session %d\n", m_table.nsession);
     }
     if (!m_table.nsession) {
         exit(0);
@@ -118,6 +121,7 @@ static int table_serving(struct table *me, const struct am_event *event) {
     case EVT_DONE: {
         const struct done *done = (const struct done *)event;
         AM_ASSERT(philo_is_eating(done->philo));
+        am_pal_printf("table: philo %d is done\n", done->philo);
         philo_mark_done(done->philo);
         int left = LEFT(done->philo);
         if (philo_is_hungry(left)) {

apps/examples/meson.build

@@ -57,5 +57,4 @@ e = executable(
         libao_dep,
         libevent_dep,
         libtimer_dep,
-        libbit_dep,
-        libassert_dep])
+        libbit_dep])