For _sessionid, my best idea was using a pointer. There should be no collision on the system.
Other ideas like random number generator or thread ids or hashes based on different things, add many dependencies and are not really better, if you want to minimize the overhead.
But I'm open for other ideas.
Adding the system variables
_name
and_sessionid
https://www.w3.org/TR/scxml/#SystemVariablesFor _
sessionid
, my best idea was using a pointer. There should be no collision on the system. Other ideas like random number generator or thread ids or hashes based on different things, add many dependencies and are not really better, if you want to minimize the overhead. But I'm open for other ideas.