#include <stdio.h>
#include <string.h>
#include <sys/types.h>
#ifndef NO_DRAND48
#include <stdlib.h>
#endif
#include "pppd.h"
#include "fsm.h"
static void fsm_timeout __P((void *));
static void fsm_rconfreq __P((fsm *, int, u_char *, int));
static void fsm_rconfack __P((fsm *, int, u_char *, int));
static void fsm_rconfnakrej __P((fsm *, int, int, u_char *, int));
static void fsm_rtermreq __P((fsm *, int, u_char *, int));
static void fsm_rtermack __P((fsm *));
static void fsm_rcoderej __P((fsm *, u_char *, int));
static void fsm_sconfreq __P((fsm *, int));
#define PROTO_NAME(f) ((f)->callbacks->proto_name)
static int peer_mru[NUM_PPP];
const char *
fsm_state(int statenum)
{
static const char *fsm_states[] = { FSM__STATES };
static char buf[32];
if (statenum < 0 || statenum >= Dim(fsm_states)) {
(void) slprintf(buf, sizeof (buf), "unknown#%d", statenum);
return buf;
}
return fsm_states[statenum];
}
void
fsm_init(f)
fsm *f;
{
f->state = INITIAL;
f->flags = 0;
f->id = (uchar_t)(drand48() * 0xFF);
f->timeouttime = DEFTIMEOUT;
f->maxconfreqtransmits = DEFMAXCONFREQS;
f->maxtermtransmits = DEFMAXTERMREQS;
f->maxnakloops = DEFMAXNAKLOOPS;
f->term_reason_len = 0;
}
void
fsm_lowerup(f)
fsm *f;
{
switch( f->state ){
case INITIAL:
f->state = CLOSED;
break;
case STARTING:
if( f->flags & OPT_SILENT )
f->state = STOPPED;
else {
fsm_sconfreq(f, 0);
f->state = REQSENT;
}
break;
default:
error("%s: Up event in state %s", PROTO_NAME(f), fsm_state(f->state));
}
}
void
fsm_lowerdown(f)
fsm *f;
{
switch( f->state ){
case CLOSED:
f->state = INITIAL;
break;
case STOPPED:
f->state = STARTING;
if (f->callbacks->starting != NULL)
(*f->callbacks->starting)(f);
break;
case CLOSING:
f->state = INITIAL;
UNTIMEOUT(fsm_timeout, f);
break;
case STOPPING:
case REQSENT:
case ACKRCVD:
case ACKSENT:
f->state = STARTING;
UNTIMEOUT(fsm_timeout, f);
break;
case OPENED:
f->state = STARTING;
if (f->callbacks->down != NULL)
(*f->callbacks->down)(f);
break;
default:
dbglog("%s: Down event in state %s", PROTO_NAME(f),
fsm_state(f->state));
}
}
void
fsm_open(f)
fsm *f;
{
switch( f->state ){
case INITIAL:
f->state = STARTING;
if (f->callbacks->starting != NULL)
(*f->callbacks->starting)(f);
break;
case CLOSED:
if( f->flags & OPT_SILENT )
f->state = STOPPED;
else {
fsm_sconfreq(f, 0);
f->state = REQSENT;
}
break;
case CLOSING:
f->state = STOPPING;
case STOPPING:
case STOPPED:
case OPENED:
if( f->flags & OPT_RESTART ){
fsm_lowerdown(f);
fsm_lowerup(f);
}
break;
case STARTING:
case REQSENT:
case ACKRCVD:
case ACKSENT:
break;
}
}
void
fsm_close(f, reason)
fsm *f;
char *reason;
{
int prevstate = f->state;
f->term_reason = reason;
f->term_reason_len = (reason == NULL? 0: strlen(reason));
switch( f->state ){
case STARTING:
f->state = INITIAL;
if (f->callbacks->finished != NULL)
(*f->callbacks->finished)(f);
break;
case STOPPED:
f->state = CLOSED;
break;
case STOPPING:
f->state = CLOSING;
break;
case REQSENT:
case ACKRCVD:
case ACKSENT:
case OPENED:
f->state = CLOSING;
if (prevstate != OPENED )
UNTIMEOUT(fsm_timeout, f);
else if (f->callbacks->down != NULL)
(*f->callbacks->down)(f);
f->retransmits = f->maxtermtransmits;
fsm_sdata(f, CODE_TERMREQ, f->reqid = ++f->id,
(u_char *) f->term_reason, f->term_reason_len);
TIMEOUT(fsm_timeout, f, f->timeouttime);
--f->retransmits;
break;
case INITIAL:
case CLOSED:
case CLOSING:
break;
}
}
static void
fsm_timeout(arg)
void *arg;
{
fsm *f = (fsm *) arg;
switch (f->state) {
case CLOSING:
case STOPPING:
if( f->retransmits <= 0 ){
f->state = (f->state == CLOSING)? CLOSED: STOPPED;
if (f->callbacks->finished != NULL)
(*f->callbacks->finished)(f);
} else {
fsm_sdata(f, CODE_TERMREQ, f->reqid = ++f->id,
(u_char *) f->term_reason, f->term_reason_len);
TIMEOUT(fsm_timeout, f, f->timeouttime);
--f->retransmits;
}
break;
case REQSENT:
case ACKRCVD:
case ACKSENT:
if (f->retransmits <= 0) {
warn("%s: timeout sending Config-Requests\n", PROTO_NAME(f));
f->state = STOPPED;
if (!(f->flags & OPT_PASSIVE) && f->callbacks->finished != NULL)
(*f->callbacks->finished)(f);
} else {
if (f->callbacks->retransmit != NULL)
(*f->callbacks->retransmit)(f);
fsm_sconfreq(f, 1);
if( f->state == ACKRCVD )
f->state = REQSENT;
}
break;
default:
fatal("%s: Timeout event in state %s!", PROTO_NAME(f),
fsm_state(f->state));
}
}
void
fsm_input(f, inpacket, l)
fsm *f;
u_char *inpacket;
int l;
{
u_char *inp;
u_char code, id;
int len;
inp = inpacket;
if (l < HEADERLEN) {
error("%s packet: discard; too small (%d < %d)", PROTO_NAME(f), l,
HEADERLEN);
return;
}
GETCHAR(code, inp);
GETCHAR(id, inp);
GETSHORT(len, inp);
if (len < HEADERLEN) {
error("%s packet: discard; invalid length (%d < %d)", PROTO_NAME(f),
len, HEADERLEN);
return;
}
if (len > l) {
error("%s packet: discard; truncated (%d > %d)", PROTO_NAME(f), len,
l);
return;
}
len -= HEADERLEN;
if (f->state == INITIAL || f->state == STARTING) {
dbglog("%s: discarded packet in state %s", PROTO_NAME(f),
fsm_state(f->state));
return;
}
switch (code) {
case CODE_CONFREQ:
fsm_rconfreq(f, id, inp, len);
break;
case CODE_CONFACK:
fsm_rconfack(f, id, inp, len);
break;
case CODE_CONFNAK:
case CODE_CONFREJ:
fsm_rconfnakrej(f, code, id, inp, len);
break;
case CODE_TERMREQ:
fsm_rtermreq(f, id, inp, len);
break;
case CODE_TERMACK:
fsm_rtermack(f);
break;
case CODE_CODEREJ:
fsm_rcoderej(f, inp, len);
break;
default:
if (f->callbacks->extcode == NULL ||
!(*f->callbacks->extcode)(f, code, id, inp, len))
fsm_sdata(f, CODE_CODEREJ, ++f->id, inpacket, len + HEADERLEN);
break;
}
}
static void
fsm_rconfreq(f, id, inp, len)
fsm *f;
u_char id;
u_char *inp;
int len;
{
int code, reject_if_disagree;
switch( f->state ){
case CLOSED:
fsm_sdata(f, CODE_TERMACK, id, NULL, 0);
return;
case CLOSING:
case STOPPING:
dbglog("%s: discarded Configure-Request in state %s", PROTO_NAME(f),
fsm_state(f->state));
return;
case OPENED:
if (f->callbacks->down != NULL)
(*f->callbacks->down)(f);
break;
}
#ifdef DEBUG
if (inp >= outpacket_buf && inp < outpacket_buf+PPP_MRU+PPP_HDRLEN)
fatal("bad pointer");
#endif
if (f->callbacks->reqci != NULL) {
reject_if_disagree = (f->nakloops >= f->maxnakloops);
code = (*f->callbacks->reqci)(f, inp, &len, reject_if_disagree);
} else if (len > 0)
code = CODE_CONFREJ;
else
code = CODE_CONFACK;
if (code <= 0)
return;
if (f->state == OPENED || f->state == STOPPED)
fsm_sconfreq(f, 0);
fsm_sdata(f, code, id, inp, len);
if (code == CODE_CONFACK) {
if (f->state == ACKRCVD) {
UNTIMEOUT(fsm_timeout, f);
f->state = OPENED;
if (f->callbacks->up != NULL)
(*f->callbacks->up)(f);
} else
f->state = ACKSENT;
f->nakloops = 0;
} else {
if (f->state != ACKRCVD)
f->state = REQSENT;
if( code == CODE_CONFNAK )
++f->nakloops;
}
}
static void
fsm_rconfack(f, id, inp, len)
fsm *f;
int id;
u_char *inp;
int len;
{
if (id != f->reqid || f->seen_ack)
return;
if( !(f->callbacks->ackci != NULL ? (*f->callbacks->ackci)(f, inp, len):
(len == 0)) ){
error("Received bad configure-ack: %P", inp, len);
return;
}
f->seen_ack = 1;
switch (f->state) {
case CLOSED:
case STOPPED:
fsm_sdata(f, CODE_TERMACK, id, NULL, 0);
break;
case REQSENT:
f->state = ACKRCVD;
f->retransmits = f->maxconfreqtransmits;
break;
case ACKRCVD:
UNTIMEOUT(fsm_timeout, f);
fsm_sconfreq(f, 0);
f->state = REQSENT;
break;
case ACKSENT:
UNTIMEOUT(fsm_timeout, f);
f->state = OPENED;
f->retransmits = f->maxconfreqtransmits;
if (f->callbacks->up != NULL)
(*f->callbacks->up)(f);
break;
case OPENED:
fsm_sconfreq(f, 0);
f->state = REQSENT;
if (f->callbacks->down != NULL)
(*f->callbacks->down)(f);
break;
}
}
static void
fsm_rconfnakrej(f, code, id, inp, len)
fsm *f;
int code, id;
u_char *inp;
int len;
{
int (*proc) __P((fsm *, u_char *, int));
int ret;
if (id != f->reqid || f->seen_ack)
return;
proc = (code == CODE_CONFNAK)? f->callbacks->nakci: f->callbacks->rejci;
if (proc == NULL || !(ret = proc(f, inp, len))) {
error("Received bad configure-nak/rej: %P", inp, len);
return;
}
f->seen_ack = 1;
switch (f->state) {
case CLOSED:
case STOPPED:
fsm_sdata(f, CODE_TERMACK, id, NULL, 0);
break;
case REQSENT:
case ACKSENT:
UNTIMEOUT(fsm_timeout, f);
if (ret < 0)
f->state = STOPPED;
else
fsm_sconfreq(f, 0);
break;
case ACKRCVD:
UNTIMEOUT(fsm_timeout, f);
fsm_sconfreq(f, 0);
f->state = REQSENT;
break;
case OPENED:
fsm_sconfreq(f, 0);
f->state = REQSENT;
if (f->callbacks->down != NULL)
(*f->callbacks->down)(f);
break;
}
}
static void
fsm_rtermreq(f, id, p, len)
fsm *f;
int id;
u_char *p;
int len;
{
switch (f->state) {
case ACKRCVD:
case ACKSENT:
f->state = REQSENT;
break;
case OPENED:
if (len > 0) {
info("%s terminated by peer (%0.*v)", PROTO_NAME(f), len, p);
} else {
info("%s terminated by peer", PROTO_NAME(f));
}
f->state = STOPPING;
if (f->callbacks->down != NULL)
(*f->callbacks->down)(f);
f->retransmits = 0;
TIMEOUT(fsm_timeout, f, f->timeouttime);
break;
}
fsm_sdata(f, CODE_TERMACK, id, NULL, 0);
}
static void
fsm_rtermack(f)
fsm *f;
{
switch (f->state) {
case CLOSING:
UNTIMEOUT(fsm_timeout, f);
f->state = CLOSED;
if (f->callbacks->finished != NULL)
(*f->callbacks->finished)(f);
break;
case STOPPING:
UNTIMEOUT(fsm_timeout, f);
f->state = STOPPED;
if (f->callbacks->finished != NULL)
(*f->callbacks->finished)(f);
break;
case ACKRCVD:
f->state = REQSENT;
break;
case OPENED:
fsm_sconfreq(f, 0);
f->state = REQSENT;
if (f->callbacks->down != NULL)
(*f->callbacks->down)(f);
break;
}
}
static void
fsm_rcoderej(f, inp, len)
fsm *f;
u_char *inp;
int len;
{
u_char code, id;
int seriouserr;
if (len < HEADERLEN) {
error("%s: Code-Reject too short (%d < %d)", PROTO_NAME(f), len,
HEADERLEN);
return;
}
GETCHAR(code, inp);
GETCHAR(id, inp);
len -= 2;
warn("%s: Rcvd Code-Reject for %s id %d", PROTO_NAME(f),
code_name(code,0), id);
setbit(f->codemask, code);
if (f->callbacks->codereject != NULL) {
seriouserr = (*f->callbacks->codereject)(f,code,id,inp,len);
} else {
seriouserr = (code >= CODE_CONFREQ && code <= CODE_CODEREJ);
}
if (seriouserr) {
switch (f->state) {
case CLOSING:
UNTIMEOUT(fsm_timeout, f);
case CLOSED:
f->state = CLOSED;
if (f->callbacks->finished != NULL)
(*f->callbacks->finished)(f);
break;
case STOPPING:
case REQSENT:
case ACKRCVD:
case ACKSENT:
UNTIMEOUT(fsm_timeout, f);
f->state = STOPPED;
case STOPPED:
if (f->callbacks->finished != NULL)
(*f->callbacks->finished)(f);
break;
case OPENED:
f->state = STOPPING;
if (f->callbacks->down != NULL)
(*f->callbacks->down)(f);
if (f->term_reason == NULL) {
f->term_reason = "unacceptable Code-Reject received";
f->term_reason_len = strlen(f->term_reason);
}
f->retransmits = f->maxtermtransmits;
fsm_sdata(f, CODE_TERMREQ, f->reqid = ++f->id,
(u_char *) f->term_reason, f->term_reason_len);
TIMEOUT(fsm_timeout, f, f->timeouttime);
--f->retransmits;
break;
default:
fatal("state error");
}
} else {
if (f->state == ACKRCVD)
f->state = REQSENT;
}
}
void
fsm_protreject(f)
fsm *f;
{
switch( f->state ){
case CLOSING:
UNTIMEOUT(fsm_timeout, f);
case CLOSED:
f->state = CLOSED;
if (f->callbacks->finished != NULL)
(*f->callbacks->finished)(f);
break;
case STOPPING:
case REQSENT:
case ACKRCVD:
case ACKSENT:
UNTIMEOUT(fsm_timeout, f);
case STOPPED:
f->state = STOPPED;
if (f->callbacks->finished != NULL)
(*f->callbacks->finished)(f);
break;
case OPENED:
f->state = STOPPING;
if (f->callbacks->down != NULL)
(*f->callbacks->down)(f);
f->retransmits = f->maxtermtransmits;
fsm_sdata(f, CODE_TERMREQ, f->reqid = ++f->id,
(u_char *) f->term_reason, f->term_reason_len);
TIMEOUT(fsm_timeout, f, f->timeouttime);
--f->retransmits;
break;
default:
dbglog("%s: Protocol-Reject in state %s", PROTO_NAME(f),
fsm_state(f->state));
}
}
static void
fsm_sconfreq(f, retransmit)
fsm *f;
int retransmit;
{
u_char *outp;
int cilen;
if( f->state != REQSENT && f->state != ACKRCVD && f->state != ACKSENT ){
if (f->callbacks->resetci != NULL)
(*f->callbacks->resetci)(f);
f->nakloops = 0;
}
if( !retransmit ){
f->retransmits = f->maxconfreqtransmits;
f->reqid = ++f->id;
}
f->seen_ack = 0;
outp = outpacket_buf + PPP_HDRLEN + HEADERLEN;
if (f->callbacks->cilen != NULL) {
cilen = (*f->callbacks->cilen)(f);
if (cilen > peer_mru[f->unit] - HEADERLEN)
cilen = peer_mru[f->unit] - HEADERLEN;
} else {
cilen = peer_mru[f->unit] - HEADERLEN;
}
if (f->callbacks->addci != NULL)
(*f->callbacks->addci)(f, outp, &cilen);
else
cilen = 0;
fsm_sdata(f, CODE_CONFREQ, f->reqid, outp, cilen);
--f->retransmits;
TIMEOUT(fsm_timeout, f, f->timeouttime);
}
void
fsm_sdata(f, code, id, data, datalen)
fsm *f;
u_char code, id;
u_char *data;
int datalen;
{
u_char *outp;
int outlen;
if (isset(f->codemask,code)) {
dbglog("%s: Peer has rejected %s; not sending another",
PROTO_NAME(f), code_name(code,0));
return;
}
outp = outpacket_buf;
if (datalen > peer_mru[f->unit] - HEADERLEN)
datalen = peer_mru[f->unit] - HEADERLEN;
if (datalen && data != outp + PPP_HDRLEN + HEADERLEN)
BCOPY(data, outp + PPP_HDRLEN + HEADERLEN, datalen);
outlen = datalen + HEADERLEN;
MAKEHEADER(outp, f->protocol);
PUTCHAR(code, outp);
PUTCHAR(id, outp);
PUTSHORT(outlen, outp);
output(f->unit, outpacket_buf, outlen + PPP_HDRLEN);
}
void
fsm_setpeermru(unit, mru)
int unit;
int mru;
{
if (unit >= NUM_PPP) {
dbglog("fsm_setpeermru: unit out of bounds");
} else {
peer_mru[unit] = mru;
}
}