database.c File Reference

#include "genC.h"
#include "naming.h"
#include "private.h"
#include "pipsdbm_private.h"
#include <regex.h>

Include dependency graph for database.c:

Go to the source code of this file.

Data Structures
struct	t_tmp_result
	FI wants a sort... More...

Macros
#define	IGNORE_RX   "PIPS_IGNORE_FUNCTION_RX"
#define	db_resource_stored_p(r)   db_status_stored_p(db_resource_db_status(r))
	shorthands More...
#define	db_resource_loaded_p(r)   db_status_loaded_p(db_resource_db_status(r))
#define	db_resource_required_p(r)    db_status_required_p(db_resource_db_status(r))
#define	db_resource_loaded_and_stored_p(r)    db_status_loaded_and_stored_p(db_resource_db_status(r))
#define	DB_OK   pips_assert("defined database", !pips_database_undefined_p())
	the pips_database stores pips resources. More...
#define	DB_UNDEF   pips_assert("undefined database", pips_database_undefined_p())
#define	debug_db_resource(l, r, o, p)   ifdebug(l) { dump_db_resource(r, o, p);}
#define	gen_DB_VOID_cons(i, l)   gen_cons(i,l)

Typedefs
typedef struct t_tmp_result *	p_tmp_result

Functions
static bool	simple_name_p (const char *name)
	Module names must use some characters. More...
static db_symbol	find_or_create_db_symbol (const char *name)
void	db_create_pips_database (void)
	exported interface is minimal. More...
static void	db_clean_db_resources ()
	latter More...
bool	db_open_pips_database (FILE *fd)
void	db_save_pips_database (FILE *fd)
void	db_close_pips_database (void)
void	db_reset_pips_database_if_necessary (void)
static string	db_status_string (db_status s)
static void	dump_db_resource (const char *rname, const char *oname, db_resource r)
void	dump_all_db_resource_status (FILE *file, string where)
static void	init_owned_resources_if_necessary (const char *name)
static db_owned_resources	get_db_owned_resources (const char *oname)
static db_resource	get_resource (const char *rname, db_owned_resources or)
static db_resource	get_db_resource (const char *rname, const char *oname)
static db_resource	get_real_db_resource (const char *rname, const char *oname)
static db_resource	find_or_create_db_resource (const char *rname, const char *oname)
void	db_delete_resource (const char *rname, const char *oname)
	Delete a resource. More...
bool	db_update_time (const char *rname, const char *oname)
	this should really be a put. More...
static p_tmp_result	make_tmp_result (int t, const char *on, const char *rn)
static int	tmp_result_cmp (const p_tmp_result *p1, const p_tmp_result *p2)
void	db_print_all_required_resources (FILE *file)
void	db_clean_all_required_resources (void)
bool	db_resource_required_or_available_p (const char *rname, const char *oname)
	from now on we must not know about the database internals? More...
bool	db_resource_is_required_p (const char *rname, const char *oname)
	true if exists and in required state. More...
bool	db_resource_p (const char *rname, const char *oname)
	true if exists and in loaded or stored state. More...
bool	db_touch_resource (const char *rname, const char *oname)
	touch logical time for resource[owner], possibly behind the back of pipsdbm. More...
static void	db_check_time (const char *rname, const char *oname, db_resource r)
static void	db_load_resource (const char *rname, const char *oname, db_resource r)
int	db_time_of_resource (const char *rname, const char *oname)
static void	db_save_resource (const char *rname, const char *oname, db_resource r)
static void	db_save_and_free_resource (const char *rname, const char *oname, db_resource r, bool do_free)
string	db_get_resource_id (const char *rname, const char *oname)
	some way to identify a resource... More...
string	db_get_memory_resource (const char *rname, const char *oname, bool pure)
	Return the pointer to the resource, whatever it is. More...
void	db_set_resource_as_required (const char *rname, const char *oname)
void	db_put_or_update_memory_resource (const char *rname, const char *oname, void *p, bool update_is_ok)
	Put a resource into the current workspace database. More...
void	db_invalidate_memory_resource (const char *rname, const char *oname)
int	db_unput_resources (const char *rname)
	Delete all the resources of a given type "rname". More...
list	db_retrieve_resources (const char *rname)
	Retrieve all the db resources of a given resource type, "rname". More...
static string	db_resource_name_or_owner_name (db_resource dbr, bool owner_p)
	Retrieve the resource name, a.k.a. More...
string	db_resource_name (void *dbr)
	To be used for debugging. More...
string	db_resource_owner_name (void *dbr)
	To be used for debugging. More...
void	db_save_and_free_memory_resource_if_any (const char *rname, const char *oname, bool do_free)
void	db_delete_all_resources (void)
	FC: I added this function to clean all resources, hence avoiding to save them. More...
bool	db_set_current_module_name (const char *name)
string	db_get_current_module_name (void)
	Also used to check whether set... More...
void	db_reset_current_module_name (void)
int	db_delete_obsolete_resources (bool(*keep_p)(const char *, const char *))
	delete all obsolete resources before a close. More...
bool	db_module_exists_p (const char *name)
	Return whether name is a "valid" module. More...
gen_array_t	db_get_module_list_initial_order (void)
static gen_array_t	db_get_module_or_function_list (bool module_p, bool func_p)
	Returns an allocated array a with the sorted list of modules. More...
gen_array_t	db_get_module_list (void)
	Get an array of all the modules (functions, procedures and compilation units) of a workspace. More...
gen_array_t	db_get_function_list (void)
	Get an array of all the functions and procedures (not compilation units) of a workspace. More...
gen_array_t	db_get_compilation_unit_list (void)
	Get an array of all the compilation units of a workspace. More...

Variables
static char *	current_module_name = NULL
	when telling the database about a module name, the module is registered as a db_symbol, and it is added to the database. More...

Macro Definition Documentation

DB_OK

#define DB_OK   pips_assert("defined database", !pips_database_undefined_p())

the pips_database stores pips resources.

{init,close,set_reset,get}_pips_database() {store,load,delete,update,store_or_update}_pips_database() bound_pips_database_p()

Definition at line 104 of file database.c.

db_resource_loaded_and_stored_p

#define db_resource_loaded_and_stored_p

(

r

)

db_status_loaded_and_stored_p(db_resource_db_status(r))

Definition at line 56 of file database.c.

db_resource_loaded_p

#define db_resource_loaded_p

(

r

)

db_status_loaded_p(db_resource_db_status(r))

Definition at line 53 of file database.c.

db_resource_required_p

#define db_resource_required_p

(

r

)

db_status_required_p(db_resource_db_status(r))

Definition at line 54 of file database.c.

db_resource_stored_p

#define db_resource_stored_p

(

r

)

db_status_stored_p(db_resource_db_status(r))

shorthands

Definition at line 52 of file database.c.

DB_UNDEF

#define DB_UNDEF   pips_assert("undefined database", pips_database_undefined_p())

Definition at line 105 of file database.c.

debug_db_resource

#define debug_db_resource	(		l,
			r,
			o,
			p
	)		ifdebug(l) { dump_db_resource(r, o, p);}

Definition at line 221 of file database.c.

gen_DB_VOID_cons

#define gen_DB_VOID_cons	(		i,
			l
	)		gen_cons(i,l)

