Palacios Public Git Repository

To checkout Palacios execute

  git clone http://v3vee.org/palacios/palacios.web/palacios.git
This will give you the master branch. You probably want the devel branch or one of the release branches. To switch to the devel branch, simply execute
  cd palacios
  git checkout --track -b devel origin/devel
The other branches are similar.


Updated devices to remove vm_device dependencies.
[palacios.git] / 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 <palacios/vmm_file.h>
24 #include <palacios/vm_guest.h>
25
26 #ifndef 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     return read_all(disk->fd, buf, lba, num_bytes);
84 }
85
86
87 static int write(uint8_t * buf, uint64_t lba, uint64_t num_bytes, void * private_data) {
88     struct disk_state * disk = (struct disk_state *)private_data;
89
90     PrintDebug("Writing %d bytes from %p to %p\n", (uint32_t)num_bytes,  buf, (uint8_t *)(disk->disk_image + lba));
91
92     return write_all(disk->fd,  buf, lba, num_bytes);
93 }
94
95
96 static uint64_t get_capacity(void * private_data) {
97     struct disk_state * disk = (struct disk_state *)private_data;
98
99     PrintDebug("Querying RAMDISK capacity %d\n", 
100                (uint32_t)(disk->capacity));
101
102     return disk->capacity;
103 }
104
105 static struct v3_dev_blk_ops blk_ops = {
106     .read = read, 
107     .write = write,
108     .get_capacity = get_capacity,
109 };
110
111
112
113
114 static int disk_free(struct vm_device * dev) {
115     struct disk_state * disk = dev->private_data;
116
117     v3_file_close(disk->fd);
118     
119     V3_Free(disk);
120     return 0;
121 }
122
123 static struct v3_device_ops dev_ops = {
124     .free = disk_free,
125 };
126
127
128
129
130 static int disk_init(struct v3_vm_info * vm, v3_cfg_tree_t * cfg) {
131     struct disk_state * disk = NULL;
132     char * path = v3_cfg_val(cfg, "path");
133     char * dev_id = v3_cfg_val(cfg, "ID");
134     char * writable = v3_cfg_val(cfg, "writable");
135     v3_cfg_tree_t * frontend_cfg = v3_cfg_subtree(cfg, "frontend");
136     int flags = FILE_OPEN_MODE_READ;
137
138     if ( (writable) && (writable[0] == '1') ) {
139         flags |= FILE_OPEN_MODE_WRITE;
140     }
141
142     if (path == NULL) {
143         PrintError("Missing path (%s) for %s\n", path, dev_id);
144         return -1;
145     }
146
147     disk = (struct disk_state *)V3_Malloc(sizeof(struct disk_state));
148
149     if (disk == NULL) {
150         PrintError("Could not allocate disk\n");
151         return -1;
152     }
153
154     memset(disk, 0, sizeof(struct disk_state));
155
156     disk->fd = v3_file_open(vm, path, flags);
157
158     if (disk->fd == NULL) {
159         PrintError("Could not open file disk:%s\n", path);
160         V3_Free(disk);
161         return -1;
162     }
163
164     disk->capacity = v3_file_size(disk->fd);
165
166     PrintDebug("Registering FILEDISK %s (path=%s, fd=%lu, size=%lu)\n",
167                dev_id, path, file->fd, file->capacity);
168
169     struct vm_device * dev = v3_allocate_device(dev_id, &dev_ops, disk);
170
171     if (v3_attach_device(vm, dev) == -1) {
172         PrintError("Could not attach device %s\n", dev_id);
173         v3_file_close(disk->fd);
174         V3_Free(disk);
175         return -1;
176     }
177
178     if (v3_dev_connect_blk(vm, v3_cfg_val(frontend_cfg, "tag"), 
179                            &blk_ops, frontend_cfg, disk) == -1) {
180         PrintError("Could not connect %s to frontend %s\n", 
181                    dev_id, v3_cfg_val(frontend_cfg, "tag"));
182         v3_file_close(disk->fd);
183         V3_Free(disk);
184         return -1;
185     }
186     
187
188     return 0;
189 }
190
191
192 device_register("FILEDISK", disk_init)