引言

最近实现了一套实时录音录入的系统,通过“三段式”的系统设计,最终成功交付,并抗住了线上高峰,记录一下设计思路。

三段式:定边界、划层级、找流向

需求

简述下需求:业务上需要实现一套实时语言转录的系统,通过大模型进行语音转文字,并且大模型那边对音频流的要求比较严格:

  1. 以音频流的形式发送给大模型端进行处理
  2. 音频流需要严格保证传递顺序
  3. 每一帧长度固定为 3.2 kb 或者 6.4 kb 左右
  4. 每一帧时间间隔不能太长,也不能太短

经过技术评审,后端希望能够只做简单转发,核心逻辑放在前端处理。

整体设计

定边界

第一步,定边界,哪些是不变量,哪些是固定规则,系统能力边、性能、稳定性等方面的界限,需要做到什么程度。

业务边界

  • 运行环境是小程序。
  • 录音时长当前最长 3 分钟,超时自动结束,未来最多放开到 10 分钟。
  • 稳定性是第一位,需要保证零丢失、高可靠,良好的用户体验。

稳定性边界

对于这套系统,稳定性是关键,尤其是运行在小程序环境中,和 Web 不同,小程序在置于后台一段时间后,可能会自动休眠,从而导致长连接断开,因此需要考虑重连重传等场景。

  • 连接稳定性
  • 断线能重连
  • 失败能重传

性能边界

  • 高频音频流发送
  • 需要考虑音频流堆积导致的内存问题
  • 使用规模:千人级别

总结

这个需求可以简单看做是一个一对一通讯模型,需要保持长连接,并且大模型端需要返回转译的文本,也就是说需要实现全双工通讯,因此很明显,这需要使用 WebSocket 通讯。SSE 也是长连接,但是其是单向通讯,而 HTTP 扛不住高频数据流传递的性能问题。

另一方面,需要一个明确的机制来处理音频流,通过 WebSocket 使其流向后端,后端转发给大模型,大模型解析后将结果返回回后端,后端再返回给前端。

整体上还需要考虑稳定性和性能,稳定性上需要考虑断线、失败的场景,性能上需要考虑使用用户规模,内存管理以及音频流流速问题等。

划层级

基于前面的总结,大体上可以划分为三层:

  1. Voice 层:负责管理录音音频,统一对外输出接口,使其能稳定的流向 WS 层
  2. WS 层:负责实现 WebSocket 通讯,并保证连接稳定性
  3. 通讯层:统一前后端通讯协议(JSON/string/protoBuf/其他)和通讯方式

Voice 层和 WS 层存在直接的数据流流向,Voice 生产数据,而 WS 消费数据,这本质上是一个生产消费模型。

通讯层

通讯层决定前后端以什么方式实现通讯,它决定后面 Voice 层和 WS 层如何设计实现,因此放到最开始。

我最初设计了两套方案:

  1. 请求应答方案:发送一帧后等待回复,收到回复后再发送下一帧,如此重复。
  2. 滑动窗口方案:例如窗口大小是 N,那么一次性发送 N 帧,后端返回收到的累积帧 id,然后从该 id 起的后 N 个帧,如此重复。

两者的速率都可以被调节。

  1. 请求应答方案:如果要快一点就增大帧中音频块大小,并携带音频块数量信息,后端根据信息切割后发送给大模型。
  2. 滑动窗口方案:如果慢了后端直接在响应中更新窗口大小,让前端多发送几帧,类似 TCP 机制。

整体来说,滑动窗口方案更好,在网络波动的情况下,性能表现会更好一些,然而实际开发中我采用了第一种,也就是请求应答的方案。

主要原因是:

  1. 稳定性优先
  2. 滑动窗口方案实现复杂度更高一些
  3. 用户规模不多,录音时长只有 3 分钟,未来最多 10 分钟
  4. 现代设备通常网络情况较好,第一套方案在绝大多数情况下够用

这里就体现先定边界的重要性了,系统实现的思路和方案有很多,但是不应该盲目采用那些看起来大而全的方案,而是应该根据实际业务需求和系统边界来判断哪套方案最符合系统需要。

用一张图方便理解请求应答方案:

