系统架构设计之道,论如何构建一个资金账户系统

029a8b26d226950d87af0f2460f56e27.png

c4941b9aff729ff588cb3fd5f4fa5699.gif

👉导读

资金账户是互联网和金融业务中非常常见的系统,尤其是在电商、支付等业务中必不可少。资金账户系统本身其核心模块的整体架构往往并不复杂,但其对于资金安全和可用性的要求非常高,导致建设好一个资金账户系统并不容易。本文以笔者在实际工作中实现的资金账户系统为例,探讨了在资金账户系统设计和实现中会遇到的问题以及相应的解决方案。需要强调的是,笔者也是资金相关系统的入门者,本文目的是抛砖引玉,有误之处,还请大家多多指正、多多探讨、不吝指教,笔者不胜感激。

👉目录

1 什么是账户

2 什么是资金账户

3 实现一个支付资金账户系统

4 总结

01

什么是账户

我们先看看标准定义:账户是根据会计科目设置的,具有一定格式和结构,用于反映会计要素的增减变动情况及其结果的载体。

从业务视角来看账户其实就是用于记录某个主体的某类型资金的余额以及余额变动明细的数据载体。

如果从支付这块业务来看的话,账户是支付机构内部为其服务对象(用户、商户、银行等)创建的物理记录,这些记录包含了对象的关键信息,如机构为对象分配的唯一 ID、对象的余额、交易的流水、账户状态等等。 可以说账户是支付机构识别服务对象的根本,所有服务对象都必须要有账户。

综上所述,账户有3个关键的点:

账户余额:账户中的资金数目,这个账户有多少钱;

账户流水:这个账户资金进进出出的明细记录,任何余额的变动都需要记录流水;

交易凭证:用来记录交易过程的信息。

cb8d67ec799b1408e5759348b2189b74.jpeg

f0f8ba563bd025415ef2a288367f419b.jpeg

三者主要内容包括:

   1.1 余额

账户余额记录用户的资金数目,当发生交易时,会对余额进行更新操作。一般余额信息包括以下字段:

  • 账户 ID,这个 ID 有的平台会有编码规则,比如某些位用来区分个人或者商户,区分币种以及校验位等。

  • 币种。

  • 余额,一般使用币种最小单位。

  • 账户状态,比如是正常态、支付或者冻结等。

  • 余额版本号,这个字段非常重要,体现了余额的变化过程,是与流水进行关联的关键。


   1.2 流水

账户体系的目的是记账,仿佛只记录余额,对余额进行增删改查就可以了。但是这样做有两个弊端:1.没有办法体现出余额变化的过程。2.账户余额被篡改了没有办法追查。所以在记录余额的同时,还需要记录每一笔变化的过程,也就是账户的流水。

当余额发生变更时,需要同步记录流水,以此来跟踪余额的变化,流水信息一般包括如下内容:

  • 流水 ID。

  • 凭证 ID,一般是业务单号(如订单 ID、退款单 ID 等),也就是下面凭证中的 ID。

  • 发生金额。

  • 发生币种。

  • 起始余额。

  • 终止余额。

  • 余额版本号,与余额信息中的版本号字段对应。

  • 资金方向,标识是入账还是出账。

  • 源账户 ID。

  • 目的账户 ID。

  • 交易时间戳。

总体来看,流水和余额互为冗余数据,流水不仅可以有效地减少由于内部错误导致的账户余额错误的问题,也便于账户系统与其他外部系统进行对账,所以账户系统记录流水是非常必要的。


在设计账户流水时,有几个重要的原则必须遵守:

1. 流水记录只能新增,一旦记录成功不允许修改和删除。即使是由于正当原因需要取消一笔已经完成的交易,也不应该去删除交易流水。正确的做法是再记录一笔“取消交易”的流水。

2. 流水中的余额版本号必须是连续递增的,我们需要用余额版本号来确定交易的先后顺序(注意:不是通过交易时间戳)。

   1.3 凭证

凭证用来记录交易过程中的信息,是用户交易的依据。凭证对应到支付平台内部的各种单类,比如充值单、提现单、交易单等等。一般包括:凭证 ID、交易参与方、交易金额、交易类型、交易状态(比如支付中,支付成功,转退款等)、交易渠道等信息。

凭证单理论上可以放到业务层,不放在账户核心层,这样账户层就只有余额和流水。抓住了余额、流水这两个点我们基本就抓住了资金账户系统设计的核心了。

02

什么是资金账户系统

资金账户系统,简单的类比就是一个存折账本,即用户的每一笔资金变动全部在账本上反映出来。对于银行给我们开立的账户,称为银行账户;支付公司给我们开立的账户称为支付账户;电商平台给用户开立的账户称为电商虚拟账户;由于它不像银行一样真实地记录资金变动情况,只是将账记好而已,所以它是虚拟的而不是实体账户。

常见场景:微信的零钱账户、支付公司的商家账户、电商平台的推广佣金账户、余额账户等均属于虚拟账户。

第三方支付作为中立的第三方,截断了用户和商户的资金流,资金先从用户账户转移到第三方支付平台账户,得到双方确认后再从支付平台账户转移到商户账户。

支付平台为客户提供了资金流转以及结算等服务,必须建立自己独立的资金账户系统,以此来保证每个客户资金的准确性以及资金变动的可追溯性,这套资金账户系统在支付平台中成为“核心”,整体类似于银行的账户核心,但会比银行账户核心简单一些。

26ffb7de861411f4fb08822a0b5decab.jpeg


   2.1 资金账户系统的目的

账户的核心目的,就是将账记清楚,不能出现错计、漏记。同时在实际业务中,账户体系也可以解决特殊情况的业务,因为并不是所有的业务变动都会在业务中记录,但是却需要在账户系统中体现。

   2.2 资金账户系统的构成

一个账户体系一般分为账户结构和账务结构两部分;账户结构用于记录一个账户基本信息、类型、当前余额等;而账务结构则是用于记录每个业务对应的余额变动情况。这里好理解,说白了就是第一节中说的余额和流水在系统中各自对应的实体。

