documentation/graphs/fsm_sii.dot
author Martin Troxler <ch1010277@ch10pc446>
Mon, 14 Mar 2011 16:08:25 +0100
changeset 2044 1ae0491b2f6b
parent 1804 742607c464c4
child 2513 e60c68f33e4f
permissions -rw-r--r--
fixed race condition when comparing datagram state
EC_DATAGRAM_QUEUED must be compared before EC_DATAGRAM_SENT because it might change in between

/* $Id$ */

digraph sii {

    start_reading [fontname="Helvetica"]
    start_reading -> read_check [weight=5]

    read_check [fontname="Helvetica"]
    read_check -> error
    read_check -> read_fetch [weight=5]

    read_fetch [fontname="Helvetica"]
    read_fetch -> error
    read_fetch -> end [weight=5]
    read_fetch -> read_fetch

    start_writing [fontname="Helvetica"]
    start_writing -> write_check [weight=5]

    write_check [fontname="Helvetica"]
    write_check -> error
    write_check -> write_check2 [weight=5]

    write_check2 [fontname="Helvetica"]
    write_check2 -> error
    write_check2 -> end [weight=5]
    write_check2 -> write_check2

    end [fontname="Helvetica"]

    error [fontname="Helvetica"]
}