死锁更为普遍比任何人想承认,那么,我们如何处理他们?
我相信有一个匿名组——比如匿名戒酒互助社——总部位于硅谷,每季度召开会议,讨论的死锁瘫痪他们的产品,路线图和部署。在每个城镇谨慎的场馆,小组的工程师蜷缩在一起分享战争故事的不满的客户失去了信任,因为死锁后才发现产品被运送。死锁更为普遍比任何人想承认,但有一个原因他们不面顶部的消息。不是的人想做广告,当然,这不是一个问题,很容易找到或修复。如果你已经被这致命的问题,然后说出来,和阅读,并保存自己的猎物在未来。
你在做什么?
你想真的是这个匿名组的一部分吗?也许真正的问题是,你在做什么不这个群体的一部分吗?希望你的答案是不只是等待,看看硅的行为。即使在post-silicon验证,表现良好,并不能保证它不会锁定在该领域最有声望的国旗船客户。哎哟!基本上,你永远不能安眠。现在你还需要每周失眠症患者匿名会议添加到你的日历。
什么是死锁?
让我分享一个僵局从我的个人生活。我有一个7岁的女儿,我希望,在几年后,她不回家,说,“爸爸,这是我的男朋友,我计划和他度过剩下的生活。“我的生活不能没有她,她的生活不能没有他,我不能和他一起生活。所以,我们这里有什么?死锁。但我知道比坐在那里和希望。所以,我填满她的头和各种各样的信息如何可怕的男孩和远离他们。我希望她准备和预防情况,我就可以避免这个问题,不需要处理。但是因为这是真实的生活,我也有一个棒球棒在大门后面,以防。
除了开玩笑,死锁时,注意阿尔伯特·爱因斯坦的话说:“知识分子解决问题;阻止他们的天才。“让我们看的一些原因和治疗死锁。
芯片上的互联起着关键的作用
随着当今复杂的soc,互连连接各种“诱导多能性”中发挥着关键作用,其中有大量的信息流动。所有这些数据在不同大小和带宽,复杂的东西,有一个高水平的系统之间的依赖各种交通流。可以引入不同的依赖关系层,即:
简而言之,任何类型的资源依赖会导致死锁和片上互连起着至关重要的作用,因为它将所有的ip连接在一起。
到达底部(调试)
为什么我把它称为致命?因为这是它是什么。死锁的根本原因分析需要大量的时间和你会幸运地找到问题的来源。资源,平均工时的花在调试一个挂系统只是简单的疯狂。就像在黑暗中射箭。作为解决方案的提供者,一个需要上任何可能被一个客户报告的问题,并能够及时响应解决方案或解决方案。芯片制造商和客户想花几周和几个月想弄什么问题是首先。这并不是一个令人愉快的体验!
旧学校的方法
传统的写作方法指导和约束随机测试这些场景不再是可伸缩的。更重要的是,这种方法并不能保证你已经席卷了整个空间。特别是当你在为多个客户的需要在不同的应用程序和细分市场。客户往往是高度保密的,他们认为他们的“秘密武器”,他们不希望与供应商分享。这是可以理解的。那么我们怎样才能确保我们发现和解决这些问题呢?甚至这是正确的方法吗?
为什么正式技术?
如果你考虑功能验证,直接测试已经被随机和约束随机验证方法。现在我们有正式的技术证明的功能正确性与规范。正式的技术已经进入这个空间,因为他们给出数学证明的正确性由工程师而不是使用场景。张开双臂和行业已经接受了它。
验证和死锁避免看到相同的方法使它可伸缩的,更重要的是,对所有的情况下。正式的技术来避免死锁在这里留下来NetSpeed开创了这种方法。
新时代
使用数学技术的美正式证明互联没有死锁问题是解决在构建时,而不是在开发过程中测试。因此,建筑设计是正确的,系统的,通过使用下面的方法:
每个依赖项捕获和每个资源跟踪在一个资源分配图(布)。使用正式的技术,我们证明系统中,不会发生死锁。所以,不再写希望无休止的病理测试用例覆盖各种可能性静态和暂时的。客户可以访问这个破布,他们可以在自己的枕头和安眠的东西。
客户特定的系统依赖关系怎么样?
好问题。作为IP提供商,我们有运输信息,路由、协议、最系统的依赖性,但是客户特定的系统依赖关系通常不会与我们共享。占,NetSpeed也叫做NocStudio的提供了一个平台,允许用户指定其他系统依赖关系没有直接与我们分享它。这些指定的依赖关系以及隐式的平台已经知晓,成为黄金规范正式的技术应用。这确保生成的设计平台,包括拓扑结构、路由和资源共享,是deadlock-free。
底线是,你不需要是这个僵局匿名组的一部分。想要了解更多关于开发deadlock-free设计,注册为即将到来的网络研讨会,“调试、分析NoC,超越…探索未知的星系的互联!”由NetSpeed系统和UltraSoC技术。
|
|
|
|
|
|
|
|
|
|
留下一个回复