216 lines
		
	
	
		
			4.5 KiB
		
	
	
	
		
			C
		
	
	
		
			Executable File
		
	
	
	
	
			
		
		
	
	
			216 lines
		
	
	
		
			4.5 KiB
		
	
	
	
		
			C
		
	
	
		
			Executable File
		
	
	
	
	
/*************************************************************************
 | 
						|
*									 *
 | 
						|
*	 YAP Prolog 							 *
 | 
						|
*									 *
 | 
						|
*	Yap Prolog was developed at NCCUP - Universidade do Porto	 *
 | 
						|
*									 *
 | 
						|
* Copyright L.Damas, V.S.Costa and Universidade do Porto 1985-1997	 *
 | 
						|
*									 *
 | 
						|
**************************************************************************
 | 
						|
*									 *
 | 
						|
* File:		load_dl.c						 *
 | 
						|
* comments:	dl based dynamic loaderr of external routines		 *
 | 
						|
*               tested on i486-linuxelf					 *
 | 
						|
*************************************************************************/
 | 
						|
 | 
						|
#include "Yap.h"
 | 
						|
#include "Yatom.h"
 | 
						|
#include "YapHeap.h"
 | 
						|
#include "yapio.h"
 | 
						|
#include "Foreign.h"
 | 
						|
 | 
						|
#if LOAD_DL
 | 
						|
 | 
						|
#include <dlfcn.h>
 | 
						|
#include <string.h>
 | 
						|
#include <stdio.h>
 | 
						|
 | 
						|
/*
 | 
						|
 *   YAP_FindExecutable(argv[0]) should be called on yap initialization to
 | 
						|
 *   locate the executable of Yap
 | 
						|
*/
 | 
						|
void
 | 
						|
Yap_FindExecutable(char *name)
 | 
						|
{
 | 
						|
}
 | 
						|
 | 
						|
void *
 | 
						|
Yap_LoadForeignFile(char *file, int flags)
 | 
						|
{
 | 
						|
  int dlflag;
 | 
						|
  void *out;
 | 
						|
 | 
						|
  if (flags &  EAGER_LOADING)
 | 
						|
    dlflag = RTLD_NOW;
 | 
						|
  else
 | 
						|
    dlflag = RTLD_LAZY;
 | 
						|
  if (flags &  GLOBAL_LOADING)
 | 
						|
    dlflag |= RTLD_GLOBAL;
 | 
						|
#ifndef __CYGWIN__
 | 
						|
  else 
 | 
						|
    dlflag |= RTLD_LOCAL;
 | 
						|
#endif
 | 
						|
  
 | 
						|
  out = (void *)dlopen(file,dlflag);
 | 
						|
  if (!out) {
 | 
						|
    CACHE_REGS
 | 
						|
    Yap_Error(SYSTEM_ERROR, ARG1, "dlopen error %s\n", dlerror());
 | 
						|
  }
 | 
						|
  return out;
 | 
						|
}
 | 
						|
 | 
						|
int
 | 
						|
Yap_CallForeignFile(void *handle, char *f)
 | 
						|
{
 | 
						|
  YapInitProc proc = (YapInitProc) dlsym(handle, f);
 | 
						|
  if (!proc) {
 | 
						|
    /* Yap_Error(SYSTEM_ERROR, ARG1, "dlsym error %s\n", dlerror());*/
 | 
						|
    return FALSE;
 | 
						|
  }
 | 
						|
  (*proc) ();
 | 
						|
  return TRUE;
 | 
						|
}
 | 
						|
 | 
						|
int
 | 
						|
Yap_CloseForeignFile(void *handle)
 | 
						|
{
 | 
						|
  if ( dlclose(handle) < 0) {
 | 
						|
    CACHE_REGS
 | 
						|
    Yap_Error(SYSTEM_ERROR, ARG1, "dlclose error %s\n", dlerror());
 | 
						|
    return -1;
 | 
						|
  }
 | 
						|
  return 0;
 | 
						|
}
 | 
						|
 | 
						|
 | 
						|
/*
 | 
						|
 * LoadForeign(ofiles,libs,proc_name,init_proc) dynamically loads foreign
 | 
						|
 * code files and libraries and locates an initialization routine
 | 
						|
*/
 | 
						|
static Int
 | 
						|
