Clojure 实战(4)：编写 Hadoop MapReduce 脚本-编程知识

Hadoop简介

众所周知，我们已经进入了大数据时代，每天都有PB级的数据需要处理、分析，从中提取出有用的信息。Hadoop就是这一时代背景下的产物。它是Apache基金会下的开源项目，受Google两篇论文的启发，采用分布式的文件系统HDFS，以及通用的MapReduce解决方案，能够在数千台物理节点上进行分布式并行计算。

对于Hadoop的介绍这里不再赘述，读者可以访问其官网，或阅读Hadoop权威指南。

Hadoop项目是由Java语言编写的，运行在JVM之上，因此我们可以直接使用Clojure来编写MapReduce脚本，这也是本文的主题。Hadoop集群的搭建不在本文讨论范围内，而且运行MapReduce脚本也无需搭建测试环境。

clojure-hadoop类库

Hadoop提供的API是面向Java语言的，如果不想在Clojure中过多地操作Java对象，那就需要对API进行包装（wrapper），好在已经有人为我们写好了，它就是clojure-hadoop。

从clojure-hadoop的项目介绍中可以看到，它提供了不同级别的包装，你可以选择完全规避对Hadoop类型和对象的操作，使用纯Clojure语言来编写脚本；也可以部分使用Hadoop对象，以提升性能（因为省去了类型转换过程）。这里我们选择前一种，即完全使用Clojure语言。

示例1：Wordcount

Wordcount，统计文本文件中每个单词出现的数量，可以说是数据处理领域的“Hello, world!”。这一节我们就通过它来学习如何编写MapReduce脚本。

Leiningen 2

前几章我们使用的项目管理工具lein是1.7版的，而前不久Leiningen 2已经正式发布了，因此从本章开始我们的示例都会基于新版本。新版lein的安装过程也很简单：

$ cd ~/bin
$ wget https://raw.github.com/technomancy/leiningen/stable/bin/lein
$ chmod 755 lein
$ lein repl
user=>

其中，lein repl这一步会下载lein运行时需要的文件，包括Clojure 1.4。

新建项目

$ lein new cia-hadoop

编辑project.clj文件，添加依赖项clojure-hadoop "1.4.1"，尔后执行lein deps。

Map和Reduce

MapReduce，简称mapred，是Hadoop的核心概念之一。可以将其理解为处理问题的一种方式，即将大问题拆分成多个小问题来分析和解决，最终合并成一个结果。其中拆分的过程就是Map，合并的过程就是Reduce。

以Wordcount为例，将一段文字划分成一个个单词的过程就是Map。这个过程是可以并行执行的，即将文章拆分成多个段落，每个段落分别在不同的节点上执行划分单词的操作。这个过程结束后，我们便可以统计各个单词出现的次数，这也就是Reduce的过程。同样，Reduce也是可以并发执行的。整个过程如下图所示：

Wordcount
中间Shuffle部分的功能是将Map输出的数据按键排序，交由Reduce处理。整个过程全部由Hadoop把控，开发者只需编写Map和Reduce函数，这也是Hadoop强大之处。

编写Map函数

在本示例中，我们处理的原始数据是文本文件，Hadoop会逐行读取并调用Map函数。Map函数会接收到两个参数：key是一个长整型，表示该行在整个文件中的偏移量，很少使用；value则是该行的内容。以下是将一行文字拆分成单词的Map函数：

;; src/cia_hadoop/wordcount.clj(ns cia-hadoop.wordcount(:require [clojure-hadoop.wrap :as wrap][clojure-hadoop.defjob :as defjob])(:import [java.util StringTokenizer])(:use clojure-hadoop.job))(defn my-map [key value](map (fn [token] [token 1])(enumeration-seq (StringTokenizer. value))))

可以看到，这是一个纯粹的Clojure函数，并没有调用Hadoop的API。函数体虽然只有两行，但还是包含了很多知识点的：

(map f coll)函数的作用是将函数f应用到序列coll的每个元素上，并返回一个新的序列。如(map inc [1 2 3])会对每个元素做加1操作（参考(doc inc)），返回[2 3 4]。值得一提的是，map函数返回的是一个惰性序列（lazy sequence），即序列元素不会一次性完全生成，而是在遍历过程中逐个生成，这在处理元素较多的序列时很有优势。

map函数接收的参数自然不会只限于Clojure内部函数，我们可以将自己定义的函数传递给它：

(defn my-inc [x](+ x 1))(map my-inc [1 2 3]) ; -> [2 3 4]

我们更可以传递一个匿名函数给map。上一章提过，定义匿名函数的方式是使用fn，另外还可使用#(...)简写：