eyJ2ZXJzaW9uIjoiMSIsImVuY29kaW5nIjoiYnN0cmluZyIsImNvbXByZXNzZWQiOnRydWUsImVuY29kZWQiOiJ4nO1d204jyVx1MDAxOb6fp0Ds7eCt82HvXHUwMDAwM1xmY84wwLBajWzctlx1MDAxYjfdxm5sYDVSblwi5Vx1MDAwMXKfy7xAXHUwMDE0KXmeKNnHyF9ccrjP7fNcdTAwMDC7XHUwMDE4aVx1MDAwNN3V5eqq//v/7z9Uza/vlpaW/buOtfzT0rJ1e1F17Hq3Olh+b673rW7P9lxcuEWCv3veTfdcImjZ8v1O76dcdTAwMWZ/XGafKF14V1x1MDAwZk9ZjnVluX5cdTAwMGba/Vxmfy8t/Vx1MDAxYfxcdTAwMGJ37HrwbKVcXNm5PfJu98pcdTAwMTWyUzn46uxcdTAwMWO4waNBo+FgXHUwMDFjx+70rPDGLVxcpVx1MDAxOJeohlx1MDAwZlVaMMXY8O5cdTAwMWTcxZKWXHUwMDA0QlxiU0mJxlxii+HtgV33W6ZcdONBXHUwMDEzJDCiXHUwMDFjc0GGTVqW3Wz5QZuw26rbdMxw0PBKz+96bWvdc7yuXHUwMDE55lx1MDAwZtgyP+Ewa9WLdrPr3bj1sE2V11WjXHUwMDExtmnYjnPk31x1MDAwNT3DrMJcZi4n+j99XHUwMDFjL0lcXM97XG6+sNlyrZ6ZdTy86nWqXHUwMDE3tlx1MDAxZkxcclxu38CMrrNVXHUwMDBmXHUwMDE26JdwTN3qlbVlVsi9cZzhZdutW2bml2v4PPZ1bv3x656WN1xcO/J45Vs4eMsyPWMtMNOEsnCIoYzhyHI9Xt313EDesOaaYq25XGbH1SuDoPlBt42q07PCXHUwMDA1MGPbSFxuYVRcdTAwMTBjcuZbt/7wxVwiYuqSliBbl+f1u7M9SdDZ1ub2dWd52O7b++xuXHUwMDFmXHUwMDFlPt0qb+95nW1xUG/uXHUwMDFkXpKVy5NcdTAwMDMn/i1P31/tdr1BpN/H38KFuenUq1x1MDAwZu+JpVBcdTAwMDRhiSmj4VxcObbbTq6a4120w6l5XHUwMDE3XHUwMDE5cFx1MDAwMozZb5lcdTAwMDJjbJJcdTAwMWWQyFmJXHUwMDEwXCJcYsawMIwoXHUwMDExg1wiobSElaKEMyWZVJKkoChQXHUwMDFheoTPXHUwMDE3eX636vY61S6Iwlxc0Vf3fLMkmfBDi4LfSTb+Yu1cdTAwMWaBRilcdTAwMDVNXHUwMDA385+BM8JyYVx1MDAwNmqRXCJcIqWeXHUwMDAyZrFhzC6zoVxiXHUwMDFh0YNcdPjfX//2n3///bc//TmykJ7rXHUwMDFm2feBykGxq1x1MDAxZqpXtmMmnsf6WXXsppmC5Vx1MDAwYlx1MDAxOLTVXY5OhG+DKVx1MDAxYja4sut1J1wiW1x1MDAxN9Bp1Xat7tY4Nszr2k3brTrH+WOv3vjeodV7XHUwMDE4vd+9saJzY31cdTAwMWPaolx1MDAxMuFcdTAwMDXwXa/X8eFcdTAwMDY5v/P0+f3G1ul2XHUwMDEzNewxbSlGmpZcdTAwMTSYQs1cdTAwMDRioJZDaX/RxrRGXHUwMDFhpFZ77ca0OrsxRYRpQVx1MDAxMMtcdTAwMDI5LE1cdTAwMWXKiVaYXG6svqMtve5cdTAwMWbd3/PGSe+ocXF+deudtNtfy2Pb0oP79q1/+XmnurO+i76uit0y/zQvW0o0wYhFsTe9Lc1+yzFsKYb1KFx0QiTBikjNkYwh8c2Wzlx1MDAxZn1cdTAwMTPYUoFcdNJEoEyY5VJWXCIoUVx1MDAxMijr3E0pyFxi+D6zmNL//vMvv/3jXy/ElI4wYUlTmjH2+ZjSW6dzUFx1MDAxZjir5W5Zn6nTdr98cuml0Wu6jKOXMVngk1x1MDAxMpS2m4KLwPBKTVx1MDAxOZeIhjZmXGJeVFx1MDAwMtnRknDwlaRcdTAwMTZKvlx1MDAxMjBcdTAwMTdY0kVhuT4+lDHAmFNcclx1MDAwMMrAskg5pU9YlowyLalYXHUwMDAwllx1MDAwNWOURuV1XFwsdzw7aZLD35bCyVx1MDAwZf5cdTAwMTj+/sv7zNa5XHUwMDAyXHUwMDE5PJ1cdTAwMTLFsLuUge351a6/XHUwMDA2q2O7zeSbWG49507w1Kox3i2rmlpreC73Xsdz7prB8o2yzk3era7b2/Kstlbe3t6nO7fNj2PjXHUwMDFilC41ZFx1MDAwMSsmXHUwMDEzjq5cIiXGMENcdTAwMDH+tVxiTfdcdTAwMWLaXHUwMDFmrs5cdTAwMTftrfHRXHUwMDBl5JhcdTAwMGKt0kw4oFxcuWjHTFMtQVFM41x1MDAwNf9cXMA1scA6QsrewL44sNf6/KrqbrFD94zWj7f1KeG9k3HATlx1MDAwMc4xlzZcdTAwMDZ2ilUwdaBccjDiTIRcdTAwMTLyXHUwMDA0dloyTEBoplxiXHUwMDAzNlx1MDAxZlx1MDAwMfJcdTAwMTDslPJYo7CTMbCuJb4gL1xy64vykdsz+8jgUzHGSbaLjFSeXG7QXFxJRIhcdTAwMGVcdTAwMWabk8EnJrrGw/l6Llx1MDAxZLCSK6fmk5LQV6lcdTAwMDPkhmqfXGZ6/Lrt7ln4aqV3r1evxtFcdTAwMDGgqM37wzpcdMk5x1x0i09cdC4hXHUwMDAyXFxfUtBcdTAwMDdpXHUwMDE18Fx1MDAxMFx1MDAxM6NCXHUwMDEwXHUwMDEzYcvUXHUwMDAwRMQ9hlDORqtcdTAwMDDS0Fx1MDAxNmN/XHUwMDE0XHUwMDE14M6sXHUwMDAyQGUyZDJcdTAwMTUhM4voXHUwMDAwnevAXHUwMDBiRGJEbC5cdTAwMWNcdTAwMDB+KFeh3nku/OfJqPmkpfNVwp/bn27PvYqr1/fb9ur2h55z2D5Kw/8hZJjgXHUwMDAw4apcdTAwMDeApzqHXHUwMDEzPEFeXHUwMDFhJ1x1MDAwMFx1MDAxYZDAXHUwMDEzXHUwMDEwJFx1MDAwM/M4XHUwMDExKX/9XGZ/UZD3ZoY8UFfENNdZxF+mqMDQ6CsqKI64Z1x1MDAwYlx1MDAwZovjg1x1MDAwZvfH1/Wj4+NccqTXVzbvelvdq4nC10IgjMLFey51kiv/5rOSXHUwMDEy/efVJ0nIW07NXHUwMDFijFx1MDAxNeDPXq+USklcdTAwMDf4JUYlzsHlwlx1MDAxMlx1MDAwYopUklCAwjUzRFx1MDAxMZBcci5D8zBMtFFcXFwiWiuFtMJAaENcdTAwMTl+ddH+Z1xiXHUwMDE5eFx1MDAxM1x1MDAwNPsxJczYPp7JXHUwMDE2XG4y51x1MDAxYTNqPvP2XHUwMDE4gIsqrcNJmFwi3N9cdTAwMDNcdTAwMDAsXcE7V5uRNX++iP9cYsucjPhnXHUwMDBmfz5Bfyb3ncr6+umqXrte97zayuBGkbFIglx03ZaIiVx1MDAwNVx1MDAxMIJMXHUwMDE0JZ49Z0iO5FxmoTQlXHUwMDAygUpKTV5RXHUwMDE4sF7ttfIyeItiXHSdmVlcdTAwMDLMMzNcdTAwMTQ3iyWofKRcdTAwMDNlZtKUsX0/nvBxc6v/eduqo/Wro43dnfKBfSTUJDyBgMmhaqrym/mGXHUwMDFkXCJCXHUwMDFmPJBcdTAwMTD310pcZrJcdTAwMTdoXGZiILQoSaMluMBERuJNXHUwMDAxL1x1MDAxMLiEXHUwMDBidVxi5qTEYVx1MDAwMmHu5Fx1MDAwM/V6I1x1MDAwNpPokFx0iFx1MDAwMcNcdTAwMWOkVPGsSFwiTZGFJ22hOKZSXGI9/4I6wWm02yloQde6sOy+9ZKYwVxic5xkXHUwMDA2uW8wXHUwMDFmciBcdTAwMGUr7UZ3b+uwvclvXHUwMDBlu1x1MDAxZtdcdTAwMDdnx3tjRlx1MDAxMGhBSVx1MDAwMFNoRFx1MDAxNkEqnsNcdTAwMWVCWOdcdTAwMDRcdTAwMWNeK8ZcdTAwMTfFXHUwMDEzrmfmXHRcdTAwMTJcdTAwMWM2cFxicFx1MDAxNk/QqUKCkCdgU4Qr0FRcdTAwMTHE6XjCp+tcdTAwMGZfXHUwMDA2tN9Q2+W26KieVTs/bk7EXHUwMDEzwLlk9PlTlLnybz4rXHTRf62kIXu1xiBcck/RXHUwMDA0Llx1MDAxOJdcdTAwMWPreLSSXHQ6ijW8RVx1MDAxM2ZRKFx1MDAxM5BcdTAwMDbwXGaF5JqQrP0unCQvXHUwMDBl641cdTAwMTRRYDrU/NOP0+P7pVx1MDAwNlx1MDAxM0ZcdTAwMTjp71x1MDAxOUwgvdbGmXv/5YC4nyr6I65cdTAwMWOetjL20mRcdTAwMDdcdTAwMTOkUWqYXHUwMDE5tlx1MDAxMM1cdTAwMTlcdTAwMDYzx3VOwUAklmBcdTAwMThcdTAwMDXoQ6qQ4jojsjDnKvzfUyihOzNFwJpcdTAwMTFwsCXKqivEXHUwMDFjJa9cdTAwMGVJXHUwMDAyLJqShNHvWIu/9+Vo71SsOtd9a727frl6tnPbRK+RJKzkSr35sNdKXHUwMDBistdnXGZaILQ0hlx1MDAxZlxcXG5wU1x1MDAwNWNcdFqgWZBkyHc63oJcdMHVqbXIXHUwMDA0vFx1MDAwMDS6okxmboPluVx1MDAxYncwXHUwMDEwXHSFNaLTuFx1MDAxNIvmXHUwMDA1LzCaMMJcdTAwMWV/52jC4WW/+alxul6vtXZcXLe2sz84sjN2XHUwMDA3wSj8XHUwMDA3aMXAzSmNxUrDXHUwMDFj4eMmg1hEQWWkXHUwMDEwXHUwMDE5XHUwMDFlWZckxfTpXHUwMDA3dFx1MDAwMVx1MDAxYVhcdTAwMTeC/Vx1MDAwN0vDXHUwMDE0z3dcdTAwMWJ8XHUwMDExX1hcdTAwMTTS7ydIJ0pcdTAwMGU4p4JnXHUwMDExXHUwMDAzmZtkYJJcdTAwMDDKXHUwMDA1nmMtwsz70t9n9zuKbmxe7FK7Qu2dLetTSzKrcttcXPv4XCK2/oGkYzVJKWZcdTAwMDG4s99yXGajzTktMfDlXHUwMDE5XHUwMDAxXHUwMDFhKJBObFx1MDAxZaIkSFx1MDAwZlxmc4w8jWtEjDOviTCVXHUwMDAzOKv0aFwioz1cdTAwMDaOn4P7L1xmy5PUXHUwMDA2gJtGKeM4qzaA5lx1MDAxZl6BXHUwMDA0w1x1MDAwMtyDXHUwMDA1JFx1MDAwMZSms+2qr900XHUwMDFhS9c31s2LsNgjbGTSYmdccn4+xrpYT1x1MDAxNrnyXGY8eVAslDCMKdMoYahcdTAwMTlcdTAwMDM/n0vEuKRYS5KOznHj1CiQXHUwMDE3ITVcdTAwMDNLzDJcdTAwMTCNSoJQLZnSWlwirkB5vNHybIBcdTAwMTOUje9Jqlx0kVx1MDAxNFxcIJJZXHUwMDExRHN9e1g5rLmYqoJ4jLM0ZFSun6eGOFdQzWclLaNhhynjnPDII6vzeJrUOMduQOsrr1x1MDAxZVximtet2VE6XHUwMDAywntr1ffN68fe3pQggPVNbIFcdTAwMDLYYsWVMJXjXGJcdJ2OJYRCXHUwMDEyi1x1MDAxN+SNu1ivTTluXHUwMDA2zIByzZCpPCM6jFx1MDAxNmfcTpdwf4vP/ZziXHUwMDFhw+tXXt/asVx1MDAxZkbeO7X91qN0j8Gliklfke5cdTAwMTVKxFJDXHQyXHUwMDA1uldcdTAwMDCxXHUwMDE2iFKNXHUwMDE5p2ndS7XpQEnDXHLBtnKSlVx1MDAxYSlhglx1MDAxOHhRhGuMoVnYzZvujeteMrPuxYKZnTY5hy/gguwrKFx1MDAxZUX0XHUwMDAy6jEpaLNcdTAwMTdcdTAwMTD9zFx1MDAxN1XzSVx1MDAwYunsynchSoxjZMixpFxmPFx1MDAxY1x1MDAxMkYlXHUwMDFm7oLx4FxulJswtTeSqJlcdTAwMTVx8WFcdTAwMTNzMyBcdTAwMWO4n2ZcZqaem5RcdTAwMGUpXHUwMDE49neKKuu1gbN1fWd3b/f37lx1MDAwZVqVrYHNMlx1MDAxY9Sc6Fx1MDAxM5VxXHUwMDFhS3luoeqTKo1vlM3cXGI795Ohkm1ejtZcZuVoZ/PzXlxy033n3MeicmB/rfR2+VPcYlx1MDAxMuW6OYHjSpRcdTAwMDSMXHUwMDExlVXCgmluwFx1MDAxOfRcdTAwMWNcdTAwMDJeMc9TXHUwMDE3XHUwMDFmM6U3J3c71qlE3XJVXHUwMDFmX7Yqa46HlqNcdTAwMTiaPq5DXHUwMDEw6FxmMYmCLoBN8UCLS8BETpHXXHUwMDAzgEROgdhcdTAwMTN+WEZcdTAwMGWXaJOg0ZJzxWNcdTAwMTHcP1x1MDAwMvFYXHUwMDAwhD7Ozk8k2CeGaGZxXHUwMDE41rlcdTAwMTVcdTAwMWWASGrKQqahJ4XbS7VAL4Gc4JLhJcpcdTAwMDSogGjj+IYwXHUwMDEyXHUwMDEzfVx1MDAxYS37zu6OpZ6Idod58stGXHUwMDBlj+Ztxlxmhqdyq9Kzu0tvcIt1l1x1MDAwMO3sRKzYlkdIjO327Lo1XHUwMDE2i0lcdTAwMTBcdTAwMThcZmxcdTAwMGLsheBagf+OmZqVeC1izKiksPnhyFx1MDAxY8xDqEx4wGZcdTAwMTW1IZCKXHUwMDAzXHUwMDFilkXk8Xv7wCYwWWB29vaPvMOa77XarrRp3XfpYPXrOOlcdTAwMDRGXHUwMDFmPGDONFx1MDAwNd9cdCU2XHUwMDFhXG40wuqAWWIwbYKDJtGxdERohEL1/GZ2pjI7W1x1MDAxMzA3zqRU4Ptkn2GUv0tcdFx1MDAwM29DjOtpqNuIXHUwMDEzTCalV6HYPobtO9aDtlxipyxMOERcdTAwMGVUXHUwMDFjJ+HgWI2I1KTSXHK+XHUwMDE3yffHc1xysVx1MDAwMSdcdTAwMTNcdTAwMGKpXHUwMDExziercNPcOZC9lfLqpXZcdTAwMDZic012yr3uXHUwMDA0Tlx1MDAxOC9JY2iANlxiXHUwMDAyq1x1MDAxYj8lXHUwMDE0vNBcdTAwMDD6ipuzfPGbTzY+sk97R310cUPvr7/6rG7R7Y2+b02D7E/jI1uZ00G5zNx9WHB4r1BKXHUwMDExOXeHrE22L5y+dUVcdTAwMGa9XHUwMDBm10flXHUwMDEz16d780q0T15cXFRcdTAwMDCh4oFcdTAwMTY7ZKzEXHUwMDAxPlx1MDAwNDEmpJSUJeAjSobEacw5gZtvXHUwMDFl2XNcdTAwMDCoMrNHJlx1MDAxNFBcdTAwMWZE0od5XHUwMDA21CX3xC9YP1M4KeZ85p+RfU6e/4CON4cs0t3cXHUwMDFksmK7/jJcdTAwMWSyRYz59+uQ2fdoQ/X3af180939/IVt759WbsZzyFhcdIMwcomEVDJS0Vx1MDAxN1x1MDAxOFx1MDAxZIxGXHUwMDE4nTeHbGnxVmd7gsptTKVG2SVguOB/ViFGdfGpTpBcdTAwMWVhXmas2/4jOGPvXHUwMDFlxWG52ulcdTAwMWP5MINDvbjct63BWobb0lxiPkaYXHUwMDAyhWDk31xumMi3d9/+XHUwMDBmXHUwMDE1mXlwIn0=生产者消费者send messagereceive messagesend messagereceive messagebuff queuependingpending

