chiark / gitweb /
Merge from dmanual branch
[disorder] / server / deadlock.c
1 /*
2  * This file is part of DisOrder 
3  * Copyright (C) 2005, 2007, 2008 Richard Kettlewell
4  *
5  * This program is free software: you can redistribute it and/or modify
6  * it under the terms of the GNU General Public License as published by
7  * the Free Software Foundation, either version 3 of the License, or
8  * (at your option) any later version.
9  *
10  * This program is distributed in the hope that it will be useful,
11  * but WITHOUT ANY WARRANTY; without even the implied warranty of
12  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
13  * GNU General Public License for more details.
14  * 
15  * You should have received a copy of the GNU General Public License
16  * along with this program.  If not, see <http://www.gnu.org/licenses/>.
17  */
18 /** @file server/deadlock.c
19  * @brief Deadlock monitor
20  *
21  * Spawned by the server.
22  */
23 #include "disorder-server.h"
24
25 static const struct option options[] = {
26   { "help", no_argument, 0, 'h' },
27   { "version", no_argument, 0, 'V' },
28   { "config", required_argument, 0, 'c' },
29   { "debug", no_argument, 0, 'd' },
30   { "no-debug", no_argument, 0, 'D' },
31   { "syslog", no_argument, 0, 's' },
32   { "no-syslog", no_argument, 0, 'S' },
33   { 0, 0, 0, 0 }
34 };
35
36 /* display usage message and terminate */
37 static void help(void) {
38   xprintf("Usage:\n"
39           "  disorder-deadlock [OPTIONS]\n"
40           "Options:\n"
41           "  --help, -h              Display usage message\n"
42           "  --version, -V           Display version number\n"
43           "  --config PATH, -c PATH  Set configuration file\n"
44           "  --debug, -d             Turn on debugging\n"
45           "  --[no-]syslog           Force logging\n"
46           "\n"
47           "Deadlock manager for DisOrder.  Not intended to be run\n"
48           "directly.\n");
49   xfclose(stdout);
50   exit(0);
51 }
52
53 int main(int argc, char **argv) {
54   int n, err, aborted, logsyslog = !isatty(2);
55
56   set_progname(argv);
57   if(!setlocale(LC_CTYPE, "")) disorder_fatal(errno, "error calling setlocale");
58   while((n = getopt_long(argc, argv, "hVc:dDSs", options, 0)) >= 0) {
59     switch(n) {
60     case 'h': help();
61     case 'V': version("disorder-deadlock");
62     case 'c': configfile = optarg; break;
63     case 'd': debugging = 1; break;
64     case 'D': debugging = 0; break;
65     case 'S': logsyslog = 0; break;
66     case 's': logsyslog = 1; break;
67     default: disorder_fatal(0, "invalid option");
68     }
69   }
70   if(logsyslog) {
71     openlog(progname, LOG_PID, LOG_DAEMON);
72     log_default = &log_syslog;
73   }
74   if(config_read(0, NULL)) disorder_fatal(0, "cannot read configuration");
75   disorder_info("started");
76   trackdb_init(TRACKDB_NO_RECOVER);
77   while(getppid() != 1) {
78     if((err = trackdb_env->lock_detect(trackdb_env,
79                                        0,
80                                        DB_LOCK_DEFAULT,
81                                        &aborted)))
82       disorder_fatal(0, "trackdb_env->lock_detect: %s", db_strerror(err));
83     if(aborted)
84       D(("aborted %d lock requests", aborted));
85     sleep(1);
86   }
87   /* if our parent goes away, it's time to stop */
88   disorder_info("stopped (parent terminated)");
89   return 0;
90 }
91
92 /*
93 Local Variables:
94 c-basic-offset:2
95 comment-column:40
96 fill-column:79
97 indent-tabs-mode:nil
98 End:
99 */