1 /*
   2  * Copyright (c) 1997, 2015, Oracle and/or its affiliates. All rights reserved.
   3  * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
   4  *
   5  * This code is free software; you can redistribute it and/or modify it
   6  * under the terms of the GNU General Public License version 2 only, as
   7  * published by the Free Software Foundation.
   8  *
   9  * This code is distributed in the hope that it will be useful, but WITHOUT
  10  * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
  11  * FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
  12  * version 2 for more details (a copy is included in the LICENSE file that
  13  * accompanied this code).
  14  *
  15  * You should have received a copy of the GNU General Public License version
  16  * 2 along with this work; if not, write to the Free Software Foundation,
  17  * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
  18  *
  19  * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
  20  * or visit www.oracle.com if you need additional information or have any
  21  * questions.
  22  *
  23  */
  24 
  25 #ifndef SHARE_VM_UTILITIES_DEBUG_HPP
  26 #define SHARE_VM_UTILITIES_DEBUG_HPP
  27 
  28 #include "utilities/globalDefinitions.hpp"
  29 #include "prims/jvm.h"
  30 
  31 #include <stdarg.h>
  32 
  33 // Simple class to format the ctor arguments into a fixed-sized buffer.
  34 class FormatBufferBase {
  35  protected:
  36   char* _buf;
  37   inline FormatBufferBase(char* buf) : _buf(buf) {}
  38  public:
  39   static const int BufferSize = 256;
  40   operator const char *() const { return _buf; }
  41 };
  42 
  43 // Use resource area for buffer
  44 class FormatBufferResource : public FormatBufferBase {
  45  public:
  46   FormatBufferResource(const char * format, ...) ATTRIBUTE_PRINTF(2, 3);
  47 };
  48 
  49 // Use stack for buffer
  50 template <size_t bufsz = FormatBufferBase::BufferSize>
  51 class FormatBuffer : public FormatBufferBase {
  52  public:
  53   inline FormatBuffer(const char* format, ...) ATTRIBUTE_PRINTF(2, 3);
  54   inline void append(const char* format, ...)  ATTRIBUTE_PRINTF(2, 3);
  55   inline void print(const char* format, ...)  ATTRIBUTE_PRINTF(2, 3);
  56   inline void printv(const char* format, va_list ap) ATTRIBUTE_PRINTF(2, 0);
  57 
  58   char* buffer() { return _buf; }
  59   int size() { return bufsz; }
  60 
  61  private:
  62   FormatBuffer(const FormatBuffer &); // prevent copies
  63   char _buffer[bufsz];
  64 
  65  protected:
  66   inline FormatBuffer();
  67 };
  68 
  69 template <size_t bufsz>
  70 FormatBuffer<bufsz>::FormatBuffer(const char * format, ...) : FormatBufferBase(_buffer) {
  71   va_list argp;
  72   va_start(argp, format);
  73   jio_vsnprintf(_buf, bufsz, format, argp);
  74   va_end(argp);
  75 }
  76 
  77 template <size_t bufsz>
  78 FormatBuffer<bufsz>::FormatBuffer() : FormatBufferBase(_buffer) {
  79   _buf[0] = '\0';
  80 }
  81 
  82 template <size_t bufsz>
  83 void FormatBuffer<bufsz>::print(const char * format, ...) {
  84   va_list argp;
  85   va_start(argp, format);
  86   jio_vsnprintf(_buf, bufsz, format, argp);
  87   va_end(argp);
  88 }
  89 
  90 template <size_t bufsz>
  91 void FormatBuffer<bufsz>::printv(const char * format, va_list argp) {
  92   jio_vsnprintf(_buf, bufsz, format, argp);
  93 }
  94 
  95 template <size_t bufsz>
  96 void FormatBuffer<bufsz>::append(const char* format, ...) {
  97   // Given that the constructor does a vsnprintf we can assume that
  98   // _buf is already initialized.
  99   size_t len = strlen(_buf);
 100   char* buf_end = _buf + len;
 101 
 102   va_list argp;
 103   va_start(argp, format);
 104   jio_vsnprintf(buf_end, bufsz - len, format, argp);
 105   va_end(argp);
 106 }
 107 
 108 // Used to format messages.
 109 typedef FormatBuffer<> err_msg;
 110 
 111 // assertions
 112 #ifndef ASSERT
 113 #define vmassert(p, ...)
 114 #else
 115 // Note: message says "assert" rather than "vmassert" for backward
 116 // compatibility with tools that parse/match the message text.
 117 #define vmassert(p, ...)                                                       \
 118 do {                                                                           \
 119   if (!(p)) {                                                                  \
 120     report_vm_error(__FILE__, __LINE__, "assert(" #p ") failed", __VA_ARGS__); \
 121     BREAKPOINT;                                                                \
 122   }                                                                            \
 123 } while (0)
 124 
 125 #endif
 126 
 127 // For backward compatibility.
 128 #define assert(p, ...) vmassert(p, __VA_ARGS__)
 129 
 130 // This version of vmassert is for use with checking return status from
 131 // library calls that return actual error values eg. EINVAL,
 132 // ENOMEM etc, rather than returning -1 and setting errno.
 133 // When the status is not what is expected it is very useful to know
 134 // what status was actually returned, so we pass the status variable as
 135 // an extra arg and use strerror to convert it to a meaningful string
 136 // like "Invalid argument", "out of memory" etc
 137 #define vmassert_status(p, status, msg) \
 138   vmassert(p, "error %s(%d), %s", strerror(status), status, msg)
 139 
 140 // For backward compatibility.
 141 #define assert_status(p, status, msg) vmassert_status(p, status, msg)
 142 
 143 // guarantee is like vmassert except it's always executed -- use it for
 144 // cheap tests that catch errors that would otherwise be hard to find.
 145 // guarantee is also used for Verify options.
 146 #define guarantee(p, ...)                                                         \
 147 do {                                                                              \
 148   if (!(p)) {                                                                     \
 149     report_vm_error(__FILE__, __LINE__, "guarantee(" #p ") failed", __VA_ARGS__); \
 150     BREAKPOINT;                                                                   \
 151   }                                                                               \
 152 } while (0)
 153 
 154 #define fatal(...)                                                                \
 155 do {                                                                              \
 156   report_fatal(__FILE__, __LINE__, __VA_ARGS__);                                  \
 157   BREAKPOINT;                                                                     \
 158 } while (0)
 159 
 160 // out of memory
 161 #define vm_exit_out_of_memory(size, vm_err_type, ...)                             \
 162 do {                                                                              \
 163   report_vm_out_of_memory(__FILE__, __LINE__, size, vm_err_type, __VA_ARGS__);    \
 164   BREAKPOINT;                                                                     \
 165 } while (0)
 166 
 167 #define ShouldNotCallThis()                                                       \
 168 do {                                                                              \
 169   report_should_not_call(__FILE__, __LINE__);                                     \
 170   BREAKPOINT;                                                                     \
 171 } while (0)
 172 
 173 #define ShouldNotReachHere()                                                      \
 174 do {                                                                              \
 175   report_should_not_reach_here(__FILE__, __LINE__);                               \
 176   BREAKPOINT;                                                                     \
 177 } while (0)
 178 
 179 #define Unimplemented()                                                           \
 180 do {                                                                              \
 181   report_unimplemented(__FILE__, __LINE__);                                       \
 182   BREAKPOINT;                                                                     \
 183 } while (0)
 184 
 185 #define Untested(msg)                                                             \
 186 do {                                                                              \
 187   report_untested(__FILE__, __LINE__, msg);                                       \
 188   BREAKPOINT;                                                                     \
 189 } while (0);
 190 
 191 
 192 // types of VM error - originally in vmError.hpp
 193 enum VMErrorType {
 194   INTERNAL_ERROR   = 0xe0000000,
 195   OOM_MALLOC_ERROR = 0xe0000001,
 196   OOM_MMAP_ERROR   = 0xe0000002
 197 };
 198 
 199 // error reporting helper functions
 200 void report_vm_error(const char* file, int line, const char* error_msg);
 201 void report_vm_error(const char* file, int line, const char* error_msg,
 202                      const char* detail_fmt, ...) ATTRIBUTE_PRINTF(4, 5);
 203 void report_fatal(const char* file, int line, const char* detail_fmt, ...) ATTRIBUTE_PRINTF(3, 4);
 204 void report_vm_out_of_memory(const char* file, int line, size_t size, VMErrorType vm_err_type,
 205                              const char* detail_fmt, ...) ATTRIBUTE_PRINTF(5, 6);
 206 void report_should_not_call(const char* file, int line);
 207 void report_should_not_reach_here(const char* file, int line);
 208 void report_unimplemented(const char* file, int line);
 209 void report_untested(const char* file, int line, const char* message);
 210 
 211 void warning(const char* format, ...) ATTRIBUTE_PRINTF(1, 2);
 212 
 213 // Compile-time asserts.  Cond must be a compile-time constant expression that
 214 // is convertible to bool.  STATIC_ASSERT() can be used anywhere a declaration
 215 // may appear.
 216 //
 217 // Implementation Note: STATIC_ASSERT_FAILURE<true> provides a value member
 218 // rather than type member that could be used directly in the typedef, because
 219 // a type member would require conditional use of "typename", depending on
 220 // whether Cond is dependent or not.  The use of a value member leads to the
 221 // use of an array type.
 222 
 223 template<bool x> struct STATIC_ASSERT_FAILURE;
 224 template<> struct STATIC_ASSERT_FAILURE<true> { enum { value = 1 }; };
 225 
 226 #define STATIC_ASSERT(Cond) \
 227   typedef char PASTE_TOKENS(STATIC_ASSERT_DUMMY_TYPE_, __LINE__)[ \
 228     STATIC_ASSERT_FAILURE< (Cond) >::value ]
 229 
 230 // out of shared space reporting
 231 enum SharedSpaceType {
 232   SharedReadOnly,
 233   SharedReadWrite,
 234   SharedMiscData,
 235   SharedMiscCode
 236 };
 237 
 238 void report_out_of_shared_space(SharedSpaceType space_type);
 239 
 240 void report_insufficient_metaspace(size_t required_size);
 241 
 242 // out of memory reporting
 243 void report_java_out_of_memory(const char* message);
 244 
 245 // Support for self-destruct
 246 bool is_error_reported();
 247 void set_error_reported();
 248 
 249 /* Test vmassert(), fatal(), guarantee(), etc. */
 250 NOT_PRODUCT(void test_error_handler();)
 251 
 252 // crash in a controlled way:
 253 // how can be one of:
 254 // 1,2 - asserts
 255 // 3,4 - guarantee
 256 // 5-7 - fatal
 257 // 8 - vm_exit_out_of_memory
 258 // 9 - ShouldNotCallThis
 259 // 10 - ShouldNotReachHere
 260 // 11 - Unimplemented
 261 // 12,13 - (not guaranteed) crashes
 262 // 14 - SIGSEGV
 263 // 15 - SIGFPE
 264 NOT_PRODUCT(void controlled_crash(int how);)
 265 
 266 // returns an address which is guaranteed to generate a SIGSEGV on read,
 267 // for test purposes, which is not NULL and contains bits in every word
 268 NOT_PRODUCT(void* get_segfault_address();)
 269 
 270 void pd_ps(frame f);
 271 void pd_obfuscate_location(char *buf, size_t buflen);
 272 
 273 class outputStream;
 274 void print_native_stack(outputStream* st, frame fr, Thread* t, char* buf, int buf_size);
 275 
 276 #endif // SHARE_VM_UTILITIES_DEBUG_HPP