Voice 层

RecordVoice 封装

Voice 层首先需要实现小程序环境下对录音的一个封装,还需要考虑到小程序环境下特定所需的授权机制。

封装主要是为了:

  1. 统一事件处理
  2. 简化小程序授权操作
  3. 简化音频流采集配置
BufferQueue 缓冲队列

Voice 作为生产者,它生产的数据流向 WS 这个消费者,但是这会产生一个问题:如果生产速度大于消费速度,那么就会导致数据无法被及时消费,因此需要提供一个缓冲区来暂存这些数据,队列的“先进先出”的特性非常符合这个要求,我们称这个结构为缓冲队列。

这里需要重点关注缓冲队列的大小,如果生产速度持续大于消费速度,缓冲队列可能会持续无限制的增大,造成内存溢出,因此需要设置合理的背压机制。

为此,我设计了两套防线:

  1. 如果缓冲队列长度超过阈值,则增大 WS 层每次发送帧中音频块的大小,并携带块数量等信息,后端根据信息进行分块,再传递给大模型端;当缓冲队列小于阈值后,恢复。
  2. 如果还是无法缓解,达到队列最大长度限制,则直接丢弃最旧的音频数据,保留最新的。

WS 层

WS

小程序环境下 WS 的封装,核心需要关注:

  1. WS 基本实现:包括连接、事件等封装
  2. 心跳机制:保证连接存活,此外还可以用于检测连接是否断开
  3. 断线重连:注意重连设置阈值,避免无限重连
  4. 失败重传:在请求超时的情况下,重传数据帧,但是需要注意携带 id 来去重