LoadForeign(StringList ofiles, StringList libs,
 | 
						|
	       char *proc_name,	YapInitProc *init_proc)
 | 
						|
{
 | 
						|
  CACHE_REGS
 | 
						|
 | 
						|
  while (libs) {
 | 
						|
    if (!Yap_TrueFileName(AtomName(libs->name), Yap_FileNameBuf, TRUE)) {
 | 
						|
      /* use LD_LIBRARY_PATH */
 | 
						|
      strncpy(Yap_FileNameBuf, AtomName(libs->name), YAP_FILENAME_MAX);
 | 
						|
    }
 | 
						|
 | 
						|
#ifdef __osf__
 | 
						|
    if((libs->handle=dlopen(Yap_FileNameBuf,RTLD_LAZY)) == NULL)
 | 
						|
#else
 | 
						|
    if((libs->handle=dlopen(Yap_FileNameBuf,RTLD_LAZY|RTLD_GLOBAL)) == NULL)
 | 
						|
#endif
 | 
						|
    {
 | 
						|
      strcpy(Yap_ErrorSay,dlerror());
 | 
						|
      return LOAD_FAILLED;
 | 
						|
    }
 | 
						|
    libs = libs->next;
 | 
						|
  }
 | 
						|
 | 
						|
  while (ofiles) {
 | 
						|
    void *handle;
 | 
						|
 | 
						|
  /* load libraries first so that their symbols are available to
 | 
						|
     other routines */
 | 
						|
 | 
						|
    /* dlopen wants to follow the LD_CONFIG_PATH */
 | 
						|
    if (!Yap_TrueFileName(AtomName(ofiles->name), Yap_FileNameBuf, TRUE)) {
 | 
						|
      strcpy(Yap_ErrorSay, "%% Trying to open unexisting file in LoadForeign");
 | 
						|
      return LOAD_FAILLED;
 | 
						|
    }
 | 
						|
#ifdef __osf__
 | 
						|
    if((handle=dlopen(Yap_FileNameBuf,RTLD_LAZY)) == 0)
 | 
						|
#else
 | 
						|
    if((handle=dlopen(Yap_FileNameBuf,RTLD_LAZY|RTLD_GLOBAL)) == 0)
 | 
						|
#endif
 | 
						|
    {
 | 
						|
      fprintf(stderr,"dlopen of %s failed with error %s\n", Yap_FileNameBuf, dlerror());
 | 
						|
/*      strcpy(Yap_ErrorSay,dlerror());*/
 | 
						|
      return LOAD_FAILLED;
 | 
						|
    }
 | 
						|
 | 
						|
    ofiles->handle = handle;
 | 
						|
 | 
						|
    if (proc_name && !*init_proc)
 | 
						|
      *init_proc = (YapInitProc) dlsym(handle,proc_name);
 | 
						|
 | 
						|
    ofiles = ofiles->next;
 | 
						|
  }
 | 
						|
 | 
						|
  if(! *init_proc) {
 | 
						|
    strcpy(Yap_ErrorSay,"Could not locate initialization routine");
 | 
						|
    return LOAD_FAILLED;
 | 
						|
  }
 | 
						|
 | 
						|
  return LOAD_SUCCEEDED;
 | 
						|
}
 | 
						|
 | 
						|
Int
 | 
						|
Yap_LoadForeign(StringList ofiles, StringList libs,
 | 
						|
	       char *proc_name,	YapInitProc *init_proc)
 | 
						|
{
 | 
						|
  return LoadForeign(ofiles, libs, proc_name, init_proc);
 | 
						|
}
 | 
						|
 | 
						|
void 
 | 
						|
Yap_ShutdownLoadForeign(void)
 | 
						|
{
 | 
						|
  ForeignObj *f_code;
 | 
						|
 | 
						|
  f_code = ForeignCodeLoaded;
 | 
						|
  while (f_code != NULL) {
 | 
						|
    StringList objs, libs;
 | 
						|
 | 
						|
    objs = f_code->objs;
 | 
						|
    while (objs != NULL) {
 | 
						|
      if (dlclose(objs->handle) != 0)
 | 
						|
	return; /* ERROR */
 | 
						|
      objs = objs->next;
 | 
						|
    }
 | 
						|
    libs = f_code->libs;
 | 
						|
    while (libs != NULL) {
 | 
						|
      if (dlclose(libs->handle) != 0)
 | 
						|
	return; /* ERROR */
 | 
						|
      objs = libs->next;
 | 
						|
    }
 | 
						|
    f_code = f_code->next;
 | 
						|
  }
 | 
						|
  /*
 | 
						|
    make sure that we don't try to close foreign code several times, eg,
 | 
						|
    from within an error handler
 | 
						|
  */
 | 
						|
  ForeignCodeLoaded = NULL;
 | 
						|
}
 | 
						|
 | 
						|
Int
 | 
						|
Yap_ReLoadForeign(StringList ofiles, StringList libs,
 | 
						|
	       char *proc_name,	YapInitProc *init_proc)
 | 
						|
{
 | 
						|
  return(LoadForeign(ofiles,libs, proc_name, init_proc));
 | 
						|
}
 | 
						|
 | 
						|
#endif
 | 
						|
 | 
						|
#if SIMICS
 | 
						|
 | 
						|
void dlopen(void)
 | 
						|
{
 | 
						|
}
 | 
						|
 | 
						|
void dlclose(void)
 | 
						|
{
 | 
						|
}
 | 
						|
 | 
						|
void dlsym(void)
 | 
						|
{
 | 
						|
}
 | 
						|
 | 
						|
#endif
 | 
						|
 | 
						|
 | 
						|
 |