03

实现一个支付资金账户系统

笔者所在的是第三方支付业务涉及到在腾讯云的云原生生产环境搭建一套资金账户系统的需求。所以就自己工作过程中学习和了解到的内容谈谈我对于构建资金账户系统的理解。由于笔者也是资金相关系统的入门者和初学者,所以若有错漏之处,还请大家多多指正、多多探讨、不吝指教。

资金账户体系是支付交易的基础,就像电池对于手机,油罐对于加油站,心脏对于人体。那么这么核心的系统是不是很难设计呢?其实其核心思路恰恰不难,这也印证了那样一句话“大道至简”。

但资金账户系统也有其特殊要求:

  • 资金账户作为交易的基础,对于可用性的要求在整个支付系统中几乎是最高的级别。

  • 资金账户因为涉及资金安全,故而对于系统的安全性要求非常高。

  • 资金账户作为一种资金池形态,要严格做好其合规性。

当然,资金系统如何去落实这些要求,也需要根据实际情况和业务的要求进行相应的调整。而我们这个系统的目标:是要在腾讯云原生环境中建设一个资金账户系统。我们后面的所有内容,都会紧紧围绕着这个要求,追求既满足最佳实践要求,又不过度设计的原则。

   3.1 重要原则

由于资金账户系统本身属于会计范畴,故一定是需要遵守一系列的会计准则的。比如:内部账户记账的一条原则:有出必有入,出入必相等。所有的记账操作都必须遵循这一条原则,这是为了确保交易安全,避免凭空加钱和减钱行为的出现。同时,该原则也是各种核对(核心事务核对、备付金核对等)系统的依据之一。

账户记账的理论基础基本都是基于借贷记账法的,什么是借贷记账法呢?

   3.1.1 复式记账法

复式记账法的英文为 Double Entry Bookkeeping,是从单式记账法发展起来的一种比较完善的记账方法。也叫复式记账凭证。与单式记账法相比较,其主要特点是:对每项经济业务都以相等的金额在两个或两个以上的相互联系的账户中进行记录(即作双重记录,这也是这一记账法被称为“复式”的由来);各账户之间客观上存在对应关系,对账户记录的结果可以进行试算平衡。复式记账法较好地体现了资金运动的内在规律,能够全面地、系统地反映资金增减变动的来龙去脉及经营成果,并有助于检查账户处理和保证账簿记录结果的正确性。在我国,复式记账曾有借贷记账法、增减记账法、收付记账法三种,但规定使用的只有借贷记账法一种。

   3.1.2 借贷记账法

借贷记账法的记账规则可以概括为:有借必有贷,借贷必相等。

第一,在运用借贷记账法记账时,对每项经济业务,既要记录一个(或几个)账户的借方,又必然要记录另一个(或几个)账户的贷方,即“有借必有贷”;账户借方记录的金额必然等于账户贷方的金额,即“借贷必相等”。

第二,所记录的账户可以是同类账户,也可以是不同类账户,但必须是两个记账方向,既不能都记入借方,也不能都记入贷方;

第三,记入借方的金额必须等于记入贷方的金额。

会计恒等式:资产=负债+所有者权益:“借”对应资产的增加、负债及所有者权益的减少。“贷”对应资产的减少、负债及所有者权益的增加。

efbc719cdbaa1a5e5e815e0ae01556cc.jpeg

这些概念由于涉及到太多的会计知识,比较抽象,要理解还需要费点功夫。我说一下我的简单理解。

对于第三方支付业务来说,由于银行账户对应着备付金,故是属于资产。而商户和用户的账户属于支付平台内部账户,属于负债。

每一笔资金流操作应该都是“成对”的,至少会在两个相关账户中记录金额相等、借贷相反的流水。理论上不应该有一笔单独存在的流水。两个账户的类型可以是相同的(比如都是负债类账户),也可以是不同的。比如转账,A 的账户有出账的流水,则必然 B 的账户有一笔与之对应的入账流水,这里两个账户都是负债类账户。那有人可能会问,那么充值、退款、提现的流水呢,他们也会有两笔流水吗?答案是肯定的。它会对应着一笔负债类账户的流水和一笔资产类账户(银行账户)的流水,且两者借贷方向一致(同时加钱或者同时减钱)。

   3.1.3 账户的基本操作

一般的账户系统都会提供开户、查询余额、充值、扣款、转账等基本接口。

   3.2 我们的设计与实现

讲了这么多理论和原理,该进入正题了。我们在项目中是如何实现一个资金账户系统的呢?

由于项目要求的特殊性,我们的资金账户系统仅需要记录商户相关的账户,而不需要记录用户相关的账户。

   3.2.1 资金流设计

首先是资金流设计,其中也包含了账户类型的设计。这里的原则是实事求是,一切从实际出发;如无必要,勿增实体。比如是否需要保留待结算 B 账户的问题,我们团队也是经过一番思考。最终考虑到产品规则设置我们的结算规则并非异步结算,而是单笔实时结算,故而我们取消了待结算 B 账户。最终整体账户类型和资金流设计如下。

c5a09f2bc72c13a64b287779c2b66085.jpeg

关于手续费账户,可以分开收入和支出两个账户,更为安全,可用性也会更高。因为这样永远只有一个方向的资金流动。当然如果没那么高的性能要求,也可以合为一个统一账户。我们这里基于项目的量级决定简化设计,采用了后者的方式。

关于银行账户,它是一个虚拟账户,其可实时/动态反应每笔钱款变动,特别是实时记录在途的银行资金。为什么要引入银行账户,第一是因为要符合3.2的原则,避免单边账导致的借贷不相等的问题;第二是因为要确保系统虚拟资金流和银行物理资金流对齐,避免资金长短款。