找流向

数据流

前面已经分析过,WS 和 Voice 本质上是一个生产消费模式,Voice 产生音频流,提供给 WS 进行消费,因此系统中存在的数据流有:

  1. Voice 音频流 WS
  2. WS 服务器

同时,大模型端的文本也会返回给前端:

  1. 大模型端 服务器
  2. 服务器 WS

这里重点关注 Voice 流行 WS 的音频流,我们可以实现一个管道机制,来让 Voice 中缓冲队列的音频数据自然地流向 WS,并自动实现请求-应答机制。

这个管道机制的核心要求是:当发送完一帧时,就阻塞,等待响应,收到响应后再发送下一帧。很容易想到可以通过状态 + 事件订阅的方式来实现。

Promise 天然符合这个要求,本身 then 提供事件订阅机制,promise 自身还提供 pendingfulfilledrejected 三种状态,分别可以表示:

  • pending: 发送后阻塞阶段
  • fulfilled:收到响应,即将发送下一阵
  • rejected:失败,需要重发

给一个代码示例:

生产者的管道函数,通过自动机不断传递消息帧:

/**
 * 流式管道(生产者)
 * 这是一个自动机,它会持续从缓冲区中取出数据,直到缓冲区为空且停止记录。
 * @param callback 消费函数
 * @returns
 */
