垃圾收集的事务记忆相似性

2021-05-07 19:03:57

Paul A. Clayton([email protected])于4月5日,下午1:53写道:> [我在这里发布了这一点,因为它更普遍地适用于线程。]> >这里的帖子关于硬件事务记忆似乎让人想起关于垃圾收集的讨论。 >由于GC可以被定义为简单的自动内存管理或更具体的标记和扫描(不参考和GT;计数,而不是编译器范围跟踪等)自动内存管理的风格,因此HTM是测距和GT;从广泛的原子内存运行,利用乐观的并发,特别是组合>软件使用和硬件支持。由于GC争论往往专注于正确性,编程轻松,并且GT;毫无符合他们的相对重要性的履行 - 这将因编程和gt而有所不同;背景 - 所以这里的海报似乎互相交谈这些方面。> >不同意定义,而意图不仅促进与GT之间的错误通信;人群但在一个人内部的误解(不精确的概念化促进>内部和外部的创造力和误解)。> >由于GC通常被呈现为内存管理错误和编程难度的灵丹妙药,因此> HTM经常被呈现为固化 - 全部用于可扩展性,程序员努力和技能有限。 >由于GC经常被C-Dievered Programmers取消,因为去除控制和破坏性能,而GT;所以HTM似乎被解雇了从更具手动调整案件的角度来看无用。> >我对HTM的过度乐观 - 我对新的和理论取向的热爱和gt; - 但我认为一些海报可能有点悲观,因为实用>方向("我可以从现在和#34中受益,并强调熟练的程序员。 (反复>失望似乎有前途也不会促进乐观。)> >科学的观点将热爱理论与现状之间的这种冲突;这种经常打开兴趣和gt;研究机会。一些冲突有点众所周知(例如,软件性能计数器>被提到是Azul Systems HTM的困难),但即使是知识似乎不>通过了最佳现行做法和未来发展的战略。 (交易逃脱运营>已提出用于伐木,但即使在那里,工程似乎不成熟。)> >一些推进艺术状态的缓慢似乎来自弱测量工具;真实>多线程编程的世界测量复杂,乐观的并发性增加了>复杂。有些似乎来自缺乏沟通(可悲的是," La La La La La - 我不听到你">在彼此存在和互相谈论)可以误认为是这样的);研究人员可能是无知的本性,>规模,或现实世界问题和实例的范围可能无法定位(手段,动机和机会)>与研究人员进行沟通,都表达了关注和接收信息。> >我对HTM有一些思考,作为架构和微体系结构,以及如何>可能集成到系统设计中利用猜测/"仿佛和#34;操作,>但我的思想并不是很好的,这个话题很复杂和广泛。