本系统中结算、退款、提现、手续费充值等涉及外系统资金流向的情况,会记录银行账户流水。记录流水的方式有同步和异步两种,通常对于银行流水的记账采用异步的方式即可,我们采用的是一个 Daemon 程序异步导入银行账户流水。

   3.2.2 存储选型

如果说整个系统是一座大厦的话,那存储就是地基。地基不牢,地动山摇。资金账户系统对于存储的要求是比一般的系统更高的。具体有哪些要求呢?

  • 高性能。这样才能承受高并发的请求流量。

  • 数据强一致。保证切换不同副本的情况下数据0丢失0出错。

  • 支持透明分库分表。在分布式形态下,用户看到的逻辑表的实际物理存储可能是被打散分布到不同的物理节点上。希望做到对业务完全透明。这样一来作为开发者不需要关心分库分表细节。

  • 支持不停机的容量弹性扩展。如果性能或容量不足以支撑业务发展时会自动扩展,升级过程中,开发者无需关心分布式系统内的数据迁移,均衡和路由切换。

  • 支持跨区容灾、同城双活、跨城容灾等,故障自动切换其他副本,自动恢复,确保99.999%的可用性。

  • 最好有配套的分布式事务解决方案。

除此之外还有其他一些要求,这里就不赘述了。当然这些特性全部具备那是最理想的情况。接下来我们看下业界有哪些实现方案。

  • 基于 MySQL 的方案。

  • 基于 NoSQL 型分布式 KV 存储的方案。

  • 基于 TDSQL 的方案。

TDSQL 是腾讯打造的一款分布式数据库产品,具备强一致高可用、全球部署架构、分布式水平扩展、高性能、企业级安全等特性,同时提供智能 DBA、自动化运营、监控告警等配套设施,为客户提供完整的分布式数据库解决方案。其支持 MySQL 的大部分语法,且由于其分布式的架构,可以完美地支持以上提到的所有技术要求。同时其面向金融级的产品特性已在诸如微众银行等各大金融机构的线上服务中得到验证,因此我们最终选择了基于 TDSQL 来构建我们的资金账户系统。

最终我们选择基于 TDSQL 来作为我们的底层存储,并使用基于账户 ID 作为 sharding key 的自动水平拆分策略。

   3.2.3 架构设计

至于架构设计,就是比较水到渠成的事了,整个资金账户由资金服务和账户服务两个核心服务、两个 DB 和若干 Daemon 程序组成。资金服务属于资金领域,感知上层业务逻辑;账户服务属于账户领域,不感知上层业务逻辑。这样做的好处是变动相对频繁的资金领域和变动不频繁的账户领域进行了隔离,上层业务也不需要与账户服务直接打交道,保证了账户服务的稳定性。满足高内聚、低耦合的要求和开闭原则。


   3.3 重难点

说到整个系统的重难点,其实就两个。一个是资金安全,一个是高可用性。而我们的目标,保证资金的绝对安全和尽可能高的可用性。

   3.4 资金安全建设

看了以上的内容,大家会知道说白了资金账户就是数据库里的一行记录,账户余额就是一个字段。因此不当操作极易引起安全事故。资金安全,“国之大事,死生之地,存亡之道,不可不察也”。资金账户系统的最重要的要求就是资金安全,而资金安全的核心就是一句话:帐记清楚,不出错。

资金安全从源头防范上可以又分为两个方面:1.防范外部攻击威胁风险。2.防止系统内部错误。

最终目标是保证整个系统符合合法性、完整性、正确性三大要求。

   3.4.1 STRIDE 模型

首先我们看外部攻击威胁风险。光靠凭空想,是容易产生遗漏的。那么这里是否有理论支撑呢?答案是肯定的。

功能安全风险分析是对系统的系统性失效和随机性失效进行风险评估,对于网络安全风险,需要通过威胁分析识别系统的威胁场景,用于形成有对应威胁的控制措施和有效的分层防御,威胁分析是信息安全风险分析的重要组成部分。

威胁识别有不同的办法,如 STRIDE 模型、攻击树、Kill Chain 等。STRIDE 在软件安全分析领域应用较多,是微软开发的用于威胁识别的工具,它把威胁分成如下6个维度来考察:

  • Spoofing(仿冒)。

  • Tampering(篡改)。

  • Repudiation(抵赖)。

  • Information disclosure(信息泄露)。

  • Denial of Service(拒绝服务)。

  • Elevation of Privilege(特权提升)。

微软将 STRIDE 应用于软件的威胁识别,这6个维度也可以扩展到系统层面。

我们也可以使用 STRIDE 来对我们的系统安全性进行分析。

5a871621a5de8f2c45533a76e0def5ea.jpeg


   3.4.2 权限控制

权限校验保证只有合法的资金操作请求会得到处理,它是资金安全的第一道防线。权限校验包括数据库、机器的权限校验、业务层的权限校验。主要目的是解决 STRIDE 模型中的仿冒、特权提升、抵赖等安全威胁。

数据库权限校验要求每个 DB 库都只允许本服务访问,不允许跨服务调用,且数据库密码要托管至开发人员无法获取的地方。

机器权限校验的主要措施是采用腾讯云 TKE 的内网隔离策略,同时限制开发人员登录现网机器实现的。

业务层的权限校验主要包含两个主要方法:票据校验和模块认证。

  • 票据校验:

首先看理论基础。访问控制是指防止对任何资源进行未授权的访问,从而使计算机系统在合法的范围内使用,本质上是一种授权机制。访问控制有很多种模型,最常见的三种模型分别是自主式访问控制(DAC)、强制访问控制(MAC)和基于角色的访问控制(RBAC):

自主式访问控制:主体对其拥有的数据具有绝对控制权,也可以授权别人访问和操作。适用于简单的业务场景。

强制访问控制:系统将对数据的操作分为不同的级别,强制要求对不同级别数据的访问和操作具有不同级别的鉴权。适用于对数据安全有极高要求的系统。

基于角色的访问控制:抽象出不同角色,赋予不同角色下用户以不同权限。适用于权限划分复杂的业务场景。