public async pipe(
  callback: (item: FrameVoiceBuff, size: number) => Promise<any>
): Promise<void> { 
  if (this.piping) {
    console.warn("pipe is piping, please wait");
    return Promise.resolve();
  }
 
  this.piping = true;
  let pendingCount = 0
  let item: FrameVoiceBuff | null = null;
  do {
    item = await this.shiftBuff();
 
    if (item) {
      pendingCount = 0
 
      // 业务层处理异常
      await callback(item, this.buffer.length);
 
      if(item.isLastFrame){
        break
      }
    } else if(pendingCount > 5) {
      break
    } else {
      pendingCount++
      await new Promise<void>((resolve)=>{
        setTimeout(()=>resolve(), 100)
      })
    }
  } while (true);
 
  this.piping = false;
}
 
private shiftBuff(): Promise<FrameVoiceBuff | null> {
  return new Promise((resolve) => {
    if (this.state === "stopped" && this.buffer.length === 0) {
      return resolve(null);
    } else if (this.buffer.length > 0) {
      return resolve(this.buffer.shift()!);
    }
 
    const timer = setTimeout(() => {
      this.offFrame(this.waitFrameSymbol);
      resolve(null);
    }, this.Max_TIME_OUT);
 
    this.onFrame(this.waitFrameSymbol, () => {
      clearTimeout(timer);
      this.offFrame(this.waitFrameSymbol);
      // 确保pushBufferSymbol事件在waitFrameSymbol事件之前执行
      setTimeout(() => resolve(this.buffer.shift()!), 0);
    });
  });
}