Definition at line 401 of file database.c.

IGNORE_RX

#define IGNORE_RX   "PIPS_IGNORE_FUNCTION_RX"

Definition at line 46 of file database.c.

Typedef Documentation

p_tmp_result

typedef struct t_tmp_result * p_tmp_result

Function Documentation

db_check_time()

static void db_check_time ( const char *  rname, const char *  oname, db_resource  r  )

static

just check for updates

update time of actual resource if appropriate

??? just warn... may be a user error?

Definition at line 547 of file database.c.

{
  pips_assert("resource is loaded",
              db_resource_loaded_and_stored_p(r) || db_resource_loaded_p(r));
 
  /* just check for updates */
  if (displayable_file_p(rname))
  {
    int its_time = dbll_stat_local_file(db_resource_pointer(r), false);
    if (its_time > db_resource_file_time(r))
    {
      pips_user_warning("file resource %s[%s] updated!\n", rname, oname);
 
      /* update time of actual resource if appropriate
       */
      if ((db_resource_loaded_p(r) || db_resource_loaded_and_stored_p(r)) &&
          dbll_database_managed_file_p(db_resource_pointer(r)))
      {
        pips_user_warning("file '%s' for %s[%s] edited (%d -> %d)\n",
                          db_resource_pointer(r), rname, oname,
                          db_resource_file_time(r), its_time);
        db_resource_file_time(r) = its_time;
 
        db_inc_logical_time();
        db_resource_time(r) = db_get_logical_time();
        db_inc_logical_time();
      }
    }
  }
  else
  {
    int its_time = dbll_stat_resource_file(rname, oname, true);
    if (its_time > db_resource_file_time(r))
    {
      /* ??? just warn... may be a user error? */
      pips_user_warning("internal resource %s[%s] updated!\n", rname, oname);
    }
  }
}

References db_get_logical_time(), db_inc_logical_time(), db_resource_file_time, db_resource_loaded_and_stored_p, db_resource_loaded_p, db_resource_pointer, db_resource_time, dbll_database_managed_file_p(), dbll_stat_local_file(), dbll_stat_resource_file(), displayable_file_p(), pips_assert, and pips_user_warning.

Referenced by db_load_resource(), and db_time_of_resource().

Here is the call graph for this function:

Here is the caller graph for this function:

db_clean_all_required_resources()

void db_clean_all_required_resources

(

void

)

of db_symbols

Owner Symbol, Owned Resources

Resource Symbol, DB Resource

DEBUG?

Mark owner symbol os as to be deleted if set of owned resouces is empty.

maybe temporarily required by pipsmake but some error occured

Definition at line 460 of file database.c.

{
  list /* of db_symbols */ owners_to_delete = NIL;
  db_resources db = get_pips_database();
 
  /* Owner Symbol, Owned Resources */
  DB_RESOURCES_MAP(os, or,
  {
    /* Resource Symbol, DB Resource */
    DB_OWNED_RESOURCES_MAP(rs, r,
    {
      string rn = db_symbol_name(rs);
      string on = db_symbol_name(os);
      pips_debug(8, "considering %s[%s] (%p)\n", rn, on, (void*) r);
 
      if (db_resource_required_p(r))
      {
        pips_debug(1, "deleting %s[%s]\n", rn, on);
        dump_db_resource(rn, on, r); /* DEBUG? */
        db_delete_resource(rn, on);
      }
    },
      or);
 
    /* Mark owner symbol os as to be deleted if set of owned resouces is
       empty. */
    if (hash_table_entry_count(db_owned_resources_hash_table(or))==0)
    {
      pips_user_warning("module '%s' to be deleted, no more resources owned.\n",
                        /* maybe temporarily required by pipsmake but some error occured */
                        db_symbol_name(os));
 
      owners_to_delete = CONS(DB_SYMBOL, os, owners_to_delete);
    }
  },
                   db);
 
  MAP(DB_SYMBOL, os, delete_db_resources(db, os), owners_to_delete);
}

References CONS, db_delete_resource(), db_owned_resources_hash_table, DB_OWNED_RESOURCES_MAP, db_resource_required_p, DB_RESOURCES_MAP, DB_SYMBOL, db_symbol_name, delete_db_resources(), dump_db_resource(), hash_table_entry_count(), MAP, NIL, pips_debug, and pips_user_warning.

Referenced by make(), and safe_do_something().

Here is the call graph for this function:

Here is the caller graph for this function:

db_clean_db_resources()

static void db_clean_db_resources ( )

static

latter

on checkpoints...

there are some incoherencies!

• status may be 'loaded', but it is not true!
• status may be 'required', but it is not true either.
• also, as obsolete resources are not cleaned...

maybe the required stuff should be handled by pipsmake on its own?

scan

to be deleted later on

also if the file vanished... maybe on checkpoints where obsolete resources are not removed...

delete

Definition at line 295 of file database.c.

{
  list lr = NIL, lo = NIL, lo_init = NIL, lr_init = NIL;
 
  /* scan */
  DB_RESOURCES_MAP(os, or,
  {
    DB_OWNED_RESOURCES_MAP(rs, r,
    {
      string rn = db_symbol_name(rs);
      string on = db_symbol_name(os);
      pips_debug(8, "considering %s[%s] (0x%p)\n", rn, on, (void*) r);
 
      if (db_resource_required_p(r))
      {
        pips_debug(1, "resource %s[%s] in state required...\n", rn, on);
        /* to be deleted later on */
        lr = CONS(STRING, rn, lr);
        lo = CONS(STRING, on, lo);
      }
      /* also if the file vanished...
       * maybe on checkpoints where obsolete resources are not removed...
       */
      else if (dbll_stat_resource_file(rn, on, true)==0)
      {
        pips_debug(1, "resource %s[%s] file vanished...\n", rn, on);
        lr = CONS(STRING, rn, lr);
        lo = CONS(STRING, on, lo);
      }
      else if (db_resource_loaded_p(r) || db_resource_loaded_and_stored_p(r))
      {
        pips_debug(1, "resource %s[%s] set as stored\n", rn, on);
        db_status_tag(db_resource_db_status(r)) = is_db_status_stored;
        db_resource_pointer(r) = NULL;
      }
    },
                           or)
      },
                   get_pips_database());
 
  /* delete */
  for (; lr && lo; lr = CDR(lr), lo = CDR(lo))
  {
    string rn = STRING(CAR(lr)), on = STRING(CAR(lo));
    db_resource r = get_db_resource(rn, on);
    pips_debug(1, "deleting required %s[%s]\n", rn, on);
    dump_db_resource(rn, on, r);
    db_delete_resource(rn, on);
  }
 
  gen_free_list(lr_init);
  gen_free_list(lo_init);
 
  ifdebug(9) dump_all_db_resource_status(stderr, "db_clean_db_resources");
}

References CAR, CDR, CONS, db_delete_resource(), DB_OWNED_RESOURCES_MAP, db_resource_db_status, db_resource_loaded_and_stored_p, db_resource_loaded_p, db_resource_pointer, db_resource_required_p, DB_RESOURCES_MAP, db_status_tag, db_symbol_name, dbll_stat_resource_file(), dump_all_db_resource_status(), dump_db_resource(), gen_free_list(), get_db_resource(), ifdebug, is_db_status_stored, NIL, pips_debug, and STRING.