要想做支付业务,需要达到国家等保三级认证,认证要求系统必须对所有的主体和客体采取强制访问控制。

票据校验即是一种强制访问控制的方式。“票据”代表本次请求的身份。生成票据的前提是证明了身份。

举两个例子:

  • 商户向商户 API 发起请求时需要带 API 密钥签名或证书签名,我们的 API 服务会验证这个签名,验证通过才会执行后面的业务逻辑。

  • 商户在商户平台登录后,每次请求前会自动通过 PHP 的 hook 验证登录态,验证成功才会执行具体的业务逻辑。

在这些例子中,验证签名、登录态或其他能够证明身份的信息就是鉴权的过程,验证成功就代表我们相信本次请求真的是由商户发起的,即证明了商户的身份。

验证成功后,我们就用商户身份等关键信息,加上一个我们自己生成的签名(用于防伪造),生成一个字符串,称为票据。这个过程称为颁票

票据的生成有鉴权的保证,因此票据本身可以用作鉴权。票据生成后随着请求向后传递,每个收到请求和票据的服务都可以通过验证票据签名合法性和身份一致性来完成鉴权。这个过程称为验票。

通过颁票和验票,我们可以将整个微服务系统边界复杂而多样的鉴权手段收归为一种统一的鉴权方式:

接入层服务鉴权颁票,其他服务验票。

  • 模块认证:

我们的服务部署在腾讯云 TKE 上,大部分以 RPC 接口的形式提供。只要知道提供 Server 的 IP 和 Port,那大部分的接口都可以直接调用,如果有坏人进入了 TKE 内网那这基本就是不设防,短板非常明显。而对于受保护的接口,一般是基于票据/IP 限制等手段保护,而这些保护手段也面临着各种问题。如商户票据并不能识别调用源,IP 限制在混合部署情况下可能误限制,运维成本高且安全性一般。所以这个时候一般都需要做一个上下游服务认证。上下游服务认证是指每个服务要限制调用自己的来源服务,不管这个服务部署在什么机器上。并且任何服务或者工具也无法伪装成别的服务来访问下游服务。

   3.4.3 防篡改

防篡改是指防止通过直接修改数据库字段等方式直接修改账户和流水等数据。主要目的是解决 STRIDE 模型中的篡改的安全威胁。这一点一般是通过计算重要字段的 MAC (全称 Message Authentication Code)值,也就是摘要值,并保存到数据库中的方式来实现的。

具体实现一般是通过hmac算法计算关键字段的 hash 值来实现的。hmac 是 Hash-based Message Authentication Code 的简写,就是指哈希消息认证码,包含有很多种哈希加密算法,sha256 是其中一种。

对于账户系统而言,最重要的当属于账户表的数据,需要在插入和更新时对其重要字段合并起来使用 hmac-sha256 进行 MAC 值计算,并将计算结果作为一个字段(如data_mac,为保证对新老数据的兼容,通常还有一个 data_mac_version 字段表示其版本号)存储在账户表中。而在查询时增加校验 MAC 值的校验,如果校验失败可以采取告警等手段进行主动发现。

   3.4.4 密钥防泄漏

可以看到,我们之前的诸多方案都会涉及一些敏感数据,如签名用的私钥、数据库的账号密码等。如果这些信息泄露了,那么之前所描述的方案也就不安全了。所以本节的目的主要是防止发生 STRIDE 模型中提到的信息泄露问题。

业界通常实践是使用密钥管理系统(KMS)来对密钥进行统一管理。密钥管理系统是一款安全管理类服务,可以让使用者轻松创建和管理密钥,保护密钥的保密性、完整性和可用性,满足用户多应用多业务的密钥管理需求,符合安全的要求。

我们先来看看业界最佳实践。以 Google Drive 为例,所使用文件加解密方案如下:

933e2c4da75a2e2ac20a21fb8a6e465a.jpeg

其中图中的密钥管理模块就是 KMS。

除了密钥的安全保存外,KMS 还有一个优点,可以实现密钥的自动轮换。由于使用软件产生的伪随机数的安全度要低于专用硬件加密机生成的真随机数,KMS 使用了基于硬件加密的真随机数,这大大提高了密钥的强度和随机性。

KMS 是云平台和产品合规的基础安全组件,海外用户需要满足 FIPS-140-2标准,国内用户需要支持国密。一般的密钥管理系统提供以下特性:

  • 基于硬件加密机的真随机数。

  • 密钥的权限细粒度管控。

  • 密钥的自动轮换。

  • 密钥生命周期的管理(创建、开启、禁用、计划删除、销毁等)。

  • 自有密钥的导入。

  • 多级密钥管理。

腾讯云已上线满足国内国际合规需求的 KMS,使用指引可以参考:《T-Sec 密钥管理系统》

   3.4.5 密钥防泄漏

限流限频相信大家都很熟悉,目的主要是防止发生 STRIDE 模型中提到的拒绝服务问题。一般都是通过引入单机限流或者分布式限流组件来实现的。

   3.4.6 另外一个角度

通过以上分析,STRIDE 模型中提到的6大威胁都得到了相应的解决。但这仅仅是从防范外部安全威胁的角度来分析的,真实系统中资金安全问题,往往是来自于系统内部错误,所谓“堡垒是从内部攻破的”。那如何应对可能存在的系统内部错误呢?从方法论上往往都是通过对整个过程进行事前事中事后的分析来进行全方位的 review。这里由于篇幅所限,不侧重 review 的过程,直接给出结论。

   3.4.7 幂等性设计

幂等性:就是用户对于同一操作发起的一次请求或者多次请求的结果是一致的,不会因为多次点击而产生了副作用。

