summaryrefslogtreecommitdiffstats
path: root/doc/coding-standard.tex
blob: ed9d920eccf0d77a7e461d33c457e354e9c53df9 (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
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
\documentclass{article}[12pt]
\usepackage{color}

\begin{document}


\hrule
\begin{center}\textbf{\Large{GlusterFS Coding Standards}}\end{center}
\begin{center}\textbf{\large{\textcolor{red}{Z} Research}}\end{center}
\begin{center}{July 14, 2008}\end{center}
\hrule

\vspace{8ex}

\section*{$\bullet$ Structure definitions should have a comment per member}

Every member in a structure definition must have a comment about its
purpose. The comment should be descriptive without being overly verbose.

\vspace{2ex}
\textsl{Bad}:

\begin{verbatim}
        gf_lock_t   lock;           /* lock */
\end{verbatim}

\textsl{Good}:

\begin{verbatim}
        DBTYPE      access_mode;    /* access mode for accessing 
                                     * the databases, can be
                                     * DB_HASH, DB_BTREE
                                     * (option access-mode <mode>)
                                     */
\end{verbatim}

\section*{$\bullet$ Declare all variables at the beginning of the function}
All local variables in a function must be declared immediately after the
opening brace. This makes it easy to keep track of memory that needs to be freed
during exit. It also helps debugging, since gdb cannot handle variables
declared inside loops or other such blocks.

\section*{$\bullet$ Always initialize local variables}
Every local variable should be initialized to a sensible default value
at the point of its declaration. All pointers should be initialized to NULL,
and all integers should be zero or (if it makes sense) an error value.

\vspace{2ex}

\textsl{Good}:

\begin{verbatim}
        int ret       = 0;
        char *databuf = NULL;
        int _fd       = -1;
\end{verbatim}

\section*{$\bullet$ Initialization should always be done with a constant value}
Never use a non-constant expression as the initialization value for a variable.

\vspace{2ex}

\textsl{Bad}:

\begin{verbatim}
        pid_t pid     = frame->root->pid;
        char *databuf = malloc (1024);
\end{verbatim}

\section*{$\bullet$ Validate all arguments to a function}
All pointer arguments to a function must be checked for \texttt{NULL}.
A macro named \texttt{VALIDATE} (in \texttt{common-utils.h}) 
takes one argument, and if it is \texttt{NULL}, writes a log message and
jumps to a label called \texttt{err} after setting op\_ret and op\_errno
appropriately. It is recommended to use this template.

\vspace{2ex}

\textsl{Good}:

\begin{verbatim}
        VALIDATE(frame);
        VALIDATE(this);
        VALIDATE(inode);
\end{verbatim}

\section*{$\bullet$ Never rely on precedence of operators}
Never write code that relies on the precedence of operators to execute
correctly.  Such code can be hard to read and someone else might not
know the precedence of operators as accurately as you do.
\vspace{2ex}

\textsl{Bad}:

\begin{verbatim}
        if (op_ret == -1 && errno != ENOENT)
\end{verbatim}

\textsl{Good}:

\begin{verbatim}
        if ((op_ret == -1) && (errno != ENOENT))
\end{verbatim}

\section*{$\bullet$ Use exactly matching types}
Use a variable of the exact type declared in the manual to hold the
return value of a function. Do not use an ``equivalent'' type.

\vspace{2ex}

\textsl{Bad}:

\begin{verbatim}
        int len = strlen (path);
\end{verbatim}

\textsl{Good}:

\begin{verbatim}
        size_t len = strlen (path);
\end{verbatim}

\section*{$\bullet$ Never write code such as \texttt{foo->bar->baz}; check every pointer}
Do not write code that blindly follows a chain of pointer
references. Any pointer in the chain may be \texttt{NULL} and thus
cause a crash. Verify that each pointer is non-null before following
it.

\section*{$\bullet$ Check return value of all functions and system calls}
The return value of all system calls and API functions must be checked
for success or failure.

\vspace{2ex}
\textsl{Bad}:

\begin{verbatim}
        close (fd);
\end{verbatim}

\textsl{Good}:

\begin{verbatim}
        op_ret = close (_fd);
        if (op_ret == -1) {
                gf_log (this->name, GF_LOG_ERROR, 
                        "close on file %s failed (%s)", real_path, 
                        strerror (errno));
                op_errno = errno;
                goto out;
        }
\end{verbatim}


\section*{$\bullet$ Gracefully handle failure of malloc}
GlusterFS should never crash or exit due to lack of memory. If a
memory allocation fails, the call should be unwound and an error
returned to the user.

\section*{$\bullet$ Use result args and reserve the return value to indicate success or failure}
The return value of every functions must indicate success or failure (unless 
it is impossible for the function to fail --- e.g., boolean functions). If 
the function needs to return additional data, it must be returned using a 
result (pointer) argument.

\vspace{2ex}
\textsl{Bad}:

\begin{verbatim}
        int32_t dict_get_int32 (dict_t *this, char *key);
\end{verbatim}

\textsl{Good}:

\begin{verbatim}
        int dict_get_int32 (dict_t *this, char *key, int32_t *val);
\end{verbatim}

\section*{$\bullet$ Always use the `n' versions of string functions}
Unless impossible, use the length-limited versions of the string functions.

\vspace{2ex}
\textsl{Bad}:

\begin{verbatim}
        strcpy (entry_path, real_path);
\end{verbatim}

\textsl{Good}:

\begin{verbatim}
        strncpy (entry_path, real_path, entry_path_len);
\end{verbatim}

\section*{$\bullet$ No dead or commented code}
There must be no dead code (code to which control can never be passed) or 
commented out code in the codebase.

\section*{$\bullet$ Only one unwind and return per function}
There must be only one exit out of a function. \texttt{UNWIND} and return 
should happen at only point in the function.

\section*{$\bullet$ Keep functions small}
Try to keep functions small. Two to three screenfulls (80 lines per screen) is
considered a reasonable limit. If a function is very long, try splitting it
into many little helper functions.

\vspace{2ex}
\textsl{Example for a helper function}:
\begin{verbatim}
        static int
        same_owner (posix_lock_t *l1, posix_lock_t *l2)
        {
                return ((l1->client_pid == l2->client_pid) &&
                       (l1->transport  == l2->transport));
        }
\end{verbatim}

\section*{Style issues}

\subsection*{Brace placement}
Use K\&R/Linux style of brace placement for blocks.

\textsl{Example}:
\begin{verbatim}
        int some_function (...)
        {
                if (...) {
                        /* ... */
                } else if (...) {
                        /* ... */
                } else {
                        /* ... */
                }

                do {
                        /* ... */
                } while (cond);
        }
\end{verbatim}

\subsection*{Indentation}
Use \textbf{eight} spaces for indenting blocks. Ensure that your
file contains only spaces and not tab characters. You can do this
in Emacs by selecting the entire file (\texttt{C-x h}) and
running \texttt{M-x untabify}.

To make Emacs indent lines automatically by eight spaces, add this
line to your \texttt{.emacs}:

\begin{verbatim}
        (add-hook 'c-mode-hook (lambda () (c-set-style "linux")))
\end{verbatim}

\subsection*{Comments}
Write a comment before every function describing its purpose (one-line),
its arguments, and its return value. Mention whether it is an internal
function or an exported function.

Write a comment before every structure describing its purpose, and
write comments about each of its members.

Follow the style shown below for comments, since such comments
can then be automatically extracted by doxygen to generate
documentation.

\textsl{Example}:
\begin{verbatim}
/**
 * hash_name -hash function for filenames
 * @par:  parent inode number
 * @name: basename of inode
 * @mod:  number of buckets in the hashtable
 *
 * @return: success: bucket number
 *          failure: -1
 *
 * Not for external use.
 */
\end{verbatim}

\subsection*{Indicating critical sections}
To clearly show regions of code which execute with locks held, use 
the following format:

\begin{verbatim}
        pthread_mutex_lock (&mutex);
        {
                /* code */
        }
        pthread_mutex_unlock (&mutex);
\end{verbatim}

\section*{A skeleton fop function}
This is the recommended template for any fop. In the beginning come
the initializations. After that, the `success' control flow should be
linear.  Any error conditions should cause a \texttt{goto} to a single
point, \texttt{out}.  At that point, the code should detect the error
that has occured and do appropriate cleanup.

\begin{verbatim}
int32_t 
sample_fop (call_frame_t *frame,
            xlator_t *this,
            ...)
{
        char *            var1     = NULL;
        int32_t           op_ret   = -1;
        int32_t           op_errno = 0;
        DIR *             dir      = NULL;
        struct posix_fd * pfd      = NULL;

        VALIDATE_OR_GOTO (frame, out);
        VALIDATE_OR_GOTO (this, out);

        /* other validations */
        
        dir = opendir (...);

        if (dir == NULL) {
                op_errno = errno;
                gf_log (this->name, GF_LOG_ERROR, 
                        "opendir failed on %s (%s)", loc->path, 
                        strerror (op_errno));
                goto out;
        }

        /* another system call */
        if (...) {
                op_errno = ENOMEM;
                gf_log (this->name, GF_LOG_ERROR,
                        "out of memory :(");
                goto out;
        }

        /* ... */

 out:
        if (op_ret == -1) {

          /* check for all the cleanup that needs to be
             done */

                if (dir) {
                        closedir (dir);
                        dir = NULL;
                }     
        
                if (pfd) {
                        if (pfd->path)
                                FREE (pfd->path);
                        FREE (pfd);
                        pfd = NULL;
                }
        }

        STACK_UNWIND (frame, op_ret, op_errno, fd);
        return 0;
}
\end{verbatim}

\end{document}