Referenced by db_open_pips_database().

Here is the call graph for this function:

Here is the caller graph for this function:

db_close_pips_database()

void db_close_pips_database

(

void

)

Definition at line 150 of file database.c.

{
  DB_OK; close_pips_database(); DB_UNDEF;
}

References DB_OK, and DB_UNDEF.

Referenced by save_meta_data().

Here is the caller graph for this function:

db_create_pips_database()

void db_create_pips_database

(

void

)

exported interface is minimal.

??? statement_mapping

Definition at line 109 of file database.c.

{
  DB_UNDEF; init_pips_database(); DB_OK;
}

References DB_OK, and DB_UNDEF.

Referenced by db_create_workspace().

Here is the caller graph for this function:

db_delete_all_resources()

void db_delete_all_resources

(

void

)

FC: I added this function to clean all resources, hence avoiding to save them.

This speed up hpfc at low cost;-).

Definition at line 1030 of file database.c.

{
    int nr = dbll_number_of_resources(), i;
    DB_OK;
    for (i=0; i<nr; i++)
      (void) db_unput_resources(dbll_get_ith_resource_name(i));
}

References DB_OK, db_unput_resources(), dbll_get_ith_resource_name(), and dbll_number_of_resources().

Referenced by delete_all_resources(), and delete_some_resources().

Here is the call graph for this function:

Here is the caller graph for this function:

db_delete_obsolete_resources()

int db_delete_obsolete_resources

(

bool(*)(const char *, const char *)

keep_p

)

delete all obsolete resources before a close.

return the number of resources destroyed.

of string

Definition at line 1076 of file database.c.

{
  int ndeleted = 0;
  list /* of string */ lr = NIL, lo = NIL, lrp, lop;
  DB_OK;
  debug_on("PIPSDBM_DEBUG_LEVEL");
 
  // builds the lists to delete.
  pips_debug(4, "building list of resources to delete... (keep=%p)\n", keep_p);
  DB_RESOURCES_FOREACH(os, or, get_pips_database())
  {
    DB_OWNED_RESOURCES_FOREACH(rs, r, or)
    {
      string rn = db_symbol_name(rs), on = db_symbol_name(os);
      pips_debug(8, "considering %s of %s (%p)\n", rn, on, (void *) r);
      if (!db_resource_required_p(r) && !keep_p(rn, on)) {
        pips_debug(8, "to be destroyed: %s of %s\n", rn, on);
        ndeleted++;
        lr = CONS(STRING, rn, lr);
        lo = CONS(STRING, on, lo);
      }
    }
  }
 
  // delete the resources.
  pips_debug(4, "deleting obsolete resources...\n");
  for(lrp=lr, lop=lo; !ENDP(lrp); POP(lrp), POP(lop))
  {
    string rname = STRING(CAR(lrp)), oname = STRING(CAR(lop));
    db_delete_resource(rname, oname);
    dbll_unlink_resource_file(rname, oname, false);
  }
 
  gen_free_list(lr);
  gen_free_list(lo);
  pips_debug(4, "deleting obsolete resources done.\n");
  debug_off();
  return ndeleted;
}

References CAR, CONS, db_delete_resource(), DB_OK, DB_OWNED_RESOURCES_FOREACH, db_resource_required_p, DB_RESOURCES_FOREACH, db_symbol_name, dbll_unlink_resource_file(), debug_off, debug_on, ENDP, gen_free_list(), NIL, pips_debug, POP, and STRING.

Referenced by delete_obsolete_resources().

Here is the call graph for this function:

Here is the caller graph for this function:

db_delete_resource()

void db_delete_resource	(	const char *	rname,
		const char *	oname
	)

Delete a resource.

let us do it!

??? I should unlink the file

Parameters

rname	name
oname	name

Definition at line 353 of file database.c.

{
    db_resource r;
    db_owned_resources or;
    DB_OK;
 
    or = get_db_owned_resources(oname);
    pips_assert("valid owned resources", !db_owned_resources_undefined_p(or));
    r = get_resource(rname, or);
    if (!db_resource_undefined_p(r))
    {
      /* let us do it! */
      db_symbol rs = find_or_create_db_symbol(rname);
      if ((db_resource_loaded_p(r) || db_resource_loaded_and_stored_p(r)) &&
          db_resource_pointer(r))
      {
        dbll_free_resource(rname, oname, db_resource_pointer(r));
        /* ??? I should unlink the file */
      }
      db_resource_pointer(r) = NULL;
      free_db_resource(r);
      delete_db_owned_resources(or, rs);
    }
}

References DB_OK, db_owned_resources_undefined_p, db_resource_loaded_and_stored_p, db_resource_loaded_p, db_resource_pointer, db_resource_undefined_p, dbll_free_resource(), delete_db_owned_resources(), find_or_create_db_symbol(), free_db_resource(), get_db_owned_resources(), get_resource(), and pips_assert.

Referenced by db_clean_all_required_resources(), db_clean_db_resources(), db_delete_obsolete_resources(), db_get_memory_resource(), db_save_and_free_resource(), db_unput_resources(), outliner_independent(), and remove_a_resource().

Here is the call graph for this function:

Here is the caller graph for this function:

db_get_current_module_name()

string db_get_current_module_name

(

void

)

Also used to check whether set...

so no asserts, even DB_OK.

Definition at line 1059 of file database.c.

{
    return current_module_name;
}

References current_module_name.

Referenced by create_new_entity(), display(), edit_notify(), get_time_ent(), get_view_file(), gpips_display_plain_file(), gpips_execute_and_display_something(), gpips_execute_and_display_something_from_alias(), hpfc_notify(), info(), lazy_open_module(), make_close_workspace(), open_module(), pa_feasibility_ofl_ctrl(), perform(), select_a_module_by_default(), select_module_from_menubar_callback(), select_module_notify(), show_module(), tp_some_info(), transform_notify(), wpips_display_plain_file(), wpips_display_WP65_file(), wpips_execute_and_display_something(), wpips_execute_and_display_something_from_alias(), and wpips_file_view().

Here is the caller graph for this function:

db_get_module_list_initial_order()

gen_array_t db_get_module_list_initial_order

(

void

)

of db_symbol

Definition at line 1151 of file database.c.

{
  list /* of db_symbol */ ls;
  db_resources dbr;
  gen_array_t a;
  // should this filtering out performed here? needed for UNSPLIT
  string ignore_rx = getenv(IGNORE_RX);
  regex_t ignore;
 
  DB_OK;
 
  if (ignore_rx && regcomp(&ignore, ignore_rx, 0))
    pips_user_error("recomp failed for \"%s\"", ignore_rx);
 
  // the list returned is reversed...
  ls = gen_filter_tabulated(gen_true, db_symbol_domain);
  a = gen_array_make(0);
  dbr = get_pips_database();
 
  // first extract compilation units
  FOREACH(DB_SYMBOL, symbol, ls)
  {
    string name = db_symbol_name(symbol);
    // if it is a module, append...
    if (!string_undefined_p(name) &&
        !same_string_p(name, "") &&
        // I should check that some actual resources is stored?
        bound_db_resources_p(dbr, symbol) &&
        compilation_unit_p(name))
      gen_array_dupappend(a, name);
  }
 
  // then extract functions
  FOREACH(DB_SYMBOL, symbol, ls)
  {
    string name = db_symbol_name(symbol);
    // if it is a module, append...
    if (!string_undefined_p(name) &&
        !same_string_p(name, "") &&
        // I should check that some actual resources is stored?
        bound_db_resources_p(dbr, symbol) &&
        !compilation_unit_p(name) &&
        (!ignore_rx || regexec(&ignore, name, 0, NULL, 0)))
      gen_array_dupappend(a, name);
  }
 
  gen_free_list(ls);
  return a;
}

