freebsd-dev/sys/ddb/db_expr.c

378 lines
7.8 KiB
C
Raw Normal View History

/*-
1993-06-12 14:58:17 +00:00
* Mach Operating System
* Copyright (c) 1991,1990 Carnegie Mellon University
* All Rights Reserved.
1995-05-30 08:16:23 +00:00
*
1993-06-12 14:58:17 +00:00
* Permission to use, copy, modify and distribute this software and its
* documentation is hereby granted, provided that both the copyright
* notice and this permission notice appear in all copies of the
* software, derivative works or modified versions, and any portions
* thereof, and that both notices appear in supporting documentation.
1995-05-30 08:16:23 +00:00
*
* CARNEGIE MELLON ALLOWS FREE USE OF THIS SOFTWARE IN ITS
1993-06-12 14:58:17 +00:00
* CONDITION. CARNEGIE MELLON DISCLAIMS ANY LIABILITY OF ANY KIND FOR
* ANY DAMAGES WHATSOEVER RESULTING FROM THE USE OF THIS SOFTWARE.
1995-05-30 08:16:23 +00:00
*
1993-06-12 14:58:17 +00:00
* Carnegie Mellon requests users of this software to return to
1995-05-30 08:16:23 +00:00
*
1993-06-12 14:58:17 +00:00
* Software Distribution Coordinator or Software.Distribution@CS.CMU.EDU
* School of Computer Science
* Carnegie Mellon University
* Pittsburgh PA 15213-3890
1995-05-30 08:16:23 +00:00
*
1993-06-12 14:58:17 +00:00
* any improvements or extensions that they make and grant Carnegie the
* rights to redistribute these changes.
*/
/*
* Author: David B. Golub, Carnegie Mellon University
* Date: 7/90
*/
2003-06-10 22:09:23 +00:00
#include <sys/cdefs.h>
__FBSDID("$FreeBSD$");
#include <sys/param.h>
1995-12-10 19:08:32 +00:00
#include <ddb/ddb.h>
1993-06-12 14:58:17 +00:00
#include <ddb/db_lex.h>
#include <ddb/db_access.h>
#include <ddb/db_command.h>
static bool db_add_expr(db_expr_t *valuep);
static bool db_mult_expr(db_expr_t *valuep);
static bool db_shift_expr(db_expr_t *valuep);
static bool db_term(db_expr_t *valuep);
static bool db_unary(db_expr_t *valuep);
static bool db_logical_or_expr(db_expr_t *valuep);
static bool db_logical_and_expr(db_expr_t *valuep);
static bool db_logical_relation_expr(db_expr_t *valuep);
static bool
2009-03-09 13:32:19 +00:00
db_term(db_expr_t *valuep)
1993-06-12 14:58:17 +00:00
{
int t;
t = db_read_token();
if (t == tIDENT) {
Build on Jeff Roberson's linker-set based dynamic per-CPU allocator (DPCPU), as suggested by Peter Wemm, and implement a new per-virtual network stack memory allocator. Modify vnet to use the allocator instead of monolithic global container structures (vinet, ...). This change solves many binary compatibility problems associated with VIMAGE, and restores ELF symbols for virtualized global variables. Each virtualized global variable exists as a "reference copy", and also once per virtual network stack. Virtualized global variables are tagged at compile-time, placing the in a special linker set, which is loaded into a contiguous region of kernel memory. Virtualized global variables in the base kernel are linked as normal, but those in modules are copied and relocated to a reserved portion of the kernel's vnet region with the help of a the kernel linker. Virtualized global variables exist in per-vnet memory set up when the network stack instance is created, and are initialized statically from the reference copy. Run-time access occurs via an accessor macro, which converts from the current vnet and requested symbol to a per-vnet address. When "options VIMAGE" is not compiled into the kernel, normal global ELF symbols will be used instead and indirection is avoided. This change restores static initialization for network stack global variables, restores support for non-global symbols and types, eliminates the need for many subsystem constructors, eliminates large per-subsystem structures that caused many binary compatibility issues both for monitoring applications (netstat) and kernel modules, removes the per-function INIT_VNET_*() macros throughout the stack, eliminates the need for vnet_symmap ksym(2) munging, and eliminates duplicate definitions of virtualized globals under VIMAGE_GLOBALS. Bump __FreeBSD_version and update UPDATING. Portions submitted by: bz Reviewed by: bz, zec Discussed with: gnn, jamie, jeff, jhb, julian, sam Suggested by: peter Approved by: re (kensmith)
2009-07-14 22:48:30 +00:00
if (!db_value_of_name(db_tok_string, valuep) &&
!db_value_of_name_pcpu(db_tok_string, valuep) &&
!db_value_of_name_vnet(db_tok_string, valuep)) {
db_printf("Symbol '%s' not found\n", db_tok_string);
db_error(NULL);
1993-06-12 14:58:17 +00:00
/*NOTREACHED*/
}
return (true);
1993-06-12 14:58:17 +00:00
}
if (t == tNUMBER) {
*valuep = (db_expr_t)db_tok_number;
return (true);
1993-06-12 14:58:17 +00:00
}
if (t == tDOT) {
*valuep = (db_expr_t)db_dot;
return (true);
1993-06-12 14:58:17 +00:00
}
if (t == tDOTDOT) {
*valuep = (db_expr_t)db_prev;
return (true);
1993-06-12 14:58:17 +00:00
}
if (t == tPLUS) {
*valuep = (db_expr_t) db_next;
return (true);
1993-06-12 14:58:17 +00:00
}
if (t == tDITTO) {
*valuep = (db_expr_t)db_last_addr;
return (true);
1993-06-12 14:58:17 +00:00
}
if (t == tDOLLAR) {
if (!db_get_variable(valuep))
return (false);
return (true);
1993-06-12 14:58:17 +00:00
}
if (t == tLPAREN) {
if (!db_expression(valuep)) {
db_printf("Expression syntax error after '%c'\n", '(');
db_error(NULL);
1993-06-12 14:58:17 +00:00
/*NOTREACHED*/
}
t = db_read_token();
if (t != tRPAREN) {
db_printf("Expression syntax error -- expected '%c'\n", ')');
db_error(NULL);
1993-06-12 14:58:17 +00:00
/*NOTREACHED*/
}
return (true);
1993-06-12 14:58:17 +00:00
}
db_unread_token(t);
return (false);
1993-06-12 14:58:17 +00:00
}
static bool
2009-03-09 13:32:19 +00:00
db_unary(db_expr_t *valuep)
1993-06-12 14:58:17 +00:00
{
int t;
t = db_read_token();
if (t == tMINUS) {
if (!db_unary(valuep)) {
db_printf("Expression syntax error after '%c'\n", '-');
db_error(NULL);
1993-06-12 14:58:17 +00:00
/*NOTREACHED*/
}
*valuep = -*valuep;
return (true);
1993-06-12 14:58:17 +00:00
}
if (t == tEXCL) {
if(!db_unary(valuep)) {
db_printf("Expression syntax error after '%c'\n", '!');
db_error(NULL);
/* NOTREACHED */
}
*valuep = (!(*valuep));
return (true);
}
if (t == tBIT_NOT) {
if(!db_unary(valuep)) {
db_printf("Expression syntax error after '%c'\n", '~');
db_error(NULL);
/* NOTREACHED */
}
*valuep = (~(*valuep));
return (true);
}
1993-06-12 14:58:17 +00:00
if (t == tSTAR) {
/* indirection */
if (!db_unary(valuep)) {
db_printf("Expression syntax error after '%c'\n", '*');
db_error(NULL);
1993-06-12 14:58:17 +00:00
/*NOTREACHED*/
}
*valuep = db_get_value((db_addr_t)*valuep, sizeof(void *),
false);
return (true);
1993-06-12 14:58:17 +00:00
}
db_unread_token(t);
return (db_term(valuep));
}
static bool
2009-03-09 13:32:19 +00:00
db_mult_expr(db_expr_t *valuep)
1993-06-12 14:58:17 +00:00
{
db_expr_t lhs, rhs;
int t;
if (!db_unary(&lhs))
return (false);
1993-06-12 14:58:17 +00:00
t = db_read_token();
while (t == tSTAR || t == tSLASH || t == tPCT || t == tHASH ||
t == tBIT_AND ) {
1993-06-12 14:58:17 +00:00
if (!db_term(&rhs)) {
db_printf("Expression syntax error after '%c'\n",
t == tSTAR ? '*' : t == tSLASH ? '/' : t == tPCT ? '%' :
t == tHASH ? '#' : '&');
db_error(NULL);
1993-06-12 14:58:17 +00:00
/*NOTREACHED*/
}
switch(t) {
case tSTAR:
lhs *= rhs;
break;
case tBIT_AND:
lhs &= rhs;
break;
default:
if (rhs == 0) {
db_error("Division by 0\n");
/*NOTREACHED*/
}
if (t == tSLASH)
lhs /= rhs;
else if (t == tPCT)
lhs %= rhs;
else
lhs = roundup(lhs, rhs);
1993-06-12 14:58:17 +00:00
}
t = db_read_token();
}
db_unread_token(t);
*valuep = lhs;
return (true);
1993-06-12 14:58:17 +00:00
}
static bool
2009-03-09 13:32:19 +00:00
db_add_expr(db_expr_t *valuep)
1993-06-12 14:58:17 +00:00
{
db_expr_t lhs, rhs;
int t;
if (!db_mult_expr(&lhs))
return (false);
1993-06-12 14:58:17 +00:00
t = db_read_token();
while (t == tPLUS || t == tMINUS || t == tBIT_OR) {
1993-06-12 14:58:17 +00:00
if (!db_mult_expr(&rhs)) {
db_printf("Expression syntax error after '%c'\n",
t == tPLUS ? '+' : t == tMINUS ? '-' : '|');
db_error(NULL);
1993-06-12 14:58:17 +00:00
/*NOTREACHED*/
}
switch (t) {
case tPLUS:
1993-06-12 14:58:17 +00:00
lhs += rhs;
break;
case tMINUS:
1993-06-12 14:58:17 +00:00
lhs -= rhs;
break;
case tBIT_OR:
lhs |= rhs;
break;
default:
__unreachable();
}
1993-06-12 14:58:17 +00:00
t = db_read_token();
}
db_unread_token(t);
*valuep = lhs;
return (true);
1993-06-12 14:58:17 +00:00
}
static bool
2009-03-09 13:32:19 +00:00
db_shift_expr(db_expr_t *valuep)
1993-06-12 14:58:17 +00:00
{
db_expr_t lhs, rhs;
int t;
if (!db_add_expr(&lhs))
return (false);
1993-06-12 14:58:17 +00:00
t = db_read_token();
while (t == tSHIFT_L || t == tSHIFT_R) {
if (!db_add_expr(&rhs)) {
db_printf("Expression syntax error after '%s'\n",
t == tSHIFT_L ? "<<" : ">>");
db_error(NULL);
1993-06-12 14:58:17 +00:00
/*NOTREACHED*/
}
if (rhs < 0) {
db_printf("Negative shift amount %jd\n", (intmax_t)rhs);
db_error(NULL);
1993-06-12 14:58:17 +00:00
/*NOTREACHED*/
}
if (t == tSHIFT_L)
lhs <<= rhs;
else {
/* Shift right is unsigned */
lhs = (unsigned) lhs >> rhs;
}
t = db_read_token();
}
db_unread_token(t);
*valuep = lhs;
return (true);
1993-06-12 14:58:17 +00:00
}
static bool
db_logical_relation_expr(
db_expr_t *valuep)
{
db_expr_t lhs, rhs;
int t;
if (!db_shift_expr(&lhs))
return (false);
t = db_read_token();
while (t == tLOG_EQ || t == tLOG_NOT_EQ || t == tGREATER ||
t == tGREATER_EQ || t == tLESS || t == tLESS_EQ) {
if (!db_shift_expr(&rhs)) {
db_printf("Expression syntax error after '%s'\n",
t == tLOG_EQ ? "==" : t == tLOG_NOT_EQ ? "!=" :
t == tGREATER ? ">" : t == tGREATER_EQ ? ">=" :
t == tLESS ? "<" : "<=");
db_error(NULL);
/*NOTREACHED*/
}
switch(t) {
case tLOG_EQ:
lhs = (lhs == rhs);
break;
case tLOG_NOT_EQ:
lhs = (lhs != rhs);
break;
case tGREATER:
lhs = (lhs > rhs);
break;
case tGREATER_EQ:
lhs = (lhs >= rhs);
break;
case tLESS:
lhs = (lhs < rhs);
break;
case tLESS_EQ:
lhs = (lhs <= rhs);
break;
default:
__unreachable();
}
t = db_read_token();
}
db_unread_token(t);
*valuep = lhs;
return (true);
}
static bool
db_logical_and_expr(
db_expr_t *valuep)
{
db_expr_t lhs, rhs;
int t;
if (!db_logical_relation_expr(&lhs))
return (false);
t = db_read_token();
while (t == tLOG_AND) {
if (!db_logical_relation_expr(&rhs)) {
db_printf("Expression syntax error after '%s'\n", "&&");
db_error(NULL);
/*NOTREACHED*/
}
lhs = (lhs && rhs);
t = db_read_token();
}
db_unread_token(t);
*valuep = lhs;
return (true);
}
static bool
db_logical_or_expr(
db_expr_t *valuep)
{
db_expr_t lhs, rhs;
int t;
if (!db_logical_and_expr(&lhs))
return(false);
t = db_read_token();
while (t == tLOG_OR) {
if (!db_logical_and_expr(&rhs)) {
db_printf("Expression syntax error after '%s'\n", "||");
db_error(NULL);
/*NOTREACHED*/
}
lhs = (lhs || rhs);
t = db_read_token();
}
db_unread_token(t);
*valuep = lhs;
return (true);
}
1993-06-12 14:58:17 +00:00
int
2009-03-09 13:32:19 +00:00
db_expression(db_expr_t *valuep)
1993-06-12 14:58:17 +00:00
{
return (db_logical_or_expr(valuep));
1993-06-12 14:58:17 +00:00
}