如何解决在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。
版权声明:本文内容由互联网用户自发贡献,该文观点与技术仅代表作者本人。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如发现本站有涉嫌侵权/违法违规的内容, 请发送邮件至 dio@foxmail.com 举报,一经查实,本站将立刻删除。