lib/libvassert/vassert.h

   1 #ifndef _VASSERT_H_
   2 #define _VASSERT_H_
   3
   4 #ifdef __cplusplus
   5 extern "C"
   6 {
   7 #endif /*__cplusplus*/
   8
   9 #define ALIGNED(n) __attribute__((__aligned__(n)))
  10 #define VASSERT_TRIGGER_OFFSET 1221
  11 #define VASSERT_PAGE_SIZE      4096
  12
  13 /* Need to align at 4K. */
  14 /* Ensure the inReplay flag is on its own page. */
  15 #pragma pack(1)
  16 typedef struct VAssert_StateWrapper {
  17    char space1[VASSERT_TRIGGER_OFFSET];
  18    volatile char inReplay;
  19    char space[VASSERT_PAGE_SIZE - VASSERT_TRIGGER_OFFSET - sizeof(char)];
  20 } VAssert_StateWrapper;
  21 #pragma pack()
  22
  23 extern VAssert_StateWrapper vassert_state;
  24
  25 /*
  26  * User-selectable standard functions.
  27  * XXX: Document these, in coordination with the SDK docs.
  28  */
  29
  30 #if defined(__KERNEL__)
  31 #  define KERNEL_VASSERT
  32 #endif
  33
  34 #ifdef KERNEL_VASSERT
  35
  36 #  ifndef VASSERT_CUSTOM_ASSERT
  37 #     define VASSERT_CUSTOM_ASSERT(expr)
  38 #  endif
  39
  40 #  ifndef VASSERT_CUSTOM_ABORT
  41 #     include <linux/kernel.h>
  42 #     define VASSERT_CUSTOM_ABORT() ((void)0) // printk(KERN_ALERT"VAssert abort at %s: %d", __FILE__, __LINE__)
  43 #  endif
  44
  45 #  ifndef VASSERT_CUSTOM_LOG
  46 #     include <linux/kernel.h>
  47 #     define VASSERT_CUSTOM_LOG printk
  48 #  endif
  49
  50 #else
  51 #  ifndef VASSERT_CUSTOM_ASSERT
  52 #     include <assert.h>
  53 #     define VASSERT_CUSTOM_ASSERT assert
  54 #  endif
  55
  56 #  ifndef VASSERT_CUSTOM_ABORT
  57 #     include <stdlib.h>
  58 #     define VASSERT_CUSTOM_ABORT abort
  59 #  endif
  60
  61 #  ifndef VASSERT_CUSTOM_LOG
  62 #     include <stdio.h>
  63 #     define VASSERT_CUSTOM_LOG printf
  64 #  endif
  65 #endif
  66
  67 /* Results: 0 if successful, -1 if not. */
  68 // XXX need to automatic de-register trigger page when the program quits
  69 extern char VAssert_Init(void);
  70 extern char VAssert_Uninit(void);
  71
  72 /*
  73  * These functions should not be called directly; they need to be wrapped.
  74  */
  75 extern void VAssert_LogMain(const char *format, ...);
  76 extern void VAssert_GoLiveMain(void);
  77 extern void VAssert_ReturnToReplayMain(void);
  78 extern char VAssert_Trace(size_t max_size);
  79
  80 #ifdef VASSERT_ALWAYS_EXECUTE
  81
  82 #define VAssert_Assert(expr)              \
  83 do {                                      \
  84    VASSERT_CUSTOM_ASSERT(expr);           \
  85 } while (0)
  86
  87 #define VAssert_Log(args)                 \
  88 do {                                      \
  89    VASSERT_CUSTOM_LOG args;               \
  90 } while (0)
  91
  92 #define VAssert_BeginBlock
  93 #define VAssert_EndBlock
  94
  95 #else /* VASSERT_ALWAYS_EXECUTE */
  96
  97 #define VAssert_Assert(expr)              \
  98 do {                                      \
  99    if (vassert_state.inReplay) {          \
 100       if (!(expr)) {                      \
 101          VAssert_GoLiveMain();            \
 102          VASSERT_CUSTOM_ABORT();          \
 103       } else {                            \
 104          VAssert_ReturnToReplayMain();    \
 105       }                                   \
 106    }                                      \
 107 } while (0)
 108
 109 #define VAssert_Log(args)                 \
 110 do {                                      \
 111    if (vassert_state.inReplay) {          \
 112       VAssert_LogMain args;               \
 113       VAssert_ReturnToReplayMain();       \
 114    }                                      \
 115 } while (0)
 116
 117 #define VAssert_BeginBlock if (vassert_state.inReplay)
 118 #define VAssert_EndBlock VAssert_ReturnToReplayMain()
 119
 120 #endif /* VASSERT_ALWAYS_EXECUTE */
 121
 122 /*
 123  * Record/Replay functionality
 124  */
 125 /*
 126  * Results: True if successful, false if not.
 127  * Input: True to start recording, false to stop.
 128  */
 129 extern char VAssert_SetRecordingMain(char start);
 130
 131 #define VAssert_StartRecording() VAssert_SetRecordingMain(1)
 132 #define VAssert_StopRecording() VAssert_SetRecordingMain(0)
 133
 134 #ifdef __cplusplus
 135 }
 136 #endif /*__cplusplus*/
 137
 138 #endif /*_VASSERT_H_*/