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.


more device free updates
[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     .reset = NULL,
126     .start = NULL,
127     .stop = NULL,
128 };
129
130
131
132
133 static int disk_init(struct v3_vm_info * vm, v3_cfg_tree_t * cfg) {
134     struct disk_state * disk = NULL;
135     char * path = v3_cfg_val(cfg, "path");
136     char * dev_id = v3_cfg_val(cfg, "ID");
137     char * writable = v3_cfg_val(cfg, "writable");
138     v3_cfg_tree_t * frontend_cfg = v3_cfg_subtree(cfg, "frontend");
139     int flags = FILE_OPEN_MODE_READ;
140
141     if ( (writable) && (writable[0] == '1') ) {
142         flags |= FILE_OPEN_MODE_WRITE;
143     }
144
145     if (path == NULL) {
146         PrintError("Missing path (%s) for %s\n", path, dev_id);
147         return -1;
148     }
149
150     disk = (struct disk_state *)V3_Malloc(sizeof(struct disk_state));
151
152     if (disk == NULL) {
153         PrintError("Could not allocate disk\n");
154         return -1;
155     }
156
157     memset(disk, 0, sizeof(struct disk_state));
158
159     disk->fd = v3_file_open(vm, path, flags);
160
161     if (disk->fd == NULL) {
162         PrintError("Could not open file disk:%s\n", path);
163         V3_Free(disk);
164         return -1;
165     }
166
167     disk->capacity = v3_file_size(disk->fd);
168
169     PrintDebug("Registering FILEDISK %s (path=%s, fd=%lu, size=%lu)\n",
170                dev_id, path, file->fd, file->capacity);
171
172     struct vm_device * dev = v3_allocate_device(dev_id, &dev_ops, disk);
173
174     if (v3_attach_device(vm, dev) == -1) {
175         PrintError("Could not attach device %s\n", dev_id);
176         v3_file_close(disk->fd);
177         V3_Free(disk);
178         return -1;
179     }
180
181     if (v3_dev_connect_blk(vm, v3_cfg_val(frontend_cfg, "tag"), 
182                            &blk_ops, frontend_cfg, disk) == -1) {
183         PrintError("Could not connect %s to frontend %s\n", 
184                    dev_id, v3_cfg_val(frontend_cfg, "tag"));
185         v3_file_close(disk->fd);
186         V3_Free(disk);
187         return -1;
188     }
189     
190
191     return 0;
192 }
193
194
195 device_register("FILEDISK", disk_init)