References bound_db_resources_p(), compilation_unit_p(), DB_OK, DB_SYMBOL, db_symbol_domain, db_symbol_name, FOREACH, gen_array_dupappend(), gen_array_make(), gen_filter_tabulated(), gen_free_list(), gen_true(), IGNORE_RX, pips_user_error, same_string_p, string_undefined_p, and symbol().

Referenced by step_compile_generated_module(), step_install(), and unsplit_internal().

Here is the call graph for this function:

Here is the caller graph for this function:

db_get_resource_id()

string db_get_resource_id	(	const char *	rname,
		const char *	oname
	)

some way to identify a resource...

could be an id...

Parameters

rname	name
oname	name

Definition at line 704 of file database.c.

{
    return (char*) get_real_db_resource(rname, oname);
}

References get_real_db_resource().

Referenced by check_physical_resource_up_to_date(), make_required(), rmake(), and update_preserved_resources().

Here is the call graph for this function:

Here is the caller graph for this function:

db_invalidate_memory_resource()

void db_invalidate_memory_resource	(	const char *	rname,
		const char *	oname
	)

Check the database coherency:

Get the database resource associated to the given resource:

Parameters

rname	name
oname	name

Definition at line 897 of file database.c.

{
    db_resource r;
    /* Check the database coherency: */
    DB_OK;
 
    /* Get the database resource associated to the given resource: */
    r = find_or_create_db_resource(rname, oname);
    if (!db_status_undefined_p(db_resource_db_status(r)))
        db_resource_file_time(r)=0;
}

References DB_OK, db_resource_db_status, db_resource_file_time, db_status_undefined_p, and find_or_create_db_resource().

Here is the call graph for this function:

db_load_resource()

static void db_load_resource ( const char *  rname, const char *  oname, db_resource  r  )

static

should it be checked elsewhere?

Definition at line 587 of file database.c.

{
  pips_debug(7, "loading %s[%s]\n", rname, oname);
  pips_assert("resource is stored", db_resource_stored_p(r));
 
  db_resource_pointer(r) = dbll_load_resource(rname, oname);
 
  if (dbll_very_special_resource_p(rname, oname))
    db_status_tag(db_resource_db_status(r)) = is_db_status_loaded;
  else
    db_status_tag(db_resource_db_status(r)) = is_db_status_loaded_and_stored;
 
  /* should it be checked elsewhere? */
  db_check_time(rname, oname, r);
}

References db_check_time(), db_resource_db_status, db_resource_pointer, db_resource_stored_p, db_status_tag, dbll_load_resource(), dbll_very_special_resource_p(), is_db_status_loaded, is_db_status_loaded_and_stored, pips_assert, and pips_debug.

Referenced by db_get_memory_resource(), and db_time_of_resource().

Here is the call graph for this function:

Here is the caller graph for this function:

db_open_pips_database()

bool db_open_pips_database

(

FILE *

fd

)

Returns

whether okay.

Parameters

fd

d

Definition at line 119 of file database.c.

{
  db_resources rs;
  DB_UNDEF;
  rs = read_db_resources(fd);
  if (db_resources_undefined_p(rs)) return false;
  set_pips_database(rs);
 
  // coredump in copy if done on save in next function ???.
  db_clean_db_resources();
 
  ifdebug(1)
    dump_all_db_resource_status(stderr, "db_open_pips_database");
 
  DB_OK;
  return true;
}

References db_clean_db_resources(), DB_OK, db_resources_undefined_p, DB_UNDEF, dump_all_db_resource_status(), ifdebug, and read_db_resources().

Referenced by load_meta_data().

Here is the call graph for this function:

Here is the caller graph for this function:

db_print_all_required_resources()

void db_print_all_required_resources

(

FILE *

file

)

first collect result

then sort, dump and free

Parameters

file

ile

Definition at line 421 of file database.c.

{
  list lres = NIL;
 
  /* first collect result */
  DB_RESOURCES_MAP(os, or,
  {
    DB_OWNED_RESOURCES_MAP(rs, r,
    {
      string rn = db_symbol_name(rs);
      string on = db_symbol_name(os);
      pips_debug(8, "resource %s[%s] is %s\n",
                 rn, on, db_status_string(db_resource_db_status(r)));
 
      if (db_resource_required_p(r)) {
        lres = CONS(DB_VOID,
                    make_tmp_result(db_resource_time(r), on, rn),
                    lres);
      }
    },
      or);
  },
                   get_pips_database());
 
  /* then sort, dump and free */
  gen_sort_list(lres, (gen_cmp_func_t) tmp_result_cmp);
 
  MAPL(l,
  {
    p_tmp_result p = (p_tmp_result) CAR(l).e;
    fprintf(file,
            "resource %s[%s] is in 'required' status since %d\n",
            p->res_name, p->owner_name, p->time);
    free(p);
  },
       lres);
  gen_free_list(lres);
}

References CAR, CONS, DB_OWNED_RESOURCES_MAP, db_resource_db_status, db_resource_required_p, db_resource_time, DB_RESOURCES_MAP, db_status_string(), db_symbol_name, fprintf(), free(), gen_free_list(), gen_sort_list(), make_tmp_result(), MAPL, NIL, t_tmp_result::owner_name, pips_debug, t_tmp_result::res_name, t_tmp_result::time, and tmp_result_cmp().

Referenced by make(), and rmake().

Here is the call graph for this function:

Here is the caller graph for this function:

db_reset_current_module_name()

void db_reset_current_module_name

(

void

)

Definition at line 1064 of file database.c.

{
    DB_OK; pips_assert("some current module name", current_module_name);
    free(current_module_name), current_module_name = NULL;
}

References current_module_name, DB_OK, free(), and pips_assert.

Referenced by display(), make_close_workspace(), open_module(), and perform().

Here is the call graph for this function:

Here is the caller graph for this function:

db_reset_pips_database_if_necessary()

void db_reset_pips_database_if_necessary

(

void

)

Definition at line 155 of file database.c.

{
  // rough! memory leak...
  if (!pips_database_undefined_p()) reset_pips_database();
}

Referenced by reset_meta_data().

Here is the caller graph for this function:

db_resource_is_required_p()

bool db_resource_is_required_p	(	const char *	rname,
		const char *	oname
	)

true if exists and in required state.

Parameters

rname	name
oname	name

Definition at line 512 of file database.c.

{
  db_resource r;
  DB_OK;
  r = get_db_resource(rname, oname);
  if (db_resource_undefined_p(r))
    return false;
  else
    return db_resource_required_p(r);
}

References DB_OK, db_resource_required_p, db_resource_undefined_p, and get_db_resource().

Referenced by rmake().

