How to design a state machine in face of non-blocking I/O?

[piotr.dobrogost]

I created sketches of current design and the one you're proposing to be able to visually compare one with the other. In addition to .png files I'm attaching zipped source of these sketches in .dia format in case someone would like to use/modify them easily in open source Dia application.

al.current.png - the design of the state machine I'm using currently

al.new.user.png - the one of the two state machines you are proposing, controlling user actions

al.new.network.png - the one of the two state machines you are proposing, controlling network state

I haven't put any transitions nor events in the sketches of the design you are proposing because I don't understand notation you used in your sketches. See my previous post.