对于账户和交易类系统,做好接口的幂等性至关重要,既是保证资金安全的利器,也是一致性补偿的必要条件。简单来说,幂等性就是要保证同一个单号有且仅能有一次操作成功。比如使用单号 deal_no1 做一笔5块钱的充值,假设充值成功后重复使用该单号做充值,程序能够判断该单号已充值过,可以返回调用方已充值成功的错误码,或返回成功处理(这里采用哪种方式,取决于上层是否需要感知已充值成功这一状态)。实际无论调用充值接口多少次,总共只有1次充值5块钱成功。

保证幂等性有若干种实现方式。通用可靠的做法一般是通过 DB 对单号做唯一索引,依赖 DB 来防重保证仅能有一笔入账成功。我的系统中也是采用这一方式,保证资金账户系统所有提供给到上层的接口都是幂等的。

   3.4.8 余额流水的一致性

由于资金余额和账户流水是最为重要的两个数据,必须保证同时写入/更新成功,如果出现不一致会导致严重的资金安全后果,因此需要保证强一致。此时几乎只能利用数据库的单机事务才能保证。实际上事务这个特性最初就是被设计用来解决交易问题的,在英文中,事务和交易就是同一个单词:Transaction。

确定使用数据库的单机事务实现,又有两种解决方案:

悲观锁方案:创建资金流的时候,每次查询账户时,对该账户加排他锁。也就是在获取 accountid=1 的账户信息时对该行记录加锁,期间其他请求阻塞等待访问该记录。悲观锁适合写入频繁(写多读少)的场景。

乐观锁方案:创建资金流的时候,每次查询账户时,不对该账户加锁,而是获取到账户当前的版本号 version。在更新数据的时候需要比较程序中的 version 与数据库中的 version 是否相等,如果相等则进行更新,反之程序创建资金流,再次进行比较,直到两个 version 的数值相等才进行数据更新。乐观锁适合读取频繁(读多写少)的场景。

在我们的系统中,由于更新账户的频率比查询账户的频率高,基于以上我选择了第一种方案。

   3.4.9 分布式事务与最终一致性

类似于转账这样的场景,涉及到两个账户进行操作,之前在3.2.2节提到过我们是基于账户 ID 作为 sharding key 的,那么两个账户可能落在不同的机器上,这里就会涉及分布式事务问题。

分布式事务的解决方案有很多,可以参考《万字长文总结分布式事务-总有一款适合你》一文。

对于转账这样的场景,业界通常的做法都是基于可靠消息队列、有限状态机与多重任务兜底的业务层最终一致性保障机制来实现的。

也就是把转账分为出账(扣钱)和入账(加钱)。出账为主事务,必须实时做成功;而入账作为从事务,是可以接受在异步流程做成功的。那么就使用消息队列驱动入账成功,这中间如果有极少失败,即使用兜底 Daemon 保证。

我们最终采用的是 TDSQL 原生支持的分布式事务方案。TDSQL 支持普通分布式事务协议和 XA 分布式事务协议。TDSQL(内核5.7或以上版本)默认支持分布式事务,且对客户端透明,像使用单机事务一样方便。TDSQL分布式事务采用两阶段提交算法(2PC)保证事务的原子性(Atomicity)和一致性(Consistency)。具体实现方式可以参见《TDSQL MySQL 版 > 开发指南 > 分布式事务》的官方文档。

至于为什么这么选?首要的考虑还是你的系统诉求是怎么样的。根据 CAP 理论,在一个分布式系统中,一致性(Consistency)、可用性(Availability)、分区容错性(Partition tolerance)这三个要素最多只能同时实现两点,不可能三者兼顾。因此你的系统是要选择 CP 呢还是 AP 呢?我们根据我们的业务场景(量级小、异步驱动等特点)选择了 CP,也就是 2PC 的实现方式,当时的一些对比选型的思考如下所示。

588214ed6e3e8ca340f7288da8aeb616.jpeg


   3.4.10 全方位的对账和审计

每个账户系统都不是孤立存在的,至少要和财务、订单、交易这些系统有着密切的关联。理想情况下,账户系统内的数据应该是自洽的。所有用户的账户余额加起来,应该等于这个电商公司在银行专用账户的总余额。账户系统的数据也应该和其他系统的数据能对的上。比如说,每个用户的余额应该能和交易系统中充值记录,以及订单系统中的订单对的上。

安全是资金账户系统的生命线。完整性和正确性靠对账和审计来发现。它们是资金安全的最后一道防线

怎么证明账户系统的高一致呢?那就必须通过对账系统来验证,对账时间粒度越小,就能越早发现问题。

在对账和审计方面,从一致性、正确性、总分核对和及时性四个方面全面梳理并实现系统内和系统间的数据核对和审计,确保有异常发生时能及时发现问题。

一致性:系统间关键数据一致,包含商户、账户、金额、单号、属性、状态等。

正确性:业务规则的正确性,如收支分离实收手续费。

总分核对:系统内总分数据一致,包含冻结总分(退、结、分)和手续费总分。

及时性:业务单据超期未到终态,如解冻单、分账明细单、退款单。

资金账户的审计对账一般包括:

  • 逐层审计对账(由上层驱动)。

  • 流水连续性审计对账。

  • 余额正确性审计对账。

  • 内部银行账户和外部银行流水账单审计对账。

f3f501be13d27d4d29fc5aaae627c64c.jpeg

账户流水连续性审计的计算模型:

审计的公式:

单条流水期初余额 + 交易发生金额 = 期末余额。

本条流水期初余额 = 上条流水的期末余额。

本条流水的余额版本号 =上条流水的余额版本号 + 1。

453bc78cf597a795eb8b992c1036da80.jpeg

特别注意事项:

1)账户流水表需要具有【余额版本号】字段;

2)本账期最后一笔流水留待下个账期再审计。

账户余额正确性审计的计算模型:

审计的公式:

1、当前账户余额=当前余额版本号对应的账户流水.期末余额

2、业务示例:

(A)账户表:当账户余额版本号=3时,账户余额=180

(B)账户流水表:

a734f0de57a1f1f7ef120a69b06c1860.jpeg

特别注意事项:

1)账户流水表需要具有【余额版本号】字段;

2)先完成账户流水表的连续性审计,再进行账户余额正确性审计。

如果数据不一致,要第一时间生成业务异常记录并告警。

   3.4.11 会计核算体系

所有上面措施做完,审计对账也都对齐了,就足够安全了吗?非也!有没有发现上述所有措施都是从研发的角度出发来解决资金安全的问题,只能说从工程系统的角度来看是完备的。但是从业务的角度来说,资金账户系统涉及公司重要财务数据,是需要财务协助审核才行的。从另外一个角度来看,有了财管的背书,我们系统的安全性也更加得到保障。因此我们需要建立会计核算体系。

建立会计核算体系的目的是保证资金变动可追溯,确保账实相符,及时核算监控资金,避免长短款风险。

需求简述:根据业务流程和特性,设置账户体系和会计记账科目,实时/T1动态记录各业务场景的会计账,并输出相关营业总帐报表/会计调节表等报表,供财务管理账务。

银行存款余额调节表(广义)

广义上的银行存款余额调节表,是指在银行对账单余额与企业账面余额的基础上,各自加上对方已收、本单位未收账项数额,减去对方已付、本单位未付账项数额,以调整双方余额使其一致的一种调节方法。该表主要目的是在于核对企业账目与银行账目的差异,也用于检查企业与银行账目的差错。

系统对账调节表(狭义)

下文简称:调节表,是针对本系统各项业务的资金流转,结合本系统信息流与外部银行资金明细进行对账调节的日常报表。其主要作用是监控本系统资金流向,对业务操作做事后监督。


   3.4.12 研发流程规范

这也是一个不可忽视的重要影响因素。包括以下几点:

  • 严格的现网机器和数据库权限管控。

  • 双人代码 CR。

  • 完整的单元测试和接口测试覆盖。

  • 只能通过发布系统执行发布。

   3.5 可用性建设

可用性的定义:可用性就是一个软件系统处于可工作的时间比例。

计算机系统的可靠性用平均无故障时间(MTTF)来度量,也就是说计算机平均能够正常运行多长时间,才发生一次故障。系统的可靠性越高,平均无故障时间越长。可维护性可以用平均维修时间(MTTR)来度量,即系统发生故障后维修和重新恢复正常运行平均花费的时间。系统的可维护性越好,平均修复时间越短。

计算机系统的可用性可以定义为:MTTF / (MTTF + MTTR) * 100%

可用性可以归结为以下三个问题:程序(节点)的可用性、服务的可用性、存储的可用性。

   3.5.1 程序(节点)可用性

其实它和服务可用性严格上说都可以归属于服务的可用性范畴。这里之所以分开列出来是想突出程序(节点)的可用性更多地是通过资源调度平台的特性来实现的。

腾讯云容器服务(Tencent Kubernetes Engine ,TKE)是基于原生 Kubernetes 提供以容器为核心的、高度可扩展的高性能容器管理服务。腾讯云容器服务完全兼容原生 Kubernetes API ,扩展了腾讯云的云硬盘、负载均衡等 Kubernetes 插件,为容器化的应用提供高效部署、资源调度。我们主要通过 TKE提供的以下特性来保证程序(节点)的可用性。

  • 在私有网络中运行,可以使用自己的安全组和网络 ACL,不与其他业务混布,提供了高隔离水平。

  • 负载均衡,自动分配流量,自动添加和删除容器。

  • 故障自动恢复出问题的节点。

  • 自带完备的监控。

另外关于离线周期脚本的调度,则自己搭建和使用了 AirFlow 这一组件,它支持自动重试和错误通知,保证了离线周期脚本的高可用性。

   3.5.2 服务可用性

  • 限流限频

限流限频是可用性保证的兜底措施。保证 DB 不会被突然涌入的大量请求压垮,实现的方式就是拒绝超过自身处理能力的请求,对于一个写多读少的系统,这样做是无可厚非的,当然除此以外,我们还要想其他办法提高服务的可用性。

  • 热 key 问题

对于电商秒杀活动,营销发券,企业红包等场景,均有大量用户需要在指定时间点对单一账户做资金转入操作。由于单个账户已无法再做分库分表处理,单组节点的性能上限就决定了单个账户的交易量上限。存储层的单账户瓶颈导致在该类场景下业务需要降级或者在业务层实现复杂逻辑,降低了业务的灵活性和商户体验。

我们来分析一下,热点账户账户的核心问题是每笔交易都会对余额字段进行 update 操作,更新时需要对账户进行加锁操作,频繁加锁释锁会对 DB 造成极大的性能压力,可能会超过 DB 的能承载的极限。

解决热点账户问题的常规思路一般有以下几种:

  • 只记录流水不记余额。

  • 合并入账。

  • 多账户。

要用更短的时间装满一个游泳池无非两种途径,一是让水流速度更快,二是多铺设几条入水管道。只记录流水和合并入账就是让水流得更快,多账户就是增加多个入水口。

特定应用场景下,可以不记余额只记录流水,这其实违背了记账原则,但在某些场景下,可以通过其他手段来补偿和保障,典型的应用比如 C2B2C 交易,中间的B账户可以不记余额,它的存在只是为了作为中间交易的对手方。通常对于不需要被直接查询余额的账户,可以考虑是否不记录余额,比如银行账户这种。

合并入账,就是先将余额更新操作 hold 住,暂存入待入账队列,累积到一定数量或者到一定时间时,将发生金额进行汇总合并,更新一次余额,从而大幅提升入账效率。合并入账借贷先后原则和前面类似,为了防范风险,只对入账(负债类账户的“贷”)进行合并,出账仍然需要实时完成。

5ee034203392689560a90212ff7ce690.jpeg

合并入账只能解决入账时的热点问题,而出账都是需要实时更新(为避免透支风险)。为了解决出账热点,需要引入多账户体系,即通过新建多个账户,把业务均摊到多个账户上,从而解决热点问题。