Here is the call graph for this function:

Here is the caller graph for this function:

db_resource_name()

string db_resource_name

(

void *

dbr

)

To be used for debugging.

Parameters

dbr

br

Definition at line 1000 of file database.c.

{
  return db_resource_name_or_owner_name((db_resource) dbr, false);
}

References db_resource_name_or_owner_name().

Referenced by make_cache_consistent_p(), print_make_cache(), and remove_resource_from_make_cache().

Here is the call graph for this function:

Here is the caller graph for this function:

db_resource_name_or_owner_name()

static string db_resource_name_or_owner_name ( db_resource  dbr, bool  owner_p  )

static

Retrieve the resource name, a.k.a.

kind or nature, or the resource owner name of db_resource "dbr" according to "owner_p".

The two-level mapping must be inverted.

string_undefined is returned if "dbr" is not found in the current resource database.

This is used for interactive debugging and for debug messages.

Definition at line 975 of file database.c.

{
  string name = string_undefined;
    DB_OK;
    DB_RESOURCES_MAP(s1, or,
    {
      pips_debug(9, "Resources for module \"%s\":\n", db_symbol_name(s1));
      DB_OWNED_RESOURCES_MAP(s2, dbr21,
                             {
                               pips_debug(9, "\t\"%s\":\n", db_symbol_name(s2));
                               if(dbr==dbr21) {
                                 if(owner_p)
                                   name =  db_symbol_name(s1);
                                 else
                                   name =  db_symbol_name(s2);
                                 break;
                               }
                             },
                             or);
    },
                      get_pips_database());
     return name;
}

References DB_OK, DB_OWNED_RESOURCES_MAP, DB_RESOURCES_MAP, db_symbol_name, pips_debug, s1, and string_undefined.

Referenced by db_resource_name(), and db_resource_owner_name().

Here is the caller graph for this function:

db_resource_owner_name()

string db_resource_owner_name

(

void *

dbr

)

To be used for debugging.

Parameters

dbr

br

Definition at line 1006 of file database.c.

{
  return db_resource_name_or_owner_name((db_resource) dbr, true);
}

References db_resource_name_or_owner_name().

Referenced by make_cache_consistent_p(), print_make_cache(), and remove_resource_from_make_cache().

Here is the call graph for this function:

Here is the caller graph for this function:

db_resource_p()

bool db_resource_p	(	const char *	rname,
		const char *	oname
	)

true if exists and in loaded or stored state.

Parameters

rname	name
oname	name

Definition at line 524 of file database.c.

{
  db_resource r;
  DB_OK;
  r = get_db_resource(rname, oname);
  if (db_resource_undefined_p(r))
    return false;
  else
    return db_resource_loaded_p(r) || db_resource_stored_p(r) ||
      db_resource_loaded_and_stored_p(r);
}

References DB_OK, db_resource_loaded_and_stored_p, db_resource_loaded_p, db_resource_stored_p, db_resource_undefined_p, and get_db_resource().

Referenced by bootstrap(), bootstrap_kernels(), bootstrap_stubs(), check_physical_resource_up_to_date(), check_resource_up_to_date(), compilation_unit_of_module(), db_checkpoint_workspace(), db_open_workspace(), do_inlining(), flag_as_stub(), flag_kernel(), generic_initializer(), get_module_precondition(), get_stubs(), just_show(), language_module_p(), load_summary_transformer(), make_cache_consistent_p(), make_required(), module_entity_to_compilation_unit_entity(), module_in_user_file_p(), module_name_to_input_file_name(), node(), old_summary_precondition(), preserve_virtual_resource(), recursive_append(), remove_a_resource(), rmake(), show(), the_actual_parser(), and touch_a_resource().

Here is the call graph for this function:

Here is the caller graph for this function:

db_resource_required_or_available_p()

bool db_resource_required_or_available_p	(	const char *	rname,
		const char *	oname
	)

from now on we must not know about the database internals?

true if exists and in ANY state.

Parameters

rname	name
oname	name

Definition at line 505 of file database.c.

{
  DB_OK;
  return !db_resource_undefined_p(get_db_resource(rname, oname));
}

References DB_OK, db_resource_undefined_p, and get_db_resource().

Referenced by AddEntityToCompilationUnit(), outliner_independent(), RemoveEntityFromCompilationUnit(), and step_analysed_module_p().

Here is the call graph for this function:

Here is the caller graph for this function:

db_retrieve_resources()

list db_retrieve_resources

(

const char *

rname

)

Retrieve all the db resources of a given resource type, "rname".

Scan all module hash tables to find all resources of kind "rname", no matter what the owner is.

Used only to clean up the make cache in pipsmake.c.

Derived from db_unput_resources()

Scan all resource maps or of owners

See if it contains a resource of kind rname, normalized to r

Parameters

rname

name

Definition at line 943 of file database.c.

{
  list rl = NIL;
  db_symbol r;
  DB_OK;
  r = find_or_create_db_symbol(rname);
  /* Scan all resource maps or of owners */
  DB_RESOURCES_MAP(s, or,
                   {
                     pips_debug(9, "Resources for owner \"%s\"\n",  (string) s);
                     /* See if it contains a resource of kind rname,
                        normalized to r */
                     if (bound_db_owned_resources_p(or, r)) {
                       /* */
                       db_resource dbr = get_resource(rname, or);
                       rl = CONS(DB_RESOURCE, dbr, rl);
                     }
                   },
                   get_pips_database());
  return rl;
}

References bound_db_owned_resources_p(), CONS, DB_OK, DB_RESOURCE, DB_RESOURCES_MAP, find_or_create_db_symbol(), get_resource(), NIL, and pips_debug.

Referenced by delete_named_resources().

Here is the call graph for this function:

Here is the caller graph for this function:

db_save_and_free_memory_resource_if_any()

void db_save_and_free_memory_resource_if_any	(	const char *	rname,
		const char *	oname,
		bool	do_free
	)

Parameters

rname	name
oname	name
do_free	o_free

Definition at line 1012 of file database.c.

{
    db_resource r;
    DB_OK;
 
    pips_debug(8, "maybe saving%s... %s[%s]\n",
               do_free? " and freeing":"", rname, oname);
 
    r = get_db_resource(rname, oname);
    if (!db_resource_undefined_p(r) &&
        (db_resource_loaded_p(r) || db_resource_loaded_and_stored_p(r)))
        db_save_and_free_resource(rname, oname, r, do_free);
}

References DB_OK, db_resource_loaded_and_stored_p, db_resource_loaded_p, db_resource_undefined_p, db_save_and_free_resource(), get_db_resource(), and pips_debug.

Referenced by db_close_module().

Here is the call graph for this function:

Here is the caller graph for this function:

db_save_and_free_resource()

static void db_save_and_free_resource ( const char *  rname, const char *  oname, db_resource  r, bool  do_free  )

static

??? manual fix for entities... which are not well integrated.

is loaded

lost.. just delete the resource.

Definition at line 648 of file database.c.

