2019-06-13 10:49:02 +00:00
|
|
|
//
|
|
|
|
// driver for qemu's virtio disk device.
|
|
|
|
// uses qemu's mmio interface to virtio.
|
|
|
|
//
|
|
|
|
// qemu ... -drive file=fs.img,if=none,format=raw,id=x0 -device virtio-blk-device,drive=x0,bus=virtio-mmio-bus.0
|
|
|
|
//
|
|
|
|
|
|
|
|
#include "types.h"
|
|
|
|
#include "riscv.h"
|
|
|
|
#include "defs.h"
|
|
|
|
#include "param.h"
|
|
|
|
#include "memlayout.h"
|
|
|
|
#include "spinlock.h"
|
|
|
|
#include "sleeplock.h"
|
|
|
|
#include "fs.h"
|
|
|
|
#include "buf.h"
|
|
|
|
#include "virtio.h"
|
|
|
|
|
2019-06-13 13:40:17 +00:00
|
|
|
// the address of virtio mmio register r.
|
|
|
|
#define R(r) ((volatile uint32 *)(VIRTIO0 + (r)))
|
2019-06-13 10:49:02 +00:00
|
|
|
|
2019-08-12 11:20:32 +00:00
|
|
|
static struct disk {
|
2022-08-08 15:10:54 +00:00
|
|
|
// a set (not a ring) of DMA descriptors, with which the
|
2021-10-18 05:33:39 +00:00
|
|
|
// driver tells the device where to read and write individual
|
|
|
|
// disk operations. there are NUM descriptors.
|
2020-10-05 10:26:58 +00:00
|
|
|
// most commands consist of a "chain" (a linked list) of a couple of
|
|
|
|
// these descriptors.
|
|
|
|
struct virtq_desc *desc;
|
|
|
|
|
2022-08-08 15:10:54 +00:00
|
|
|
// a ring in which the driver writes descriptor numbers
|
2020-10-05 10:26:58 +00:00
|
|
|
// that the driver would like the device to process. it only
|
|
|
|
// includes the head descriptor of each chain. the ring has
|
|
|
|
// NUM elements.
|
|
|
|
struct virtq_avail *avail;
|
|
|
|
|
2022-08-08 15:10:54 +00:00
|
|
|
// a ring in which the device writes descriptor numbers that
|
2020-10-05 10:26:58 +00:00
|
|
|
// the device has finished processing (just the head of each chain).
|
|
|
|
// there are NUM used ring entries.
|
|
|
|
struct virtq_used *used;
|
2019-08-12 11:20:32 +00:00
|
|
|
|
|
|
|
// our own book-keeping.
|
|
|
|
char free[NUM]; // is a descriptor free?
|
|
|
|
uint16 used_idx; // we've looked this far in used[2..NUM].
|
|
|
|
|
|
|
|
// track info about in-flight operations,
|
|
|
|
// for use when completion interrupt arrives.
|
|
|
|
// indexed by first descriptor index of chain.
|
|
|
|
struct {
|
|
|
|
struct buf *b;
|
|
|
|
char status;
|
|
|
|
} info[NUM];
|
2020-10-05 10:59:33 +00:00
|
|
|
|
|
|
|
// disk command headers.
|
|
|
|
// one-for-one with descriptors, for convenience.
|
|
|
|
struct virtio_blk_req ops[NUM];
|
2019-08-12 11:20:32 +00:00
|
|
|
|
|
|
|
struct spinlock vdisk_lock;
|
|
|
|
|
2021-10-18 05:33:39 +00:00
|
|
|
} disk;
|
2019-06-13 10:49:02 +00:00
|
|
|
|
|
|
|
void
|
|
|
|
virtio_disk_init(void)
|
|
|
|
{
|
|
|
|
uint32 status = 0;
|
|
|
|
|
2019-08-12 11:20:32 +00:00
|
|
|
initlock(&disk.vdisk_lock, "virtio_disk");
|
2019-06-13 10:49:02 +00:00
|
|
|
|
|
|
|
if(*R(VIRTIO_MMIO_MAGIC_VALUE) != 0x74726976 ||
|
2021-10-18 05:33:39 +00:00
|
|
|
*R(VIRTIO_MMIO_VERSION) != 2 ||
|
2019-06-13 10:49:02 +00:00
|
|
|
*R(VIRTIO_MMIO_DEVICE_ID) != 2 ||
|
|
|
|
*R(VIRTIO_MMIO_VENDOR_ID) != 0x554d4551){
|
|
|
|
panic("could not find virtio disk");
|
|
|
|
}
|
|
|
|
|
2021-10-18 05:33:39 +00:00
|
|
|
// reset device
|
|
|
|
*R(VIRTIO_MMIO_STATUS) = status;
|
|
|
|
|
|
|
|
// set ACKNOWLEDGE status bit
|
2019-06-13 10:49:02 +00:00
|
|
|
status |= VIRTIO_CONFIG_S_ACKNOWLEDGE;
|
|
|
|
*R(VIRTIO_MMIO_STATUS) = status;
|
|
|
|
|
2021-10-18 05:33:39 +00:00
|
|
|
// set DRIVER status bit
|
2019-06-13 10:49:02 +00:00
|
|
|
status |= VIRTIO_CONFIG_S_DRIVER;
|
|
|
|
*R(VIRTIO_MMIO_STATUS) = status;
|
|
|
|
|
|
|
|
// negotiate features
|
|
|
|
uint64 features = *R(VIRTIO_MMIO_DEVICE_FEATURES);
|
|
|
|
features &= ~(1 << VIRTIO_BLK_F_RO);
|
|
|
|
features &= ~(1 << VIRTIO_BLK_F_SCSI);
|
|
|
|
features &= ~(1 << VIRTIO_BLK_F_CONFIG_WCE);
|
|
|
|
features &= ~(1 << VIRTIO_BLK_F_MQ);
|
|
|
|
features &= ~(1 << VIRTIO_F_ANY_LAYOUT);
|
|
|
|
features &= ~(1 << VIRTIO_RING_F_EVENT_IDX);
|
|
|
|
features &= ~(1 << VIRTIO_RING_F_INDIRECT_DESC);
|
|
|
|
*R(VIRTIO_MMIO_DRIVER_FEATURES) = features;
|
|
|
|
|
|
|
|
// tell device that feature negotiation is complete.
|
|
|
|
status |= VIRTIO_CONFIG_S_FEATURES_OK;
|
|
|
|
*R(VIRTIO_MMIO_STATUS) = status;
|
|
|
|
|
2021-10-18 05:33:39 +00:00
|
|
|
// re-read status to ensure FEATURES_OK is set.
|
|
|
|
status = *R(VIRTIO_MMIO_STATUS);
|
|
|
|
if(!(status & VIRTIO_CONFIG_S_FEATURES_OK))
|
|
|
|
panic("virtio disk FEATURES_OK unset");
|
2019-06-13 10:49:02 +00:00
|
|
|
|
2019-06-13 13:40:17 +00:00
|
|
|
// initialize queue 0.
|
2019-06-13 10:49:02 +00:00
|
|
|
*R(VIRTIO_MMIO_QUEUE_SEL) = 0;
|
2021-10-18 05:33:39 +00:00
|
|
|
|
|
|
|
// ensure queue 0 is not in use.
|
|
|
|
if(*R(VIRTIO_MMIO_QUEUE_READY))
|
|
|
|
panic("virtio disk should not be ready");
|
|
|
|
|
|
|
|
// check maximum queue size.
|
2019-06-13 10:49:02 +00:00
|
|
|
uint32 max = *R(VIRTIO_MMIO_QUEUE_NUM_MAX);
|
|
|
|
if(max == 0)
|
|
|
|
panic("virtio disk has no queue 0");
|
|
|
|
if(max < NUM)
|
|
|
|
panic("virtio disk max queue too short");
|
2021-10-18 05:33:39 +00:00
|
|
|
|
|
|
|
// allocate and zero queue memory.
|
|
|
|
disk.desc = kalloc();
|
|
|
|
disk.avail = kalloc();
|
|
|
|
disk.used = kalloc();
|
|
|
|
if(!disk.desc || !disk.avail || !disk.used)
|
|
|
|
panic("virtio disk kalloc");
|
|
|
|
memset(disk.desc, 0, PGSIZE);
|
|
|
|
memset(disk.avail, 0, PGSIZE);
|
|
|
|
memset(disk.used, 0, PGSIZE);
|
|
|
|
|
|
|
|
// set queue size.
|
2019-06-13 10:49:02 +00:00
|
|
|
*R(VIRTIO_MMIO_QUEUE_NUM) = NUM;
|
|
|
|
|
2021-10-18 05:33:39 +00:00
|
|
|
// write physical addresses.
|
|
|
|
*R(VIRTIO_MMIO_QUEUE_DESC_LOW) = (uint64)disk.desc;
|
|
|
|
*R(VIRTIO_MMIO_QUEUE_DESC_HIGH) = (uint64)disk.desc >> 32;
|
|
|
|
*R(VIRTIO_MMIO_DRIVER_DESC_LOW) = (uint64)disk.avail;
|
|
|
|
*R(VIRTIO_MMIO_DRIVER_DESC_HIGH) = (uint64)disk.avail >> 32;
|
|
|
|
*R(VIRTIO_MMIO_DEVICE_DESC_LOW) = (uint64)disk.used;
|
|
|
|
*R(VIRTIO_MMIO_DEVICE_DESC_HIGH) = (uint64)disk.used >> 32;
|
2019-06-13 10:49:02 +00:00
|
|
|
|
2021-10-18 05:33:39 +00:00
|
|
|
// queue is ready.
|
|
|
|
*R(VIRTIO_MMIO_QUEUE_READY) = 0x1;
|
2019-06-13 10:49:02 +00:00
|
|
|
|
2020-10-05 10:26:58 +00:00
|
|
|
// all NUM descriptors start out unused.
|
2019-06-13 10:49:02 +00:00
|
|
|
for(int i = 0; i < NUM; i++)
|
2019-08-12 11:20:32 +00:00
|
|
|
disk.free[i] = 1;
|
2019-06-13 13:40:17 +00:00
|
|
|
|
2021-10-18 05:33:39 +00:00
|
|
|
// tell device we're completely ready.
|
|
|
|
status |= VIRTIO_CONFIG_S_DRIVER_OK;
|
|
|
|
*R(VIRTIO_MMIO_STATUS) = status;
|
|
|
|
|
2019-06-13 13:40:17 +00:00
|
|
|
// plic.c and trap.c arrange for interrupts from VIRTIO0_IRQ.
|
2019-06-13 10:49:02 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
// find a free descriptor, mark it non-free, return its index.
|
|
|
|
static int
|
|
|
|
alloc_desc()
|
|
|
|
{
|
|
|
|
for(int i = 0; i < NUM; i++){
|
2019-08-12 11:20:32 +00:00
|
|
|
if(disk.free[i]){
|
|
|
|
disk.free[i] = 0;
|
2019-06-13 10:49:02 +00:00
|
|
|
return i;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
return -1;
|
|
|
|
}
|
|
|
|
|
2019-06-13 13:40:17 +00:00
|
|
|
// mark a descriptor as free.
|
|
|
|
static void
|
2019-06-13 10:49:02 +00:00
|
|
|
free_desc(int i)
|
|
|
|
{
|
|
|
|
if(i >= NUM)
|
2020-10-04 13:21:03 +00:00
|
|
|
panic("free_desc 1");
|
2019-08-12 11:20:32 +00:00
|
|
|
if(disk.free[i])
|
2020-10-04 13:21:03 +00:00
|
|
|
panic("free_desc 2");
|
2019-08-12 11:20:32 +00:00
|
|
|
disk.desc[i].addr = 0;
|
2020-10-04 13:21:03 +00:00
|
|
|
disk.desc[i].len = 0;
|
|
|
|
disk.desc[i].flags = 0;
|
|
|
|
disk.desc[i].next = 0;
|
2019-08-12 11:20:32 +00:00
|
|
|
disk.free[i] = 1;
|
|
|
|
wakeup(&disk.free[0]);
|
2019-06-13 13:40:17 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
// free a chain of descriptors.
|
|
|
|
static void
|
|
|
|
free_chain(int i)
|
|
|
|
{
|
|
|
|
while(1){
|
2020-10-04 13:21:03 +00:00
|
|
|
int flag = disk.desc[i].flags;
|
|
|
|
int nxt = disk.desc[i].next;
|
2019-06-13 13:40:17 +00:00
|
|
|
free_desc(i);
|
2020-10-04 13:21:03 +00:00
|
|
|
if(flag & VRING_DESC_F_NEXT)
|
|
|
|
i = nxt;
|
2019-06-13 13:40:17 +00:00
|
|
|
else
|
|
|
|
break;
|
|
|
|
}
|
2019-06-13 10:49:02 +00:00
|
|
|
}
|
|
|
|
|
2020-10-05 10:26:58 +00:00
|
|
|
// allocate three descriptors (they need not be contiguous).
|
|
|
|
// disk transfers always use three descriptors.
|
2019-07-01 12:20:35 +00:00
|
|
|
static int
|
|
|
|
alloc3_desc(int *idx)
|
|
|
|
{
|
|
|
|
for(int i = 0; i < 3; i++){
|
|
|
|
idx[i] = alloc_desc();
|
|
|
|
if(idx[i] < 0){
|
|
|
|
for(int j = 0; j < i; j++)
|
|
|
|
free_desc(idx[j]);
|
|
|
|
return -1;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
return 0;
|
|
|
|
}
|
|
|
|
|
2019-06-13 10:49:02 +00:00
|
|
|
void
|
2019-07-29 21:33:16 +00:00
|
|
|
virtio_disk_rw(struct buf *b, int write)
|
2019-06-13 10:49:02 +00:00
|
|
|
{
|
|
|
|
uint64 sector = b->blockno * (BSIZE / 512);
|
|
|
|
|
2019-08-12 11:20:32 +00:00
|
|
|
acquire(&disk.vdisk_lock);
|
2019-06-13 10:49:02 +00:00
|
|
|
|
2020-10-05 10:26:58 +00:00
|
|
|
// the spec's Section 5.2 says that legacy block operations use
|
|
|
|
// three descriptors: one for type/reserved/sector, one for the
|
|
|
|
// data, one for a 1-byte status result.
|
2019-06-13 10:49:02 +00:00
|
|
|
|
|
|
|
// allocate the three descriptors.
|
|
|
|
int idx[3];
|
|
|
|
while(1){
|
2019-07-01 12:20:35 +00:00
|
|
|
if(alloc3_desc(idx) == 0) {
|
2019-06-13 10:49:02 +00:00
|
|
|
break;
|
2019-07-01 12:20:35 +00:00
|
|
|
}
|
2019-08-12 11:20:32 +00:00
|
|
|
sleep(&disk.free[0], &disk.vdisk_lock);
|
2019-06-13 10:49:02 +00:00
|
|
|
}
|
2020-10-04 13:21:03 +00:00
|
|
|
|
2019-06-13 10:49:02 +00:00
|
|
|
// format the three descriptors.
|
|
|
|
// qemu's virtio-blk.c reads them.
|
|
|
|
|
2020-10-05 10:59:33 +00:00
|
|
|
struct virtio_blk_req *buf0 = &disk.ops[idx[0]];
|
2019-06-13 10:49:02 +00:00
|
|
|
|
2019-07-29 21:33:16 +00:00
|
|
|
if(write)
|
2020-10-05 10:59:33 +00:00
|
|
|
buf0->type = VIRTIO_BLK_T_OUT; // write the disk
|
2019-06-13 10:49:02 +00:00
|
|
|
else
|
2020-10-05 10:59:33 +00:00
|
|
|
buf0->type = VIRTIO_BLK_T_IN; // read the disk
|
|
|
|
buf0->reserved = 0;
|
|
|
|
buf0->sector = sector;
|
|
|
|
|
|
|
|
disk.desc[idx[0]].addr = (uint64) buf0;
|
|
|
|
disk.desc[idx[0]].len = sizeof(struct virtio_blk_req);
|
2019-08-12 11:20:32 +00:00
|
|
|
disk.desc[idx[0]].flags = VRING_DESC_F_NEXT;
|
|
|
|
disk.desc[idx[0]].next = idx[1];
|
2019-06-13 10:49:02 +00:00
|
|
|
|
2019-08-12 11:20:32 +00:00
|
|
|
disk.desc[idx[1]].addr = (uint64) b->data;
|
|
|
|
disk.desc[idx[1]].len = BSIZE;
|
2019-07-29 21:33:16 +00:00
|
|
|
if(write)
|
2019-08-12 11:20:32 +00:00
|
|
|
disk.desc[idx[1]].flags = 0; // device reads b->data
|
2019-06-13 10:49:02 +00:00
|
|
|
else
|
2019-08-12 11:20:32 +00:00
|
|
|
disk.desc[idx[1]].flags = VRING_DESC_F_WRITE; // device writes b->data
|
|
|
|
disk.desc[idx[1]].flags |= VRING_DESC_F_NEXT;
|
|
|
|
disk.desc[idx[1]].next = idx[2];
|
2019-06-13 10:49:02 +00:00
|
|
|
|
2020-10-04 13:21:03 +00:00
|
|
|
disk.info[idx[0]].status = 0xff; // device writes 0 on success
|
2019-08-12 11:20:32 +00:00
|
|
|
disk.desc[idx[2]].addr = (uint64) &disk.info[idx[0]].status;
|
|
|
|
disk.desc[idx[2]].len = 1;
|
|
|
|
disk.desc[idx[2]].flags = VRING_DESC_F_WRITE; // device writes the status
|
|
|
|
disk.desc[idx[2]].next = 0;
|
2019-06-13 10:49:02 +00:00
|
|
|
|
|
|
|
// record struct buf for virtio_disk_intr().
|
2019-07-30 16:53:19 +00:00
|
|
|
b->disk = 1;
|
2019-08-12 11:20:32 +00:00
|
|
|
disk.info[idx[0]].b = b;
|
2019-06-13 10:49:02 +00:00
|
|
|
|
2020-10-05 10:26:58 +00:00
|
|
|
// tell the device the first index in our chain of descriptors.
|
|
|
|
disk.avail->ring[disk.avail->idx % NUM] = idx[0];
|
2020-10-04 13:21:03 +00:00
|
|
|
|
|
|
|
__sync_synchronize();
|
|
|
|
|
2020-10-05 10:26:58 +00:00
|
|
|
// tell the device another avail ring entry is available.
|
|
|
|
disk.avail->idx += 1; // not % NUM ...
|
2020-10-04 13:21:03 +00:00
|
|
|
|
2019-06-13 10:49:02 +00:00
|
|
|
__sync_synchronize();
|
|
|
|
|
|
|
|
*R(VIRTIO_MMIO_QUEUE_NOTIFY) = 0; // value is queue number
|
|
|
|
|
|
|
|
// Wait for virtio_disk_intr() to say request has finished.
|
2019-07-30 16:53:19 +00:00
|
|
|
while(b->disk == 1) {
|
2019-08-12 11:20:32 +00:00
|
|
|
sleep(b, &disk.vdisk_lock);
|
2019-06-13 10:49:02 +00:00
|
|
|
}
|
|
|
|
|
2019-08-12 11:20:32 +00:00
|
|
|
disk.info[idx[0]].b = 0;
|
2019-07-30 12:13:03 +00:00
|
|
|
free_chain(idx[0]);
|
|
|
|
|
2019-08-12 11:20:32 +00:00
|
|
|
release(&disk.vdisk_lock);
|
2019-06-13 10:49:02 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
void
|
|
|
|
virtio_disk_intr()
|
|
|
|
{
|
2019-08-12 11:20:32 +00:00
|
|
|
acquire(&disk.vdisk_lock);
|
2019-06-13 10:49:02 +00:00
|
|
|
|
2020-10-05 10:26:58 +00:00
|
|
|
// the device won't raise another interrupt until we tell it
|
|
|
|
// we've seen this interrupt, which the following line does.
|
|
|
|
// this may race with the device writing new entries to
|
|
|
|
// the "used" ring, in which case we may process the new
|
|
|
|
// completion entries in this interrupt, and have nothing to do
|
|
|
|
// in the next interrupt, which is harmless.
|
2020-10-04 13:21:03 +00:00
|
|
|
*R(VIRTIO_MMIO_INTERRUPT_ACK) = *R(VIRTIO_MMIO_INTERRUPT_STATUS) & 0x3;
|
|
|
|
|
|
|
|
__sync_synchronize();
|
|
|
|
|
2020-10-05 10:26:58 +00:00
|
|
|
// the device increments disk.used->idx when it
|
|
|
|
// adds an entry to the used ring.
|
|
|
|
|
|
|
|
while(disk.used_idx != disk.used->idx){
|
2020-10-04 13:21:03 +00:00
|
|
|
__sync_synchronize();
|
2020-10-05 10:26:58 +00:00
|
|
|
int id = disk.used->ring[disk.used_idx % NUM].id;
|
2019-06-13 13:40:17 +00:00
|
|
|
|
2019-08-12 11:20:32 +00:00
|
|
|
if(disk.info[id].status != 0)
|
2019-06-13 13:40:17 +00:00
|
|
|
panic("virtio_disk_intr status");
|
2019-06-13 10:49:02 +00:00
|
|
|
|
2020-10-04 13:21:03 +00:00
|
|
|
struct buf *b = disk.info[id].b;
|
|
|
|
b->disk = 0; // disk is done with buf
|
|
|
|
wakeup(b);
|
|
|
|
|
|
|
|
disk.used_idx += 1;
|
2019-06-13 10:49:02 +00:00
|
|
|
}
|
|
|
|
|
2019-08-12 11:20:32 +00:00
|
|
|
release(&disk.vdisk_lock);
|
2019-06-13 10:49:02 +00:00
|
|
|
}
|