今早我发现了一篇很有趣的文章。: Eliminating Global Interpreter Locks in Ruby through Hardware Transactional Memory 当我阅读后发现这确实是个有趣的概念颠覆了我原有的观念.
Transactional Memory 业务内存确保内存内的一系列事件有序的发生。如果一段代码读取一个变量改变它的值后赋值会内存,TM将会确保这一系类动作产生预期的结果。TM在软硬件中均能实现(可以参考Clojure的支持)
(如何通过停用并发来解决并发问题)
Ruby的GIL是个虚拟机层面的互斥机制即一个线程只有在活动状态下才能执行Ruby代码。这个很有必要,因为C扩展以及很多Ruby组件并不是线程安全的(包括集合和哈希表!)持有GIL,我们便能确保正在执行的Ruby代码是同时刻唯一的运行线程;这就避免了并发问题.
事务性内存和GIL有何关系?
GIL的关键所在就是确保两个线程不会同时查询和修改内存。两个线程可以同时查看内存,但如果过程中一个内存修改了内存另一个线程就需要等待下个操作数。这对于原子性、一致性的事物操作很必要:操作数获取的内存视图应该是一致的否则就会出现回滚.
GIL是解决原子性和一致性视图的一个办法。HTM也能解决同样的问题。当Ruby代码运行时会有一系列潜在操作:加载变量,遍历分支,方法调用,引用,等等。研究人员将上述的几步都转换为事物片段处理。如果两个线程的操作更改了同一处内存,硬件会忽略当中的一个而后重新调度。
性能的优化还行:采用3个进程的简单的Rails应用性能提升1.3倍。但研究人员发现了一系列造成事物中断的关键点,包括垃圾回收,正则表达式类库和各种C全局变量。修复这些问题也许只是使Ruby去掉GIL和变成线程安全改进过程中少了一些必须要解决的问题却也能极大地提高HTM的适应性.
本文中的所有译文仅用于学习和交流目的,转载请务必注明文章译者、出处、和本文链接。 2KB翻译工作遵照 CC 协议,如果我们的工作有侵犯到您的权益,请及时联系我们。2KB项目(www.2kb.com,源码交易平台),提供担保交易、源码交易、虚拟商品、在家创业、在线创业、任务交易、网站设计、软件设计、网络兼职、站长交易、域名交易、链接买卖、网站交易、广告买卖、站长培训、建站美工等服务