{
    pips_debug(7, "saving%s... %s[%s]\n",
               do_free? " and freeing": "", rname, oname);
 
    pips_assert("resource is loaded",
                db_resource_loaded_p(r) || db_resource_loaded_and_stored_p(r));
 
    if (db_resource_loaded_and_stored_p(r))
    {
      if (do_free) {
        dbll_free_resource(rname, oname, db_resource_pointer(r));
        db_status_tag(db_resource_db_status(r)) = is_db_status_stored;
        db_resource_pointer(r) = NULL;
      }
      return;
    }
    else if (dbll_storable_p(rname))
    {
      dbll_save_and_free_resource(rname, oname,
                                  db_resource_pointer(r), do_free);
      if (do_free)
      {
        db_resource_pointer(r) = NULL;
        db_status_tag(db_resource_db_status(r)) = is_db_status_stored;
      }
      else
      {
        /* ??? manual fix for entities... which are not well integrated. */
        if (!dbll_very_special_resource_p(rname, oname))
        {
          db_status_tag(db_resource_db_status(r)) =
            is_db_status_loaded_and_stored;
        }
        else /* is loaded */
        {
          db_status_tag(db_resource_db_status(r)) = is_db_status_loaded;
        }
      }
 
      db_resource_file_time(r) = dbll_stat_resource_file(rname, oname, true);
    }
    else
    { /* lost.. just delete the resource. */
      if (do_free)
      {
        dbll_free_resource(rname, oname, db_resource_pointer(r));
        db_resource_pointer(r) = NULL;
        db_delete_resource(rname, oname);
      }
    }
}

References db_delete_resource(), db_resource_db_status, db_resource_file_time, db_resource_loaded_and_stored_p, db_resource_loaded_p, db_resource_pointer, db_status_tag, dbll_free_resource(), dbll_save_and_free_resource(), dbll_stat_resource_file(), dbll_storable_p(), dbll_very_special_resource_p(), is_db_status_loaded, is_db_status_loaded_and_stored, is_db_status_stored, pips_assert, and pips_debug.

Referenced by db_save_and_free_memory_resource_if_any().

Here is the call graph for this function:

Here is the caller graph for this function:

db_save_pips_database()

void db_save_pips_database

(

FILE *

fd

)

db_resources dbres;

??? check for required resources left over?

save a cleaned COPY with status artificially set as STORED...

dbres = copy_db_resources(get_pips_database()); db_clean_db_resources(dbres);

free_db_resources(dbres);

Parameters

fd

d

Definition at line 137 of file database.c.

{
  /* db_resources dbres; */
  DB_OK;
  /* ??? check for required resources left over? */
 
  /* save a cleaned COPY with status artificially set as STORED... */
  /* dbres = copy_db_resources(get_pips_database());
     db_clean_db_resources(dbres);*/
  write_db_resources(fd, get_pips_database());
  /* free_db_resources(dbres); */
}

References DB_OK, and write_db_resources().

Referenced by save_meta_data().

Here is the call graph for this function:

Here is the caller graph for this function:

db_save_resource()

static void db_save_resource ( const char *  rname, const char *  oname, db_resource  r  )

static

already saved

let us set the file time if appropriate...

Definition at line 627 of file database.c.

{
    pips_debug(7, "saving %s[%s]\n", rname, oname);
    pips_assert("resource loaded",
                db_resource_loaded_p(r) || db_resource_loaded_and_stored_p(r));
 
    if (!dbll_storable_p(rname))
      pips_internal_error("cannot store %s\n",rname);
 
    /* already saved */
    if (db_resource_loaded_and_stored_p(r))
      return;
 
    dbll_save_resource(rname, oname, db_resource_pointer(r));
    db_status_tag(db_resource_db_status(r)) = is_db_status_stored;
 
    /* let us set the file time if appropriate... */
    if (!displayable_file_p(rname))
      db_resource_file_time(r) = dbll_stat_resource_file(rname, oname, true);
}

References db_resource_db_status, db_resource_file_time, db_resource_loaded_and_stored_p, db_resource_loaded_p, db_resource_pointer, db_status_tag, dbll_save_resource(), dbll_stat_resource_file(), dbll_storable_p(), displayable_file_p(), is_db_status_stored, pips_assert, pips_debug, and pips_internal_error.

Referenced by db_get_memory_resource().

Here is the call graph for this function:

Here is the caller graph for this function:

db_set_current_module_name()

bool db_set_current_module_name

(

const char *

name

)

can be rejected softly

Parameters

name

ame

Definition at line 1045 of file database.c.

{
    bool ok = false;
    DB_OK; pips_assert("no current module", !current_module_name);
    if (simple_name_p(name)) {
        current_module_name = strdup(name);
        init_owned_resources_if_necessary(name);
        ok = true;
    } else /* can be rejected softly */
        pips_user_warning("invalid module name \"%s\"\n", name);
    return ok;
}

References current_module_name, DB_OK, init_owned_resources_if_necessary(), ok, pips_assert, pips_user_warning, simple_name_p(), and strdup().

Referenced by display(), open_module(), and perform().

Here is the call graph for this function:

Here is the caller graph for this function:

db_set_resource_as_required()

void db_set_resource_as_required	(	const char *	rname,
		const char *	oname
	)

newly created db_resource...

Parameters

rname	name
oname	name

Definition at line 797 of file database.c.

{
  db_resource r;
  db_status s;
  DB_OK;
 
  pips_debug(5, "set %s[%s] as required at %d\n", rname, oname,
             db_get_logical_time());
 
  r = find_or_create_db_resource(rname, oname);
  s = db_resource_db_status(r);
  if (db_status_undefined_p(s)) {
    /* newly created db_resource... */
    db_resource_db_status(r) = make_db_status(is_db_status_required, UU);
  }
  else
  {
    pips_debug(1, "set %s[%s] as 'required' from '%s' at %d\n",
               rname, oname,
               db_status_string(db_resource_db_status(r)),
               db_get_logical_time());
 
    if ((db_status_loaded_p(s) || db_status_loaded_and_stored_p(s)) &&
        db_resource_pointer(r))
    {
      dbll_free_resource(rname, oname, db_resource_pointer(r));
      db_resource_pointer(r) = NULL;
    }
  }
 
  db_status_tag(db_resource_db_status(r)) = is_db_status_required;
  db_resource_time(r) = db_get_logical_time();
}

References db_get_logical_time(), DB_OK, db_resource_db_status, db_resource_pointer, db_resource_time, db_status_loaded_and_stored_p, db_status_loaded_p, db_status_string(), db_status_tag, db_status_undefined_p, dbll_free_resource(), find_or_create_db_resource(), is_db_status_required, make_db_status(), pips_debug, and UU.

Referenced by rmake().

Here is the call graph for this function:

Here is the caller graph for this function:

db_status_string()

static string db_status_string ( db_status  s )

static

Definition at line 163 of file database.c.

{
  if (db_status_undefined_p(s))
    return "undefined";
  switch (db_status_tag(s))
  {
  case is_db_status_stored:
    return "stored";
  case is_db_status_loaded:
    return "loaded";
  case is_db_status_required:
    return "required";
  case is_db_status_loaded_and_stored:
    return "loaded&stored";
  default:
    pips_internal_error("unexpected db_status tag %d\n", db_status_tag(s));
    return NULL;
  }
}

References db_status_tag, db_status_undefined_p, is_db_status_loaded, is_db_status_loaded_and_stored, is_db_status_required, is_db_status_stored, and pips_internal_error.

