source: libcfa/src/bits/debug.hfa@ 6437ce4

ADT arm-eh ast-experimental enum forall-pointer-decay jacob/cs343-translation new-ast new-ast-unique-expr pthread-emulation qualifiedEnum
Last change on this file since 6437ce4 was 504a7dc, checked in by Thierry Delisle <tdelisle@…>, 5 years ago

Some fixes after the merge, compiles but still has livelocks
  • Property mode set to 100644
File size: 6.4 KB
Line 
1//
2// Cforall Version 1.0.0 Copyright (C) 2016 University of Waterloo
3//
4// The contents of this file are covered under the licence agreement in the
5// file "LICENCE" distributed with Cforall.
6//
7// debug.hfa --
8//
9// Author : Thierry Delisle
10// Created On : Mon Nov 28 12:27:26 2016
11// Last Modified By : Andrew Beach
12// Last Modified On : Mon Apr 27 10:15:00 2020
13// Update Count : 10
14//
15
16#pragma once
17
18#ifdef __CFA_DEBUG__
19 #define __cfaabi_dbg_debug_do(...) __VA_ARGS__
20 #define __cfaabi_dbg_no_debug_do(...)
21 #define __cfaabi_dbg_ctx __PRETTY_FUNCTION__
22 #define __cfaabi_dbg_ctx2 , __PRETTY_FUNCTION__
23 #define __cfaabi_dbg_ctx_param const char caller[]
24 #define __cfaabi_dbg_ctx_param2 , const char caller[]
25 #define __cfaabi_dbg_ctx_fwd caller
26 #define __cfaabi_dbg_ctx_fwd2 , caller
27#else
28 #define __cfaabi_dbg_debug_do(...)
29 #define __cfaabi_dbg_no_debug_do(...) __VA_ARGS__
30 #define __cfaabi_dbg_ctx
31 #define __cfaabi_dbg_ctx2
32 #define __cfaabi_dbg_ctx_param
33 #define __cfaabi_dbg_ctx_param2
34 #define __cfaabi_dbg_ctx_fwd
35 #define __cfaabi_dbg_ctx_fwd2
36#endif
37
38#ifdef __cforall
39extern "C" {
40#endif
41 #include <stdarg.h>
42
43 extern void __cfaabi_bits_write( int fd, const char buffer[], int len );
44 extern void __cfaabi_bits_acquire();
45 extern void __cfaabi_bits_release();
46 extern void __cfaabi_bits_print_safe ( int fd, const char fmt[], ... ) __attribute__(( format(printf, 2, 3) ));
47 extern void __cfaabi_bits_print_nolock( int fd, const char fmt[], ... ) __attribute__(( format(printf, 2, 3) ));
48 extern void __cfaabi_bits_print_vararg( int fd, const char fmt[], va_list arg );
49 extern void __cfaabi_bits_print_buffer( int fd, char buffer[], int buffer_size, const char fmt[], ... ) __attribute__(( format(printf, 4, 5) ));
50
51#if defined(__CFA_DEBUG_PRINT__) \
52 || defined(__CFA_DEBUG_PRINT_IO__) || defined(__CFA_DEBUG_PRINT_IO_CORE__) \
53 || defined(__CFA_DEBUG_PRINT_MONITOR__) || defined(__CFA_DEBUG_PRINT_PREEMPTION__) \
54 || defined(__CFA_DEBUG_PRINT_RUNTIME_CORE__) || defined(__CFA_DEBUG_PRINT_EXCEPTION__) \
55 || defined(__CFA_DEBUG_PRINT_READY_QUEUE__)
56 #include <stdio.h>
57 #include <unistd.h>
58#endif
59#ifdef __cforall
60}
61#endif
62
63// Deprecated: Use the versions with the new module names.
64#ifdef __CFA_DEBUG_PRINT__
65 #define __cfaabi_dbg_write( buffer, len ) __cfaabi_bits_write( STDERR_FILENO, buffer, len )
66 #define __cfaabi_dbg_acquire() __cfaabi_bits_acquire()
67 #define __cfaabi_dbg_release() __cfaabi_bits_release()
68 #define __cfaabi_dbg_print_safe(...) __cfaabi_bits_print_safe ( STDERR_FILENO, __VA_ARGS__ )
69 #define __cfaabi_dbg_print_nolock(...) __cfaabi_bits_print_nolock ( STDERR_FILENO, __VA_ARGS__ )
70 #define __cfaabi_dbg_print_buffer(...) __cfaabi_bits_print_buffer ( STDERR_FILENO, __VA_ARGS__ )
71 #define __cfaabi_dbg_print_buffer_decl(...) char __dbg_text[256]; int __dbg_len = snprintf( __dbg_text, 256, __VA_ARGS__ ); __cfaabi_bits_write( STDERR_FILENO, __dbg_text, __dbg_len );
72 #define __cfaabi_dbg_print_buffer_local(...) __dbg_len = snprintf( __dbg_text, 256, __VA_ARGS__ ); __cfaabi_dbg_write( STDERR_FILENO, __dbg_text, __dbg_len );
73#else
74 #define __cfaabi_dbg_write(...) ((void)0)
75 #define __cfaabi_dbg_acquire() ((void)0)
76 #define __cfaabi_dbg_release() ((void)0)
77 #define __cfaabi_dbg_print_safe(...) ((void)0)
78 #define __cfaabi_dbg_print_nolock(...) ((void)0)
79 #define __cfaabi_dbg_print_buffer(...) ((void)0)
80 #define __cfaabi_dbg_print_buffer_decl(...) ((void)0)
81 #define __cfaabi_dbg_print_buffer_local(...) ((void)0)
82#endif
83
84// Debug print functions and statements:
85// Most are wrappers around the bits printing function but are not always used.
86// If they are used depends if the group (first argument) is active or not. The group must be one
87// defined belowe. The other arguments depend on the wrapped function.
88#define __cfadbg_write(group, buffer, len) \
89 __CFADBG_PRINT_GROUP_##group(__cfaabi_bits_write(STDERR_FILENO, buffer, len))
90#define __cfadbg_acquire(group) \
91 __CFADBG_PRINT_GROUP_##group(__cfaabi_bits_acquire())
92#define __cfadbg_release(group) \
93 __CFADBG_PRINT_GROUP_##group(__cfaabi_bits_release())
94#define __cfadbg_print_safe(group, ...) \
95 __CFADBG_PRINT_GROUP_##group(__cfaabi_bits_print_safe(STDERR_FILENO, __VA_ARGS__))
96#define __cfadbg_print_nolock(group, ...) \
97 __CFADBG_PRINT_GROUP_##group(__cfaabi_bits_print_nolock(STDERR_FILENO, __VA_ARGS__))
98#define __cfadbg_print_buffer(group, ...) \
99 __CFADBG_PRINT_GROUP_##group(__cfaabi_bits_print_buffer(STDERR_FILENO, __VA_ARGS__))
100#define __cfadbg_print_buffer_decl(group, ...) \
101 __CFADBG_PRINT_GROUP_##group(char __dbg_text[256]; int __dbg_len = snprintf( __dbg_text, 256, __VA_ARGS__ ); __cfaabi_bits_write( __dbg_text, __dbg_len ))
102#define __cfadbg_print_buffer_local(group, ...) \
103 __CFADBG_PRINT_GROUP_##group(__dbg_len = snprintf( __dbg_text, 256, __VA_ARGS__ ); __cfaabi_bits_write(STDERR_FILENO, __dbg_text, __dbg_len))
104
105// The debug print groups:
106#if defined(__CFA_DEBUG_PRINT__) || defined(__CFA_DEBUG_PRINT_IO__)
107# define __CFADBG_PRINT_GROUP_io(...) __VA_ARGS__
108#else
109# define __CFADBG_PRINT_GROUP_io(...) ((void)0)
110#endif
111#if defined(__CFA_DEBUG_PRINT__) || defined(__CFA_DEBUG_PRINT_IO__) || defined(__CFA_DEBUG_PRINT_IO_CORE__)
112# define __CFADBG_PRINT_GROUP_io_core(...) __VA_ARGS__
113#else
114# define __CFADBG_PRINT_GROUP_io_core(...) ((void)0)
115#endif
116#if defined(__CFA_DEBUG_PRINT__) || defined(__CFA_DEBUG_PRINT_MONITOR__)
117# define __CFADBG_PRINT_GROUP_monitor(...) __VA_ARGS__
118#else
119# define __CFADBG_PRINT_GROUP_monitor(...) ((void)0)
120#endif
121#if defined(__CFA_DEBUG_PRINT__) || defined(__CFA_DEBUG_PRINT_PREEMPTION__)
122# define __CFADBG_PRINT_GROUP_preemption(...) __VA_ARGS__
123#else
124# define __CFADBG_PRINT_GROUP_preemption(...) ((void)0)
125#endif
126#if defined(__CFA_DEBUG_PRINT__) || defined(__CFA_DEBUG_PRINT_RUNTIME_CORE__)
127# define __CFADBG_PRINT_GROUP_runtime_core(...) __VA_ARGS__
128#else
129# define __CFADBG_PRINT_GROUP_runtime_core(...) ((void)0)
130#endif
131#if defined(__CFA_DEBUG_PRINT__) || defined(__CFA_DEBUG_PRINT_READY_QUEUE__)
132# define __CFADBG_PRINT_GROUP_ready_queue(...) __VA_ARGS__
133#else
134# define __CFADBG_PRINT_GROUP_ready_queue(...) ((void)0)
135#endif
136#if defined(__CFA_DEBUG_PRINT__) || defined(__CFA_DEBUG_PRINT_EXCEPTION__)
137# define __CFADBG_PRINT_GROUP_exception(...) __VA_ARGS__
138#else
139# define __CFADBG_PRINT_GROUP_exception(...) ((void)0)
140#endif
141
142// Local Variables: //
143// mode: c //
144// tab-width: 4 //
145// End: //
Note: See TracBrowser for help on using the repository browser.