在erlang中同步外部状态例如从db

问题描述

比方说，有一个在线售票网，有100张售票。 如果可能有很多请求同时购买票证，则存在竞争状况的风险，因为可能有2（或更多）请求同时尝试购买最后一张票证。并且，如果软件计算已售出的票数，则计数器可能会同时返回两个请求而返回99（因此剩下一张票）。 因此，该软件可能会出售101张票（而不是仅售100张票）。 在大多数命令式语言中，您可能会使用诸如“ synchronized”之类的关键字（例如，在Java中），以确保计数和出售是“原子”操作，在上一个请求完成处理之前，其他任何请求都无法进入，对吧？

但是，您将如何在erlang中做到这一点？

我的意思是函数中没有“状态”，对吗？而且很多请求可以同时进入，从已经售出的票（例如从数据库）算起的柜台获得数字99。

那么，使用erlang的方式是什么？

解决方法

Erlang中的原子操作

Erlang进程不共享其内存，因此不需要同步访问每个进程的内存。
ETS（允许共享访问）在大多数方法中都具有ACID属性，例如ets:update_counter/3
另外，由于仅将ETS用于计数器会产生大量开销，因此OTP21中为shared atomic integers提供了一个更底层的接口

前进的方向（这是主观的意思）

通常，方法是开始使用单个进程（或其中的一个池），利用参与者模型+消息传递来提供原子性。由于进程负责其自身的内存，因此其内部没有竞争条件。在您的示例中，这意味着每个商店都有一个流程，客户与之互动。

多数情况下这是不够的（抢占式调度/域拆分令人惊奇），但如果不是这样，您将探索基于ETS /基于原子的解决方案（原子操作不是有关ETS和原子的唯一有趣的特性，它们也有其他用途）

外部状态

我特意省略了对“外部”状态的任何引用，因为您必须开始处理现实世界：多个节点，崩溃的节点，网络分裂...而“同步”并不能解决您的问题。 同步分布式状态需要更多的工作，有时复杂性不值得，有时这种复杂性转移到另一个系统，例如DB。