diff options
Diffstat (limited to 'libchill/printbuffer.c')
-rw-r--r-- | libchill/printbuffer.c | 125 |
1 files changed, 0 insertions, 125 deletions
diff --git a/libchill/printbuffer.c b/libchill/printbuffer.c deleted file mode 100644 index a46cb5d5ef0..00000000000 --- a/libchill/printbuffer.c +++ /dev/null @@ -1,125 +0,0 @@ -/* Implement tasking-related runtime actions for CHILL. - Copyright (C) 1992,1993 Free Software Foundation, Inc. - Author: Wilfried Moser - -This file is part of GNU CC. - -GNU CC is free software; you can redistribute it and/or modify -it under the terms of the GNU General Public License as published by -the Free Software Foundation; either version 2, or (at your option) -any later version. - -GNU CC is distributed in the hope that it will be useful, -but WITHOUT ANY WARRANTY; without even the implied warranty of -MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the -GNU General Public License for more details. - -You should have received a copy of the GNU General Public License -along with GNU CC; see the file COPYING. If not, write to -the Free Software Foundation, 59 Temple Place - Suite 330, -Boston, MA 02111-1307, USA. */ - -/* As a special exception, if you link this library with other files, - some of which are compiled with GCC, to produce an executable, - this library does not by itself cause the resulting executable - to be covered by the GNU General Public License. - This exception does not however invalidate any other reasons why - the executable file might be covered by the GNU General Public License. */ - -#include <stdio.h> -#include <string.h> -#include "rtltypes.h" -#include "rts.h" - -typedef char *(*fetch_names) (int number); -extern fetch_names __RTS_FETCH_NAMES__; - -/* - * function print_instance - * - */ - -static char *print_instance (ins) - INSTANCE ins; -{ - static char buf[256]; - char *f; - - if (!__RTS_FETCH_NAMES__) - f = 0; - else - f = (*__RTS_FETCH_NAMES__) (ins.ptype); - if (!f) - sprintf (buf, "[%u;%u]", ins.ptype, ins.pcopy); - else - sprintf (buf, "[%s;%u]", f, ins.pcopy); - return buf; -} - -/* - * function __print_buffer - * - * parameters: - * buffer buffer location - * - * returns: - * void - * - * exceptions: - * none - * - * abstract: - * Function is used for debugging purposes only to print a - * buffer queue - */ - -void -__print_buffer (buffer, name) - Buffer_Queue **buffer; - char *name; -{ - Buffer_Queue *bq; - int bsqcnt = 0, bwqcnt = 0; - Buffer_Send_Queue *bsq; - Buffer_Wait_Queue *bwq; - - if (name) - printf ("Buffer %s:\n", name); - else - printf ("Buffer at address H'%X:\n", buffer); - - memcpy (&bq, buffer, sizeof (Buffer_Queue *)); - if (bq == 0) - { - printf ("EMPTY\n"); - return; - } - - bsq = bq->sendqueue; - if (bsq != 0) - printf ("Send Queue:\n"); - while (bsq) - { - printf (" %3d: ", ++bsqcnt); - printf ("Process %s, ", print_instance (bsq->this)); - printf ("Priority %d", bsq->priority); - if (bsq->is_delayed) - printf (", Delayed"); - printf ("\n"); - bsq = bsq->forward; - } - bwq = bq->waitqueue; - if (bwq != 0) - printf ("Wait Queue:\n"); - while (bwq) - { - printf (" %3d: ", ++bwqcnt); - printf ("Process %s, ", print_instance (bwq->this)); - if (bwq->is_sent) - printf (", Send by %s", print_instance (bwq->who_sent)); - printf ("\n"); - bwq = bwq->forward; - } - if (bsqcnt == 0 && bwqcnt == 0) - printf ("EMPTY\n"); -} |