forked from KolibriOS/kolibrios
498 lines
12 KiB
C
498 lines
12 KiB
C
|
/**************************************************************************
|
||
|
*
|
||
|
* Copyright 2007-2008 Tungsten Graphics, Inc., Cedar Park, Texas.
|
||
|
* All Rights Reserved.
|
||
|
*
|
||
|
* Permission is hereby granted, free of charge, to any person obtaining a
|
||
|
* copy of this software and associated documentation files (the
|
||
|
* "Software"), to deal in the Software without restriction, including
|
||
|
* without limitation the rights to use, copy, modify, merge, publish,
|
||
|
* distribute, sub license, and/or sell copies of the Software, and to
|
||
|
* permit persons to whom the Software is furnished to do so, subject to
|
||
|
* the following conditions:
|
||
|
*
|
||
|
* The above copyright notice and this permission notice (including the
|
||
|
* next paragraph) shall be included in all copies or substantial portions
|
||
|
* of the Software.
|
||
|
*
|
||
|
* THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS
|
||
|
* OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF
|
||
|
* MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND NON-INFRINGEMENT.
|
||
|
* IN NO EVENT SHALL TUNGSTEN GRAPHICS AND/OR ITS SUPPLIERS BE LIABLE FOR
|
||
|
* ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION OF CONTRACT,
|
||
|
* TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION WITH THE
|
||
|
* SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE.
|
||
|
*
|
||
|
**************************************************************************/
|
||
|
|
||
|
/**
|
||
|
* \file
|
||
|
* Debug buffer manager to detect buffer under- and overflows.
|
||
|
*
|
||
|
* \author Jose Fonseca <jrfonseca@tungstengraphics.com>
|
||
|
*/
|
||
|
|
||
|
|
||
|
#include "pipe/p_compiler.h"
|
||
|
#include "util/u_debug.h"
|
||
|
#include "os/os_thread.h"
|
||
|
#include "util/u_math.h"
|
||
|
#include "util/u_memory.h"
|
||
|
#include "util/u_double_list.h"
|
||
|
#include "util/u_time.h"
|
||
|
#include "util/u_debug_stack.h"
|
||
|
|
||
|
#include "pb_buffer.h"
|
||
|
#include "pb_bufmgr.h"
|
||
|
|
||
|
|
||
|
#ifdef DEBUG
|
||
|
|
||
|
|
||
|
#define PB_DEBUG_CREATE_BACKTRACE 8
|
||
|
#define PB_DEBUG_MAP_BACKTRACE 8
|
||
|
|
||
|
|
||
|
/**
|
||
|
* Convenience macro (type safe).
|
||
|
*/
|
||
|
#define SUPER(__derived) (&(__derived)->base)
|
||
|
|
||
|
|
||
|
struct pb_debug_manager;
|
||
|
|
||
|
|
||
|
/**
|
||
|
* Wrapper around a pipe buffer which adds delayed destruction.
|
||
|
*/
|
||
|
struct pb_debug_buffer
|
||
|
{
|
||
|
struct pb_buffer base;
|
||
|
|
||
|
struct pb_buffer *buffer;
|
||
|
struct pb_debug_manager *mgr;
|
||
|
|
||
|
pb_size underflow_size;
|
||
|
pb_size overflow_size;
|
||
|
|
||
|
struct debug_stack_frame create_backtrace[PB_DEBUG_CREATE_BACKTRACE];
|
||
|
|
||
|
pipe_mutex mutex;
|
||
|
unsigned map_count;
|
||
|
struct debug_stack_frame map_backtrace[PB_DEBUG_MAP_BACKTRACE];
|
||
|
|
||
|
struct list_head head;
|
||
|
};
|
||
|
|
||
|
|
||
|
struct pb_debug_manager
|
||
|
{
|
||
|
struct pb_manager base;
|
||
|
|
||
|
struct pb_manager *provider;
|
||
|
|
||
|
pb_size underflow_size;
|
||
|
pb_size overflow_size;
|
||
|
|
||
|
pipe_mutex mutex;
|
||
|
struct list_head list;
|
||
|
};
|
||
|
|
||
|
|
||
|
static INLINE struct pb_debug_buffer *
|
||
|
pb_debug_buffer(struct pb_buffer *buf)
|
||
|
{
|
||
|
assert(buf);
|
||
|
return (struct pb_debug_buffer *)buf;
|
||
|
}
|
||
|
|
||
|
|
||
|
static INLINE struct pb_debug_manager *
|
||
|
pb_debug_manager(struct pb_manager *mgr)
|
||
|
{
|
||
|
assert(mgr);
|
||
|
return (struct pb_debug_manager *)mgr;
|
||
|
}
|
||
|
|
||
|
|
||
|
static const uint8_t random_pattern[32] = {
|
||
|
0xaf, 0xcf, 0xa5, 0xa2, 0xc2, 0x63, 0x15, 0x1a,
|
||
|
0x7e, 0xe2, 0x7e, 0x84, 0x15, 0x49, 0xa2, 0x1e,
|
||
|
0x49, 0x63, 0xf5, 0x52, 0x74, 0x66, 0x9e, 0xc4,
|
||
|
0x6d, 0xcf, 0x2c, 0x4a, 0x74, 0xe6, 0xfd, 0x94
|
||
|
};
|
||
|
|
||
|
|
||
|
static INLINE void
|
||
|
fill_random_pattern(uint8_t *dst, pb_size size)
|
||
|
{
|
||
|
pb_size i = 0;
|
||
|
while(size--) {
|
||
|
*dst++ = random_pattern[i++];
|
||
|
i &= sizeof(random_pattern) - 1;
|
||
|
}
|
||
|
}
|
||
|
|
||
|
|
||
|
static INLINE boolean
|
||
|
check_random_pattern(const uint8_t *dst, pb_size size,
|
||
|
pb_size *min_ofs, pb_size *max_ofs)
|
||
|
{
|
||
|
boolean result = TRUE;
|
||
|
pb_size i;
|
||
|
*min_ofs = size;
|
||
|
*max_ofs = 0;
|
||
|
for(i = 0; i < size; ++i) {
|
||
|
if(*dst++ != random_pattern[i % sizeof(random_pattern)]) {
|
||
|
*min_ofs = MIN2(*min_ofs, i);
|
||
|
*max_ofs = MAX2(*max_ofs, i);
|
||
|
result = FALSE;
|
||
|
}
|
||
|
}
|
||
|
return result;
|
||
|
}
|
||
|
|
||
|
|
||
|
static void
|
||
|
pb_debug_buffer_fill(struct pb_debug_buffer *buf)
|
||
|
{
|
||
|
uint8_t *map;
|
||
|
|
||
|
map = pb_map(buf->buffer, PB_USAGE_CPU_WRITE, NULL);
|
||
|
assert(map);
|
||
|
if(map) {
|
||
|
fill_random_pattern(map, buf->underflow_size);
|
||
|
fill_random_pattern(map + buf->underflow_size + buf->base.size,
|
||
|
buf->overflow_size);
|
||
|
pb_unmap(buf->buffer);
|
||
|
}
|
||
|
}
|
||
|
|
||
|
|
||
|
/**
|
||
|
* Check for under/over flows.
|
||
|
*
|
||
|
* Should be called with the buffer unmaped.
|
||
|
*/
|
||
|
static void
|
||
|
pb_debug_buffer_check(struct pb_debug_buffer *buf)
|
||
|
{
|
||
|
uint8_t *map;
|
||
|
|
||
|
map = pb_map(buf->buffer,
|
||
|
PB_USAGE_CPU_READ |
|
||
|
PB_USAGE_UNSYNCHRONIZED, NULL);
|
||
|
assert(map);
|
||
|
if(map) {
|
||
|
boolean underflow, overflow;
|
||
|
pb_size min_ofs, max_ofs;
|
||
|
|
||
|
underflow = !check_random_pattern(map, buf->underflow_size,
|
||
|
&min_ofs, &max_ofs);
|
||
|
if(underflow) {
|
||
|
debug_printf("buffer underflow (offset -%u%s to -%u bytes) detected\n",
|
||
|
buf->underflow_size - min_ofs,
|
||
|
min_ofs == 0 ? "+" : "",
|
||
|
buf->underflow_size - max_ofs);
|
||
|
}
|
||
|
|
||
|
overflow = !check_random_pattern(map + buf->underflow_size + buf->base.size,
|
||
|
buf->overflow_size,
|
||
|
&min_ofs, &max_ofs);
|
||
|
if(overflow) {
|
||
|
debug_printf("buffer overflow (size %u plus offset %u to %u%s bytes) detected\n",
|
||
|
buf->base.size,
|
||
|
min_ofs,
|
||
|
max_ofs,
|
||
|
max_ofs == buf->overflow_size - 1 ? "+" : "");
|
||
|
}
|
||
|
|
||
|
if(underflow || overflow)
|
||
|
debug_backtrace_dump(buf->create_backtrace, PB_DEBUG_CREATE_BACKTRACE);
|
||
|
|
||
|
debug_assert(!underflow);
|
||
|
debug_assert(!overflow);
|
||
|
|
||
|
/* re-fill if not aborted */
|
||
|
if(underflow)
|
||
|
fill_random_pattern(map, buf->underflow_size);
|
||
|
if(overflow)
|
||
|
fill_random_pattern(map + buf->underflow_size + buf->base.size,
|
||
|
buf->overflow_size);
|
||
|
|
||
|
pb_unmap(buf->buffer);
|
||
|
}
|
||
|
}
|
||
|
|
||
|
|
||
|
static void
|
||
|
pb_debug_buffer_destroy(struct pb_buffer *_buf)
|
||
|
{
|
||
|
struct pb_debug_buffer *buf = pb_debug_buffer(_buf);
|
||
|
struct pb_debug_manager *mgr = buf->mgr;
|
||
|
|
||
|
assert(!pipe_is_referenced(&buf->base.reference));
|
||
|
|
||
|
pb_debug_buffer_check(buf);
|
||
|
|
||
|
pipe_mutex_lock(mgr->mutex);
|
||
|
LIST_DEL(&buf->head);
|
||
|
pipe_mutex_unlock(mgr->mutex);
|
||
|
|
||
|
pipe_mutex_destroy(buf->mutex);
|
||
|
|
||
|
pb_reference(&buf->buffer, NULL);
|
||
|
FREE(buf);
|
||
|
}
|
||
|
|
||
|
|
||
|
static void *
|
||
|
pb_debug_buffer_map(struct pb_buffer *_buf,
|
||
|
unsigned flags, void *flush_ctx)
|
||
|
{
|
||
|
struct pb_debug_buffer *buf = pb_debug_buffer(_buf);
|
||
|
void *map;
|
||
|
|
||
|
pb_debug_buffer_check(buf);
|
||
|
|
||
|
map = pb_map(buf->buffer, flags, flush_ctx);
|
||
|
if(!map)
|
||
|
return NULL;
|
||
|
|
||
|
if(map) {
|
||
|
pipe_mutex_lock(buf->mutex);
|
||
|
++buf->map_count;
|
||
|
debug_backtrace_capture(buf->map_backtrace, 1, PB_DEBUG_MAP_BACKTRACE);
|
||
|
pipe_mutex_unlock(buf->mutex);
|
||
|
}
|
||
|
|
||
|
return (uint8_t *)map + buf->underflow_size;
|
||
|
}
|
||
|
|
||
|
|
||
|
static void
|
||
|
pb_debug_buffer_unmap(struct pb_buffer *_buf)
|
||
|
{
|
||
|
struct pb_debug_buffer *buf = pb_debug_buffer(_buf);
|
||
|
|
||
|
pipe_mutex_lock(buf->mutex);
|
||
|
assert(buf->map_count);
|
||
|
if(buf->map_count)
|
||
|
--buf->map_count;
|
||
|
pipe_mutex_unlock(buf->mutex);
|
||
|
|
||
|
pb_unmap(buf->buffer);
|
||
|
|
||
|
pb_debug_buffer_check(buf);
|
||
|
}
|
||
|
|
||
|
|
||
|
static void
|
||
|
pb_debug_buffer_get_base_buffer(struct pb_buffer *_buf,
|
||
|
struct pb_buffer **base_buf,
|
||
|
pb_size *offset)
|
||
|
{
|
||
|
struct pb_debug_buffer *buf = pb_debug_buffer(_buf);
|
||
|
pb_get_base_buffer(buf->buffer, base_buf, offset);
|
||
|
*offset += buf->underflow_size;
|
||
|
}
|
||
|
|
||
|
|
||
|
static enum pipe_error
|
||
|
pb_debug_buffer_validate(struct pb_buffer *_buf,
|
||
|
struct pb_validate *vl,
|
||
|
unsigned flags)
|
||
|
{
|
||
|
struct pb_debug_buffer *buf = pb_debug_buffer(_buf);
|
||
|
|
||
|
pipe_mutex_lock(buf->mutex);
|
||
|
if(buf->map_count) {
|
||
|
debug_printf("%s: attempting to validate a mapped buffer\n", __FUNCTION__);
|
||
|
debug_printf("last map backtrace is\n");
|
||
|
debug_backtrace_dump(buf->map_backtrace, PB_DEBUG_MAP_BACKTRACE);
|
||
|
}
|
||
|
pipe_mutex_unlock(buf->mutex);
|
||
|
|
||
|
pb_debug_buffer_check(buf);
|
||
|
|
||
|
return pb_validate(buf->buffer, vl, flags);
|
||
|
}
|
||
|
|
||
|
|
||
|
static void
|
||
|
pb_debug_buffer_fence(struct pb_buffer *_buf,
|
||
|
struct pipe_fence_handle *fence)
|
||
|
{
|
||
|
struct pb_debug_buffer *buf = pb_debug_buffer(_buf);
|
||
|
pb_fence(buf->buffer, fence);
|
||
|
}
|
||
|
|
||
|
|
||
|
const struct pb_vtbl
|
||
|
pb_debug_buffer_vtbl = {
|
||
|
pb_debug_buffer_destroy,
|
||
|
pb_debug_buffer_map,
|
||
|
pb_debug_buffer_unmap,
|
||
|
pb_debug_buffer_validate,
|
||
|
pb_debug_buffer_fence,
|
||
|
pb_debug_buffer_get_base_buffer
|
||
|
};
|
||
|
|
||
|
|
||
|
static void
|
||
|
pb_debug_manager_dump_locked(struct pb_debug_manager *mgr)
|
||
|
{
|
||
|
struct list_head *curr, *next;
|
||
|
struct pb_debug_buffer *buf;
|
||
|
|
||
|
curr = mgr->list.next;
|
||
|
next = curr->next;
|
||
|
while(curr != &mgr->list) {
|
||
|
buf = LIST_ENTRY(struct pb_debug_buffer, curr, head);
|
||
|
|
||
|
debug_printf("buffer = %p\n", (void *) buf);
|
||
|
debug_printf(" .size = 0x%x\n", buf->base.size);
|
||
|
debug_backtrace_dump(buf->create_backtrace, PB_DEBUG_CREATE_BACKTRACE);
|
||
|
|
||
|
curr = next;
|
||
|
next = curr->next;
|
||
|
}
|
||
|
|
||
|
}
|
||
|
|
||
|
|
||
|
static struct pb_buffer *
|
||
|
pb_debug_manager_create_buffer(struct pb_manager *_mgr,
|
||
|
pb_size size,
|
||
|
const struct pb_desc *desc)
|
||
|
{
|
||
|
struct pb_debug_manager *mgr = pb_debug_manager(_mgr);
|
||
|
struct pb_debug_buffer *buf;
|
||
|
struct pb_desc real_desc;
|
||
|
pb_size real_size;
|
||
|
|
||
|
assert(size);
|
||
|
assert(desc->alignment);
|
||
|
|
||
|
buf = CALLOC_STRUCT(pb_debug_buffer);
|
||
|
if(!buf)
|
||
|
return NULL;
|
||
|
|
||
|
real_size = mgr->underflow_size + size + mgr->overflow_size;
|
||
|
real_desc = *desc;
|
||
|
real_desc.usage |= PB_USAGE_CPU_WRITE;
|
||
|
real_desc.usage |= PB_USAGE_CPU_READ;
|
||
|
|
||
|
buf->buffer = mgr->provider->create_buffer(mgr->provider,
|
||
|
real_size,
|
||
|
&real_desc);
|
||
|
if(!buf->buffer) {
|
||
|
FREE(buf);
|
||
|
#if 0
|
||
|
pipe_mutex_lock(mgr->mutex);
|
||
|
debug_printf("%s: failed to create buffer\n", __FUNCTION__);
|
||
|
if(!LIST_IS_EMPTY(&mgr->list))
|
||
|
pb_debug_manager_dump_locked(mgr);
|
||
|
pipe_mutex_unlock(mgr->mutex);
|
||
|
#endif
|
||
|
return NULL;
|
||
|
}
|
||
|
|
||
|
assert(pipe_is_referenced(&buf->buffer->reference));
|
||
|
assert(pb_check_alignment(real_desc.alignment, buf->buffer->alignment));
|
||
|
assert(pb_check_usage(real_desc.usage, buf->buffer->usage));
|
||
|
assert(buf->buffer->size >= real_size);
|
||
|
|
||
|
pipe_reference_init(&buf->base.reference, 1);
|
||
|
buf->base.alignment = desc->alignment;
|
||
|
buf->base.usage = desc->usage;
|
||
|
buf->base.size = size;
|
||
|
|
||
|
buf->base.vtbl = &pb_debug_buffer_vtbl;
|
||
|
buf->mgr = mgr;
|
||
|
|
||
|
buf->underflow_size = mgr->underflow_size;
|
||
|
buf->overflow_size = buf->buffer->size - buf->underflow_size - size;
|
||
|
|
||
|
debug_backtrace_capture(buf->create_backtrace, 1, PB_DEBUG_CREATE_BACKTRACE);
|
||
|
|
||
|
pb_debug_buffer_fill(buf);
|
||
|
|
||
|
pipe_mutex_init(buf->mutex);
|
||
|
|
||
|
pipe_mutex_lock(mgr->mutex);
|
||
|
LIST_ADDTAIL(&buf->head, &mgr->list);
|
||
|
pipe_mutex_unlock(mgr->mutex);
|
||
|
|
||
|
return &buf->base;
|
||
|
}
|
||
|
|
||
|
|
||
|
static void
|
||
|
pb_debug_manager_flush(struct pb_manager *_mgr)
|
||
|
{
|
||
|
struct pb_debug_manager *mgr = pb_debug_manager(_mgr);
|
||
|
assert(mgr->provider->flush);
|
||
|
if(mgr->provider->flush)
|
||
|
mgr->provider->flush(mgr->provider);
|
||
|
}
|
||
|
|
||
|
|
||
|
static void
|
||
|
pb_debug_manager_destroy(struct pb_manager *_mgr)
|
||
|
{
|
||
|
struct pb_debug_manager *mgr = pb_debug_manager(_mgr);
|
||
|
|
||
|
pipe_mutex_lock(mgr->mutex);
|
||
|
if(!LIST_IS_EMPTY(&mgr->list)) {
|
||
|
debug_printf("%s: unfreed buffers\n", __FUNCTION__);
|
||
|
pb_debug_manager_dump_locked(mgr);
|
||
|
}
|
||
|
pipe_mutex_unlock(mgr->mutex);
|
||
|
|
||
|
pipe_mutex_destroy(mgr->mutex);
|
||
|
mgr->provider->destroy(mgr->provider);
|
||
|
FREE(mgr);
|
||
|
}
|
||
|
|
||
|
|
||
|
struct pb_manager *
|
||
|
pb_debug_manager_create(struct pb_manager *provider,
|
||
|
pb_size underflow_size, pb_size overflow_size)
|
||
|
{
|
||
|
struct pb_debug_manager *mgr;
|
||
|
|
||
|
if(!provider)
|
||
|
return NULL;
|
||
|
|
||
|
mgr = CALLOC_STRUCT(pb_debug_manager);
|
||
|
if (!mgr)
|
||
|
return NULL;
|
||
|
|
||
|
mgr->base.destroy = pb_debug_manager_destroy;
|
||
|
mgr->base.create_buffer = pb_debug_manager_create_buffer;
|
||
|
mgr->base.flush = pb_debug_manager_flush;
|
||
|
mgr->provider = provider;
|
||
|
mgr->underflow_size = underflow_size;
|
||
|
mgr->overflow_size = overflow_size;
|
||
|
|
||
|
pipe_mutex_init(mgr->mutex);
|
||
|
LIST_INITHEAD(&mgr->list);
|
||
|
|
||
|
return &mgr->base;
|
||
|
}
|
||
|
|
||
|
|
||
|
#else /* !DEBUG */
|
||
|
|
||
|
|
||
|
struct pb_manager *
|
||
|
pb_debug_manager_create(struct pb_manager *provider,
|
||
|
pb_size underflow_size, pb_size overflow_size)
|
||
|
{
|
||
|
return provider;
|
||
|
}
|
||
|
|
||
|
|
||
|
#endif /* !DEBUG */
|