消费者的管道函数, 通过 promise 实现:

/**
 * 串行流(请求-响应模式)
 * 即当发送一个请求后,等待服务器返回响应,只有当服务器返回成功响应后,才会发送下一个请求。
 * @returns 包含pipe和clear方法的对象
 */
sendSerialStream() {
  let { resolve: pResolve, reject: pReject, promise } = withResolvers<void>();
 
  const handleSuccess = (msg: WSMessage) => {
    console.log("[ws pipe]: 接收消息帧成功", msg);
    pResolve();
  };
  this.onMessage(WsClient.WsEventCode.OK, handleSuccess);
 
  const handleError = (msg: WSMessage) => {
    console.error("[ws pipe]: 接收消息帧失败", msg);
    pReject(msg);
  };
  this.onMessage(WsClient.WsEventCode.FAIL, handleError);
 
  return {
    clear: () => {
      this.offMessage(WsClient.WsEventCode.OK, handleSuccess);
      this.offMessage(WsClient.WsEventCode.FAIL, handleError);
    },
    pipe: <T>(e: T) => {
      return new Promise<void>((resolve, reject) => {
        let timer = setTimeout(
          () =>
            reject({
              err: new Error("发送超时"),
              code: WsClient.WsEventCode.TIMEOUT,
              reason: "发送超时",
              item: e,
            }),
          this.maxTimeout
        );
 
        return this.send<T>(e)
          .then(() => promise)
          .then(() => {
            clearTimeout(timer);
 
            const p = withResolvers<void>();
            pResolve = p.resolve;
            pReject = p.reject;
            promise = p.promise;
            resolve();
            return { code: WsClient.WsEventCode.OK };
          })
          .catch((err) =>
            reject({
              err: err,
              code: WsClient.WsEventCode.SEND_ERROR,
              reason:
                err?.reason?.errMsg ||
                err?.reason?.message ||
                err?.reason ||
                err,
              item: e,
            })
          );
      });
    },
  };
}

