Lustre (мова програмування)

Про кластерну файлову систему див. Lustre.

Lustre — це формально визначена, декларативна та синхронна мова програмування потоків даних для програмування реактивних систем. Вона почалася, як дослідницький проєкт на початку 1980-х років. Формальну презентацію мови можна знайти в Proceedings of the IEEE за 1991 рік. У 1993 році мову впровадили в практичне, промислове використання як основну мову промислового середовища SCADE, розробленого Esterel Technologies. Зараз вона використовується для програмного забезпечення критично важливих систем керування на повітряних суднах[1]. вертольотах і атомних електростанціях.

Структура програм Lustre

Програма Lustre - це серія визначень вузлів, записаних у вигляді: 

node foo(a : bool) returns (b : bool);
let
  b = not a;
tel

Де foo — це ім’я вузла, a — ім’я єдиного входу цього вузла, а b — ім’я єдиного виходу. У цьому прикладі, вузол foo повертає заперечення свого входу a, що є очікуваним результатом.

Внутрішні змінні

Додаткові внутрішні змінні можуть бути оголошені наступним чином: 

node Nand(X,Y: bool) returns (Z: bool);
  var U: bool;
let
  U = X and Y;
  Z = not U;
tel

Примітка: Порядок рівнянь не має значення, порядок рядків U = X and Y; і Z = not U; не змінює результат.

Спеціальні оператори

pre p Повертає попереднє значення p.
p -> q Встановити p як початкове значення виразу q.

Приклади

Виявлення контурів

node Edge (X : bool) returns (E : bool);
let
  E = false -> X and not pre X;
tel

Див. також

  • Esterel
  • SIGNAL (інша синхронна мова, орієнтована на потоках даних)

Примітки

  1. ↑ SCADE Success Stories. Процитовано 8 червня 2013 року.

Зовнішні посилання

Read other articles:

Kim Moo-sung

Kim Moo-sung김무성Kim Moo-sung di acara Waisak 2015 Ketua Partai SaenuriMasa jabatan14 Juli 2014 – 14 April 2016 PendahuluHwang Woo-yeaPenggantiWon Yoo-chul (pelaksana jabatan)Anggota Majelis NasionalPetahanaMulai menjabat 24 April 2013 PendahuluLee Jae-kyunPenggantiPetahanaDaerah pemilihanDistrik Yeongdo, BusanMasa jabatan30 Mei 1996 – Februari 2012 PendahuluYoo Heung-sooPenggantiSuh Yong-kyoDaerah pemilihanDistrik Nam, Busan Informasi pribadiLahir20 September 19...

 

Sporting F.C.

Costa Rican football club This article does not cite any sources. Please help improve this article by adding citations to reliable sources. Unsourced material may be challenged and removed.Find sources: Sporting F.C. – news · newspapers · books · scholar · JSTOR (June 2022) (Learn how and when to remove this template message) Football clubSportingFull nameSporting Football ClubNickname(s)Libertos Los AlbinegrosFounded24 June 2016; 7 years ...

 

Because This Is My First Life

South Korean TV series Because This Is My First LifePromotional posterHangul이번 생은 처음이라Literal meaningThis Life Is Our FirstRevised RomanizationIbeon Saeng-eun Cheoeum-ira GenreRomantic comedy[1]Written byYoon Nan-joongDirected byPark Joon-hwaStarringLee Min-kiJung So-minCountry of originSouth KoreaOriginal languageKoreanNo. of episodes16ProductionExecutive producerLee Jung-heeRunning time60 minutes[2]Production companiesStudio Dragon[3]MI[3]Orig...

Perang Inggris-Mysore II

Perang Inggris-Mysore IIBagian dari Peperangan Inggris-MysoreTanggal1780–1784LokasiIndia SelatanHasil Perjanjian Mangalorestatus quo ante bellumPihak terlibat Mysore Prancis Republik Belanda  Britania Raya Perusahaan Hindia Timur Elektorat HannoverTokoh dan pemimpin Hyder AliTipu SultanKarim Khan SahibSayed SahibSardar Ali Khan SahibMakdum AliKamaluddin Laksamana Suffren Marquis de Bussy-Castelnau Sir Eyre Coote Hector Munro Sir Edward HugheslbsPerang Inggris-Mysore II Thalas...

 

Cross (EP)

2019 EP by WinnerCrossDigital coverEP by WinnerReleasedOctober 23, 2019 (2019-10-23)Recorded2019GenreDancehip-hopsynth popLength19:25LabelYGProducerAirplayDiggyFuture BounceHoyasKang Uk-jinWinner chronology We(2019) Cross(2019) Remember(2020) Singles from Cross SosoReleased: October 23, 2019 Cross is the third extended play by South Korean boy group Winner, released on October 23, 2019 under the label YG Entertainment.[1] The EP features the lead single Soso. Th...

 

