+/*========== handling responses from peer ==========*/
+
+static const oop_rd_style peer_rd_style= {
+ OOP_RD_DELIM_STRIP, '\n',
+ OOP_RD_NUL_FORBID,
+ OOP_RD_SHORTREC_FORBID
+};
+
+static void *peer_rd_err(oop_source *lp, oop_read *oread, oop_rd_event ev,
+ const char *errmsg, int errnoval,
+ const char *data, size_t recsz, void *conn_v) {
+ Conn *conn= conn_v;
+ connfail(conn, "error receiving from peer: %s", errmsg);
+ return OOP_CONTINUE;
+}
+
+static Article *article_reply_check(Conn *conn, const char *response,
+ int code_indicates_streaming,
+ int must_have_sent
+ /* 1:yes, -1:no, 0:dontcare */,
+ const char *sanitised_response) {
+ Article *art= LIST_HEAD(conn->sent);
+
+ if (!art) {
+ connfail(conn,
+ "peer gave unexpected response when no commands outstanding: %s",
+ sanitised_response);
+ return 0;
+ }
+
+ if (code_indicates_streaming) {
+ assert(!memchr(response, 0, 4)); /* ensured by peer_rd_ok */
+ if (!conn->stream) {
+ connfail(conn, "peer gave streaming response code "
+ " to IHAVE or subsequent body: %s", sanitised_response);
+ return 0;
+ }
+ const char *got_mid= response+4;
+ int got_midlen= strcspn(got_mid, " \n\r");
+ if (got_midlen<3 || got_mid[0]!='<' || got_mid[got_midlen-1]!='>') {
+ connfail(conn, "peer gave streaming response with syntactically invalid"
+ " messageid: %s", sanitised_response);
+ return 0;
+ }
+ if (got_midlen != art->midlen ||
+ memcmp(got_mid, art->messageid, got_midlen)) {
+ connfail(conn, "peer gave streaming response code to wrong article -"
+ " probable synchronisation problem; we offered: %s;"
+ " peer said: %s",
+ art->messageid, sanitised_response);
+ return 0;
+ }
+ } else {
+ if (conn->stream) {
+ connfail(conn, "peer gave non-streaming response code to"
+ " CHECK/TAKETHIS: %s", sanitised_response);
+ return 0;
+ }
+ }
+
+ if (must_have_sent>0 && art->state < art_Wanted) {
+ connfail(conn, "peer says article accepted but"
+ " we had not sent the body: %s", sanitised_response);
+ return 0;
+ }
+ if (must_have_sent<0 && art->state >= art_Wanted) {
+ connfail(conn, "peer says please sent the article but we just did: %s",
+ sanitised_response);
+ return 0;
+ }
+
+ Article *art_again= LIST_REMHEAD(conn->sent);
+ assert(art_again == art);
+ return art;
+}
+
+static void update_nocheck(int accepted) {
+ accept_proportion *= nocheck_decay;
+ accept_proportion += accepted * (1.0 - nocheck_decay);
+ int new_nocheck= accept_proportion >= nocheck_thresh;
+ if (new_nocheck && !nocheck_reported) {
+ notice("entering nocheck mode for the first time");
+ nocheck_reported= 1;
+ } else if (new_nocheck != nocheck) {
+ debug("nocheck mode %s", new_nocheck ? "start" : "stop");
+ }
+ nocheck= new_nocheck;
+}
+
+static void article_done(Conn *conn, Article *art, int whichcount) {
+ if (!art->missing) art->ipf->counts[art->state][whichcount]++;
+
+ if (whichcount == RC_accepted) update_nocheck(1);
+ else if (whichcount == RC_unwanted) update_nocheck(0);
+
+ InputFile *ipf= art->ipf;
+
+ while (art->blanklen) {
+ static const char spaces[]=
+ " "
+ " "
+ " "
+ " "
+ " "
+ " "
+ " "
+ " "
+ " ";
+ int w= art->blanklen; if (w >= sizeof(spaces)) w= sizeof(spaces)-1;
+ int r= pwrite(ipf->fd, spaces, w, art->offset);
+ if (r==-1) {
+ if (errno==EINTR) continue;
+ sysdie("failed to blank entry for %s (length %d at offset %lu) in %s",
+ art->messageid, art->blanklen,
+ (unsigned long)art->offset, ipf->path);
+ }
+ assert(r>=0 && r<=w);
+ art->blanklen -= w;
+ art->offset += w;
+ }
+
+ ipf->inprogress--;
+ assert(ipf->inprogress >= 0);
+ free(art);
+
+ if (!ipf->inprogress && ipf != main_input_file)
+ queue_check_input_done();
+}
+
+static void *peer_rd_ok(oop_source *lp, oop_read *oread, oop_rd_event ev,
+ const char *errmsg, int errnoval,
+ const char *data, size_t recsz, void *conn_v) {
+ Conn *conn= conn_v;
+
+ if (ev == OOP_RD_EOF) {
+ connfail(conn, "unexpected EOF from peer");
+ return OOP_CONTINUE;
+ }
+ assert(ev == OOP_RD_OK);
+
+ char *sani= sanitise(data);
+
+ char *ep;
+ unsigned long code= strtoul(data, &ep, 10);
+ if (ep != data+3 || *ep != ' ' || data[0]=='0') {
+ connfail(conn, "badly formatted response from peer: %s", sani);
+ return OOP_CONTINUE;
+ }
+
+ if (conn->quitting) {
+ if (code!=205 && code!=503) {
+ connfail(conn, "peer gave unexpected response to QUIT: %s", sani);
+ } else {
+ notice("C%d idle connection closed", conn->fd);
+ assert(!conn->waiting.count);
+ assert(!conn->priority.count);
+ assert(!conn->sent.count);
+ assert(!conn->xmitu);
+ LIST_REMOVE(conns,conn);
+ conn_dispose(conn);
+ }
+ return OOP_CONTINUE;
+ }
+
+ conn->since_activity= 0;
+ Article *art;
+
+#define GET_ARTICLE(musthavesent) \
+ art= article_reply_check(conn, data, code_streaming, musthavesent, sani); \
+ if (art) ; else return OOP_CONTINUE /* reply_check has failed the conn */
+
+#define ARTICLE_DEALTWITH(streaming,musthavesent,how) \
+ code_streaming= (streaming); \
+ GET_ARTICLE(musthavesent); \
+ article_done(conn, art, RC_##how); break;
+
+#define PEERBADMSG(m) connfail(conn, m ": %s", sani); return OOP_CONTINUE
+
+ int code_streaming= 0;
+
+ switch (code) {
+
+ case 400: PEERBADMSG("peer stopped accepting articles");
+ case 503: PEERBADMSG("peer timed us out");
+ default: PEERBADMSG("peer sent unexpected message");
+
+ case 435: ARTICLE_DEALTWITH(0,0,unwanted); /* IHAVE says they have it */
+ case 438: ARTICLE_DEALTWITH(1,0,unwanted); /* CHECK/TAKETHIS: they have it */
+
+ case 235: ARTICLE_DEALTWITH(0,1,accepted); /* IHAVE says thanks */
+ case 239: ARTICLE_DEALTWITH(1,1,accepted); /* TAKETHIS says thanks */
+
+ case 437: ARTICLE_DEALTWITH(0,0,rejected); /* IHAVE says rejected */
+ case 439: ARTICLE_DEALTWITH(1,0,rejected); /* TAKETHIS says rejected */
+
+ case 238: /* CHECK says send it */
+ code_streaming= 1;
+ case 335: /* IHAVE says send it */
+ GET_ARTICLE(-1);
+ assert(art->state == art_Unchecked);
+ art->ipf->counts[art->state][RC_accepted]++;
+ art->state= art_Wanted;
+ LIST_ADDTAIL(conn->priority, art);
+ break;
+
+ case 431: /* CHECK or TAKETHIS says try later */
+ code_streaming= 1;
+ case 436: /* IHAVE says try later */
+ GET_ARTICLE(0);
+ open_defer();
+ if (fprintf(defer, "%s %s\n", TokenToText(art->token), art->messageid) <0
+ || fflush(defer))
+ sysfatal("write to defer file %s",path_defer);
+ article_done(conn, art, RC_deferred);
+ break;
+
+ }
+
+ conn_maybe_write(conn);
+ check_assign_articles();
+ return OOP_CONTINUE;
+}
+
+
+/*========== monitoring of input files ==========*/
+
+static void feedfile_eof(InputFile *ipf) {
+ assert(ipf != main_input_file); /* promised by tailing_try_read */
+ inputfile_reading_stop(ipf);
+
+ if (ipf == flushing_input_file) {
+ assert(sms==sm_SEPARATED || sms==sm_DROPPING);
+ if (main_input_file) inputfile_reading_start(main_input_file);
+ statemc_check_flushing_done();
+ } else if (ipf == backlog_input_file) {
+ statemc_check_backlog_done();
+ } else {
+ abort(); /* supposed to wait rather than get EOF on main input file */
+ }
+}
+
+static InputFile *open_input_file(const char *path) {
+ int fd= open(path, O_RDWR);
+ if (fd<0) {
+ if (errno==ENOENT) return 0;
+ sysfatal("unable to open input file %s", path);
+ }
+ assert(fd>0);
+
+ InputFile *ipf= xmalloc(sizeof(*ipf) + strlen(path) + 1);
+ memset(ipf,0,sizeof(*ipf));
+
+ ipf->fd= fd;
+ strcpy(ipf->path, path);
+
+ return ipf;
+}
+
+static void close_input_file(InputFile *ipf) { /* does not free */
+ assert(!ipf->readable_callback); /* must have had ->on_cancel */
+ assert(!ipf->filemon); /* must have had inputfile_reading_stop */
+ assert(!ipf->rd); /* must have had inputfile_reading_stop */
+ assert(!ipf->inprogress); /* no dangling pointers pointing here */
+ xclose_perhaps(&ipf->fd, "input file ", ipf->path);
+}
+
+
+/*---------- dealing with articles read in the input file ----------*/
+
+static void *feedfile_got_bad_data(InputFile *ipf, off_t offset,
+ const char *data, const char *how) {
+ warn("corrupted file: %s, offset %lu: %s: in %s",
+ ipf->path, (unsigned long)offset, how, sanitise(data));
+ ipf->readcount_err++;
+ if (ipf->readcount_err > max_bad_data_initial +
+ (ipf->readcount_ok+ipf->readcount_blank) / max_bad_data_ratio)
+ die("too much garbage in input file! (%d errs, %d ok, %d blank)",
+ ipf->readcount_err, ipf->readcount_ok, ipf->readcount_blank);
+ return OOP_CONTINUE;
+}
+
+static void *feedfile_read_err(oop_source *lp, oop_read *rd,
+ oop_rd_event ev, const char *errmsg,
+ int errnoval, const char *data, size_t recsz,
+ void *ipf_v) {
+ InputFile *ipf= ipf_v;
+ assert(ev == OOP_RD_SYSTEM);
+ errno= errnoval;
+ sysdie("error reading input file: %s, offset %lu",
+ ipf->path, (unsigned long)ipf->offset);
+}
+
+static void *feedfile_got_article(oop_source *lp, oop_read *rd,
+ oop_rd_event ev, const char *errmsg,
+ int errnoval, const char *data, size_t recsz,
+ void *ipf_v) {
+ InputFile *ipf= ipf_v;
+ Article *art;
+ char tokentextbuf[sizeof(TOKEN)*2+3];
+
+ if (!data) { feedfile_eof(ipf); return OOP_CONTINUE; }
+
+ off_t old_offset= ipf->offset;
+ ipf->offset += recsz + 1;
+
+#define X_BAD_DATA(m) return feedfile_got_bad_data(ipf,old_offset,data,m);
+
+ if (ev==OOP_RD_PARTREC)
+ feedfile_got_bad_data(ipf,old_offset,data,"missing final newline");
+ /* but process it anyway */
+
+ if (ipf->skippinglong) {
+ if (ev==OOP_RD_OK) ipf->skippinglong= 0; /* fine now */
+ return OOP_CONTINUE;
+ }
+ if (ev==OOP_RD_LONG) {
+ ipf->skippinglong= 1;
+ X_BAD_DATA("overly long line");
+ }
+
+ if (memchr(data,'\0',recsz)) X_BAD_DATA("nul byte");
+ if (!recsz) X_BAD_DATA("empty line");
+
+ if (data[0]==' ') {
+ if (strspn(data," ") != recsz) X_BAD_DATA("line partially blanked");
+ ipf->readcount_blank++;
+ return OOP_CONTINUE;
+ }
+
+ char *space= strchr(data,' ');
+ int tokenlen= space-data;
+ int midlen= (int)recsz-tokenlen-1;
+ if (midlen <= 2) X_BAD_DATA("no room for messageid");
+ if (space[1]!='<' || space[midlen]!='>') X_BAD_DATA("invalid messageid");
+
+ if (tokenlen != sizeof(TOKEN)*2+2) X_BAD_DATA("token wrong length");
+ memcpy(tokentextbuf, data, tokenlen);
+ tokentextbuf[tokenlen]= 0;
+ if (!IsToken(tokentextbuf)) X_BAD_DATA("token wrong syntax");
+
+ ipf->readcount_ok++;
+
+ art= xmalloc(sizeof(*art) - 1 + midlen + 1);
+ art->state= art_Unchecked;
+ art->midlen= midlen;
+ art->ipf= ipf; ipf->inprogress++;
+ art->token= TextToToken(tokentextbuf);
+ art->offset= ipf->offset;
+ art->blanklen= recsz;
+ strcpy(art->messageid, space+1);
+ LIST_ADDTAIL(queue, art);
+
+ if (sms==sm_NORMAL && ipf==main_input_file &&
+ ipf->offset >= target_max_feedfile_size)
+ statemc_start_flush("feed file size");
+
+ check_assign_articles();
+ return OOP_CONTINUE;
+}
+
+/*========== tailing input file ==========*/
+
+static void *tailing_rable_call_time(oop_source *loop, struct timeval tv,
+ void *user) {
+ InputFile *ipf= user;
+ return ipf->readable_callback(loop, &ipf->readable,
+ ipf->readable_callback_user);
+}
+
+static void tailing_on_cancel(struct oop_readable *rable) {
+ InputFile *ipf= (void*)rable;
+
+ if (ipf->filemon) filemon_stop(ipf);
+ loop->cancel_time(loop, OOP_TIME_NOW, tailing_rable_call_time, ipf);
+ ipf->readable_callback= 0;
+}
+
+static void tailing_queue_readable(InputFile *ipf) {
+ /* lifetime of ipf here is OK because destruction will cause
+ * on_cancel which will cancel this callback */
+ loop->on_time(loop, OOP_TIME_NOW, tailing_rable_call_time, ipf);
+}
+
+static int tailing_on_readable(struct oop_readable *rable,
+ oop_readable_call *cb, void *user) {
+ InputFile *ipf= (void*)rable;
+
+ tailing_on_cancel(rable);
+ ipf->readable_callback= cb;
+ ipf->readable_callback_user= user;
+ filemon_start(ipf);
+
+ tailing_queue_readable(ipf);
+ return 0;
+}
+
+static ssize_t tailing_try_read(struct oop_readable *rable, void *buffer,
+ size_t length) {
+ InputFile *ipf= (void*)rable;
+ for (;;) {
+ ssize_t r= read(ipf->fd, buffer, length);
+ if (r==-1) {
+ if (errno==EINTR) continue;
+ return r;
+ }
+ if (!r) {
+ if (ipf==main_input_file) {
+ errno=EAGAIN;
+ return -1;
+ } else if (ipf==flushing_input_file) {
+ assert(ipf->rd);
+ assert(sms==sm_SEPARATED || sms==sm_DROPPING);
+ } else if (ipf==backlog_input_file) {
+ assert(ipf->rd);
+ } else {
+ abort();
+ }
+ }
+ tailing_queue_readable(ipf);
+ return r;
+ }
+}
+
+/*---------- filemon implemented with inotify ----------*/
+
+#if defined(HAVE_INOTIFY) && !defined(HAVE_FILEMON)
+#define HAVE_FILEMON
+
+#include <linux/inotify.h>
+
+static int filemon_inotify_fd;
+static int filemon_inotify_wdmax;
+static InputFile **filemon_inotify_wd2ipf;
+
+struct Filemon_Perfile {
+ int wd;
+};
+
+static void filemon_method_startfile(InputFile *ipf, Filemon_Perfile *pf) {
+ int wd= inotify_add_watch(filemon_inotify_fd, ipf->path, IN_MODIFY);
+ if (wd < 0) sysfatal("inotify_add_watch %s", ipf->path);
+
+ if (wd >= filemon_inotify_wdmax) {
+ int newmax= wd+2;
+ filemon_inotify_wd= xrealloc(filemon_inotify_wd2ipf,
+ sizeof(*filemon_inotify_wd2ipf) * newmax);
+ memset(filemon_inotify_wd2ipf + filemon_inotify_wdmax, 0,
+ sizeof(*filemon_inotify_wd2ipf) * (newmax - filemon_inotify_wdmax));
+ filemon_inotify_wdmax= newmax;
+ }
+
+ assert(!filemon_inotify_wd2ipf[wd]);
+ filemon_inotify_wd2ipf[wd]= ipf;
+
+ debug("filemon inotify startfile %p wd=%d wdmax=%d",
+ ipf, wd, filemon_inotify_wdmax);
+
+ pf->wd= wd;
+}
+
+static void filemon_method_stopfile(InputFile *ipf, Filemon_Perfile *pf) {
+ int wd= pf->wd;
+ debug("filemon inotify stopfile %p wd=%d", ipf, wd);
+ int r= inotify_rm_watch(filemon_inotify_fd, filemon_inotify_wd);
+ if (r) sysdie("inotify_rm_watch");
+ filemon_inotify_wd2ipf[wd]= 0;
+}
+
+static void *filemon_inotify_readable(oop_source *lp, int fd,
+ oop_event e, void *u) {
+ struct inotify_event iev;
+ for (;;) {
+ int r= read(filemon_inotify_fd, &iev, sizeof(iev));
+ if (r==-1) {
+ if (isewouldblock(errno)) break;
+ sysdie("read from inotify master");
+ } else if (r==sizeof(iev)) {
+ assert(iev.wd >= 0 && iev.wd < filemon_inotify_wdmax);
+ } else {
+ die("inotify read %d bytes wanted struct of %d", r, (int)sizeof(iev));
+ }
+ InputFile *ipf= filemon_inotify_wd2ipf[iev.wd];
+ debug("filemon inotify readable read %p wd=%p", iev.wd, ipf);
+ filemon_callback(ipf);
+ }
+ return OOP_CONTINUE;
+}
+
+static int filemon_method_init(void) {
+ filemon_inotify_fd= inotify_init();
+ if (filemon_inotify_fd<0) {
+ syswarn("could not initialise inotify: inotify_init failed");
+ return 0;
+ }
+ set nonblock;
+ loop->on_fd(loop, filemon_inotify_fd, OOP_READ, filemon_inotify_readable);
+
+ debug("filemon inotify init filemon_inotify_fd=%d", filemon_inotify_fd);
+ return 1;
+}
+
+#endif /* HAVE_INOTIFY && !HAVE_FILEMON */
+
+/*---------- filemon dummy implementation ----------*/
+
+#if !defined(HAVE_FILEMON)
+
+struct Filemon_Perfile { int dummy; };
+
+static int filemon_method_init(void) { return 0; }
+static void filemon_method_startfile(InputFile *ipf, Filemon_Perfile *pf) { }
+static void filemon_method_stopfile(InputFile *ipf, Filemon_Perfile *pf) { }
+
+#endif /* !HAVE_FILEMON */
+
+/*---------- filemon generic interface ----------*/
+
+static void filemon_start(InputFile *ipf) {
+ assert(!ipf->filemon);
+
+ ipf->filemon= xmalloc(sizeof(*ipf->filemon));
+ memset(ipf->filemon, 0, sizeof(*ipf->filemon));
+ filemon_method_startfile(ipf, ipf->filemon);
+}
+
+static void filemon_stop(InputFile *ipf) {
+ if (!ipf->filemon) return;
+ filemon_method_stopfile(ipf, ipf->filemon);
+ free(ipf->filemon);
+ ipf->filemon= 0;
+}
+
+static void filemon_callback(InputFile *ipf) {
+ if (ipf && ipf->readable_callback) /* so filepoll() can be naive */
+ ipf->readable_callback(loop, &ipf->readable, ipf->readable_callback_user);
+}
+
+/*---------- interface to start and stop an input file ----------*/
+
+static const oop_rd_style feedfile_rdstyle= {
+ OOP_RD_DELIM_STRIP, '\n',
+ OOP_RD_NUL_PERMIT,
+ OOP_RD_SHORTREC_LONG,
+};
+
+static void inputfile_reading_start(InputFile *ipf) {
+ assert(!ipf->rd);
+ ipf->readable.on_readable= tailing_on_readable;
+ ipf->readable.on_cancel= tailing_on_cancel;
+ ipf->readable.try_read= tailing_try_read;
+ ipf->readable.delete_tidy= 0; /* we never call oop_rd_delete_{tidy,kill} */
+ ipf->readable.delete_kill= 0;
+
+ ipf->readable_callback= 0;
+ ipf->readable_callback_user= 0;
+
+ ipf->rd= oop_rd_new(loop, &ipf->readable, 0,0);
+ assert(ipf->rd);
+
+ int r= oop_rd_read(ipf->rd, &feedfile_rdstyle, MAX_LINE_FEEDFILE,
+ feedfile_got_article,ipf, feedfile_read_err, ipf);
+ if (r) sysdie("unable start reading feedfile %s",ipf->path);
+}
+
+static void inputfile_reading_stop(InputFile *ipf) {
+ assert(ipf->rd);
+ oop_rd_cancel(ipf->rd);
+ oop_rd_delete(ipf->rd);
+ ipf->rd= 0;
+ assert(!ipf->filemon); /* we shouldn't be monitoring it now */
+}
+
+
+/*========== interaction with innd - state machine ==========*/
+
+/* See official state diagram at top of file. We implement
+ * this as follows:
+ * -8<-
+
+ .=======.
+ ||START||
+ `======='
+ |
+ | open F
+ |
+ | F ENOENT
+ |`---------------------------------------------------.
+ F OPEN OK | |
+ |`---------------- - - - |
+ D ENOENT | D EXISTS see OVERALL STATES diagram |
+ | for full startup logic |
+ ,--------->| |
+ | V |
+ | ============ try to |
+ | NORMAL open D |
+ | [Normal] |
+ | main F tail |
+ | ============ V
+ | | |
+ | | F IS SO BIG WE SHOULD FLUSH, OR TIMEOUT |
+ ^ | hardlink F to D |
+ | [Hardlinked] |
+ | | unlink F |
+ | | our handle onto F is now onto D |
+ | [Moved] |
+ | | |
+ | |<-------------------<---------------------<---------+
+ | | |
+ | | spawn inndcomm flush |
+ | V |
+ | ================== |
+ | FLUSHING[-ABSENT] |
+ | [Flushing] |
+ | main D tail/none |
+ | ================== |
+ | | |
+ | | INNDCOMM FLUSH FAILS ^
+ | |`----------------------->----------. |
+ | | | |
+ | | NO SUCH SITE V |
+ ^ |`--------------->----. ==================== |
+ | | \ FLUSHFAILED[-ABSENT] |
+ | | \ [Moved] |
+ | | FLUSH OK \ main D tail/none |
+ | | open F \ ==================== |
+ | | \ | |
+ | | \ | TIME TO RETRY |
+ | |`------->----. ,---<---'\ `----------------'
+ | | D NONE | | D NONE `----.
+ | V | | V
+ | ============= V V ============
+ | SEPARATED-1 | | DROPPING-1
+ | flsh->rd!=0 | | flsh->rd!=0
+ | [Separated] | | [Dropping]
+ | main F idle | | main none
+ | old D tail | | old D tail
+ | ============= | | ============
+ | | | | install |
+ ^ | EOF ON D | | defer | EOF ON D
+ | V | | V
+ | =============== | | ===============
+ | SEPARATED-2 | | DROPPING-2
+ | flsh->rd==0 | V flsh->rd==0
+ | [Finishing] | | [Dropping]
+ | main F tail | `. main none
+ | old D closed | `. old D closed
+ | =============== V `. ===============
+ | | `. |
+ | | ALL D PROCESSED `. | ALL D PROCESSED
+ | V install defer as backlog `. | install defer
+ ^ | close D `. | close D
+ | | unlink D `. | unlink D
+ | | | |
+ | | V V
+ `----------' ==============
+ DROPPED
+ [Dropped]
+ main none
+ old none
+ some backlog
+ ==============
+ |
+ | ALL BACKLOG DONE
+ |
+ | unlink lock
+ | exit
+ V
+ ==========
+ (ESRCH)
+ [Droppped]
+ ==========
+ * ->8-
+ */
+
+static void startup_set_input_file(InputFile *f) {
+ assert(!main_input_file);
+ main_input_file= f;
+ inputfile_reading_start(f);
+}
+
+static void statemc_lock(void) {
+ int lockfd;
+ struct stat stab, stabf;