使用方式非常简单,类似 Nodejs 中的流式 API:

const { pipe, clear } = wsClient.sendSerialStream();
let piping: () => Promise<void> = () =>
    frameVoice.pipe((e: FrameVoiceBuff, size: number) => {
	  console.log("frameVoice.pipe", e, size);
 
	  if (e.isLastFrame || (frameVoice.state === 'stopped' && size === 0)) {
	  	// 最后一帧需要单独处理
		const data = getLastFrame(e)
		return pipe<ArrayBuffer>(data.buffer);
	  }
	  return pipe(e.frameBuffer);
	}).then(() => {
	  // 结束
	  // ...
	  
	  clear()
	}, ()=>{
	  // 异常处理
	})

画一张图方便理解:

stateDiagram-v2
  direction LR

  [*] --> Idle: pipe() 启动

  Idle --> TakeFrame: 队列有数据
  Idle --> WaitFrame: 队列为空 && 仍在录音
  Idle --> Done: stopped && 队列为空

  WaitFrame --> TakeFrame: onFrame() 唤醒 / 新帧入队
  WaitFrame --> Done: 超时 / stopped && 队列仍为空

  TakeFrame --> Sending: shiftBuff() 出队一帧
  Sending --> WaitingAck: WS.send(frame)
  Sending --> Retry: send error / 立即失败
  Sending --> Failed: 超过最大重试 / fatal

  WaitingAck --> Acked: 收到 OK(ACK)
  WaitingAck --> Retry: TIMEOUT / FAIL
  Acked --> Done: isLastFrame
  Acked --> Idle: 继续下一帧

  Retry --> Sending: 重传(同 frameId, connectId)
  Retry --> Failed: 超过最大重试 / 连接不可用

  Failed --> [*]
  Done --> [*]

