Android监控服务器进程

相信很多同学遇到过在服务器上跑的程序被掐了或者莫名奇妙挂了的情况,特别是长时间运行的程序,如deep learning的训练,白白浪费一天可不好玩。因此我想了各种姿势监控我的程序,比如进程一旦消失就发邮件通知等等,感觉姿势不够美妙,于是最近鼓捣了一下,发现了神器。


Termux

Termux简直太吊了,简直就是一个五脏俱全的debian,你敢信他有apt?也就是可以安装ssh、python、git…..,所有的包可以看github。帅爆了,当时我就把那个弱鸡QPython删了。既然有了python,那能做的事就多了去了。当然也可以使用pip,只是像numpy的库依赖C库的包装不了。一言不合我就在安卓上装了个Flask。来看个Termux跑在Nexus 5上的截图,依次是当计算器的Python,跑了Flask的Python和Flask的网页。

termux flask flask2

 

帅的不能自理。是不是觉得配色有点难看,没事,可以付2.49刀买个Termux:Style,虽然我觉得改个配色应该很简单。这个开发者太有节操了,要钱的都是无关紧要的,不要钱的像Termux,Termux:API都很要紧,为了表示感谢,我买了个Termux:Widget(当然后面也能用到)。ssh就用 apt install openssh 就行了,然后跟普通Linux操作一样设置无密码登录就行了。Easy!


定时SSH执行远程命令

回到正事,我要监控服务器,必须能跟服务器通信啊。我不想开个端口,比如HTTP比较容易,但增加一个端口就增加了风险,因此选择SSH来执行远程命令是坠吼的。我经常用的Serverauditor好是好,但是不能命令行运行啊,那不是坑爹吗。或者用CyanogenMod,更像Linux一点,直接内置ssh,但我还是想用原生android的。另外更重要的是要定时啊,类似cron的功能,这个得借助另一个神器Tasker完成。Tasker就强大了,有JuiceSSH的Tasker插件,tm的,太贵了。还可以用connectbot,然后让tasker发起intent,参考此处彼处。我觉得还是Termux靠谱,这时Termux:Widget就派上用场了,通过Tasker调用Secure Settings来执行Termux:Widget中的脚本。好像有点复杂,可以看看作者怎么说(关于发送短信到电脑)。整个Tasker流程如下,关键是执行Shell脚本那步,我是设定每60分钟执行一次,错误就发送通知,还播放雷姆声音提示哦!

tasker

还有很多tasker能做的事情,比如用雷姆声音提醒喝水,记录自己的轨迹(wifi信息),转发短信,自动回复微信等,非常帅!花点钱是值得的。

 

最近高产似母猪啊,要把之前没更的全补回来。

SGD算法比较

机器学习中,经常需要解决Empirical risk minimization(ERM)问题,这么晦涩的名字其实很简单,就是对于每个数据样本i定义一个损失J_i(\Vtheta}),总的损失就是

    \[J(\Vtheta}) = \frac{1}{n} \sum_i^n J_i(\Vtheta})\]

然后要找到使J(\Vtheta})最小的\Vtheta}。如SVMLogistic regression甚至分类的CNN都是属于这个问题。
这类模型通常需要使用迭代法求解(Linear regression 有闭解但考虑计算问题,一般也使用迭代法),其中梯度下降法(Gradient Descent)最常用:

    \begin{align*} \Vg_t &\gets \frac{1}{n} \sum_i^n \nabla J_{i}(\Vtheta_{t-1}) \\ \Vtheta_t & \gets \Vtheta_{t-1} - \eta \Vg_t \end{align*}

SGD

遇到数据量大的时候,很难不使用随机梯度下降法(Stochastic gradient descent, SGD)。SGD非常直观,就是随机拿一个或几个数据做个梯度下降,即

(1)   \begin{align*} \Vg_t &\gets \nabla J_{i}(\Vtheta_{t-1}) \\ \Vtheta_t & \gets \Vtheta_{t-1} - \eta \Vg_t \end{align*}

这个梯度\Vg_t是对部分数据计算所得,下面就记为\Vg_t  \gets \nabla J(\Vtheta_{t-1})\Vg_t可以看作是对真实梯度的估计,至少期望上是没有偏差的,因此在应用于凸问题时可以收敛到最优解。但是SGD有很多需要解决的问题

  • 收敛速度跟学习速率\eta关系很大,大\eta容易震荡,小的\eta收敛很慢。人为地在训练中调节是比较困难的,也难以适应数据的特征。
  • 学习速率\eta对所有的\Vtheta的特征都是一样的。事实上,应该\Vtheta中某些特征下降慢,有些快,没有考虑到稀疏性。
  • 容易陷入不太好局部最小或者鞍点。特别是在训练神经网络时,会更明显。

为此大神们设计了很多改进的算法,包括Momentum、NAG、Adagrad、RMSProp、AdaDelta、Adam….。我们一个个看过去。或者可以看这个博客


改进SGD