Lapponia (chanson)

Pour l’article homonyme, voir Lapponia. Lapponia Chanson de Monica Aspelund (fi) auConcours Eurovision de la chanson 1977extrait de l'album Lapponia Enregistré 1977 Durée 2:46 Langue Finnois Genre Pop Auteur Monica Aspelund Compositeur Aarno Raninen (fi) Producteur Antero Päiväläinen Label RCA Victor Classement 10e (50 points) Chansons représentant la Finlande au Concours Eurovision de la chanson Pump-Pump(1976) Anna rakkaudelle tilaisuus(1978)modifier Lapponia est la ...

2016年夏季奥林匹克运动会委内瑞拉代表团

2016年夏季奥林匹克运动会委内瑞拉代表團委内瑞拉国旗IOC編碼VENNOC委内瑞拉奥林匹克委员会網站covoficial.com.ve（西班牙文）2016年夏季奥林匹克运动会（里約熱內盧）2016年8月5日至8月21日運動員87參賽項目20个大项旗手开幕式：鲁文·利马尔多（击剑）[1]闭幕式：Stefany Hernández（自行车）[2]獎牌榜排名第62[註 1] 金牌 銀牌 銅牌 總計 0 2 1 3 历届奥林匹克运动会�...

 

马来亚大学

马来亚大学University of Malaya（英語）Universiti Malaya（馬來語）老校名七州府医学堂、爱德华七世医学院、莱佛士学院校训Knowledge is the Source of Progress（英語）Ilmu Punca Kemajuan（馬來語）校訓中譯「知识乃成功之本」创办时间1905年9月28日，​118年前​（1905-09-28）[1][2]学校类型国立综合研究型大学捐贈基金$385 million（2017年8月）校监Sultan Nazrin Muizzuddin Shah ibni Almar...

 

Arabic Wikipedia

Arabic-language version of Wikipedia Arabic WikipediaThe logo of Arabic Wikipedia, a globe with puzzle pieces featuring several glyphs from various writing systems. In response to the 2023 Israel–Hamas war, the pieces are in the colours of the Palestinian flagType of siteInternet encyclopedia projectAvailable inArabicHeadquartersMiami, FloridaOwnerWikimedia FoundationCreated byArab wiki communityURLar.wikipedia.orgCommercialNoRegistrationOptionalLaunched9 July 2003; 2...

Pathfinders Company (Portugal)

This article needs additional citations for verification. Please help improve this article by adding citations to reliable sources. Unsourced material may be challenged and removed.Find sources: Pathfinders Company Portugal – news · newspapers · books · scholar · JSTOR (July 2021) (Learn how and when to remove this message) Air-Land Pathfinders CompanyPortuguese: Companhia de Precursores AeroterrestresPortuguese Pathfinder's with Italian Paratroop...

 

2016年美國總統選舉

2016年美國總統選舉 ← 2012 2016年11月8日 2020 → 538個選舉人團席位獲勝需270票民意調查投票率55.7%[1][2] ▲ 0.8 %   获提名人 唐納·川普 希拉莉·克林頓 政党 共和黨 民主党 家鄉州 紐約州 紐約州 竞选搭档 迈克·彭斯 蒂姆·凱恩 选举人票 304[3][4][註 1] 227[5] 胜出州/省 30 + 緬-2 20 + DC 民選得票 62,984,828[6] 65,853,514[6]...

 

الاثنا عشرية في رد الصوفية (كتاب)

هذه المقالة يتيمة إذ تصل إليها مقالات أخرى قليلة جدًا. فضلًا، ساعد بإضافة وصلة إليها في مقالات متعلقة بها. (أبريل 2015)Learn how and when to remove this message الإثنا عشرية في الرد على الصوفية الاسم الإثنا عشرية في الرد على الصوفية المؤلف محمد بن الحسن الحر العاملي الموضوع الصوفية العقيدة شيع�...

مقاطعة تشاريتون (ميزوري)

هذه المقالة تحتاج للمزيد من الوصلات للمقالات الأخرى للمساعدة في ترابط مقالات الموسوعة. فضلًا ساعد في تحسين هذه المقالة بإضافة وصلات إلى المقالات المتعلقة بها الموجودة في النص الحالي. (مارس 2018) مقاطعة تشاريتون     الإحداثيات 39°31′N 92°58′W / 39.52°N 92.96°W / 39.52; -92.96...

 

