392 lines
11 KiB
C
392 lines
11 KiB
C
/* vim: tabstop=4 shiftwidth=4 noexpandtab
|
|
* This file is part of ToaruOS and is released under the terms
|
|
* of the NCSA / University of Illinois License - see LICENSE.md
|
|
* Copyright (C) 2014-2018 K. Lange
|
|
*/
|
|
#include <kernel/system.h>
|
|
#include <kernel/logging.h>
|
|
#include <kernel/fs.h>
|
|
#include <kernel/elf.h>
|
|
#include <kernel/module.h>
|
|
|
|
#include <toaru/hashmap.h>
|
|
|
|
#define SYMBOLTABLE_HASHMAP_SIZE 10
|
|
#define MODULE_HASHMAP_SIZE 10
|
|
|
|
static hashmap_t * symboltable = NULL;
|
|
static hashmap_t * modules = NULL;
|
|
|
|
extern char kernel_symbols_start[];
|
|
extern char kernel_symbols_end[];
|
|
|
|
typedef struct {
|
|
uintptr_t addr;
|
|
char name[];
|
|
} kernel_symbol_t;
|
|
|
|
/* Cannot use symboltable here because symbol_find is used during initialization
|
|
* of IRQs and ISRs.
|
|
*/
|
|
void (* symbol_find(const char * name))(void) {
|
|
kernel_symbol_t * k = (kernel_symbol_t *)&kernel_symbols_start;
|
|
|
|
while ((uintptr_t)k < (uintptr_t)&kernel_symbols_end) {
|
|
if (strcmp(k->name, name)) {
|
|
k = (kernel_symbol_t *)((uintptr_t)k + sizeof *k + strlen(k->name) + 1);
|
|
continue;
|
|
}
|
|
return (void (*)(void))k->addr;
|
|
}
|
|
|
|
return NULL;
|
|
}
|
|
|
|
int module_quickcheck(void * blob) {
|
|
|
|
Elf32_Header * target = (Elf32_Header *)blob;
|
|
char * head = (char *)blob;
|
|
|
|
if (target->e_ident[0] != ELFMAG0 ||
|
|
target->e_ident[1] != ELFMAG1 ||
|
|
target->e_ident[2] != ELFMAG2 ||
|
|
target->e_ident[3] != ELFMAG3) {
|
|
|
|
goto _maybe_pack;
|
|
}
|
|
|
|
if (target->e_type != ET_REL) {
|
|
goto _maybe_pack;
|
|
}
|
|
|
|
return 1;
|
|
|
|
_maybe_pack:
|
|
if (head[0] == 'P' && head[1] == 'A' && head[2] == 'C' && head[3] == 'K') {
|
|
return 2;
|
|
}
|
|
|
|
return 0;
|
|
}
|
|
|
|
void * module_load_direct(void * blob, size_t length) {
|
|
Elf32_Header * target = (Elf32_Header *)blob;
|
|
|
|
if (target->e_ident[0] != ELFMAG0 ||
|
|
target->e_ident[1] != ELFMAG1 ||
|
|
target->e_ident[2] != ELFMAG2 ||
|
|
target->e_ident[3] != ELFMAG3) {
|
|
|
|
debug_print(ERROR, "Module is not a valid ELF object.");
|
|
|
|
goto mod_load_error_unload;
|
|
}
|
|
|
|
char * shstrtab = NULL;
|
|
char * symstrtab = NULL;
|
|
Elf32_Shdr * sym_shdr = NULL;
|
|
char * deps = NULL;
|
|
size_t deps_length = 0;
|
|
|
|
/* TODO: Actually load the ELF somewhere! This is moronic, you're not initializing a BSS! */
|
|
/* (and maybe keep the elf header somewhere) */
|
|
|
|
{
|
|
unsigned int i = 0;
|
|
for (unsigned int x = 0; x < (unsigned int)target->e_shentsize * target->e_shnum; x += target->e_shentsize) {
|
|
Elf32_Shdr * shdr = (Elf32_Shdr *)((uintptr_t)target + (target->e_shoff + x));
|
|
if (i == target->e_shstrndx) {
|
|
shstrtab = (char *)((uintptr_t)target + shdr->sh_offset);
|
|
}
|
|
i++;
|
|
}
|
|
}
|
|
if (!shstrtab) {
|
|
debug_print(ERROR, "Could not locate module section header string table.");
|
|
goto mod_load_error_unload;
|
|
}
|
|
|
|
{
|
|
for (unsigned int x = 0; x < (unsigned int)target->e_shentsize * target->e_shnum; x += target->e_shentsize) {
|
|
Elf32_Shdr * shdr = (Elf32_Shdr *)((uintptr_t)target + (target->e_shoff + x));
|
|
if (shdr->sh_type == SHT_STRTAB && (!strcmp((char *)((uintptr_t)shstrtab + shdr->sh_name), ".strtab"))) {
|
|
symstrtab = (char *)((uintptr_t)target + shdr->sh_offset);
|
|
}
|
|
}
|
|
}
|
|
if (!shstrtab) {
|
|
debug_print(ERROR, "Could not locate module symbol string table.");
|
|
goto mod_load_error_unload;
|
|
}
|
|
|
|
{
|
|
debug_print(INFO, "Checking dependencies.");
|
|
for (unsigned int x = 0; x < (unsigned int)target->e_shentsize * target->e_shnum; x += target->e_shentsize) {
|
|
Elf32_Shdr * shdr = (Elf32_Shdr *)((uintptr_t)target + (target->e_shoff + x));
|
|
if ((!strcmp((char *)((uintptr_t)shstrtab + shdr->sh_name), "moddeps"))) {
|
|
deps = (char*)((Elf32_Addr)target + shdr->sh_offset);
|
|
deps_length = shdr->sh_size;
|
|
|
|
unsigned int i = 0;
|
|
while (i < deps_length) {
|
|
if (strlen(&deps[i]) && !hashmap_get(modules, &deps[i])) {
|
|
debug_print(ERROR, " %s - not loaded", &deps[i]);
|
|
goto mod_load_error_unload;
|
|
}
|
|
debug_print(INFO, " %s", &deps[i]);
|
|
i += strlen(&deps[i]) + 1;
|
|
}
|
|
}
|
|
}
|
|
}
|
|
|
|
{
|
|
for (unsigned int x = 0; x < (unsigned int)target->e_shentsize * target->e_shnum; x += target->e_shentsize) {
|
|
Elf32_Shdr * shdr = (Elf32_Shdr *)((uintptr_t)target + (target->e_shoff + x));
|
|
if (shdr->sh_type == SHT_SYMTAB) {
|
|
sym_shdr = shdr;
|
|
}
|
|
}
|
|
}
|
|
if (!sym_shdr) {
|
|
debug_print(ERROR, "Could not locate section for symbol table.");
|
|
goto mod_load_error_unload;
|
|
}
|
|
|
|
{
|
|
debug_print(INFO, "Loading sections.");
|
|
for (unsigned int x = 0; x < (unsigned int)target->e_shentsize * target->e_shnum; x += target->e_shentsize) {
|
|
Elf32_Shdr * shdr = (Elf32_Shdr *)((uintptr_t)target + (target->e_shoff + x));
|
|
if (shdr->sh_type == SHT_NOBITS) {
|
|
shdr->sh_addr = (Elf32_Addr)malloc(shdr->sh_size);
|
|
memset((void *)shdr->sh_addr, 0x00, shdr->sh_size);
|
|
} else {
|
|
shdr->sh_addr = (Elf32_Addr)target + shdr->sh_offset;
|
|
}
|
|
}
|
|
}
|
|
|
|
int undefined = 0;
|
|
|
|
hashmap_t * local_symbols = hashmap_create(10);
|
|
{
|
|
Elf32_Sym * table = (Elf32_Sym *)((uintptr_t)target + sym_shdr->sh_offset);
|
|
while ((uintptr_t)table - ((uintptr_t)target + sym_shdr->sh_offset) < sym_shdr->sh_size) {
|
|
if (table->st_name) {
|
|
if (ELF32_ST_BIND(table->st_info) == STB_GLOBAL) {
|
|
char * name = (char *)((uintptr_t)symstrtab + table->st_name);
|
|
if (table->st_shndx == 0) {
|
|
if (!hashmap_get(symboltable, name)) {
|
|
debug_print(ERROR, "Unresolved symbol in module: %s", name);
|
|
undefined = 1;
|
|
}
|
|
} else {
|
|
Elf32_Shdr * s = NULL;
|
|
{
|
|
int i = 0;
|
|
int set = 0;
|
|
for (unsigned int x = 0; x < (unsigned int)target->e_shentsize * target->e_shnum; x += target->e_shentsize) {
|
|
Elf32_Shdr * shdr = (Elf32_Shdr *)((uintptr_t)target + (target->e_shoff + x));
|
|
if (i == table->st_shndx) {
|
|
set = 1;
|
|
s = shdr;
|
|
break;
|
|
}
|
|
i++;
|
|
}
|
|
/*
|
|
* Common symbols
|
|
* If we were a proper linker, we'd look at a bunch of objects
|
|
* to find out if one of them defined this, but instead we have
|
|
* a strict hierarchy of symbol resolution, so we know that an
|
|
* undefined common symbol at this point should be immediately
|
|
* allocated and zeroed.
|
|
*/
|
|
if (!set && table->st_shndx == 65522) {
|
|
if (!hashmap_get(symboltable, name)) {
|
|
void * final = calloc(1, table->st_value);
|
|
debug_print(NOTICE, "point %s to 0x%x", name, (uintptr_t)final);
|
|
hashmap_set(symboltable, name, (void *)final);
|
|
hashmap_set(local_symbols, name, (void *)final);
|
|
}
|
|
}
|
|
}
|
|
if (s) {
|
|
uintptr_t final = s->sh_addr + table->st_value;
|
|
hashmap_set(symboltable, name, (void *)final);
|
|
hashmap_set(local_symbols, name, (void *)final);
|
|
}
|
|
}
|
|
}
|
|
}
|
|
table++;
|
|
}
|
|
}
|
|
if (undefined) {
|
|
debug_print(ERROR, "This module is faulty! Verify it specifies all of its");
|
|
debug_print(ERROR, "dependencies properly with MODULE_DEPENDS.");
|
|
goto mod_load_error;
|
|
}
|
|
|
|
{
|
|
for (unsigned int x = 0; x < (unsigned int)target->e_shentsize * target->e_shnum; x += target->e_shentsize) {
|
|
Elf32_Shdr * shdr = (Elf32_Shdr *)((uintptr_t)target + (target->e_shoff + x));
|
|
if (shdr->sh_type == SHT_REL) {
|
|
Elf32_Rel * section_rel = (void *)(shdr->sh_addr);
|
|
Elf32_Rel * table = section_rel;
|
|
Elf32_Sym * symtable = (Elf32_Sym *)(sym_shdr->sh_addr);
|
|
while ((uintptr_t)table - (shdr->sh_addr) < shdr->sh_size) {
|
|
Elf32_Sym * sym = &symtable[ELF32_R_SYM(table->r_info)];
|
|
Elf32_Shdr * rs = (Elf32_Shdr *)((uintptr_t)target + (target->e_shoff + shdr->sh_info * target->e_shentsize));
|
|
|
|
uintptr_t addend = 0;
|
|
uintptr_t place = 0;
|
|
uintptr_t symbol = 0;
|
|
uintptr_t *ptr = NULL;
|
|
|
|
if (ELF32_ST_TYPE(sym->st_info) == STT_SECTION) {
|
|
Elf32_Shdr * s = (Elf32_Shdr *)((uintptr_t)target + (target->e_shoff + sym->st_shndx * target->e_shentsize));
|
|
ptr = (uintptr_t *)(table->r_offset + rs->sh_addr);
|
|
addend = *ptr;
|
|
place = (uintptr_t)ptr;
|
|
symbol = s->sh_addr;
|
|
} else {
|
|
char * name = (char *)((uintptr_t)symstrtab + sym->st_name);
|
|
ptr = (uintptr_t *)(table->r_offset + rs->sh_addr);
|
|
addend = *ptr;
|
|
place = (uintptr_t)ptr;
|
|
if (!hashmap_get(symboltable, name)) {
|
|
debug_print(ERROR, "Wat? Missing symbol %s", name);
|
|
}
|
|
symbol = (uintptr_t)hashmap_get(symboltable, name);
|
|
}
|
|
switch (ELF32_R_TYPE(table->r_info)) {
|
|
case 1:
|
|
*ptr = addend + symbol;
|
|
break;
|
|
case 2:
|
|
*ptr = addend + symbol - place;
|
|
break;
|
|
default:
|
|
debug_print(ERROR, "Unsupported relocation type: %d", ELF32_R_TYPE(table->r_info));
|
|
goto mod_load_error;
|
|
}
|
|
|
|
table++;
|
|
}
|
|
}
|
|
}
|
|
}
|
|
|
|
debug_print(INFO, "Locating module information...");
|
|
module_defs * mod_info = NULL;
|
|
list_t * hash_keys = hashmap_keys(local_symbols);
|
|
foreach(_key, hash_keys) {
|
|
char * key = (char *)_key->value;
|
|
if (startswith(key, "module_info_")) {
|
|
mod_info = hashmap_get(local_symbols, key);
|
|
}
|
|
}
|
|
list_free(hash_keys);
|
|
free(hash_keys);
|
|
if (!mod_info) {
|
|
debug_print(ERROR, "Failed to locate module information structure!");
|
|
goto mod_load_error;
|
|
}
|
|
|
|
mod_info->initialize();
|
|
|
|
debug_print(NOTICE, "Finished loading module %s", mod_info->name);
|
|
|
|
/* We don't do this anymore
|
|
* TODO: Do this in the module unload function
|
|
hashmap_free(local_symbols);
|
|
free(local_symbols);
|
|
*/
|
|
|
|
module_data_t * mod_data = malloc(sizeof(module_data_t));
|
|
mod_data->mod_info = mod_info;
|
|
mod_data->bin_data = target;
|
|
mod_data->symbols = local_symbols;
|
|
mod_data->end = (uintptr_t)target + length;
|
|
mod_data->deps = deps;
|
|
mod_data->deps_length = deps_length;
|
|
|
|
hashmap_set(modules, mod_info->name, (void *)mod_data);
|
|
|
|
return mod_data;
|
|
|
|
mod_load_error_unload:
|
|
return (void *)-1;
|
|
|
|
mod_load_error:
|
|
return NULL;
|
|
}
|
|
|
|
/**
|
|
* Install a module from a file and return
|
|
* a pointer to its module_info structure.
|
|
*/
|
|
void * module_load(char * filename) {
|
|
fs_node_t * file = kopen(filename, 0);
|
|
if (!file) {
|
|
debug_print(ERROR, "Failed to load module: %s", filename);
|
|
return NULL;
|
|
}
|
|
|
|
debug_print(NOTICE, "Attempting to load kernel module: %s", filename);
|
|
|
|
void * blob = (void *)kvmalloc(file->length);
|
|
read_fs(file, 0, file->length, (uint8_t *)blob);
|
|
|
|
void * result = module_load_direct(blob, file->length);
|
|
|
|
if (result == (void *)-1) {
|
|
debug_print(ERROR, "Error loading module.");
|
|
free(blob);
|
|
result = NULL;
|
|
}
|
|
|
|
close_fs(file);
|
|
return result;
|
|
}
|
|
|
|
/**
|
|
* Remove a loaded module.
|
|
*/
|
|
void module_unload(char * name) {
|
|
/* XXX: Lookup the module by name and verify it has no dependencies loaded. */
|
|
/* XXX: Call module_info->finish() */
|
|
/* XXX: Unmap symbols defined the module that weren't otherwise defined. */
|
|
/* XXX: Deallocate the regions the module was mapped into */
|
|
}
|
|
|
|
void modules_install(void) {
|
|
/* Initialize the symboltable, we use a hashmap of symbols to addresses */
|
|
symboltable = hashmap_create(SYMBOLTABLE_HASHMAP_SIZE);
|
|
|
|
/* Load all of the kernel symbols into the symboltable */
|
|
kernel_symbol_t * k = (kernel_symbol_t *)&kernel_symbols_start;
|
|
|
|
while ((uintptr_t)k < (uintptr_t)&kernel_symbols_end) {
|
|
hashmap_set(symboltable, k->name, (void *)k->addr);
|
|
k = (kernel_symbol_t *)((uintptr_t)k + sizeof(kernel_symbol_t) + strlen(k->name) + 1);
|
|
}
|
|
|
|
/* Also add the kernel_symbol_start and kernel_symbol_end (these were excluded from the generator) */
|
|
hashmap_set(symboltable, "kernel_symbols_start", &kernel_symbols_start);
|
|
hashmap_set(symboltable, "kernel_symbols_end", &kernel_symbols_end);
|
|
|
|
/* Initialize the module name -> object hashmap */
|
|
modules = hashmap_create(MODULE_HASHMAP_SIZE);
|
|
}
|
|
|
|
/* Accessors. */
|
|
hashmap_t * modules_get_list(void) {
|
|
return modules;
|
|
}
|
|
|
|
hashmap_t * modules_get_symbols(void) {
|
|
return symboltable;
|
|
}
|