多账户不仅可以解决出账热点问题,对入账热点问题也有效,本质上多账户就是把一条 DB 记录的更新均分到了多个 DB 记录上。

按照账户的承载功能不同,多账户方案可以分成两种:

  • 功能分离型多账户,出入帐功能分离,有的子账户承载入帐,有的子账户承载出账,有的承载两者。

  • 功能完整性多账户,所有的分账户都同时承载出账和入帐。

多账户需要保存用户和多个账户的逻辑对应关系,这个对应关系可以放在业务层,也可以放在核心账户层。比如让商户多申请几个商户号,也是一种选择。

  • 分布式事务带来的性能问题

如3.4.9所提到的,资金账户系统不可避免地会引入分布式事务。分布式事务会导致可靠性以及性能都会受到影响(因为使用 2PC 等方式)。

这里的思路,一般都是通过降低 ACID 中的 C(一致性)和 I(隔离性)而提高 A(可用性)。具体做法一般是在将一个分布式事务拆分成两个本地事务,即“先借后贷”,一个是“借”的实时事务,加一个“贷”的异步事务。当完成实时事务后就可以对外返回成功,异步事务后续驱动进行。本质是上通过 MQ 的事务消息追求达到最终一致性。但这样做也会引发一些副作用,在实际使用时需要根据业务场景进行选择。

   3.5.3 存储可用性

关于存储的选型已经在3.2.2中讲过了。这里再强调一次,存储的可用性是整个资金账户系统可用性的基础。

而 TDSQL 作为一个高可用的分布式数据库,对于可用性的优势也体现在以下这些方面:

  • 高性能。这样才能承受高并发的请求流量。

  • 数据强一致。保证切换不同副本的情况下数据0丢失0出错。

  • 支持透明分库分表。在分布式形态下,用户看到的逻辑表的实际物理存储可能是被打散分布到不同的物理节点上。希望做到对业务完全透明。这样一来作为开发者不需要关心分库分表细节。

  • 支持不停机的容量弹性扩展。如果性能或容量不足以支撑业务发展时,升级过程中,开发者无需关心分布式系统内的数据迁移,均衡和路由切换。

  • 支持跨区容灾、同城双活、跨城容灾等,故障自动切换其他副本,自动恢复,确保99.999%的可用性。

  • 最好有配套的分布式事务解决方案

除了上面提到的这些点之外,定期的数据冷备也是必不可少的兜底措施。同样的,当选用其他存储时,如果以上这些点都能被全面考虑到,那么基本也就差不多了。

   3.5.4 压测

这里注意:要把压测当成对设计成果的验收,而不是作为发现问题的兜底手段。即将上线之前才发现的系统性问题,可能为时已晚。

但笔者还是建议在系统正式上线以前,在测试环境进行至少一次压测,目的有二。第一是验证可用性指标是否符合预期;第二是通过对于压测数据的监控观察和对账发现资金安全的漏洞,防范于未然。经过了压测环节,你的信心也将大大增强。

04

总结

本文以笔者在实际工作中实现的资金账户系统为例,探讨了在资金账户系统设计和实现中会遇到的问题以及相应的解决方案。可以肯定的是,在资金账户系统建设过程中不会一帆风顺,还会遇到其他各种各样的问题,尤其是一些由于高并发场景引发的问题。这块笔者也还在持续探索和思考中。后续大家也可以多多和笔者探讨,本文也会持续更新。

-End-

原创作者|刘若愚

0e12053901257e18e209eebb74f42003.png

对资金账户系统你还有什么思考或见解?欢迎分享。我们将选取1则最有意义的评论,送出腾讯云开发者-便携通勤袋1个(见下图)。9月20日中午12点开奖。

25477e35256685e7fa3f76acb41b43ad.png

📢📢欢迎加入腾讯云开发者社群,社群专享券、大咖交流圈、第一手活动通知、限量鹅厂周边等你来~

40df64a7418267fb5498844749ff9284.png

(长按图片立即扫码)

2a8b20ce06a467d132ef1b515ac91d21.png

5dbe117a9ed7cc20b7e82516a7a44899.png

024ed174c337b4127fef882a2482bacc.png

c6b66973895c89ee6ead69fff31a1521.png

本文来自互联网用户投稿,该文观点仅代表作者本人,不代表本站立场。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如若转载,请注明出处:http://www.rhkb.cn/news/131960.html

如若内容造成侵权/违法违规/事实不符,请联系长河编程网进行投诉反馈email:809451989@qq.com,一经查实,立即删除!

相关文章

【Spring Boot】有这一文就够了

作者简介 前言 作者之前写过一个Spring Boot的系列,包含自动装配原理、MVC、安全、监控、集成数据库、集成Redis、日志、定时任务、异步任务等内容,本文将会一文拉通来总结这所有内容,不骗人,一文快速入门Spring Boot。 专栏地址…

MySQL安装validate_password_policy插件

功能介绍 validate_password_policy 是插件用于验证密码强度的策略。该参数可以设定三种级别:0代表低,1代表中,2代表高。 validate_password_policy 主要影响密码的强度检查级别: 0/LOW:只检查密码长度。 1/MEDIUM&am…

YashanDB:潜心实干,数据库核心技术突破没有捷径可走

都说数据库是三大基础软件中的一块硬骨头,技术门槛高、研发周期长、工程要求高,市场长期被几大巨头所把持。 因此,实现突破一直是中国数据库产业的夙愿。自上个世纪80年代起,中国数据库产业走过艰辛坎坷的四十余载,终…

vue组件库开发,webpack打包,发布npm

做一个像elment-ui一样的vue组件库 那多好啊!这是我前几年就想做的 但webpack真的太难用,也许是我功力不够 今天看到一个视频,早上6-13点,终于实现了,呜呜 感谢视频的分享-来龙去脉-大家可以看这个视频:htt…

美东一公司的郁闷面试题

