撮合引擎开发:流程的代码实现
人民干脆面
发表于 2023-1-11 16:27:27
476
0
0
我们要开始聊代码实现逻辑了,如果不记得之前讲的目录结构,请回去翻看前文。聊代码实现的第一步自然从程序入口开始,核心就两个函数:init() 和 main(),其代码如下:9 W! o2 E* E% s9 z% g& ?9 ?. o
package main
... //other codes2 U5 R2 q/ D0 V0 \
func init() {
initViper()4 G. d: E2 h6 {0 v
initLog()' t C1 c- t5 u( b3 p' F- H
engine.Init()9 q1 o C6 H/ a& e
middleware.Init(), j8 S/ a; c& t
process.Init()
}) D6 i; S3 h A' }8 V
func main() {
mux := http.NewServeMux()
mux.HandleFunc("/openMatching", handler.OpenMatching)
mux.HandleFunc("/closeMatching", handler.CloseMatching)2 w1 m0 y1 P% q9 _8 Y* ]+ H
mux.HandleFunc("/handleOrder", handler.HandleOrder)( `# w5 F+ m2 s3 h' }
log.Printf("HTTP ListenAndServe at port %s", viper.GetString("server.port"))7 d& ]0 |4 J1 |# j7 n0 t
if err := http.ListenAndServe(viper.GetString("server.port"), mux); err != nil {
panic(err)
}8 n8 _9 Z' K+ s; w
}
init() 函数做了一些初始化的操作,我来简单介绍这几个初始化函数:
initViper():配置文件初始化,使用了第三方配置库 viper,这是一个被广泛使用的配置库,其 github 地址为 https://github.com/spf13/viper。initLog():日志初始化,程序主要使用自己定义的日志包用来输出日志文件,该日志包的实现后续文章再单独讲。engine.Init():引擎包的初始化,只是初始化了一个 map,用来保存不同交易标的的订单 channel,作为各交易标的的定序队列来用。middleware.Init():中间件的初始化,我们用到的中间件就只有 Redis,所以这里其实就是初始化 Redis 连接。Redis 客户端库方面我选择的是 go-redis/redis。process.Init():这一步主要是从缓存加载和恢复各交易标的引擎的启动和所有订单数据。! S' N! k6 e* y$ i; \
viper 和 redis 的初始化都是参照官方 demo 写的,这里就不展开说明了。log 后续再单独讲。engine 包和 process 包的初始化就需要好好讲讲。2 u$ A2 W" M3 t# o
其中,引擎包的初始化虽然非常简单,但很关键,其代码写在 engine/init.go 文件中,完整代码如下:
package engine
var ChanMap map[string]chan Order0 j6 @3 D& H7 E' G) e: X) v
func Init() {# [+ B# C) i: y; G6 G ~8 e3 J
ChanMap = make(map[string]chan Order)
}0 a1 P2 `% P! X. Z! j8 c% `- D' g
这个保存通道的 map,其 Key 是各交易标的的 symbol,即是说每个交易标的各有一个订单通道,这些订单通道将作为每个交易标的的定序队列。
process 包的初始化则如下:6 [4 R) }& Y/ y5 f* P' Y
func Init() {
symbols := cache.GetSymbols()
for _, symbol := range symbols {
price := cache.GetPrice(symbol)
NewEngine(symbol, price)
orderIds := cache.GetOrderIdsWithAction(symbol)' a) A! F. \/ M4 }+ W a
for _, orderId := range orderIds {
mapOrder := cache.GetOrder(symbol, orderId)* O- v: X, y; Q( n+ k
order := engine.Order{}9 r9 K% N% Z5 Y+ l. f4 q
order.FromMap(mapOrder)
engine.ChanMap[order.Symbol] / W) v" _( M8 D: m( Z
简单讲解下实现逻辑:
从缓存读取所有 symbol,即程序重启之前,已经开启了撮合的所有交易标的的 symbol;从缓存读取每个 symbol 对应的价格,这是程序重启前的最新成交价格;启动每个 symbol 的撮合引擎;从缓存读取每个 symbol 的所有订单,这些订单都是按时间顺序排列的;按顺序将这些订单添加到对应 symbol 的订单通道里去。* r- w/ Z) }4 M5 ~) `! d w5 m
6 Z+ e6 A; X/ l$ E% q& O3 N
如果对这里面有些设计逻辑还不太明白的话,也没关系,后面讲到对应模块时会再详细说明。. `( t# K* D+ F
main() 函数里,定义了我们之前所说的三个接口,分别交由对应的 handler 去处理具体的请求,之后就启动 http 服务了。
handler
因为只有几个接口,而且也很简单,因此,并没有引入第三方 web 框架,handler 都是用原生实现的。先来看看 OpenMatching 的完整实现:1 G r' V/ @+ K& `" }$ i: Z* c
package handler! n& Y2 o3 J* a0 ^
import (: V* c- p) W4 X5 m$ w
"encoding/json"5 e# |- Q2 L! ?4 F
"io/ioutil"7 g, [3 ~/ w, }/ r1 F& Y
"net/http"4 m1 v: b( D+ }% F9 z9 C# v8 g
"strings"
"matching/errcode"
"matching/process"
"github.com/shopspring/decimal"
)8 B) h5 J, `8 V7 B
type openMatchingParams struct {
Symbol string `json:"symbol"`
Price decimal.Decimal `json:"price"`! j+ Y, c" A0 \
}' g0 _( q5 Z/ j: U5 X. [6 N7 i
func OpenMatching(w http.ResponseWriter, r *http.Request) {
w.Header().Set("Content-Type", "application/json")
if r.Method != http.MethodPost {" ^( O( f) u- }* I: e
w.WriteHeader(http.StatusMethodNotAllowed)
return# k x, s, m& }# }" Y, q
}
body, err := ioutil.ReadAll(r.Body)
if err != nil {$ ^- o+ p; C9 _0 B; G+ A
w.WriteHeader(http.StatusBadRequest)$ G \, W+ w2 G0 p/ U& w. n, ]- K5 N
return
}" P: |/ h( w2 _& V4 @
var params openMatchingParams' w* U& [$ a; O6 [4 _7 r+ V
if err := json.Unmarshal(body, ¶ms); err != nil {
w.WriteHeader(http.StatusBadRequest)2 W- o- F* e+ r- e* B
return
}
if strings.TrimSpace(params.Symbol) == "" {; c+ F4 I" r' G' H1 `- b% b9 o
w.Write(errcode.BlankSymbol.ToJson())
return* S% R2 F- G- H# r. r5 J7 v
}
if params.Price.IsNegative() {6 I7 r4 o. H" @+ t2 y" B6 c0 t
w.Write(errcode.InvalidPrice.ToJson())" `0 _* j( _. S, _, e/ q1 b
return
}1 a# r7 B$ p* G
if e := process.NewEngine(params.Symbol, params.Price); !e.IsOK() {; p( n. p* E. [3 s
w.Write(e.ToJson())
return
}! n9 K* e2 s) v" W1 M4 R! x) k
w.Write(errcode.OK.ToJson())2 E% A' h% S; h1 s- g
}
逻辑非常简单,先判断是否为 POST 请求,再读取 body 里的数据并转为结构体对象,接着对参数做个简单的检查,最后就调用 process.NewEngine(symbol, price) 进入下一步的业务逻辑,如果结果返回是 OK,也返回 OK 作为请求的响应。+ Q; `( I6 t B% l& n% D
另外,用到了第三方的 decimal.Decimal 类型用来表示价格,整个程序都统一用 decimal 来表示浮点数和做精确计算。, p3 C# [* e+ ?9 t( v
CloseMatching 和 HandleOrder 的实现逻辑也是同理,CloseMatching 最后会调用 process.CloseEngine(symbol) 函数进入下一步的处理,HandleOrder 最后则调用 process.Dispatch(order) 进入下一步。不过,Order 结构体是定义在 engine 包的,其结构如下:( T# J! J- q6 V w' f
type Order struct {3 U# K" x% M/ B+ K
Action enum.OrderAction `json:"action"`
Symbol string `json:"symbol"`/ N6 M2 t) U* V$ z/ @% i1 M" W
OrderId string `json:"orderId"`
Side enum.OrderSide `json:"side"`
Type enum.OrderType `json:"type"`) C0 |) }5 n8 X' [0 r, m% u; B
Amount decimal.Decimal `json:"amount"`
Price decimal.Decimal `json:"price"`, v7 N, W1 h* f
Timestamp int64 `json:"timestamp"`
}
可以看到,其中的字段,除了有 Decimal 类型,还有 enum 包的几个类型,这几个其实是我们程序中自己定义的枚举类型。Golang 语言本身并没有提供和其他语言一样的 enum 关键字来定义枚举类型,所以一般采用类型定义+常量来模拟枚举类型,以 enum.OrderAction 为例:
type OrderAction string* F7 g2 I# @/ H" U: i. w& g8 Y W( h
const (
ActionCreate OrderAction = "create"4 G+ ^4 ^ o9 J+ H7 P9 P! N7 ^
ActionCancel OrderAction = "cancel"1 l x9 i! m1 w
)
其他几个枚举类型也是这样定义的。 S% S# t5 D; q0 z' Q8 O* J
另外,为了方便转为字符串和检验参数是否有效,程序中还为每个枚举类型分别提供了两个函数,还是以 OrderAction 为例:
func (o OrderAction) String() string {
switch o {
case ActionCreate:
return "create"* f9 t9 J1 z- Q7 R) z$ }0 U
case ActionCancel:
return "cancel"
default:* w' }: c+ G2 P" S9 q4 |, ?" L
return "unknown"& A2 z7 ]% Y3 f4 H b+ d# p
}
}
func (o OrderAction) Valid() bool {7 F, D0 t4 _0 y& `! i
if o.String() == "unknown" {
return false! Y3 r+ y( {. A" w; A8 d
}+ E, J# d$ v+ Q# a" a
return true
}0 r- w: g/ P4 L7 k
其他几个枚举类型也都定义了类似的两个函数,就不再贴代码了。
process 包6 H1 R# Q, t' D# V
来回顾下 process 包有哪些文件:
└── process #
├── close_engine.go # 关闭引擎
├── dispatch.go # 分发订单- N. R g8 ^) D9 }, @$ c5 A$ X- G
├── init.go # 初始化: f5 s( ^& y. R U
└── new_engine.go # 启动新引擎3 k/ D$ l5 g! d0 j3 x7 A; w6 J
init.go 就一个初始化函数,上文已经讲了。其他三个文件分别定义了上文三个 handler 对应的下一步逻辑实现。
启动新引擎
先来看看 new_engine.go:0 x1 b7 ~) m) Y: l4 Y+ B( n
package process
import (* u- n( D$ ]& T+ |
"matching/engine"3 Q6 J; `2 Q: l E5 b
"matching/errcode"& ?4 E% [; b$ A) p& Q. f! T
"matching/middleware/cache"
"github.com/shopspring/decimal"
)
func NewEngine(symbol string, price decimal.Decimal) *errcode.Errcode {
if engine.ChanMap[symbol] != nil {
return errcode.EngineExist
}
engine.ChanMap[symbol] = make(chan engine.Order, 100)5 r2 N5 J, n# s: T: O4 e% {+ R
go engine.Run(symbol, price). c9 }& A$ G+ c: i2 K0 [
cache.SaveSymbol(symbol)6 N% B" C) | l
cache.SavePrice(symbol, price)% o; V. ]) V( o1 H9 i$ _
return errcode.OK
}
逻辑也是比较简单的,第一步先判断 ChanMap[symbol] 是否为空,该 ChanMap 就是上文所说的引擎包初始化时用来保存订单通道的 map。如果 ChanMap[symbol] 不为空,说明该 symbol 的撮合引擎已经启动过了,那就返回错误。如果为空,那就初始化这个 symbol 的通道,从代码可知,ChanMap[symbol] 初始化为一个缓冲大小为 100 的订单通道。
接着,就调用 engine.Run() 启动一个 goroutine 了,这行代码即表示用 goroutine 的方式启动指定 symbol 的撮合引擎了。7 O3 t( f. Z+ Q3 g' G% T! W8 f
然后,就将 symbol 和 price 都缓存起来了。
最后,返回 OK,搞定。: n" S$ m! I Q$ [# V/ w
2. 分发订单
接着,来看看 Dispatch 的实现又是怎样的:
func Dispatch(order engine.Order) *errcode.Errcode {
if engine.ChanMap[order.Symbol] == nil {
return errcode.EngineNotFound) _- r: f$ h0 g8 ^, H
}- Z7 w8 e- Q' T/ V1 R5 e" u
if order.Action == enum.ActionCreate {
if cache.OrderExist(order.Symbol, order.OrderId, order.Action.String()) {% ]6 Y* Q; q$ m9 V# K
return errcode.OrderExist
}3 \- r# L5 ?0 M2 x
} else {) L' j) ?1 }( G: ]8 O5 e
if !cache.OrderExist(order.Symbol, order.OrderId, enum.ActionCreate.String()) {- d5 G# [3 B& K
return errcode.OrderNotFound6 _7 b2 |, n1 J& a+ s: K
}
}1 ?4 x5 t4 A5 z+ }4 v7 u6 k9 B2 N
order.Timestamp = time.Now().UnixNano() / 1e3$ A, v$ `; l- X w) b4 y% r. v) D
cache.SaveOrder(order.ToMap())
engine.ChanMap[order.Symbol]
第一步,判断 ChanMap[order.Symbol] 是否为空,如果为空,表示引擎没开启,那就无法处理订单。
第二步,判断订单是否存在。如果是 create 订单,那缓存中就不应该查到订单,否则说明是重复请求。如果是 cancel 订单,那缓存中如果也查不到订单,那说明该订单已经全部成交或已经成功撤单过了。& e* W9 {9 `, _: `6 F2 A; y7 b& E% R
第三步,将订单时间设为当前时间,时间单位是 100 纳秒,这可以保证时间戳长度刚好为 16 位,保存到 Redis 里就不会有精度失真的问题。这点后续文章讲到 Redis 详细设计时再说。8 \. O" C5 ?3 o' c2 p
第四步,将订单缓存。
第五步,将订单传入对应的订单通道,对应引擎会从该通道中获取该订单进行处理。这一步就实现了订单的分发。
第六步,返回 OK。: C$ y0 b; A4 B( F
3. 关闭引擎
关闭引擎的实现就非常简单了,请看代码:: h' |/ q6 M6 [( A- f: ~% z2 W
func CloseEngine(symbol string) *errcode.Errcode {
if engine.ChanMap[symbol] == nil {9 s2 m/ P& O# |) c% j' f
return errcode.EngineNotFound
}( U" R5 n1 m$ K
close(engine.ChanMap[symbol])
return errcode.OK8 \2 ^$ I8 d4 h- W
}
核心代码就一行,将对应 symbol 的订单通道关闭。后续的处理其实是在引擎里完成的,待会我们再结合引擎里的代码来讲解这个设计。: y. C$ |, C0 e* m* r6 h
引擎入口的实现
交易引擎 goroutine 的启动入口就是 engine.Run() 函数,来看看其代码实现:+ j+ @7 ?) B% E) ?" X& K% w3 i' j
func Run(symbol string, price decimal.Decimal) {
lastTradePrice := price
book := &orderBook{}
book.init()
log.Info("engine %s is running", symbol)/ t4 }! v9 T: K' V0 D L+ G
for {6 m# M$ i4 t* W7 X
order, ok := & ^; H; G4 |% P! ?3 S# s
第一步,先定义和初始化了一个 book 变量,该变量就是用来保存整个交易委托账本。
接着,就是一个 for 循环了,for 循环里的第一行就是从对应 symbol 的订单通道里读取出一个订单,读取到订单时,order 变量就会有值,且 ok 变量为 true。如果通道里暂时没有订单,那就会阻塞在这行代码,直到从通道中获取到订单或通道已关闭的消息。
当通道被关闭之后,最后,从通道中读取到的 ok 变量则为 false,当然,在这之前,会先依序读取完通道里剩下的订单。当 ok 为 false 时,引擎里会执行两步操作:一是从 ChanMap 中删除该 symbol 对应的记录,二是清空该 symbol 对应的缓存数据。最后用 return 来退出 for 循环,这样,整个 Run() 函数就结束退出了,意味着该引擎也真正关闭了。
当每读取到一个订单,就会判断是下单还是撤单,然后进行相应的逻辑处理了。8 z$ O0 C l t/ z- p0 R
我们先来看看撤单的逻辑,这个比较简单:
func dealCancel(order *Order, book *orderBook) {. Z6 R/ ^' _5 E3 N5 x
var ok bool8 }1 l' p4 ~. ]6 v$ |
switch order.Side {1 [$ \+ |2 H" F0 B( Q
case enum.SideBuy:. h& a0 V3 g8 P% j9 O
ok = book.removeBuyOrder(order)8 X" b2 N" A0 k7 c% h; V" P
case enum.SideSell:
ok = book.removeSellOrder(order)
}
cache.RemoveOrder(order.ToMap())8 y) x1 }! R, p, Q( r/ z' r
mq.SendCancelResult(order.Symbol, order.OrderId, ok)
log.Info("engine %s, order %s cancel result is %s", order.Symbol, order.OrderId, ok). s# g& p8 G5 p$ D
}, I3 q5 h5 }" f0 B+ h9 w7 l& W) N
核心就三个步骤:2 n6 C" u. _, _! o" ^' O4 U' w
从委托账本中移除该订单;从缓存中移除该订单;发送撤单结果到 MQ。
p9 ?& |8 O" d/ i8 u# `5 j
下单逻辑就比较复杂了,需要根据不同的订单类型做不同的逻辑处理,请看代码:5 R8 S! {) @; A9 c2 L! P2 H
func dealCreate(order *Order, book *orderBook, lastTradePrice *decimal.Decimal) {
switch order.Type {
case enum.TypeLimit:
dealLimit(order, book, lastTradePrice)
case enum.TypeLimitIoc:
dealLimitIoc(order, book, lastTradePrice)8 [4 ^ x3 k# O9 [5 B* i
case enum.TypeMarket:
dealMarket(order, book, lastTradePrice)- f1 A7 z) Q+ h1 D% ]0 U Z
case enum.TypeMarketTop5:# P9 D- A4 p2 K: t0 R% \$ }
dealMarketTop5(order, book, lastTradePrice)7 L! d$ E% k e3 P
case enum.TypeMarketTop10: t, H6 t. F7 R, L/ Q3 p+ j" v6 g2 @/ z3 }
dealMarketTop10(order, book, lastTradePrice)
case enum.TypeMarketOpponent:
dealMarketOpponent(order, book, lastTradePrice)6 Z7 ~' m8 z, m9 s) t
}+ v7 E" j- j6 R
}- X4 H0 }! q4 U9 _( j1 v; N7 m. |1 J
每个类型再分买卖方向处理,以 dealLimit() 为例:
func dealLimit(order *Order, book *orderBook, lastTradePrice *decimal.Decimal) {5 g Q# G- a9 k. q
switch order.Side {
case enum.SideBuy:
dealBuyLimit(order, book, lastTradePrice)
case enum.SideSell:- i, N) i( f4 X: D9 N! K
dealSellLimit(order, book, lastTradePrice)
}
}* x( g- T* z1 Q+ g4 ]
然后,再来看看 dealBuyLimit() 的处理逻辑:' J0 K3 ?8 S- N& b
func dealBuyLimit(order *Order, book *orderBook, lastTradePrice *decimal.Decimal) {0 C( o0 ?% n& O8 P9 h6 H7 x' B
LOOP:
headOrder := book.getHeadSellOrder()
if headOrder == nil || order.Price.LessThan(headOrder.Price) {, ?6 u; m8 {6 k% e N
book.addBuyOrder(order)
log.Info("engine %s, a order has added to the orderbook: %s", order.Symbol, order.ToJson())$ o/ i9 { B% Q! V: X6 _
} else {
matchTrade(headOrder, order, book, lastTradePrice): l/ Y2 N2 j2 g. I% r
if order.Amount.IsPositive() {
goto LOOP
}
}
}
我来解析下这个处理流程:& s0 t4 H! U5 w9 {1 c# ^6 Q
从委托账本中读取出卖单队列的头部订单;如果头部订单为空,或新订单(买单)价格小于头部订单(卖单),则无法匹配成交,那就将新订单添加到委托账本的买单队列中去;如果头部订单不为空,且新订单(买单)价格大于等于头部订单(卖单),则两个订单可以匹配成交,那就对这两个订单进行成交处理;如果上一步的成交处理完之后,新订单的剩余数量还不为零,那就继续重复第一步。
3 A4 |" a. @; b" f ^3 g4 K) R2 [
其中,匹配成交的记录会作为一条输出记录发送到 MQ。 I! G' I* R, ?2 X! Y, E- k
对其他类型的处理也是类似的,就不再一一讲解了。
那引擎包的实现就先讲到这里,后续文章再聊其他部分的实现。
成为第一个吐槽的人