summaryrefslogtreecommitdiff
path: root/src/kernel/vfs/request.c
blob: 99d2e2ca7985f8689aa5fd2831f561784cfc1714 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
#include <kernel/mem/alloc.h>
#include <kernel/mem/virt.h>
#include <kernel/panic.h>
#include <kernel/proc.h>
#include <kernel/vfs/request.h>
#include <kernel/vfs/root.h>
#include <shared/mem.h>

int vfs_request_create(struct vfs_request req_) {
	struct vfs_request *req;

	if (req_.caller) {
		/* if the request has an explicit caller (isn't a close() call)
		 * it's owned by said caller
		 *
		 * it would be simpler if all requests were owned by the backend.
		 * i might end up changing that eventually. TODO? */
		process_transition(req_.caller, PS_WAITS4FS);
		req_.caller->waits4fs.req = req_;
		req = &req_.caller->waits4fs.req;
	} else {
		/* requests without explicit callers (close() calls) are owned by the
		 * backend, and freed in vfs_request_finish or vfs_request_cancel */
		req = kmalloc(sizeof *req);
		memcpy(req, &req_, sizeof *req);
	}

	if (!req->backend || !req->backend->potential_handlers)
		return vfs_request_finish(req, -1);

	switch (req->backend->type) {
		case VFS_BACK_ROOT:
			return vfs_root_handler(req);
		case VFS_BACK_USER: {
			struct vfs_request **iter = &req->backend->queue;
			while (*iter != NULL) // find free spot in queue
				iter = &(*iter)->queue_next;
			*iter = req;

			vfs_backend_accept(req->backend);
			return -1; // isn't passed to the caller process anyways
		}
		default:
			panic_invalid_state();
	}
}

int vfs_backend_accept(struct vfs_backend *backend) {
	struct vfs_request *req = backend->queue;
	struct process *handler = backend->handler;
	struct fs_wait_response res = {0};
	int len = 0;

	if (!handler) return -1;
	assert(handler->state == PS_WAITS4REQUEST);
	assert(!handler->handled_req);

	if (!req) return -1;
	backend->queue = req->queue_next;

	if (req->input.buf) {
		len = min(req->input.len, handler->awaited_req.max_len);
		if (!virt_cpy(handler->pages, handler->awaited_req.buf, 
					req->input.kern ? NULL : req->caller->pages, req->input.buf, len))
			goto fail; // can't copy buffer
	}

	res.len      = len;
	res.capacity = req->output.len;
	res.id       = req->id;
	res.offset   = req->offset;
	res.op       = req->type;

	if (!virt_cpy_to(handler->pages,
				handler->awaited_req.res, &res, sizeof res))
		goto fail; // can't copy response struct

	process_transition(handler, PS_RUNNING);
	handler->handled_req = req;
	req->backend->handler = NULL;
	regs_savereturn(&handler->regs, 0);
	return 0;
fail:
	panic_unimplemented(); // TODO
}

int vfs_request_finish(struct vfs_request *req, int ret) {
	if (req->type == VFSOP_OPEN && ret >= 0) {
		// open() calls need special handling
		// we need to wrap the id returned by the VFS in a handle passed to
		// the client
		assert(req->caller);
		handle_t handle = process_find_handle(req->caller, 0);
		if (handle < 0)
			panic_invalid_state(); // we check for free handles before the open() call

		struct handle *backing = handle_init(HANDLE_FILE);
		backing->file.backend = req->backend;
		backing->file.id = ret;
		req->caller->handles[handle] = backing;
		ret = handle;
	}

	if (req->input.kern)
		kfree(req->input.buf_kern);

	if (!req->caller) {
		kfree(req); // ok, this stinks. see comment at top of file
		return 0;
	}

	assert(req->caller->state == PS_WAITS4FS || req->caller->state == PS_WAITS4IRQ);
	regs_savereturn(&req->caller->regs, ret);
	process_transition(req->caller, PS_RUNNING);
	return ret;
}

void vfs_request_cancel(struct vfs_request *req, int ret) {
	if (!req->caller) {
		kfree(req);
		return;
	}

	assert(req->caller->state == PS_WAITS4FS);

	if (req->input.kern)
		kfree(req->input.buf_kern);

	// ret must always be negative, so it won't be confused with a success
	if (ret > 0) ret = -ret;
	if (ret == 0) ret = -1;
	regs_savereturn(&req->caller->regs, ret);
	process_transition(req->caller, PS_RUNNING);
}