ytk-mp4j 分布式機(jī)器學(xué)習(xí)通信庫
?

項(xiàng)目背景

目前可以用于分布式機(jī)器學(xué)習(xí)的通信主要基于MPI和RPC，其中MPI是分布式高性能計(jì)算的標(biāo)配，雖然效率非常高，但是對(duì)于開發(fā)分布式機(jī)器學(xué)習(xí)任務(wù)來說有很多缺點(diǎn)： 開發(fā)難度大、數(shù)據(jù)支持太底層、只能用C/C++， Fortran編寫等等；RPC 方式來實(shí)現(xiàn)類似 allreduce 這種操作，在特征維度特別高的場(chǎng)景，通信效率太低。所以我們開發(fā)了一套易用且高效的機(jī)器學(xué)習(xí)分布式通信庫。

圖2 ytk-mp4j 特性概略

項(xiàng)目簡(jiǎn)介

ytk-mp4j 是基于Java的高效分布式機(jī)器學(xué)習(xí)通信庫，實(shí)現(xiàn)了類似 MPI Collective 通信中的大部分操作，包含gather， scatter， allgather， reduce-scatter， broadcast， reduce， allreduce，使用 ytk-mp4j 可以快速地把串行機(jī)器學(xué)習(xí)程序改造成支持多線程和多進(jìn)程，ytk-learn 中所有涉及到分布式通信操作都是基于 ytk-mp4j 實(shí)現(xiàn)（表1中給出了部分例子）。

相比于MPI， ytk-mp4j 擴(kuò)展實(shí)現(xiàn)了一些非常實(shí)用的特性：

1. 所有的通信操作都是基于最優(yōu)算法實(shí)現(xiàn)［1，2］，性能非常高，同時(shí)支持多線程，多進(jìn)程。同樣的功能，在C/C++ 環(huán)境中，可能需要結(jié)合 MPI 和 OpenMP 才能實(shí)現(xiàn)

2. 不僅支持基本的數(shù)據(jù)類型（double， float， long， int， short， byte），而且還支持Java String及任意普通Java對(duì)象（Java 對(duì)象只需要實(shí)現(xiàn) Kryo的 Serializer 接口）

3. 不僅支持傳統(tǒng)數(shù)組類型的 Collective 通信，而且還支持Java Map數(shù)據(jù)類型，使用Map數(shù)據(jù)類型，用戶可以實(shí)現(xiàn)非常復(fù)雜的通信操作（例如：集合求交、求并，鏈表的連接等操作）

4. 支持?jǐn)?shù)據(jù)壓縮傳輸，在網(wǎng)絡(luò)資源很緊張的情況下，可以節(jié)約大量的帶寬

5. 純Java代碼實(shí)現(xiàn)，可以無縫集成到 Hadoop， Spark 等分布式計(jì)算平臺(tái)，構(gòu)建自己的分布式機(jī)器學(xué)習(xí)系統(tǒng)

6. 使用 Java的SDP（Sockets Direct Protocol）可以實(shí)現(xiàn)高效的RDMA（Remote Direct Memory Access）

表1 ytk-mp4j在ytk-learn中的使用

ytk-mp4j 操作ytk-learn 中使用場(chǎng)景

allreduceLoss 求和，梯度求和，Hessian 求和，計(jì)算分位數(shù)，計(jì)算平均值，

計(jì)算評(píng)估指標(biāo)（AUC， Confusion Matrix…），統(tǒng)計(jì)樣本數(shù)量、

特征出現(xiàn)次數(shù)等等

reduce-scatterGBDT 高效梯度求和

allgatherL-BFGS 中計(jì)算Hv，GBDT 同步梯度

allreduce 操作是分布式機(jī)器學(xué)習(xí)中使用最多的通信操作，它對(duì)機(jī)群中所有的節(jié)點(diǎn)對(duì)應(yīng)的數(shù)據(jù)進(jìn)行歸約操作，然后再分發(fā)給各個(gè)節(jié)點(diǎn)。下面給出了 ytk-mp4j 在多進(jìn)程、多進(jìn)程、數(shù)組，Map 下的 allreduce （歸約操作為求和）示意圖：

性能測(cè)試

表2給出了 ytk-mp4j 實(shí)現(xiàn)的Collective操作時(shí)間復(fù)雜度，其中 ?是網(wǎng)絡(luò)連接延遲， 是傳輸1個(gè)字節(jié)需要的時(shí)間， 是需要傳輸?shù)淖止?jié)數(shù)量， 是進(jìn)行1字節(jié)數(shù)據(jù)歸約（reduction）操作需要的時(shí)間?？梢钥闯?，隨著機(jī)器數(shù)量的增加，所有操作數(shù)據(jù)傳輸?shù)臅r(shí)間是幾乎不會(huì)增加的，只有連接和歸約操作的時(shí)間會(huì)隨機(jī)器數(shù)量增加，但在大數(shù)據(jù)通信時(shí)，連接和歸約的時(shí)間占比很小。這個(gè)時(shí)間復(fù)雜度特性非常重要，它使得在特征維度、樣本數(shù)量超過一定閾值的分布式機(jī)器學(xué)習(xí)訓(xùn)練任務(wù)中，訓(xùn)練加速比與機(jī)器數(shù)量接近線性關(guān)系。

表2 ytk-mp4j 實(shí)現(xiàn)的 Collective 操作時(shí)間復(fù)雜度

下圖是測(cè)試在 1Gigabit Ethernet 網(wǎng)絡(luò)下，10億維 double 數(shù)組，各種 Collective 通信操作在不同的機(jī)器數(shù)量下的通信性能（時(shí)間單位： ms），從圖中可以看出 ytk-mp4j 中的7種 Collective 操作的通信時(shí)間與機(jī)器數(shù)量的關(guān)系與理論值完全符合。