palacios/src/devices/filedisk.c

   1 /*
   2  * This file is part of the Palacios Virtual Machine Monitor developed
   3  * by the V3VEE Project with funding from the United States National
   4  * Science Foundation and the Department of Energy.
   5  *
   6  * The V3VEE Project is a joint project between Northwestern University
   7  * and the University of New Mexico.  You can find out more at
   8  * http://www.v3vee.org
   9  *
  10  * Copyright (c) 2008, Jack Lange <jarusl@cs.northwestern.edu>
  11  * Copyright (c) 2008, The V3VEE Project <http://www.v3vee.org>
  12  * All rights reserved.
  13  *
  14  * Author: Jack Lange <jarusl@cs.northwestern.edu>
  15  *
  16  * This is free software.  You are permitted to use,
  17  * redistribute, and modify it as specified in the file "V3VEE_LICENSE".
  18  */
  19
  20 #include <palacios/vmm.h>
  21 #include <palacios/vmm_dev_mgr.h>
  22
  23 #include <interfaces/vmm_file.h>
  24 #include <palacios/vm_guest.h>
  25
  26 #ifndef V3_CONFIG_DEBUG_FILEDISK
  27 #undef PrintDebug
  28 #define PrintDebug(fmt, args...)
  29 #endif
  30
  31 struct disk_state {
  32     uint64_t capacity; // in bytes
  33
  34     v3_file_t fd;
  35 };
  36
  37
  38
  39 static int write_all(v3_file_t fd, char * buf, int offset, int length) {
  40     int bytes_written = 0;
  41
  42     PrintDebug("Writing %d bytes\n", length - bytes_written);
  43     while (bytes_written < length) {
  44         int tmp_bytes = v3_file_write(fd, buf + bytes_written, length - bytes_written, offset + bytes_written);
  45         PrintDebug("Wrote %d bytes\n", tmp_bytes);
  46
  47         if (tmp_bytes <= 0 ) {
  48             PrintError("Write failed\n");
  49             return -1;
  50         }
  51
  52         bytes_written += tmp_bytes;
  53     }
  54
  55     return 0;
  56 }
  57
  58
  59 static int read_all(v3_file_t fd, char * buf, int offset, int length) {
  60     int bytes_read = 0;
  61
  62     PrintDebug("Reading %d bytes\n", length - bytes_read);
  63     while (bytes_read < length) {
  64         int tmp_bytes = v3_file_read(fd, buf + bytes_read, length - bytes_read, offset + bytes_read);
  65         PrintDebug("Read %d bytes\n", tmp_bytes);
  66
  67         if (tmp_bytes <= 0) {
  68             PrintError("Read failed\n");
  69             return -1;
  70         }
  71
  72         bytes_read += tmp_bytes;
  73     }
  74
  75     return 0;
  76 }
  77
  78 static int read(uint8_t * buf, uint64_t lba, uint64_t num_bytes, void * private_data) {
  79     struct disk_state * disk = (struct disk_state *)private_data;
  80
  81     PrintDebug("Reading %d bytes from %p to %p\n", (uint32_t)num_bytes, (uint8_t *)(disk->disk_image + lba), buf);
  82
  83     if (lba + num_bytes > disk->capacity) {
  84         PrintError("Out of bounds read: lba=%llu, num_bytes=%llu, capacity=%llu\n",
  85                    lba, num_bytes, disk->capacity);
  86         return -1;
  87     }
  88
  89     return read_all(disk->fd, buf, lba, num_bytes);
  90 }
  91
  92
  93 static int write(uint8_t * buf, uint64_t lba, uint64_t num_bytes, void * private_data) {
  94     struct disk_state * disk = (struct disk_state *)private_data;
  95
  96     PrintDebug("Writing %d bytes from %p to %p\n", (uint32_t)num_bytes,  buf, (uint8_t *)(disk->disk_image + lba));
  97
  98     if (lba + num_bytes > disk->capacity) {
  99         PrintError("Out of bounds read: lba=%llu, num_bytes=%llu, capacity=%llu\n",
 100                    lba, num_bytes, disk->capacity);
 101         return -1;
 102     }
 103
 104
 105     return write_all(disk->fd,  buf, lba, num_bytes);
 106 }
 107
 108
 109 static uint64_t get_capacity(void * private_data) {
 110     struct disk_state * disk = (struct disk_state *)private_data;
 111
 112     PrintDebug("Querying FILEDISK capacity %d\n",
 113                (uint32_t)(disk->capacity));
 114
 115     return disk->capacity;
 116 }
 117
 118 static struct v3_dev_blk_ops blk_ops = {
 119     .read = read,
 120     .write = write,
 121     .get_capacity = get_capacity,
 122 };
 123
 124
 125
 126
 127 static int disk_free(struct disk_state * disk) {
 128     v3_file_close(disk->fd);
 129
 130     V3_Free(disk);
 131     return 0;
 132 }
 133
 134 static struct v3_device_ops dev_ops = {
 135     .free = (int (*)(void *))disk_free,
 136 };
 137
 138
 139
 140
 141 static int disk_init(struct v3_vm_info * vm, v3_cfg_tree_t * cfg) {
 142     struct disk_state * disk = NULL;
 143     char * path = v3_cfg_val(cfg, "path");
 144     char * dev_id = v3_cfg_val(cfg, "ID");
 145     char * writable = v3_cfg_val(cfg, "writable");
 146     v3_cfg_tree_t * frontend_cfg = v3_cfg_subtree(cfg, "frontend");
 147     int flags = FILE_OPEN_MODE_READ;
 148
 149     if ( (writable) && (writable[0] == '1') ) {
 150         flags |= FILE_OPEN_MODE_WRITE;
 151     }
 152
 153     if (path == NULL) {
 154         PrintError("Missing path (%s) for %s\n", path, dev_id);
 155         return -1;
 156     }
 157
 158     disk = (struct disk_state *)V3_Malloc(sizeof(struct disk_state));
 159
 160     if (disk == NULL) {
 161         PrintError("Could not allocate disk\n");
 162         return -1;
 163     }
 164
 165     memset(disk, 0, sizeof(struct disk_state));
 166
 167     struct vm_device * dev = v3_add_device(vm, dev_id, &dev_ops, disk);
 168
 169     if (dev == NULL) {
 170         PrintError("Could not attach device %s\n", dev_id);
 171         V3_Free(disk);
 172         return -1;
 173     }
 174
 175
 176     disk->fd = v3_file_open(vm, path, flags);
 177
 178     if (disk->fd == NULL) {
 179         PrintError("Could not open file disk:%s\n", path);
 180         v3_remove_device(dev);
 181         return -1;
 182     }
 183
 184     disk->capacity = v3_file_size(disk->fd);
 185
 186     PrintDebug("Registering FILEDISK %s (path=%s, fd=%lu, size=%lu)\n",
 187                dev_id, path, file->fd, file->capacity);
 188
 189
 190     if (v3_dev_connect_blk(vm, v3_cfg_val(frontend_cfg, "tag"),
 191                            &blk_ops, frontend_cfg, disk) == -1) {
 192         PrintError("Could not connect %s to frontend %s\n",
 193                    dev_id, v3_cfg_val(frontend_cfg, "tag"));
 194         v3_remove_device(dev);
 195         return -1;
 196     }
 197
 198
 199     return 0;
 200 }
 201
 202
 203 device_register("FILEDISK", disk_init)