改进的算法实在有点多,挑几个著名的,我把这几个算法之间的进化关系(也根据出现的时间顺序)画在了一张图中。针对上述问题,主要有两种改进,一是利用物理中动量的思想,保持总的下降方向减小震荡,也比较容易地跳出不太好的局部最小。二是自动调节学习速率\eta

SGD粗略关系(看不清放大看)

不好好研究一下,实在搞不懂这些算法之间的区别。所以接下来仔细看看每个算法,比较一下优缺点。

Momentum

想象一个球从山上滚下来,刚开始速度为0,就会滚得磕磕碰碰(震荡)。经过一段时间动量(Momentum)的累加,震荡就会减少,径直往山下滚。表示为数学公式就是

(2)   \begin{align*} \Vg_t & \gets \nabla J(\Vtheta_{t-1}) \\ \Vv_t & \gets \gamma \Vv_{t-1} + \eta \Vg_t\\ \Vtheta_t & \gets \Vtheta_{t-1} - \Vv_t \end{align*}

可以看到跟(1)式相比就是当前下降的方向要与之前下降的方向加权平均。这里的\gamma一般取0.9就行了。直观上可以减少震荡,能更快的收敛。

NAG

NAG(Nesterov accelerated gradient)核心思想就是利用Momentum预测下一步的梯度,而不是使用当前的\Vtheta

(3)   \begin{align*} \Vg_t & \gets \nabla J(\Vtheta_{t-1} - \gamma \Vv_{t-1}) \\ \Vv_t & \gets \gamma \Vv_{t-1} + \eta \Vg_t\\ \Vtheta_t &\gets \Vtheta_{t-1} - \Vv_t \end{align*}

看出玄机没,在计算\Vg_t的时候使用的不是\Vtheta_{t-1}而是在\Vtheta_{t-1}的基础上再前进\gamma \Vv_{t-1},相当于利用当前的Momentum对下一步将走到哪进行了预测。更详细的介绍可以看这里

AdaGrad

接下来是关于学习速率的——通过算法让学习速率的选择更加容易,或者说是Adaptive Gradient。AdaGrad利用以前的梯度信息\sum_{i=1}^t \Vg_{i,j}^2判断对应的特征j是否经常被更新。因此对稀疏的数据尤其适合。写成向量形式如下:

(4)   \begin{align*} \Vg_t & \gets \nabla J(\Vtheta_{t-1}) \\ G_t &\gets G_t + \Vg_t \odot \Vg_t \\ \Vtheta_t & \gets \Vtheta_{t-1} - \frac{\eta}{\sqrt{G_t + \epsilon}} \odot \Vg_t \end{align*}

注意其中的element-wise操作,为了防止除零,\epsilon取个小量如1e-8。一般\eta取个0.01就不用管了。
在这里停顿,思考2分钟,尝试发现问题。

G_t是递增的,而且可能是比较快的递增,然后就会导致\frac{\eta}{\sqrt{G_t + \epsilon}}很小趋向于0,最后\Vtheta就不会更新了。还有就是,最开始的梯度有必要对很久以后的更新产生影响吗?

但AdaGrad的意义是非凡的,这里这样做的考虑可能是因为证明收敛更容易(见AdaGrad论文,40页我看不下去)。为了更加实用,于是就有了下面站在巨人肩膀上的算法。

RMSProp

这个算法不要太简单。是Hinton在课上提到的,甚至没有发表。RMSProp就是解决AdaGrad中学习速率趋向0的问题的。来看看如何简单。

(5)   \begin{align*} \Vg_t & \gets \nabla J(\Vtheta_{t-1}) \\ G_t &\gets \gamma G_t + (1-\gamma) \Vg_t \odot \Vg_t \\ \Vtheta_t & \gets \Vtheta_{t-1} - \frac{\eta}{\sqrt{G_t + \epsilon}} \odot \Vg_t \end{align*}

对比(4)式,多了对累计的信息的一个指数衰减(\gamma取0.9),AdaGrad的问题就没了。相对AdaGrad,不存在学习速率趋向0的问题,这里的学习速率\eta就可以取小一点如0.001

AdaDelta

AdaDelta也可以解决AdaGrad的问题,虽然经常看成与RMSProp类似的,我感觉AdaDelta更高级点,因为它连初始的学习速率都不用设置,AdaDelta有时相对比较慢。更新如下:

(6)   \begin{align*} \Vg_t & \gets \nabla J(\Vtheta_{t-1}) \\ G_t & \gets \gamma G_t + (1-\gamma) \Vg_t \odot \Vg_t \\ \Delta \Vtheta_t & \gets - \frac{\sqrt{\Delta_{t-1} + \epsilon}}{\sqrt{G_t + \epsilon}} \odot \Vg_t \\ \Vtheta_t & \gets \Vtheta_{t-1} + \Delta \Vtheta_t \\ \Delta_t & \gets \gamma \Delta_{t-1} + (1-\gamma) \Delta\Vtheta_t \odot \Delta \Vtheta_t \end{align*}