控制流

在缓冲队列中,背压机制会控制 WS 层重发送的音频流的大小,因此存在以下控制流:

  1. Voice WS (比如 Voice 通知 WS 快一点)

如果是滑动窗口方案,那么就会存在:

  1. 服务器 WS
  2. WS 服务器

请求应答这套机制则完全是通过缓冲队列大小来动态单向控制 WS 层发送速度。

失败路径

前面已经提到过:如果断线就得重连,如果失败就得重传。

除了 WS 本身的连接状态外,还额外实现了心跳机制来确保小程序休眠状态下 WS 连接的存活,并以此判断连接是否存活。

心跳机制:简单来说是前端定时不间断地发送一个空包给服务器,服务器收到后返回一个确认空包给前端,这样两者就都能确定连接的状态,如果超时未收到确认则重新发送空包,如果多次重试未收到回复,那么说明连接断开。

实现重连的基础是实现会话 ID,这要求在连接建立时就确定会话信息,实现起来也很简单:

{
  "type": "connect_start",
  "connect_id": "前端实现一个uuid"
}

在连接建立时,前端发送一个 UUID 作为会话 id,之后每次发送消息帧都携带这个会话 id 和帧 Id。

当连接断开时,前端重新连接并用这个会话 Id 来恢复之前的会话,并重新发送之前的消息帧。

总结

这套实时语音转录系统,本质上并不复杂,但真正的难点在于:如何在强约束条件下保证稳定性和可靠性。

通过“三段式”的设计方式——定边界、划层级、找流向——我们将问题逐渐收口:

  • 通过定边界,明确运行环境、性能极限和稳定性要求,让系统复杂度可控;
  • 通过划层级,拆分 Voice、WS 与通讯协议层,践行单一职责原则,降低耦合;
  • 通过找流向,梳理数据流、控制流与失败路径,确保系统逻辑闭环。

在实现层面,这个系统本质上是一个:

  • 有序流式传输模型
  • 带背压机制的生产-消费系统
  • 支持会话恢复的可靠传输机制

此外,这套系统的成功运行和交付也证明了三段式方法论的可行性:

通过定边界确定系统业务、性能等边界,收敛复杂度,然后用划层级降低系统耦合度,最后通过找流向梳理系统中的数据流、控制流、状态流和失败路径,来实现系统逻辑闭环。