Referenced by db_print_all_required_resources(), db_set_resource_as_required(), dump_all_db_resource_status(), and dump_db_resource().

Here is the caller graph for this function:

db_time_of_resource()

int db_time_of_resource	(	const char *	rname,
		const char *	oname
	)

we load the resource if it is a simple file name... the file time stamps are checked here anyway.

will update time if needed.

may update time...

Parameters

rname	name
oname	name

Definition at line 603 of file database.c.

{
  db_resource r;
  DB_OK;
 
  r = get_db_resource(rname, oname);
 
  if (db_resource_undefined_p(r) || db_resource_required_p(r))
    return -1;
 
  /* we load the resource if it is a simple file name...
   * the file time stamps are checked here anyway.
   */
  if (displayable_file_p(rname))
  {
    if (db_resource_stored_p(r))
      db_load_resource(rname, oname, r); /* will update time if needed. */
    else
      db_check_time(rname, oname, r); /* may update time... */
  }
 
  return db_resource_time(r);
}

References db_check_time(), db_load_resource(), DB_OK, db_resource_required_p, db_resource_stored_p, db_resource_time, db_resource_undefined_p, displayable_file_p(), and get_db_resource().

Referenced by check_physical_resource_up_to_date(), and rmake().

Here is the call graph for this function:

Here is the caller graph for this function:

db_touch_resource()

bool db_touch_resource	(	const char *	rname,
		const char *	oname
	)

touch logical time for resource[owner], possibly behind the back of pipsdbm.

Parameters

rname	name
oname	name

Definition at line 538 of file database.c.

{
  db_resource r;
  DB_OK;
  r = get_real_db_resource(rname, oname);
  db_resource_time(r) = db_get_logical_time();
  return true;
}

References db_get_logical_time(), DB_OK, db_resource_time, and get_real_db_resource().

Referenced by AddEntityToCompilationUnit(), linearize_array_generic(), normalize_microcode(), outliner_independent(), preserve_virtual_resource(), RemoveEntityFromCompilationUnit(), sort_parameters(), and touch_a_resource().

Here is the call graph for this function:

Here is the caller graph for this function:

db_unput_resources()

int db_unput_resources

(

const char *

rname

)

Delete all the resources of a given type "rname".

Return the number of deleted resources

Each owner map has to be checked because of two-level mapping used.

Parameters

rname

name

Definition at line 915 of file database.c.

{
    db_symbol r;
    int count = 0;
    DB_OK;
    r = find_or_create_db_symbol(rname);
    DB_RESOURCES_MAP(s, or,
    {
        pips_debug(7, "deleting %s[%s] if any\n", rname, db_symbol_name(s));
        if (bound_db_owned_resources_p(or, r)) {
            db_delete_resource(rname, db_symbol_name(s));
            dbll_unlink_resource_file(rname, db_symbol_name(s), false);
            count ++;
        }
    },
                     get_pips_database());
    return count;
}

References bound_db_owned_resources_p(), count, db_delete_resource(), DB_OK, DB_RESOURCES_MAP, db_symbol_name, dbll_unlink_resource_file(), find_or_create_db_symbol(), and pips_debug.

Referenced by activate_phase(), db_delete_all_resources(), and delete_named_resources().

Here is the call graph for this function:

Here is the caller graph for this function:

db_update_time()

bool db_update_time	(	const char *	rname,
		const char *	oname
	)

this should really be a put.

Just there for upward compatibility.

bll_stat_resource_file(rname, oname, true);

Parameters

rname	name
oname	name

Definition at line 380 of file database.c.

{
  db_resource r;
  DB_OK;
  pips_assert("displayable resource", displayable_file_p(rname));
  r = get_real_db_resource(rname, oname);
  db_resource_time(r) = db_get_logical_time();
  db_resource_file_time(r) =
    dbll_stat_local_file((char*) db_resource_pointer(r), false);
  /*dbll_stat_resource_file(rname, oname, true); */
  return true;
}

References db_get_logical_time(), DB_OK, db_resource_file_time, db_resource_pointer, db_resource_time, dbll_stat_local_file(), displayable_file_p(), get_real_db_resource(), and pips_assert.

Here is the call graph for this function:

dump_all_db_resource_status()

void dump_all_db_resource_status	(	FILE *	file,
		string	where
	)

Parameters

file	ile
where	here

Definition at line 198 of file database.c.

{
  pips_debug(1, "doing at '%s'\n", where);
 
  DB_RESOURCES_MAP(os, or,
  {
    DB_OWNED_RESOURCES_MAP(rs, r,
    {
      string rn = db_symbol_name(rs);
      string on = db_symbol_name(os);
      fprintf(file, "resource %s[%s] status '%s' since %td (%td) 0x%p\n",
              rn, on,
              db_status_string(db_resource_db_status(r)),
              db_resource_time(r),
              db_resource_file_time(r),
              db_resource_pointer(r));
    },
                           or);
  },
                   get_pips_database());
 
}

References DB_OWNED_RESOURCES_MAP, db_resource_db_status, db_resource_file_time, db_resource_pointer, db_resource_time, DB_RESOURCES_MAP, db_status_string(), db_symbol_name, fprintf(), and pips_debug.

Referenced by db_checkpoint_workspace(), db_clean_db_resources(), and db_open_pips_database().

Here is the call graph for this function:

Here is the caller graph for this function:

dump_db_resource()

static void dump_db_resource ( const char *  rname, const char *  oname, db_resource  r  )

static

Definition at line 183 of file database.c.

{
  ifdebug(1)
  {
    pips_debug(1, "rname=%s, oname=%s, r=%p\n", rname, oname, r);
    if (!db_resource_undefined_p(r)) {
      db_status s = db_resource_db_status(r);
      pips_debug(1, "pointer=%p, status=%s, time=%td, file_time=%td\n",
                 db_resource_pointer(r), db_status_string(s),
                 db_resource_time(r), db_resource_file_time(r));
    }
  }
}

References db_resource_db_status, db_resource_file_time, db_resource_pointer, db_resource_time, db_resource_undefined_p, db_status_string(), ifdebug, and pips_debug.

Referenced by db_clean_all_required_resources(), and db_clean_db_resources().

Here is the call graph for this function:

Here is the caller graph for this function:

find_or_create_db_resource()

static db_resource find_or_create_db_resource ( const char *  rname, const char *  oname  )

static

still lazy...

create it

Definition at line 267 of file database.c.

{
    db_resource r;
    db_owned_resources or;
    or = get_db_owned_resources(oname);
    if (db_owned_resources_undefined_p(or))
    { /* still lazy... */
        pips_debug(1, "module %s should have been registered\n", oname);
        init_owned_resources_if_necessary(oname);
        or = get_db_owned_resources(oname);
    }
    r = get_resource(rname, or);
    if (db_resource_undefined_p(r))
    { /* create it */
        db_symbol rs = find_or_create_db_symbol(rname);
        r = make_db_resource(NULL, db_status_undefined, 0, 0);
        extend_db_owned_resources(or, rs, r);
    }
    return r;
}

References db_owned_resources_undefined_p, db_resource_undefined_p, db_status_undefined, extend_db_owned_resources(), find_or_create_db_symbol(), get_db_owned_resources(), get_resource(), init_owned_resources_if_necessary(), make_db_resource(), and pips_debug.

