15年多核危机后,并发编程语言中看到进步。
随着EDA行业进一步上升,进一步对完整系统的智能设计,今年的论坛设计语言(FDL)提供了一个很好的更新现状对语言适应这种转变。看起来下一步将不会像以前一个通用语言目标的时候有一系列介绍新编程模型在2005年关于“多核危机”。而不是一种元语言,像加州大学伯克利分校提出的“通用语”,可能是下一个步骤,构建和集成现有的编程语言,而不是建立一个新的通用。
FDL今年发生在南安普顿。我被邀请提出和讨论小组”的应用EDA行业4.0”模型和语言,我们有一个有趣的地方讨论如何SystemC符合系统设计和扩展也可能采用SystemC AMS。但我主要从FDL外卖是下一步的设计语言的发展。
近15年,2005年3月,herb Sutter——当时在微软,他现在著名的论文发表”,免费的午餐结束了”,预测不亚于并发编程革命和面向对象的革命一样大。与处理器架构的房间与传统方法提高CPU性能,更高的时钟速度和更高的指令吞吐量不再回答。相反,新兴超线程和多核架构。多核设备的大型主题2004 in - stat / MDR秋天处理器论坛和赫伯说,“回想起来,这不是称2004年多核。“并发性将成为下一个重大革命在我们如何编写软件。
随之而来的是一个典型的EDA的故事。几乎每一个音调预言世界将结束,如果我们不采取特定的编程模型,支持并发。参考时间”多核时代软件标准”我合著,以及这一章多核架构,导致布来安梅奥的书,现实世界的多核嵌入式系统。
Herb Sutter的论文,爱德华·a·李教授的”线程的问题”是对我最有影响力的论文,我们大家都读过,基本上认为线程无法核实,“线程,作为计算模型,非常不确定的,程序员的工作变成了一个非确定性的修剪。”李教授在今年FDL面板被称为“系统的系统工程,我们将在未来的20年?“在休息,我们回忆一下他的论文和革命的日子多核。李教授认为,今天的问题仍然持续2019年,问题是现在“决定论的演员。”
这将我们带回的主题系统设计的通用语言。李教授的博士生,貂Lohstroh,在确切的决定论的话题。他走回到康德的“自在之物”来定义模型描述的一个系统,不是“事情本身”。伯克利的提议的通用语言处理系统建模的方法协调使用港口、层次结构和调度,使设计的确定性和寻址李教授所提出的“线程”的问题。下图显示了一个“Hello World”示例。
通用语“Hello World”示例提出的加州大学伯克利分校。照片从貂Lohstroh FDL的演讲。
有趣给我的印象是,关键是,编程模型真正专注于协调和原子反应可以用现有的语言编写的。这是增量。所有这一切结合的愿景precision-timed(现成的)处理器性能和可预测性。通用语(可以在GitHub上找到更多的信息通用语维基),时间是一个一流的公民,而非确定性必须引入显式使用的行为。貂实际上展示了自己的作品在他们建立一个编译器和运行时API,允许输入的阅读,写作的输出和调度操作。编译器本身是相对简单的代码优化离开目标语言编译器。可以添加新的目标语言相对容易通过编写一个运行时,代码生成器。
所以,事实证明,15年多核危机之后,这个行业也有了显著的进步对并发性编程语言,和适当的处理的决定论绝对是在地平线上。
激动人心的时刻为系统设计之前!
|
|
|
|
|
|
|
|
|
|
确实令人兴奋!