Discografia degli A Day to Remember

Voce principale: A Day to Remember. Discografia degli A Day to RememberLa band in concerto nel 2011Album in studio7↙ Album dal vivo1↙ EP1↙ Singoli20↙ Album video3↙ Video musicali28↙ La discografia degli A Day to Remember, gruppo musicale pop punk/metalcore statunitense, al 2019 conta sette album in studio, uno dal vivo, un EP, tre DVD e venti singoli. I primi lavori della band sono stati due demo autoprodotte, Halos for Heros, Dirt for the Dead e A Day to Remember EP, distribuite...

 

Cherokee Supplement

Artikel ini sebatang kara, artinya tidak ada artikel lain yang memiliki pranala balik ke halaman ini.Bantulah menambah pranala ke artikel ini dari artikel yang berhubungan atau coba peralatan pencari pranala.Tag ini diberikan pada April 2016. Cherokee SupplementJangkauanU+AB70..U+ABBF(80 titik kode)BidangBMPAksaraCherokeeAksara utamaCherokeeTerpakai80 titik kodeTak terpakai0 titik kode kosongRiwayat versi Unicode8.080 (+80) Catatan: [1] Cherokee Supplement adalah blok Unicode yang men...

Lagu kebangsaan Kyrgyzstan

Keurgeuz Respublikaseuneun Mamlekettik GimniКыргыз Республикасынын Мамлекеттик ГимниLirik lagu kebangsaan Kirgizstan dalam perangko Kirgizstan keluaran tahun 2003Lagu kebangsaan  KirgizstanPenulis lirikZhamil Sadeukov / Eshmambet KuluyevKomponisNaseur Davlesov / Kaleuy MoldobasanovPenggunaan1992Sampel audioLagu kebangsaan Kirgizstanberkasbantuan Choral rendition Keurgeuz Respublikaseuneun Mamlekettik Gimni adalah lagu kebangsaan Kirgizstan. Lirik Huru...

 

Big Momma's House 2

Big Momma's House 2Poster film untuk Big Momma's House 2SutradaraJohn WhitesellProduserDavid T. FriendlyMichael GreenDitulis olehDon RhymerPemeranMartin LawrenceNia LongEmily ProcterZachary LeviMark MosesPenata musikGeorge S. ClintonSinematograferMark IrwinPenyuntingPriscilla Nedd-FriendlyDistributor20th Century FoxRegency EnterprisesTanggal rilis27 Januari 2006Durasi99 menitBahasaEnglish Big Momma's House 2 adalah film bergenre komedi produksi tahun 2006 yang menampilkan Martin Lawrenc...

 

Barbara Everitt Bryant

American census director (1926–2023) Barbara Everitt Bryant18th Director of the U.S. Census BureauIn office1989–1993PresidentGeorge H. W. BushPreceded byJohn G. KeaneSucceeded byMartha Farnsworth Riche Personal detailsBornBarbara Everitt(1926-04-05)April 5, 1926Ann Arbor, Michigan, U.S.DiedMarch 3, 2023(2023-03-03) (aged 96)Ann Arbor, Michigan, U.S.Spouse John H. Bryant ​ ​(m. 1948; died 1997)​Children3, including RandalAlma mater Corne...

Pure (The Jesus Lizard album)

1989 EP by The Jesus LizardPureEP by The Jesus LizardReleased1989RecordedDecember 1988 and January 1989StudioKitty Empire, Chicago; and Studio Media, EvanstonGenre Noise rock industrial rock Length14:19LabelTouch and Go[1]ProducerSteve AlbiniThe Jesus Lizard chronology Pure(1989) Head(1990) Professional ratingsReview scoresSourceRatingAllMusic[2] Pure is the debut EP by The Jesus Lizard, released in 1989.[3] The cover artwork was by bassist David Wm. Sims. This...

 

Ultracore

2019 video game 2019 video gameUltracoreDeveloper(s)DICEStrictly Limited GamesPublisher(s)Strictly Limited GamesColumbus Circle (Genesis)Producer(s)Greg DuddleDesigner(s)Joakim WejdemarBo LankinenOlof GustafssonFrederik LiliegrenMarkus NystroemProgrammer(s)Bo LankinenArtist(s)Joakim WejdemarMarkus NystroemComposer(s)Olof GustafssonPlatform(s)Mega SgSwitchPlayStation 4VitaGenesisXbox OneXbox Series X/SReleaseMega SgWW: March 25, 2019 Sega GenesisJP: October 17, 2019Switch, PS4WW: June 23, 202...