help-hurd
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Asynchronous state machines


From: Rich Bodo
Subject: Asynchronous state machines
Date: Tue, 27 Aug 2002 19:49:14 -0700 (PDT)

Hi,

        This is rambling, possibly OT stuff so please ignore and
        forgive my intrusion if so.

        I used to know stuff.  Like how to diagram two cooperating
        asynchronous state machines and make sure they communicated
        consistently.  There was this cool class I took where we would
        make diagrams into tables into equations into silicon.  That
        was long ago.  Then, more recently, I found Spin, a protocol
        verification program.  I didn't have time to read the book.

        Recently, I decided that my time was being wasted by of the
        fact that most protocols I use are not verified, and most
        programs I use with complex state machines have never even had
        their state machines documented.  So I thought, "Hey, the hurd
        guys (and gals) must have been / are going through some pretty
        hairy examples of these same problems; I should ask them."

        Well, here I am.  I probably need to RTFM, but...

        Have anyone diagrammed the HURD state machines?  Verified the
        consistency of the same?  Am I nuts and possibly shooting
        e-mail to the wrong list (that I'm not even subscribed to)?

        Thank you.

-Rich

Rich Bodo | address@hidden | 650-964-4678





reply via email to

[Prev in Thread] Current Thread [Next in Thread]