diff options
author | Jeff Johnston <jjohnstn@redhat.com> | 2011-12-15 22:58:40 +0000 |
---|---|---|
committer | Jeff Johnston <jjohnstn@redhat.com> | 2011-12-15 22:58:40 +0000 |
commit | 8e0346d1372ed32d2c5f559e083f3bd60b281c3a (patch) | |
tree | b72116c382df57f2e7396b58d32370b731535712 /libgloss/sparc_leon/kernel_debug.c | |
parent | e74758408e50f8980de0d73f5b3721efbd698df9 (diff) | |
download | cygnal-8e0346d1372ed32d2c5f559e083f3bd60b281c3a.tar.gz cygnal-8e0346d1372ed32d2c5f559e083f3bd60b281c3a.tar.bz2 cygnal-8e0346d1372ed32d2c5f559e083f3bd60b281c3a.zip |
2011-12-15 Konrad Eisele <konrad@gaisler.com>
* configure.in: Add SPARC LEON support.
* configure: Regenerated.
* sparc_leon/asm-leon/amba.h, sparc_leon/asm-leon/asmmacro.h,
sparc_leon/asm-leon/clock.h, sparc_leon/asm-leon/contextswitch.h,
sparc_leon/asm-leon/elfmacro.h, sparc_leon/asm-leon/head.h,
sparc_leon/asm-leon/irq.h, sparc_leon/asm-leon/jiffies.h,
sparc_leon/asm-leon/lambapp.h, sparc_leon/asm-leon/lambapp_devs.h,
sparc_leon/asm-leon/leon.h, sparc_leon/asm-leon/leon3.h,
sparc_leon/asm-leon/leonbare_debug.h, sparc_leon/asm-leon/leonbare_kernel.h,
sparc_leon/asm-leon/leonbare_kernel_queue.h, sparc_leon/asm-leon/leoncompat.h,
sparc_leon/asm-leon/leondbg.h, sparc_leon/asm-leon/leonstack.h,
sparc_leon/asm-leon/liblocks.h, sparc_leon/asm-leon/linkage.h,
sparc_leon/asm-leon/param.h, sparc_leon/asm-leon/queue.h,
sparc_leon/asm-leon/spinlock.h, sparc_leon/asm-leon/stack.h,
sparc_leon/asm-leon/time.h, sparc_leon/asm-leon/timer.h,
sparc_leon/asm-leon/types.h, sparc_leon/asm-leon/winmacros.h:
New file.
* sparc_leon/Makefile.in, sparc_leon/_exit.c,
sparc_leon/amba.c, sparc_leon/amba_dbg.c,
sparc_leon/amba_driver.c, sparc_leon/amba_scan.c,
sparc_leon/asm-leon, sparc_leon/bdinit.S,
sparc_leon/busscan.S, sparc_leon/cacheA.S,
sparc_leon/catch_interrupt.c, sparc_leon/catch_interrupt_mvt.c,
sparc_leon/catch_interrupt_pending.c, sparc_leon/catch_interrupt_svt.c,
sparc_leon/configure.in,
sparc_leon/console.c, sparc_leon/console_dbg.c,
sparc_leon/console_init.c, sparc_leon/contextswitch.c,
sparc_leon/contextswitch_asm.S, sparc_leon/crt0.S,
sparc_leon/crti.S, sparc_leon/crtn.S,
sparc_leon/etrap.S, sparc_leon/etrap_fast.S,
sparc_leon/fpu.S, sparc_leon/gettimeofday.c,
sparc_leon/initcalls.c, sparc_leon/io.c,
sparc_leon/irqinstall.S, sparc_leon/irqtrap.S,
sparc_leon/irqtrap_fast.S, sparc_leon/jiffies.c,
sparc_leon/kernel.c, sparc_leon/kernel_context.S,
sparc_leon/kernel_debug.c, sparc_leon/kernel_debug_var.c,
sparc_leon/kernel_mm.c, sparc_leon/kernel_mutex.c,
sparc_leon/kernel_queue.c, sparc_leon/kernel_sched.c,
sparc_leon/kernel_thread.c, sparc_leon/lcpuinit.S,
sparc_leon/locore.S, sparc_leon/locore_atexit.c,
sparc_leon/locore_clean.S, sparc_leon/locore_mvt.S,
sparc_leon/locore_mvt_reset.S, sparc_leon/locore_svt.S,
sparc_leon/locore_svt_reset.S, sparc_leon/locore_svtdisp.S,
sparc_leon/locore_var.S, sparc_leon/locore_var_svt.S,
sparc_leon/mmu_asm.S, sparc_leon/mutex.c,
sparc_leon/nocache.S, sparc_leon/pnpinit.c,
sparc_leon/pnpinit_malloc.c, sparc_leon/pnpinit_simple.c,
sparc_leon/regwin.S, sparc_leon/regwin_patch.c,
sparc_leon/regwin_slow.S, sparc_leon/regwinflush.S,
sparc_leon/rtc.c, sparc_leon/rtrap.S,
sparc_leon/rtrap_fast.S, sparc_leon/stop.S,
sparc_leon/timer.c, sparc_leon/times.c:
New file
* sparc_leon/configure: Regenerate
Diffstat (limited to 'libgloss/sparc_leon/kernel_debug.c')
-rw-r--r-- | libgloss/sparc_leon/kernel_debug.c | 162 |
1 files changed, 162 insertions, 0 deletions
diff --git a/libgloss/sparc_leon/kernel_debug.c b/libgloss/sparc_leon/kernel_debug.c new file mode 100644 index 000000000..0374de77f --- /dev/null +++ b/libgloss/sparc_leon/kernel_debug.c @@ -0,0 +1,162 @@ +/* + * Copyright (c) 2011 Aeroflex Gaisler + * + * BSD license: + * + * 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, sublicense, 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 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 NONINFRINGEMENT. IN NO EVENT SHALL + * THE AUTHORS OR COPYRIGHT HOLDERS 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. + */ + + +#include <asm-leon/queue.h> +/*#include <sys/fsu_pthread_queue.h>*/ +#include <asm-leon/contextswitch.h> +#include <asm-leon/leonbare_kernel.h> +#include <asm-leon/leonbare_debug.h> +#include <asm-leon/stack.h> +#include <asm-leon/leonstack.h> +#include <stdarg.h> + +/*indent: + indent -kr -i4 -ts4 -sob -l80 -ss -ncs -nut newlib-1.13.0/libgloss/sparc_leon/kernel*.c + indent -kr -i4 -ts4 -sob -l80 -ss -ncs -nut *.h + indent -kr -i4 -ts4 -sob -l80 -ss -ncs -nut *.c +*/ + +void leonbare_sched_printqueue (); + +int +leonbare_sched_verify () +{ +#ifdef LBDEBUG_DO_ASSERT + int i, j; + leonbare_thread_t c, d; + for (i = 0; i < LEONBARE_RUNQ_NR; i++) + { + LBTAILQ_FOREACH (c, LEONBARE_KR_RUNQ (i), th_runq) + { + if (i < LEONBARE_RUNQ_READY_NR) + { + LBPASSERT (c->th_runq_idx == i, + "thread %s has wrong runq[%d] index (%d) ", + LEONBARE_TH_NAME_DBG (c), i, c->th_runq_idx); + LBPASSERT (c->th_runq_which == LEONBARE_KR_RUNQ_WHICH, + "thread %s in runqueue[%d] has wrong th_runq_which(%d) (!=LEONBARE_KR_RUNQ_WHICH(%d))", + LEONBARE_TH_NAME_DBG (c), i, c->th_runq_which, + LEONBARE_KR_RUNQ_WHICH); + } + else if (i == LEONBARE_RUNQ_SUSPENDED_IDX) + { + LBPASSERT (c->th_flags & LEONBARE_TH_SUSPENDED, + "thread %s in suspension queue has LEONBARE_TH_SUSPENDED not set ", + LEONBARE_TH_NAME_DBG (c)); + } + else if (i == LEONBARE_RUNQ_KILLED_IDX) + { + LBPASSERT (c-> + th_flags & (LEONBARE_TH_TERMINATED | + LEONBARE_TH_FINISHED), + "thread %s in killed queue has (LEONBARE_TH_TERMINATED | LEONBARE_TH_FINISHED) not set ", + LEONBARE_TH_NAME_DBG (c)); + } + else if (i >= LEONBARE_RUNQ_PREPARE_IDX && + i < (LEONBARE_RUNQ_PREPARE_IDX + LEONBARE_RUNQ_READY_NR)) + { + LBPASSERT (c->th_runq_idx == (i - LEONBARE_RUNQ_PREPARE_IDX), + "thread %s has wrong prepare-runq[%d] index (%d) ", + LEONBARE_TH_NAME_DBG (c), + i - LEONBARE_RUNQ_PREPARE_IDX, c->th_runq_idx); + LBPASSERT (c->th_runq_which != LEONBARE_KR_RUNQ_WHICH, + "thread %s in prepare-runqueue[%d] has wrong th_runq_which(%d) (==LEONBARE_KR_RUNQ_WHICH(%d))", + LEONBARE_TH_NAME_DBG (c), i, c->th_runq_which, + LEONBARE_KR_RUNQ_WHICH); + } + + if (i != LEONBARE_RUNQ_KILLED_IDX) + { + LBPASSERT (! + (c-> + th_flags & (LEONBARE_TH_TERMINATED | + LEONBARE_TH_FINISHED)), + "thread %s not in killed queue has (LEONBARE_TH_TERMINATED | LEONBARE_TH_FINISHED) set ", + LEONBARE_TH_NAME_DBG (c)); + } + if (i != LEONBARE_RUNQ_SUSPENDED_IDX) + { + LBPASSERT (!(c->th_flags & (LEONBARE_TH_SUSPENDED)), + "thread %s not in suspend queue has LEONBARE_TH_SUSPENDED set ", + LEONBARE_TH_NAME_DBG (c)); + } + + if (LBTAILQ_NEXT (c, th_runq)) + { + LBPASSERT (c->th_account <= + LBTAILQ_NEXT (c, th_runq)->th_account, + "thread %s account is not sorted (%d<=%d)", + LEONBARE_TH_NAME_DBG (c), c->th_account, + LBTAILQ_NEXT (c, th_runq)->th_account); + } + } + } + LBTAILQ_FOREACH (c, LEONBARE_KR_ALLQ, th_allq) + { + if ((j = c->th_runq_idx) != -1) + { + LBPASSERT (j >= 0 + && j < LEONBARE_RUNQ_NR, + "thread %s has wrong runq index (%d) ", + LEONBARE_TH_NAME_DBG (c), c->th_runq_idx); + LBTAILQ_FOREACH (d, LEONBARE_KR_RUNQ (j), th_runq) + { + if (d == c) + { + break; + } + } + /*LBPASSERT(d,"thread %s is not in runq[%d] ",LEONBARE_TH_NAME_DBG(c),j); */ + } + } +#endif +} + +int +leonbare_debug_printf (const char *fmt, ...) +{ + va_list ap; + va_start (ap, fmt); + vprintf (fmt, ap); + va_end (ap); + return 0; +} + +void +leonbare_sched_printqueue () +{ + int i, j; + leonbare_thread_t c; + for (i = 0; i < LEONBARE_RUNQ_NR; i++) + { + LBDEBUG_HEADER_PRINTF (LBDEBUG_QUEUE_NR, "runq[%d]:[", i); + LBTAILQ_FOREACH (c, LEONBARE_KR_RUNQ (i), th_runq) + { + LBDEBUG (LBDEBUG_QUEUE_NR, "%s[0x%x](%d),", LEONBARE_TH_NAME_DBG (c), + c, c->th_account); + } + LBDEBUG (LBDEBUG_QUEUE_NR, "]\n", 0); + } +} |