ffi-go 组会心得

ffi-go 组会心得

这里不讨论相关技术问题,只是讨论一些虚的心得体会。主题是学会交流。

今天是一如既往的组会驱动式交流,实际上没有干多少活。原因一方面是自身没有驱动力,另一方面其实更本质的原因是缺乏交流,缺少对项目的理解。实际上缺少交流的问题已经暴露已久。因此今天开完组会好好地反思了一下自己过去因为缺少交流而导致的很多遗憾,也因此也想到说写这么一篇文章,希望能够在反思和写的过程中加深印象,改变自己。

首先问什么自身没有驱动力的本质原因之一是缺乏交流呢。其实在阅读GCatch大型源码的过程中就能发现自己花费了大量的时间却收获很少。实际上这是很令人头疼的一件事。类似的事情也发生在OSH大作业上,对于seL4这种大型工程,由于与老师缺乏交流,在阅读这种大型源码的时候就很容易让自己崩溃或者不耐烦,从而失去了兴趣。相反,在做go-callvis这种小型软件的时候,由于易懂,而且是能够可视化程序,因此我也就有了驱动力。另外寒假里本来就已经阅读了Anderson的pointer analysis论文,想到能够通过go-callvis来应用指针分析的结果就非常令人开心。另外在去年12月份的时候在阅读GCatch源码时也是非常头疼,当时就想能不能有什么可视化工具能够清晰的把调用关系找到,但是当时没有调研。今年3月份在和老师讨论调用图相关的事情时也才真正听老师说先去调研一下才发现原来github老早有了go-callvis的工具。也正是因为这次交流,才有了结合cgo的go-callvis。现在又到了迷茫的时候了,因为又涉及到新的领域,或者说边界,那就是将go和c的并发安全性结合cgo调用图来进行刻画和验证。正如张老师在会议中所讲的,老师在项目上的经验可以很好的指导我们推进项目。因此只有尽快把go和c的并发原语和specification等(当然这里通过我的描述就可以知道我并不知道该怎么进行,所以还是需要交流)通过并发图的方式展现出来,进而使用时序关系去检测安全性以及理解GCatch中的操作甚至突破GCatch的处理范围。当然这些都建立在和老师交流探讨的基础上,自己一个人做是肯定行不通的,因为I’m trivial。

然后回想起小时候去面试培训英语(是的,报培训班甚至还要面试,当时那个老师就说太腼腆,成不了才。现在看来确实是这样,没有交流,单打独斗真的是很难有所作为,在项目上其实就可以看出来(当然还需要自己的努力。然后回想到高中,英语很差,对于错题没有和老师去积极沟通,所以很多题一知半解。当然还有一个原因是自己不肯背单词了,虽然现在也是这样。还是要积极学英语啊…另外在大学以来也是如此,交流的不够积极。可以看到当我和助教交流的比较积极时,我对课程的理解就相对深入,但是如果某个学期我和助教很少交流,另外请教同学也不能获得正确的解答的时候,很多情况下问题就得不到解决,就类似于项目无法推进。确实是这样的。因此还是需要多交流。

另外,在和国哥的交流也少,大二-大三的暑假偶然和国哥交流,才发现自己当时不应该去参加比赛,而是应该去学托福,考出托福然后看能否进行暑研等项目。实际上自己错失了很多机会,都是因为缺乏交流导致的。包括和老师,和学长。

正如张老师说的:“她很忙(实际上大家都是),不应该是她来找我们而是应该我们主动去找她”。虽然这句话是她对另一个学长说的,但是实际上我知道她也在对我说,毕竟我也是磨磨蹭蹭,组会驱动式进展啊。

就写这么多吧。

交流能产生灵感,努力可以使灵感变现。

Licensed under CC BY-NC-SA 4.0
comments powered by Disqus
使用 Hugo 构建
主题 StackJimmy 设计