This looks very interesting, but I still don&#x27;t get how do they avoid concurrency on the switch:<p>&quot;The switch cannot be concurrently accessed – reads and writes of the switch are strictly ordered&quot;. If not with a lock file, maybe a log-based architecture?