Proceedings of the 6th ACM SIGPLAN International Workshop on Functional High-Performance Computing最新文献

In search of a map: using program slicing to discover potential parallelism in recursive functions 寻找映射:使用程序切片来发现递归函数中潜在的并行性

Proceedings of the 6th ACM SIGPLAN International Workshop on Functional High-Performance Computing Pub Date : 2017-09-07 DOI: 10.1145/3122948.3122951

Adam D. Barwell, K. Hammond

引用次数: 1

Destination-passing style for efficient memory management 目的传递风格，以实现高效的内存管理

Proceedings of the 6th ACM SIGPLAN International Workshop on Functional High-Performance Computing Pub Date : 2017-09-07 DOI: 10.1145/3122948.3122949

A. Shaikhha, A. Fitzgibbon, S. Jones, Dimitrios Vytiniotis

引用次数: 20

From high-level radio protocol specifications to efficient low-level implementations via partial evaluation 通过部分求值，从高级无线电协议规范到高效的低级实现

Proceedings of the 6th ACM SIGPLAN International Workshop on Functional High-Performance Computing Pub Date : 2017-09-07 DOI: 10.1145/3122948.3122950

G. Mainland, S. Shanmugam

{"title":"From high-level radio protocol specifications to efficient low-level implementations via partial evaluation","authors":"G. Mainland, S. Shanmugam","doi":"10.1145/3122948.3122950","DOIUrl":"https://doi.org/10.1145/3122948.3122950","url":null,"abstract":"Software-defined radio (SDR) is a challenging domain for language designers. To be useful in the real world, radio protocol implementations must operate at high data rates with low latency, yet to be useful to implementers, a language should allow programmers to express algorithms at a high level of abstraction without having to worry about the very low-level details that are necessary for meeting performance requirements. Ziria demonstrated that a high-level language for writing wireless physical layer (PHY) protocols could be competitive with hand-written C++, but only in a context where performance-critical computations, such as FFT and Viterbi, were still written in C++ and accessed via a foreign function interface. We demonstrate that a new implementation of Ziria, embodied in the kzc compiler, allows even performance-critical blocks such as FFT and Viterbi to be written in a high-level language without sacrificing performance. Because kzc performs whole-program optimization, a radio protocol pipeline using an implementation of Viterbi written in Ziria can outperform an implementation that calls out to . The contributions of this paper fall into two categories. First, we describe two new optimizations in kzc, both of which are critical for wringing performance out of high-level code: an aggressive partial evaluator for Ziria programs, and an automatic lookup-table (LUT) generator. Second, we show how these optimizations allow the efficient implementation of three performance-critical blocks in Ziria: Viterbi decoding, the Fast Fourier Transform (FFT), and the inverse Fast Fourier Transform (IFFT).","PeriodicalId":130146,"journal":{"name":"Proceedings of the 6th ACM SIGPLAN International Workshop on Functional High-Performance Computing","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-09-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134370811","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 0

Strategies for regular segmented reductions on GPU GPU上的常规分段约简策略

Proceedings of the 6th ACM SIGPLAN International Workshop on Functional High-Performance Computing Pub Date : 2017-09-07 DOI: 10.1145/3122948.3122952

Rasmus W. Larsen, Troels Henriksen

引用次数: 16

VisPar: visualising dataflow graphs from the Par Monad VisPar:从Par Monad中可视化数据流图

Proceedings of the 6th ACM SIGPLAN International Workshop on Functional High-Performance Computing Pub Date : 2017-09-07 DOI: 10.1145/3122948.3122953

Maximilian Algehed, Patrik Jansson

引用次数: 1

Proceedings of the 6th ACM SIGPLAN International Workshop on Functional High-Performance Computing 第六届ACM SIGPLAN功能高性能计算国际研讨会论文集

Proceedings of the 6th ACM SIGPLAN International Workshop on Functional High-Performance Computing Pub Date : 1900-01-01 DOI: 10.1145/3122948

引用次数: 0