对比(5)式,可以发现AdaDelta用\sqrt{\Delta_{t-1} + \epsilon}来估计学习速率。这里的\gamma可以取个0.95。直观来说,就是利用之前的步长们\Delta\Vtheta_t估计下一步的步长,好像很有道理。“更有道理的是,SGD, Momentum或者AdaGrad更新时单位是不对的,或者说我们赋予了\eta一个单位。看(1)式,\Vg_t的单位是\frac{1}{\Vtheta}的单位(假设J没有单位,存疑),用它来更新\Vtheta单位可能就不对。而AdaDelta就没有这个问题\frac{\Delta\Vtheta}{ \frac{\Delta J}{\Delta\Vtheta}} \Vg_t \propto \Delta\Vtheta。”这段存疑,有兴趣的可以看AdaDelta论文

Adam

神器,相见恨晚,好快。我用了之后这种反应。首先Adam利用了AdaGrad和RMSProp在稀疏数据上的优点。对初始化的偏差的修正也让Adam表现的更好。为什么叫Adam呢,因为它是adaptive estimates of lower-order moments(我没理解moments是什么意思,应该是数学里面的moments),对1阶moments(mean)和2阶moments(variance)进行自适应调整。为什么能对初始化的偏差进行修正(Initialization Bias Correction),可以看Adam论文,我有一步没搞清楚。Adam的更新算是最复杂的了:

(7)   \begin{align*} \Vg_t &\gets \nabla J(\Vtheta_{t-1}) \\ \Vm_t & \gets \beta_1 \Vm_{t-1} + (1-\beta_1) \Vg_t \\ G_t & \gets \gamma G_t + (1-\gamma) \Vg_t \odot \Vg_t \\ \alpha & \gets \eta \frac{\sqrt{1-\gamma^t}}{1-\beta^t} \\ \Vtheta_t & \gets \Vtheta_{t-1} - \alpha \frac{\Vm_t}{\sqrt{G_t + \epsilon}} \end{align*}

与论文中的有所不同,我已经写成高效的形式。\beta_1取个0.9(可能需要衰减),\gamma取个0.999\eta取个0.001有时也要来个衰减,如\eta_t = \frac{\eta}{\sqrt{t}}。在复杂优化问题上,调参真的需要经验。但相对其他来说,Adam真的快很多,很多deep learning的优化问题都用Adam。
除了Adam,作者还给出了Adamax这一变种,有兴趣可以看论文。还有加了Nesterov的Adam,NAdam


Python实现

“纸上谈兵终觉浅”,稍微实现一下是必须的,就会发现理解上的不足。网上有很多实现,比如Keras的、Tensorflow的。我实现的应该很简单粗暴,都能看懂,代码见Github(不能保证完全正确),实现logistic regression和MLP的代码都是从Theano的教程的网站获得。当然实验数据用的是机器学习中的果蝇——mnist。

效果对比

跑一个循环所需的时间还是有差别的,但差别不大,可以自己尝试。我分别在logistic regression(凸问题)和MLP上跑了一遍。为了看得清楚,我把cost的曲线光滑了一下,效果如下图所示。

 

performance on logistic regression
                                  performance on logistic regression
performance on MLP
                                                 performance on MLP

在这两个模型上,momentum和NAG都表现得差不多,不知道是不是我的实现有问题。Adam和Adamax都算后来居上,反正表现很好。对比AdaGrad和RMSProp,就可以发现AdaGrad到后面收敛慢的问题。AdaDelta最开始下降比较慢,因为人为没有指定学习速率,在MLP上至少比SGD好。我发现是\epsilon的问题,把AdaDelta的\epsilon1e^{-8}改到1e^{-6}表现好很多。 SGD在这两个模型上都能正确收敛,而且不慢,所以不要小瞧SGD。容易看出,算法在不同模型上表现并不一样,跟超参数学习速率\eta等也有关系,不能一概而论,也不要问什么算法最好这种问题,就像女友一样,只有最合适的没有最好的。


总结

虽然针对不同的任务,应该尝试不同的优化算法。我觉得实在不知道用什么就试试Adam。但是在训练过程中自己调整一下学习速率对于复杂优化目标是必要的(个人观点),比如一个epoch乘以0.5啥的。这就得靠经验了。别以为最普通的SGD不行,还是会被很多人使用,因为谁都不知道训练复杂模型的过程中会发生什么,而SGD是最能保证收敛的。

写了3天,好累。


参考

懒人秘籍

文本处理

统计句长并排序:

替换上条指令中某些字符,参考

比较不可见字符,有些时候diff输出是一样的(因为空格的关系)

重排两个对应文件

查询ascii


安全相关

生成随机密码:

umask设置在sudo时不继承,否则当普通用户设置为umask 0077的时候,使用sudo创建的文件,普通用户不能读。(pip的一个大坑)

整人,fork bomb感觉这个威力更大

 


系统管理

定期运行某个脚本,且在开机后马上运行。比如运行翻墙的shadowsocks就很必要。最方便是用crontab:

包管理


生活美好

除scp,rsyn,sshfs这类,更帅的在主机间传输文件(具体):

ssh仅运行一条命令(具体

在shell的一行里运行多条命令(详细


疑惑解答

各种括号的含义(参考stackoverflow


待续。