summaryrefslogtreecommitdiff
path: root/src/kernel/vfs/backend.c
blob: b9bc9af9c5705ff6cff6c27dda7c17a278b7f543 (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
#include <kernel/mem/alloc.h>
#include <kernel/panic.h>
#include <kernel/proc.h>
#include <kernel/vfs/backend.h>
#include <kernel/vfs/root.h>

// dispatches a VFS operation to the correct process
_Noreturn void vfs_backend_dispatch(struct vfs_backend *backend, struct vfs_op op) {
	struct vfs_op_request *req = kmalloc(sizeof *req); // freed in vfs_backend_finish
	int ret;
	*req = (struct vfs_op_request) {
		.op = op,
		.caller = process_current,
		.backend = backend,
	};

	switch (backend->type) {
		case VFS_BACK_ROOT:
			ret = vfs_root_handler(req);
			vfs_backend_finish(req, ret);
		case VFS_BACK_USER:
			process_current->state = PS_WAITS4FS;
			if (backend->handler == NULL) { 
				// backend isn't ready yet, join the queue
				assert(backend->queue == NULL); // TODO implement a proper queue

				backend->queue = process_current;
				process_current->pending_req = req;
				process_switch_any();
			} else {
				vfs_request_pass2handler(req);
			}
		default:
			panic();
	}
}

_Noreturn void vfs_request_pass2handler(struct vfs_op_request *req) {
	assert(req->backend->handler);
	assert(req->backend->handler->state == PS_WAITS4REQUEST);

	req->backend->handler->state = PS_RUNNING;
	// TODO pass the request to the process
	process_switch(req->backend->handler);
}

// returns from a VFS operation to the calling process
_Noreturn void vfs_backend_finish(struct vfs_op_request *req, int ret) {
	struct process *caller = req->caller;

	if (req->op.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
		handle_t handle = process_find_handle(req->caller);
		if (handle < 0) panic();
		req->caller->handles[handle] = (struct handle){
			.type = HANDLE_FILE,
			.file = {
				.backend = req->backend,
				.id = ret,
			},
		};
		ret = handle;
	}

	if (req->op.type == VFSOP_OPEN)
		kfree(req->op.open.path);

	req->caller->state = PS_RUNNING;
	regs_savereturn(&req->caller->regs, ret);
	kfree(req);
	process_switch(caller);
}