annotate src/file.c @ 0:53676d1f5817 default tip

firsh commit
author tobaru
date Sun, 04 Feb 2018 17:54:49 +0900
parents
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
0
53676d1f5817 firsh commit
tobaru
parents:
diff changeset
1 //
53676d1f5817 firsh commit
tobaru
parents:
diff changeset
2 // File descriptors
53676d1f5817 firsh commit
tobaru
parents:
diff changeset
3 //
53676d1f5817 firsh commit
tobaru
parents:
diff changeset
4
53676d1f5817 firsh commit
tobaru
parents:
diff changeset
5 #include "types.h"
53676d1f5817 firsh commit
tobaru
parents:
diff changeset
6 #include "defs.h"
53676d1f5817 firsh commit
tobaru
parents:
diff changeset
7 #include "param.h"
53676d1f5817 firsh commit
tobaru
parents:
diff changeset
8 #include "fs.h"
53676d1f5817 firsh commit
tobaru
parents:
diff changeset
9 #include "file.h"
53676d1f5817 firsh commit
tobaru
parents:
diff changeset
10 #include "spinlock.h"
53676d1f5817 firsh commit
tobaru
parents:
diff changeset
11
53676d1f5817 firsh commit
tobaru
parents:
diff changeset
12 struct devsw devsw[NDEV];
53676d1f5817 firsh commit
tobaru
parents:
diff changeset
13 struct {
53676d1f5817 firsh commit
tobaru
parents:
diff changeset
14 struct spinlock lock;
53676d1f5817 firsh commit
tobaru
parents:
diff changeset
15 struct file file[NFILE];
53676d1f5817 firsh commit
tobaru
parents:
diff changeset
16 } ftable;
53676d1f5817 firsh commit
tobaru
parents:
diff changeset
17
53676d1f5817 firsh commit
tobaru
parents:
diff changeset
18 void fileinit (void)
53676d1f5817 firsh commit
tobaru
parents:
diff changeset
19 {
53676d1f5817 firsh commit
tobaru
parents:
diff changeset
20 initlock(&ftable.lock, "ftable");
53676d1f5817 firsh commit
tobaru
parents:
diff changeset
21 }
53676d1f5817 firsh commit
tobaru
parents:
diff changeset
22
53676d1f5817 firsh commit
tobaru
parents:
diff changeset
23 // Allocate a file structure.
53676d1f5817 firsh commit
tobaru
parents:
diff changeset
24 struct file* filealloc (void)
53676d1f5817 firsh commit
tobaru
parents:
diff changeset
25 {
53676d1f5817 firsh commit
tobaru
parents:
diff changeset
26 struct file *f;
53676d1f5817 firsh commit
tobaru
parents:
diff changeset
27
53676d1f5817 firsh commit
tobaru
parents:
diff changeset
28 acquire(&ftable.lock);
53676d1f5817 firsh commit
tobaru
parents:
diff changeset
29
53676d1f5817 firsh commit
tobaru
parents:
diff changeset
30 for (f = ftable.file; f < ftable.file + NFILE; f++) {
53676d1f5817 firsh commit
tobaru
parents:
diff changeset
31 if (f->ref == 0) {
53676d1f5817 firsh commit
tobaru
parents:
diff changeset
32 f->ref = 1;
53676d1f5817 firsh commit
tobaru
parents:
diff changeset
33 release(&ftable.lock);
53676d1f5817 firsh commit
tobaru
parents:
diff changeset
34 return f;
53676d1f5817 firsh commit
tobaru
parents:
diff changeset
35 }
53676d1f5817 firsh commit
tobaru
parents:
diff changeset
36 }
53676d1f5817 firsh commit
tobaru
parents:
diff changeset
37
53676d1f5817 firsh commit
tobaru
parents:
diff changeset
38 release(&ftable.lock);
53676d1f5817 firsh commit
tobaru
parents:
diff changeset
39 return 0;
53676d1f5817 firsh commit
tobaru
parents:
diff changeset
40 }
53676d1f5817 firsh commit
tobaru
parents:
diff changeset
41
53676d1f5817 firsh commit
tobaru
parents:
diff changeset
42 // Increment ref count for file f.
53676d1f5817 firsh commit
tobaru
parents:
diff changeset
43 struct file* filedup (struct file *f)
53676d1f5817 firsh commit
tobaru
parents:
diff changeset
44 {
53676d1f5817 firsh commit
tobaru
parents:
diff changeset
45 acquire(&ftable.lock);
53676d1f5817 firsh commit
tobaru
parents:
diff changeset
46
53676d1f5817 firsh commit
tobaru
parents:
diff changeset
47 if (f->ref < 1) {
53676d1f5817 firsh commit
tobaru
parents:
diff changeset
48 panic("filedup");
53676d1f5817 firsh commit
tobaru
parents:
diff changeset
49 }
53676d1f5817 firsh commit
tobaru
parents:
diff changeset
50
53676d1f5817 firsh commit
tobaru
parents:
diff changeset
51 f->ref++;
53676d1f5817 firsh commit
tobaru
parents:
diff changeset
52 release(&ftable.lock);
53676d1f5817 firsh commit
tobaru
parents:
diff changeset
53 return f;
53676d1f5817 firsh commit
tobaru
parents:
diff changeset
54 }
53676d1f5817 firsh commit
tobaru
parents:
diff changeset
55
53676d1f5817 firsh commit
tobaru
parents:
diff changeset
56 // Close file f. (Decrement ref count, close when reaches 0.)
53676d1f5817 firsh commit
tobaru
parents:
diff changeset
57 void fileclose (struct file *f)
53676d1f5817 firsh commit
tobaru
parents:
diff changeset
58 {
53676d1f5817 firsh commit
tobaru
parents:
diff changeset
59 struct file ff;
53676d1f5817 firsh commit
tobaru
parents:
diff changeset
60
53676d1f5817 firsh commit
tobaru
parents:
diff changeset
61 acquire(&ftable.lock);
53676d1f5817 firsh commit
tobaru
parents:
diff changeset
62
53676d1f5817 firsh commit
tobaru
parents:
diff changeset
63 if (f->ref < 1) {
53676d1f5817 firsh commit
tobaru
parents:
diff changeset
64 panic("fileclose");
53676d1f5817 firsh commit
tobaru
parents:
diff changeset
65 }
53676d1f5817 firsh commit
tobaru
parents:
diff changeset
66
53676d1f5817 firsh commit
tobaru
parents:
diff changeset
67 if (--f->ref > 0) {
53676d1f5817 firsh commit
tobaru
parents:
diff changeset
68 release(&ftable.lock);
53676d1f5817 firsh commit
tobaru
parents:
diff changeset
69 return;
53676d1f5817 firsh commit
tobaru
parents:
diff changeset
70 }
53676d1f5817 firsh commit
tobaru
parents:
diff changeset
71
53676d1f5817 firsh commit
tobaru
parents:
diff changeset
72 ff = *f;
53676d1f5817 firsh commit
tobaru
parents:
diff changeset
73 f->ref = 0;
53676d1f5817 firsh commit
tobaru
parents:
diff changeset
74 f->type = FD_NONE;
53676d1f5817 firsh commit
tobaru
parents:
diff changeset
75 release(&ftable.lock);
53676d1f5817 firsh commit
tobaru
parents:
diff changeset
76
53676d1f5817 firsh commit
tobaru
parents:
diff changeset
77 if (ff.type == FD_PIPE) {
53676d1f5817 firsh commit
tobaru
parents:
diff changeset
78 pipeclose(ff.pipe, ff.writable);
53676d1f5817 firsh commit
tobaru
parents:
diff changeset
79
53676d1f5817 firsh commit
tobaru
parents:
diff changeset
80 } else if (ff.type == FD_INODE) {
53676d1f5817 firsh commit
tobaru
parents:
diff changeset
81 begin_trans();
53676d1f5817 firsh commit
tobaru
parents:
diff changeset
82 iput(ff.ip);
53676d1f5817 firsh commit
tobaru
parents:
diff changeset
83 commit_trans();
53676d1f5817 firsh commit
tobaru
parents:
diff changeset
84 }
53676d1f5817 firsh commit
tobaru
parents:
diff changeset
85 }
53676d1f5817 firsh commit
tobaru
parents:
diff changeset
86
53676d1f5817 firsh commit
tobaru
parents:
diff changeset
87 // Get metadata about file f.
53676d1f5817 firsh commit
tobaru
parents:
diff changeset
88 int filestat (struct file *f, struct stat *st)
53676d1f5817 firsh commit
tobaru
parents:
diff changeset
89 {
53676d1f5817 firsh commit
tobaru
parents:
diff changeset
90 if (f->type == FD_INODE) {
53676d1f5817 firsh commit
tobaru
parents:
diff changeset
91 ilock(f->ip);
53676d1f5817 firsh commit
tobaru
parents:
diff changeset
92 stati(f->ip, st);
53676d1f5817 firsh commit
tobaru
parents:
diff changeset
93 iunlock(f->ip);
53676d1f5817 firsh commit
tobaru
parents:
diff changeset
94
53676d1f5817 firsh commit
tobaru
parents:
diff changeset
95 return 0;
53676d1f5817 firsh commit
tobaru
parents:
diff changeset
96 }
53676d1f5817 firsh commit
tobaru
parents:
diff changeset
97
53676d1f5817 firsh commit
tobaru
parents:
diff changeset
98 return -1;
53676d1f5817 firsh commit
tobaru
parents:
diff changeset
99 }
53676d1f5817 firsh commit
tobaru
parents:
diff changeset
100
53676d1f5817 firsh commit
tobaru
parents:
diff changeset
101 // Read from file f.
53676d1f5817 firsh commit
tobaru
parents:
diff changeset
102 int fileread (struct file *f, char *addr, int n)
53676d1f5817 firsh commit
tobaru
parents:
diff changeset
103 {
53676d1f5817 firsh commit
tobaru
parents:
diff changeset
104 int r;
53676d1f5817 firsh commit
tobaru
parents:
diff changeset
105
53676d1f5817 firsh commit
tobaru
parents:
diff changeset
106 if (f->readable == 0) {
53676d1f5817 firsh commit
tobaru
parents:
diff changeset
107 return -1;
53676d1f5817 firsh commit
tobaru
parents:
diff changeset
108 }
53676d1f5817 firsh commit
tobaru
parents:
diff changeset
109
53676d1f5817 firsh commit
tobaru
parents:
diff changeset
110 if (f->type == FD_PIPE) {
53676d1f5817 firsh commit
tobaru
parents:
diff changeset
111 return piperead(f->pipe, addr, n);
53676d1f5817 firsh commit
tobaru
parents:
diff changeset
112 }
53676d1f5817 firsh commit
tobaru
parents:
diff changeset
113
53676d1f5817 firsh commit
tobaru
parents:
diff changeset
114 if (f->type == FD_INODE) {
53676d1f5817 firsh commit
tobaru
parents:
diff changeset
115 ilock(f->ip);
53676d1f5817 firsh commit
tobaru
parents:
diff changeset
116
53676d1f5817 firsh commit
tobaru
parents:
diff changeset
117 if ((r = readi(f->ip, addr, f->off, n)) > 0) {
53676d1f5817 firsh commit
tobaru
parents:
diff changeset
118 f->off += r;
53676d1f5817 firsh commit
tobaru
parents:
diff changeset
119 }
53676d1f5817 firsh commit
tobaru
parents:
diff changeset
120
53676d1f5817 firsh commit
tobaru
parents:
diff changeset
121 iunlock(f->ip);
53676d1f5817 firsh commit
tobaru
parents:
diff changeset
122
53676d1f5817 firsh commit
tobaru
parents:
diff changeset
123 return r;
53676d1f5817 firsh commit
tobaru
parents:
diff changeset
124 }
53676d1f5817 firsh commit
tobaru
parents:
diff changeset
125
53676d1f5817 firsh commit
tobaru
parents:
diff changeset
126 panic("fileread");
53676d1f5817 firsh commit
tobaru
parents:
diff changeset
127 }
53676d1f5817 firsh commit
tobaru
parents:
diff changeset
128
53676d1f5817 firsh commit
tobaru
parents:
diff changeset
129 //PAGEBREAK!
53676d1f5817 firsh commit
tobaru
parents:
diff changeset
130 // Write to file f.
53676d1f5817 firsh commit
tobaru
parents:
diff changeset
131 int filewrite (struct file *f, char *addr, int n)
53676d1f5817 firsh commit
tobaru
parents:
diff changeset
132 {
53676d1f5817 firsh commit
tobaru
parents:
diff changeset
133 int r;
53676d1f5817 firsh commit
tobaru
parents:
diff changeset
134 int i;
53676d1f5817 firsh commit
tobaru
parents:
diff changeset
135 int max;
53676d1f5817 firsh commit
tobaru
parents:
diff changeset
136 int n1;
53676d1f5817 firsh commit
tobaru
parents:
diff changeset
137
53676d1f5817 firsh commit
tobaru
parents:
diff changeset
138 if (f->writable == 0) {
53676d1f5817 firsh commit
tobaru
parents:
diff changeset
139 return -1;
53676d1f5817 firsh commit
tobaru
parents:
diff changeset
140 }
53676d1f5817 firsh commit
tobaru
parents:
diff changeset
141
53676d1f5817 firsh commit
tobaru
parents:
diff changeset
142 if (f->type == FD_PIPE) {
53676d1f5817 firsh commit
tobaru
parents:
diff changeset
143 return pipewrite(f->pipe, addr, n);
53676d1f5817 firsh commit
tobaru
parents:
diff changeset
144 }
53676d1f5817 firsh commit
tobaru
parents:
diff changeset
145
53676d1f5817 firsh commit
tobaru
parents:
diff changeset
146 if (f->type == FD_INODE) {
53676d1f5817 firsh commit
tobaru
parents:
diff changeset
147 // write a few blocks at a time to avoid exceeding
53676d1f5817 firsh commit
tobaru
parents:
diff changeset
148 // the maximum log transaction size, including
53676d1f5817 firsh commit
tobaru
parents:
diff changeset
149 // i-node, indirect block, allocation blocks,
53676d1f5817 firsh commit
tobaru
parents:
diff changeset
150 // and 2 blocks of slop for non-aligned writes.
53676d1f5817 firsh commit
tobaru
parents:
diff changeset
151 // this really belongs lower down, since writei()
53676d1f5817 firsh commit
tobaru
parents:
diff changeset
152 // might be writing a device like the console.
53676d1f5817 firsh commit
tobaru
parents:
diff changeset
153 max = ((LOGSIZE - 1 - 1 - 2) / 2) * 512;
53676d1f5817 firsh commit
tobaru
parents:
diff changeset
154 i = 0;
53676d1f5817 firsh commit
tobaru
parents:
diff changeset
155
53676d1f5817 firsh commit
tobaru
parents:
diff changeset
156 while (i < n) {
53676d1f5817 firsh commit
tobaru
parents:
diff changeset
157 n1 = n - i;
53676d1f5817 firsh commit
tobaru
parents:
diff changeset
158
53676d1f5817 firsh commit
tobaru
parents:
diff changeset
159 if (n1 > max) {
53676d1f5817 firsh commit
tobaru
parents:
diff changeset
160 n1 = max;
53676d1f5817 firsh commit
tobaru
parents:
diff changeset
161 }
53676d1f5817 firsh commit
tobaru
parents:
diff changeset
162
53676d1f5817 firsh commit
tobaru
parents:
diff changeset
163 begin_trans();
53676d1f5817 firsh commit
tobaru
parents:
diff changeset
164 ilock(f->ip);
53676d1f5817 firsh commit
tobaru
parents:
diff changeset
165
53676d1f5817 firsh commit
tobaru
parents:
diff changeset
166 if ((r = writei(f->ip, addr + i, f->off, n1)) > 0) {
53676d1f5817 firsh commit
tobaru
parents:
diff changeset
167 f->off += r;
53676d1f5817 firsh commit
tobaru
parents:
diff changeset
168 }
53676d1f5817 firsh commit
tobaru
parents:
diff changeset
169
53676d1f5817 firsh commit
tobaru
parents:
diff changeset
170 iunlock(f->ip);
53676d1f5817 firsh commit
tobaru
parents:
diff changeset
171 commit_trans();
53676d1f5817 firsh commit
tobaru
parents:
diff changeset
172
53676d1f5817 firsh commit
tobaru
parents:
diff changeset
173 if (r < 0) {
53676d1f5817 firsh commit
tobaru
parents:
diff changeset
174 break;
53676d1f5817 firsh commit
tobaru
parents:
diff changeset
175 }
53676d1f5817 firsh commit
tobaru
parents:
diff changeset
176
53676d1f5817 firsh commit
tobaru
parents:
diff changeset
177 if (r != n1) {
53676d1f5817 firsh commit
tobaru
parents:
diff changeset
178 panic("short filewrite");
53676d1f5817 firsh commit
tobaru
parents:
diff changeset
179 }
53676d1f5817 firsh commit
tobaru
parents:
diff changeset
180
53676d1f5817 firsh commit
tobaru
parents:
diff changeset
181 i += r;
53676d1f5817 firsh commit
tobaru
parents:
diff changeset
182 }
53676d1f5817 firsh commit
tobaru
parents:
diff changeset
183
53676d1f5817 firsh commit
tobaru
parents:
diff changeset
184 return i == n ? n : -1;
53676d1f5817 firsh commit
tobaru
parents:
diff changeset
185 }
53676d1f5817 firsh commit
tobaru
parents:
diff changeset
186
53676d1f5817 firsh commit
tobaru
parents:
diff changeset
187 panic("filewrite");
53676d1f5817 firsh commit
tobaru
parents:
diff changeset
188 }
53676d1f5817 firsh commit
tobaru
parents:
diff changeset
189