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.
6 * The V3VEE Project is a joint project between Northwestern University
7 * and the University of New Mexico. You can find out more at
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.
14 * Author: Jack Lange <jarusl@cs.northwestern.edu>
16 * This is free software. You are permitted to use,
17 * redistribute, and modify it as specified in the file "V3VEE_LICENSE".
20 #include <palacios/vmm.h>
21 #include <palacios/vmm_dev_mgr.h>
23 #include <palacios/vmm_file.h>
25 #ifndef CONFIG_DEBUG_FILEDISK
27 #define PrintDebug(fmt, args...)
31 uint64_t capacity; // in bytes
38 static int write_all(int fd, char * buf, int offset, int length) {
39 int bytes_written = 0;
41 PrintDebug("Writing %d bytes\n", length - bytes_written);
42 while (bytes_written < length) {
43 int tmp_bytes = V3_FileWrite(fd, offset+bytes_written, buf + bytes_written, length - bytes_written);
44 PrintDebug("Wrote %d bytes\n", tmp_bytes);
46 if (tmp_bytes <= 0 ) {
47 PrintError("Write failed\n");
51 bytes_written += tmp_bytes;
58 static int read_all(int fd, char * buf, int offset, int length) {
61 PrintDebug("Reading %d bytes\n", length - bytes_read);
62 while (bytes_read < length) {
63 int tmp_bytes = V3_FileRead(fd, offset+bytes_read, buf + bytes_read, length - bytes_read);
64 PrintDebug("Read %d bytes\n", tmp_bytes);
67 PrintError("Read failed\n");
71 bytes_read += tmp_bytes;
77 static int read(uint8_t * buf, uint64_t lba, uint64_t num_bytes, void * private_data) {
78 struct disk_state * disk = (struct disk_state *)private_data;
80 PrintDebug("Reading %d bytes from %p to %p\n", (uint32_t)num_bytes, (uint8_t *)(disk->disk_image + lba), buf);
82 return read_all(disk->fd, buf, lba, num_bytes);
86 static int write(uint8_t * buf, uint64_t lba, uint64_t num_bytes, void * private_data) {
87 struct disk_state * disk = (struct disk_state *)private_data;
89 PrintDebug("Writing %d bytes from %p to %p\n", (uint32_t)num_bytes, buf, (uint8_t *)(disk->disk_image + lba));
91 return write_all(disk->fd, buf, lba, num_bytes);
95 static uint64_t get_capacity(void * private_data) {
96 struct disk_state * disk = (struct disk_state *)private_data;
98 PrintDebug("Querying RAMDISK capacity %d\n",
99 (uint32_t)(disk->capacity));
101 return disk->capacity;
104 static struct v3_dev_blk_ops blk_ops = {
107 .get_capacity = get_capacity,
113 static int disk_free(struct vm_device * dev) {
117 static struct v3_device_ops dev_ops = {
127 static int disk_init(struct v3_vm_info * vm, v3_cfg_tree_t * cfg) {
128 struct disk_state * disk = NULL;
129 char * path = v3_cfg_val(cfg, "path");
131 char * dev_id = v3_cfg_val(cfg, "ID");
135 char * writable = v3_cfg_val(cfg, "writable");
136 char * readable = v3_cfg_val(cfg, "readable");
138 int allowWrite = ( writable && writable[0] == '1' );
139 int allowRead = ( !readable || readable[0] == '1' );
141 v3_cfg_tree_t * frontend_cfg = v3_cfg_subtree(cfg, "frontend");
143 disk = (struct disk_state *)V3_Malloc(sizeof(struct disk_state));
144 memset(disk, 0, sizeof(struct disk_state));
150 PrintError("Missing path (%s) for %s\n", path, dev_id);
155 if ( allowRead && allowWrite ) {
156 disk->fd = V3_FileOpen(path, FILE_OPEN_MODE_READ | FILE_OPEN_MODE_WRITE );
157 } else if ( allowRead && !allowWrite ) {
158 disk->fd = V3_FileOpen(path, FILE_OPEN_MODE_READ );
159 } else if ( !allowRead && allowWrite ) {
160 disk->fd = V3_FileOpen(path, FILE_OPEN_MODE_WRITE );
162 PrintError("Error on %s: No file mode specified\n", dev_id );
167 disk->capacity = V3_FileSize(disk->fd);
169 PrintDebug("Registering FILEDISK %s (path=%s, fd=%lu, size=%lu)\n",
170 dev_id, path, file->fd, file->capacity);
172 struct vm_device * dev = v3_allocate_device(dev_id, &dev_ops, disk);
174 if (v3_attach_device(vm, dev) == -1) {
176 PrintError("Could not attach device %s\n", dev_id);
181 if (v3_dev_connect_blk(vm, v3_cfg_val(frontend_cfg, "tag"),
182 &blk_ops, frontend_cfg, disk) == -1) {
184 PrintError("Could not connect %s to frontend %s\n",
185 dev_id, v3_cfg_val(frontend_cfg, "tag"));
195 device_register("FILEDISK", disk_init)