(map (fn [x] (+ x 1)) [1 2 3])
(map #(+ % 1) [1 2 3])

对于含有多个参数的情况：

((fn [x y] (+ x y)) 1 2) ; -> 3
(#(+ %1 %2) 1 2) ; -> 3

my-map中的(fn [token] [token 1])即表示接收参数token，返回一个向量[token 1]，其作用等价于#(vector % 1)。为何是[token 1]，是因为Hadoop的数据传输都是以键值对的形式进行的，如["apple" 1]即表示“apple”这个单词出现一次。

StringTokenizer则是用来将一行文字按空格拆分成单词的。他的返回值是Enumeration类型，Clojure提供了enumeration-seq函数，可以将其转换成序列进行操作。

所以最终my-map函数的作用就是：将一行文字按空格拆分成单词，返回一个形如[["apple" 1] ["orange" 1] ...]的序列。

编写Reduce函数

从上文的图表中可以看到，Map函数处理完成后，Hadoop会对结果按照键进行排序，并使用key, [value1 value2 ...]的形式调用Reduce函数。在clojure-hadoop中，Reduce函数的第二个参数是一个函数，其返回结果才是值的序列：

(defn my-reduce [key values-fn][[key (reduce + (values-fn))]])

和Map函数相同，Reduce函数的返回值也是一个序列，其元素是一个个[key value]。注意，函数体中的(reduce f coll)是Clojure的内置函数，其作用是：取coll序列的第1、2个元素作为参数执行函数f，将结果和coll序列的第3个元素作为参数执行函数f，依次类推。因此(reduce + [1 2 3])等价于(+ (+ 1 2) 3)。

定义脚本

有了Map和Reduce函数，我们就可以定义一个完整的脚本了：

(defjob/defjob job:map my-map:map-reader wrap/int-string-map-reader:reduce my-reduce:input-format :text:output-format :text:compress-output false:replace true:input "README.md":output "out-wordcount")

简单说明一下这些配置参数：:map和:reduce分别指定Map和Reduce函数；map-reader表示读取数据文件时采用键为int、值为string的形式；:input-format至compress-output指定了输入输出的文件格式，这里采用非压缩的文本形式，方便阅览；:replace表示每次执行时覆盖上一次的结果；:input和:output则是输入的文件和输出的目录。

执行脚本

我们可以采用Clojure的测试功能来执行脚本：

;; test/cia_hadoop/wordcount_test.clj(ns cia-hadoop.wordcount-test(:use clojure.testclojure-hadoop.jobcia-hadoop.wordcount))(deftest test-wordcount(is (run job)))

尔后执行：

$ lein test cia-hadoop.wordcount-test
...
13/02/14 00:25:52 INFO mapred.JobClient:  map 0% reduce 0%
..
13/02/14 00:25:58 INFO mapred.JobClient:  map 100% reduce 100%
...
$ cat out-wordcount/part-r-00000
...
"java"  1
"lein"	3
"locally"	2
"on"	1
...

如果想要将MapReduce脚本放到Hadoop集群中执行，可以采用以下命令：

$ lein uberjar
$ hadoop jar target/cia-hadoop-0.1.0-SNAPSHOT-standalone.jar clojure_hadoop.job -job cia-hadoop.wordcount/job

示例2：统计浏览器类型

下面我们再来看一个更为实际的示例：从用户的访问日志中统计浏览器类型。

需求概述

用户访问网站时，页面中会有段JS请求，将用户的IP、User-Agent等信息发送回服务器，并记录成文本文件的形式：

{"stamp": "1346376858286", "ip": "58.22.113.189", "agent": "Mozilla/5.0 (iPad; CPU OS 5_0_1 like Mac OS X) AppleWebKit/534.46 (KHTML, like Gecko) Version/5.1 Mobile/9A405 Safari/7534.48.3"}
{"stamp": "1346376858354", "ip": "116.233.51.2", "agent": "Mozilla/5.0 (compatible; MSIE 9.0; Windows NT 6.1; WOW64; Trident/5.0)"}
{"stamp": "1346376858365", "ip": "222.143.28.2", "agent": "Mozilla/4.0 (compatible; MSIE 8.0; Windows NT 5.1; Trident/4.0)"}
{"stamp": "1346376858423", "ip": "123.151.144.40", "agent": "Mozilla/5.0 (Windows NT 5.1) AppleWebKit/536.11 (KHTML, like Gecko) Chrome/20.0.1132.57 Safari/536.11"}

我们要做的是从User-Agent中统计用户使用的浏览器类型所占比例，包括IE、Firefox、Chrome、Opera、Safari、以及其它。

User-Agent中的浏览器类型

由于一些历史原因，User-Agent中的信息是比较凌乱的，浏览器厂商会随意添加信息，甚至仿造其它浏览器的内容。因此在过滤时，我们需要做些额外的处理。Mozilla的这篇文章很好地概括了如何从User-Agent中获取浏览器类型，大致如下：

IE: MSIE xyz
Firefox: Firefox/xyz
Chrome: Chrome/xyz
Opera: Opera/xyz
Safari: Safari/xyz, 且不包含 Chrome/xyz 和 Chromium/xyz

解析JSON字符串

Clojure除了内置函数之外，周边还有一个名为clojure.contrib的类库，其中囊括了各类常用功能，包括JSON处理。目前clojure.contrib中的各个组件已经分开发行，读者可以到 https://github.com/clojure 中浏览。

处理JSON字符串时，首先在项目声明文件中添加依赖项[org.clojure/data.json "0.2.1"]，然后就能使用了：

user=> (require '[clojure.data.json :as json])
user=> (json/read-str "{\"a\":1,\"b\":2}")
{"a" 1, "b" 2}
user=> (json/write-str [1 2 3])
"[1,2,3]"

正则表达式

Clojure提供了一系列的内置函数来使用正则表达式，其实质上是对java.util.regex命名空间的包装。

user=> (def ptrn #"[0-9]+") ; #"..."是定义正则表达式对象的简写形式
user=> (def ptrn (re-pattern "[0-9]+")) ; 和上式等价
user=> (re-matches ptrn "123") ; 完全匹配
"123"
user=> (re-find ptrn "a123") ; 返回第一个匹配项
"123"
user=> (re-seq ptrn "a123b456") ; 返回匹配项序列（惰性序列）
("123" "456")
user=> (re-find #"([a-z]+)/([0-9]+)" "a/1") ; 子模式
["a/1" "a" "1"]
user=> (def m (re-matcher #"([a-z]+)/([0-9]+)" "a/1 b/2")) ; 返回一个Matcher对象
user=> (re-find m) ; 返回第一个匹配
["a/1" "a" "1"]
user=> (re-groups m) ; 获取当前匹配
["a/1" "a" "1"]
user=> (re-find m) ; 返回下一个匹配，或nil
["b/2" "b" "2"]

Map函数

(defn json-decode [s](try(json/read-str s)(catch Exception e)))(def rule-set {"ie" (partial re-find #"(?i)MSIE [0-9]+")"chrome" (partial re-find #"(?i)Chrome/[0-9]+")"firefox" (partial re-find #"(?i)Firefox/[0-9]+")"opera" (partial re-find #"(?i)Opera/[0-9]+")"safari" #(and (re-find #"(?i)Safari/[0-9]+" %)(not (re-find #"(?i)Chrom(e|ium)/[0-9]+" %)))})(defn get-type [ua](if-let [rule (first (filter #((second %) ua) rule-set))](first rule)"other"))(defn my-map [key value](when-let [ua (get (json-decode value) "agent")][[(get-type ua) 1]]))

json-decode函数是对json/read-str的包装，当JSON字符串无法正确解析时返回nil，而非异常终止。

rule-set是一个map类型，键是浏览器名称，值是一个函数，这里都是匿名函数。partial用于构造新的函数，(partial + 1)和#(+ 1 %)、(fn [x] (+ 1 x))是等价的，可以将其看做是为函数+的第一个参数定义了默认值。正则表达式中的(?i)表示匹配时不区分大小写。

get-type函数中，(filter #((second %) ua) rule-set)会用rule-set中的正则表达式逐一去和User-Agent字符串进行匹配，并返回第一个匹配项，也就是浏览器类型；没有匹配到的则返回other。

单元测试

我们可以编写一组单元测试来检验上述my-map函数是否正确：

;; test/cia_hadoop/browser_test.clj(ns cia-hadoop.browser-test(:use clojure.testclojure-hadoop.jobcia-hadoop.browser))(deftest test-my-map(is (= [["ie" 1]] (my-map 0 "{\"agent\":\"MSIE 6.0\"}")))(is (= [["chrome" 1]] (my-map 0 "{\"agent\":\"Chrome/20.0 Safari/6533.2\"}")))(is (= [["other" 1]] (my-map 0 "{\"agent\":\"abc\"}")))(is (nil? (my-map 0 "{"))))(deftest test-browser(is (run job)))

其中deftest和is都是clojure.test命名空间下定义的。

$ lein test cia-hadoop.browser-test

小结

本章我们简单介绍了Hadoop这一用于大数据处理的开源项目，以及如何借助clojure-hadoop类库编写MapReduce脚本，并在本地和集群上运行。Hadoop已经将大数据处理背后的种种细节都包装了起来，用户只需编写Map和Reduce函数，而借助Clojure语言，这一步也变的更为轻松和高效。Apache Hadoop是一个生态圈，其周边有很多开源项目，像Hive、HBase等，这里再推荐一个使用Clojure语言在Hadoop上执行查询的工具：cascalog。它的作者是Nathan Marz，也是我们下一章的主题——Storm实时计算框架——的作者。

本文涉及到的源码可以到 https://github.com/jizhang/blog-demo/tree/master/cia-hadoop 中查看。