imported>SchlurcherBot：Bot: http → https

2026-01-24T05:55:07Z

Bot: http → https

新页面

{{NoteTA
|G1 = IT
}}
{{Infobox programming language
| name = SISAL
| paradigm = [[函数式编程|函数式]]、[[数据流程编程|数据流程]]
| year = {{Start date and age|1983}}
| designer = James McGraw
| developer = James McGraw等人，在[[曼彻斯特大学]]、[[劳伦斯利弗莫尔国家实验室|LLNL]]、[[科罗拉多州立大学]]和[[DEC]]
| latest release version = 14.1
| latest release date = {{start date and age|2013|08|11}}
| typing = [[静态类型|静态]]、[[强类型编程语言|强类型]]
| implementations = osc, sisalc
| influenced_by = VAL, [[Pascal (程式语言)|Pascal]], [[C语言|C]], [[Fortran]]
| influenced = [[Haskell]]，[[SAC编程语言|SAC]]
| website = {{URL|https://sourceforge.net/projects/sisal/}}
}}
'''SISAL'''（串流和迭代所用单赋值语言）是通用[[单赋值]][[函数式编程语言]]，它具有{{le|严格语义|Strict function}}、{{le|隐式并行|Implicit parallelism}}和高效[[阵列]]处理。SISAL输出中间形式1（IF1）的[[数据流程]][[图 (数学)|图]]。它派生自VAL（{{le|Jack Dennis|Jack Dennis}}1979年设计的面向值的算法语言），并增加了[[递归]]和有限串流（stream）。它有着类[[Pascal编程语言|Pascal]]语法，并被设计为用于在各种[[多处理器]]上的数值程序的高级语言。

== 历史 ==
SISAL的定义在1983年由James McGraw等人于[[曼彻斯特大学]]、[[劳伦斯利弗莫尔国家实验室]]、[[科罗拉多州立大学]]和[[DEC]]提出<ref>James R. McGraw, Stephen K. Skedzielewski, Stephen J. Allan, Dale H. Grit, R. Oldehoeft, John R. W. Glauert, Ivan Dobes, Paul H. Hohensee. [https://kestrel.nmt.edu/~raymond/software/sisal/SisalManual.pdf SISAL: streams and iteration in a single-assignment language. Language reference manual]。</ref>。它被修订于1985年，而第一个编译实现于1986年做出。据某些来源所说<ref>Retire Fortran?: a debate rekindled, David Cann, August 1992, Communications of the ACM, Volume 35, Issue 8</ref>，它的性能优于[[C语言|C]]并匹敌[[Fortran]]，它将高效性和{{le|自动并行化|Automatic parallelization}}结合了起来。

它有如下版本：[[克雷公司|Cray]] {{le|Cray X-MP|Cray X-MP|X-MP}}、Cray {{le|Cray Y-MP|Cray Y-MP|Y-MP}}、[[Cray-2]]、{{le|Sequent计算机系统|Sequent Computer Systems|Sequent}}、{{le|Encore计算机|Encore Computer|Encore Alliant}}、[[VAX|DEC VAX-11/784]]、{{le|数据流程架构|Dataflow architecture}}、KSR1、[[晶體電腦|Transputer]]和[[脉动阵列]]。

==架构==

SISAL不只是数据流程和细粒度并行的语言。它还是把人类可读文字的数据流程语言转换成图格式（所谓的“IF1”，即中间形式1）的一组工具。SISAL计划有一部份还涉及到将这种图转换成可运行的C代码<ref name="wpi2010"/>。

==例子==
两个<tt>n×n</tt>矩阵的[[矩阵乘法|乘法]]的例子程序：
<syntaxhighlight lang="pascal">
define main
type OneDim = array [real];
type TwoDim = array [OneDim];

function generate(n : integer returns TwoDim, TwoDim)
for i in 1, n cross j in 1, n
returns array of real(i)/real(j)
array of real(i)*real(j)
end for
end function % generate

function doit(n : integer; A, B : TwoDim returns TwoDim)
for i in 1, n
cross j in 1, n
c := for k in 1, n
t := A[i,k] * B[k,j]
returns value of sum t
end for
returns array of c
end for
end function % doit

function main(n : integer returns TwoDim)
let A, B := generate(n) in
doit(n, A, B)
end let
end function % main
</syntaxhighlight>

== SISAL复兴==
在2010年SISAL短暂的复活了，[[伍斯特理工学院]]的一群本科生为SISAL语言探究实现了一个细粒度并行后端<ref name="wpi2010">{{Cite web |url=http://www.wpi.edu/Pubs/E-project/Available/E-project-031210-134520/unrestricted/FinalReport.pdf |title=存档副本 |accessdate=2020-04-17 |archive-date=2016-03-04 |archive-url=https://web.archive.org/web/20160304190504/http://www.wpi.edu/Pubs/E-project/Available/E-project-031210-134520/unrestricted/FinalReport.pdf |dead-url=no }}</ref>。

在2018年于SISAL-IS计划中SISAL被现代化为基于缩进的语法、头等函数、lambda、闭包和惰性语义<ref name="sisalis">{{Cite web |url=https://github.com/parsifal-47/sisal-is |title=存档副本 |accessdate=2020-04-17 |archive-date=2018-06-12 |archive-url=https://web.archive.org/web/20180612224008/https://github.com/parsifal-47/sisal-is |dead-url=no }}</ref>。

==脚注==
{{reflist}}

== 引用 ==
{{FOLDOC}}
* [https://web.archive.org/web/20070920003407/http://hopl.murdoch.edu.au/showlanguage.prx?exp=876 VAL Overview]
* [http://www.cmp.uea.ac.uk/~jrwg/Sisal/00.Contents.html Sisal Language Tutorial]{{Wayback|url=http://www.cmp.uea.ac.uk/~jrwg/Sisal/00.Contents.html |date=20160314055556 }}

== 外部链接 ==
* [http://sourceforge.net/projects/sisal SISAL Parallel Programming]{{Wayback|url=http://sourceforge.net/projects/sisal |date=20160730153507 }} SourceForge.net project page

[[Category:并发编程语言]]
[[Category:函数式编程语言]]

SISAL - 版本历史

imported>SchlurcherBot：​Bot: http → https

imported>SchlurcherBot：Bot: http → https