Referenced by db_invalidate_memory_resource(), db_put_or_update_memory_resource(), and db_set_resource_as_required().

Here is the call graph for this function:

Here is the caller graph for this function:

find_or_create_db_symbol()

static db_symbol find_or_create_db_symbol ( const char *  name )

static

Definition at line 85 of file database.c.

{
    db_symbol s = gen_find_tabulated(name, db_symbol_domain);
    if (!simple_name_p(name))
      pips_user_warning("strange name \"%s\"\n", name);
    return db_symbol_undefined_p(s)? make_db_symbol(strdup(name)): s;
}

References db_symbol_domain, db_symbol_undefined_p, gen_find_tabulated(), make_db_symbol(), pips_user_warning, simple_name_p(), and strdup().

Referenced by db_delete_resource(), db_retrieve_resources(), db_unput_resources(), find_or_create_db_resource(), get_db_owned_resources(), get_resource(), and init_owned_resources_if_necessary().

Here is the call graph for this function:

Here is the caller graph for this function:

get_db_owned_resources()

static db_owned_resources get_db_owned_resources ( const char *  oname )

static

Definition at line 231 of file database.c.

{
    db_symbol o = find_or_create_db_symbol(oname);
    return bound_pips_database_p(o)?
        load_pips_database(o): db_owned_resources_undefined;
}

References db_owned_resources_undefined, and find_or_create_db_symbol().

Referenced by db_delete_resource(), find_or_create_db_resource(), and get_db_resource().

Here is the call graph for this function:

Here is the caller graph for this function:

get_db_resource()

static db_resource get_db_resource ( const char *  rname, const char *  oname  )

static

lazy...

pips_internal_error("no owned resources for %s", oname, rname);

Definition at line 247 of file database.c.

{
  db_owned_resources or;
  or = get_db_owned_resources(oname);
  if (db_owned_resources_undefined_p(or)) { /* lazy... */
    pips_debug(1, "creating or for %s...\n", oname);
    init_owned_resources_if_necessary(oname);
    or = get_db_owned_resources(oname);
  } /* pips_internal_error("no owned resources for %s", oname, rname);*/
  return get_resource(rname, or);
}

References db_owned_resources_undefined_p, get_db_owned_resources(), get_resource(), init_owned_resources_if_necessary(), and pips_debug.

Referenced by db_clean_db_resources(), db_get_memory_resource(), db_resource_is_required_p(), db_resource_p(), db_resource_required_or_available_p(), db_save_and_free_memory_resource_if_any(), db_time_of_resource(), and get_real_db_resource().

Here is the call graph for this function:

Here is the caller graph for this function:

get_real_db_resource()

static db_resource get_real_db_resource ( const char *  rname, const char *  oname  )

static

Definition at line 259 of file database.c.

{
  db_resource r = get_db_resource(rname, oname);
  if (db_resource_undefined_p(r) || db_resource_required_p(r))
    pips_internal_error("no resource %s of %s\n", rname, oname);
  return r;
}

References db_resource_required_p, db_resource_undefined_p, get_db_resource(), and pips_internal_error.

Referenced by db_get_resource_id(), db_touch_resource(), and db_update_time().

Here is the call graph for this function:

Here is the caller graph for this function:

get_resource()

static db_resource get_resource ( const char *  rname, db_owned_resources  or  )

static

Definition at line 238 of file database.c.

{
    db_symbol rs = find_or_create_db_symbol(rname);
    db_resource r = bound_db_owned_resources_p(or, rs)?
        apply_db_owned_resources(or, rs): db_resource_undefined;
    debug_db_resource(9, rname, "?", r);
    return r;
}

References apply_db_owned_resources(), bound_db_owned_resources_p(), db_resource_undefined, debug_db_resource, and find_or_create_db_symbol().

Referenced by db_delete_resource(), db_retrieve_resources(), find_or_create_db_resource(), and get_db_resource().

Here is the call graph for this function:

Here is the caller graph for this function:

init_owned_resources_if_necessary()

static void init_owned_resources_if_necessary ( const char *  name )

static

set the owner_resources in the pips_database.

Definition at line 223 of file database.c.

{
    db_symbol s = find_or_create_db_symbol(name);
    /* set the owner_resources in the pips_database. */
    if (!bound_pips_database_p(s))
        store_pips_database(s, make_db_owned_resources());;
}

References find_or_create_db_symbol(), and make_db_owned_resources().

Referenced by db_set_current_module_name(), find_or_create_db_resource(), and get_db_resource().

Here is the call graph for this function:

Here is the caller graph for this function:

make_tmp_result()

static p_tmp_result make_tmp_result ( int  t, const char *  on, const char *  rn  )

static

Definition at line 403 of file database.c.

{
  p_tmp_result res = (p_tmp_result) malloc(sizeof(t_tmp_result));
  res->time = t;
  res->owner_name = on;
  res->res_name = rn;
  return res;
}

References malloc(), t_tmp_result::owner_name, t_tmp_result::res_name, and t_tmp_result::time.

Referenced by db_print_all_required_resources().

Here is the call graph for this function:

Here is the caller graph for this function:

simple_name_p()

static bool simple_name_p ( const char *  name )

static

Module names must use some characters.

Upper case letters and underscore for Fortran, but also lower case letters and the FILE_SEP_STRING "#" added for C compilation unit FC 12/08/2003

FILE_SEP_STRING added for compilation units (FI) MODULE_SEP_STRING added for static C functions (FI) #ifndef FILE_SEP_STRING /* in ri-util *\/ #define FILE_SEP_STRING "!" #endif /* FILE_SEP_STRING *\/ #ifndef MODULE_SEP_STRING /* in ri-util *\/ #define MODULE_SEP_STRING ":" #endif /* MODULE_SEP_STRING *\/ #define MODULE_NAME_CHARS \ ( "ABCDEFGHIJKLMNOPQRSTUVWXYZ" \ "0123456789" \ "abcdefghijklmnopqrstuvwxyz" \ FILE_SEP_STRING MODULE_SEP_STRING "|_#-." )

Definition at line 80 of file database.c.

{
  return strlen(name)==strspn(name, MODULE_NAME_CHARS);
}

References MODULE_NAME_CHARS.

Referenced by db_set_current_module_name(), and find_or_create_db_symbol().

Here is the caller graph for this function:

tmp_result_cmp()

static int tmp_result_cmp ( const p_tmp_result *  p1, const p_tmp_result *  p2  )

static

Definition at line 412 of file database.c.

{
  if ((*p1)->time != (*p2)->time)
    return (*p1)->time - (*p2)->time;
  if ((*p1)->owner_name != (*p2)->owner_name)
    return strcmp((*p1)->owner_name, (*p2)->owner_name);
  return strcmp((*p1)->res_name, (*p2)->res_name);
}

References if().

Referenced by db_print_all_required_resources().

Here is the call graph for this function:

Here is the caller graph for this function:

Variable Documentation

current_module_name

char* current_module_name = NULL

static

when telling the database about a module name, the module is registered as a db_symbol, and it is added to the database.

Definition at line 1043 of file database.c.

Referenced by db_get_current_module_name(), db_reset_current_module_name(), and db_set_current_module_name().