说是题目可以用不同的语言,但是貌似 Java 是多线程的,用 Java 写肯定容易不少。 但,觉得这个题目用多线程简直是有点脱了裤子放屁。 完整题目内容 题目的网站内容如下: Please complete the following challenge in one of th…

【自动驾驶决策规划】POMDP之Introduction

文章目录 前言Markov PropertyMarkov ChainHidden Markov ModelMarkov Decision ProcessPartially Observable Markov Decision ProcessBackground on Solving POMDPsPOMDP Value Iteration Example 推荐阅读与参考 前言 本文是我学习POMDP相关的笔记,由于个人能力…

2024字节跳动校招面试真题汇总及其解答(一)

1. 【算法题】重排链表 给定一个单链表 L 的头节点 head ,单链表 L 表示为: L0 → L1 → … → Ln - 1 → Ln请将其重新排列后变为: L0 → Ln → L1 → Ln - 1 → L2 → Ln - 2 → … 不能只是单纯的改变节点内部的值,而是需要实际的进行节点交换。 示例 1: 输入:hea…

Kafka3.0.0版本——消费者(自动提交 offset)

目录 一、自动提交offset的相关参数二、消费者(自动提交 offset)代码示例 一、自动提交offset的相关参数 官网文档 参数解释 参数描述enable.auto.commi默认值为 true,消费者会自动周期性地向服务器提交偏移量。auto.commit.interval.ms如果…

基于视觉重定位的室内AR导航APP的大创项目思路(2):改进的项目思路——建图和定位分离

文章目录 一、建图二、定位首先是第一种方法:几何方法其次是第二种方法:图像检索方法最后是第三种方法:深度学习方法 前情提要: 是第一次做项目的小白,文章内的资料介绍如有错误,请多包含! 一、…

华为云云耀云服务器L实例评测|初始化centos镜像到安装nginx部署前端vue、react项目

文章目录 ⭐前言⭐购买服务器💖 选择centos镜像 ⭐在控制台初始化centos镜像💖配置登录密码 ⭐在webstorm ssh连接 服务器⭐安装nginx💖 wget 下载nginx💖 解压运行 ⭐添加安全组⭐nginx 配置⭐部署vue💖 使用默认的ng…

【文件上传-配置文件】crossdomain.xml跨域策略配置文件上传

目录 一、0x00 前言 二、基础知识 1、Flash 2、crossdomain.xml文件 3、crossdomain.xml格式 4、crossdomain.xml相关参数 三、漏洞利用 1、方法: 2、上传漏洞配置文件 一、0x00 前言 在很多地方都会见查是否跨域 比如某些特定的步骤、CSRF、flash跨域劫…

SimpleCG程序交互操作

前言 之前所有示例程序都是属于展示型的,只是作为展示板输出使用,不涉及键盘和鼠标的输入交互,下面我们开始接触具有交互功能的程序。 没有交互功能的程序可以满足一定需求,不过大部分的程序是不能脱离交互功能的。程序依据使用者的操作进行相…

PbootCMS在搭建网站

1、打开网站 https://www.pbootcms.com/ 2、点击 “本站” 下载最新的网站代码 3、在本地laragon/www下创建目录(hejuwuye),并将代码放进去 4、创建本地数据库,数据库名称为: hejuwuye,然后将static/bac…

第三方软件测试机构有哪些测试服务软件测试报告收费标准是怎样的?

软件验收机构 一、什么是第三方软件测试机构? 第三方软件测试机构是区别于软件开发公司以及软件需求方的第三方机构,软件企业将软件测试外包给第三方软件测试机构已经成为了行业发展趋势。既省心省力,又降低企业成本,得出的软件测试结果以…

《机器学习核心算法》分类算法 - 朴素贝叶斯 MultinomialNB

「作者主页」:士别三日wyx 「作者简介」:CSDN top100、阿里云博客专家、华为云享专家、网络安全领域优质创作者 「推荐专栏」:小白零基础《Python入门到精通》 朴素贝叶斯 1、朴素贝叶斯API2、朴素贝叶斯算法实际应用2.1、获取数据集2.2、划分…

EasyPHP-Devserver-17安装和配置mantisBT

文章目录 1、准备工作2、安装easyphp2.1 http://127.0.0.1 无法访问 3、安装mantisBT和phpMyAdmin3.1 配置浏览器的访问url和端口号(配置局域网内可访问)3.2 安装mantis 4、Administrator 注册新用户时设置登录密码5、附件上传6、邮件配置 文章参考自&am…

前端开发工具:助力创造精彩Web体验

💂 个人网站:【工具大全】【游戏大全】【神级源码资源网】🤟 前端学习课程:👉【28个案例趣学前端】【400个JS面试题】💅 寻找学习交流、摸鱼划水的小伙伴,请点击【摸鱼学习交流群】 当涉及到前端开发工具时…

Spring Boot配置文件(YAML Properties)总结

文章目录 配置文件的作用YAML配置文件Properties配置文件配置文件的加载顺序激活不同的配置文件配置文件的占位符自定义配置属性加密敏感信息配置文件的最佳实践结论 🎉欢迎来到架构设计专栏~Spring Boot配置文件(YAML & Properties)总结…

C#控制台程序中使用log4.net来输出日志

Apache log4net 库是一个帮助程序员将日志语句输出到各种输出目标的工具。log4net 是优秀的 Apache log4j™ 框架到 Microsoft .NE​​T 运行时的端口。 我喜欢他可以自定义输出,区分等级等特点。 导入库 我们在工程里添加NuGet的包。输入名称log4net &#xff0…

【每日一题】852. 山脉数组的峰顶索引

852. 山脉数组的峰顶索引 - 力扣&#xff08;LeetCode&#xff09; 符合下列属性的数组 arr 称为 山脉数组 &#xff1a; arr.length > 3存在 i&#xff08;0 < i < arr.length - 1&#xff09;使得&#xff1a; arr[0] < arr[1] < ... arr[i-1] < arr[i] ar…