Cyclone (Programmiersprache)

Cyclone ist ein Dialekt der Programmiersprache C.

Cyclone
Basisdaten
Paradigmen:	imperativ, strukturiert
Erscheinungsjahr:	2002
Designer:	AT&T Labs
Entwickler:	Dan Grossman, Mike Hicks, Trevor Jim, Greg Morrisett, Nikhil SwamyYanling Wang[1]
Aktuelle Version:	1.0  (2006-05-08)
Beeinflusst von:	C
Beeinflusste:	Rust
cyclone.thelanguage.org

Cyclone besitzt verschiedene Sicherheitsmechanismen, mit denen sich das Auftreten von Pufferüberlauf- und Format-String-Schwachstellen weitgehend unterbinden lässt. Cyclone behält dabei gleichzeitig das Erscheinungsbild von C bei.^[2]

Dieser wurde in einer Zusammenarbeit der AT&T Labs Research und der Cornell University entwickelt.^[1] Die Entwicklung begann im Jahre 2001^[1] und wurde 2006 zugunsten anderer Projekte beendet. Zum Ende des Projekts waren zusätzlich die University of Maryland, College Park, Harvard University und die University of Washington an der Entwicklung beteiligt.^[3] Die Konzepte von Cyclone wurden in andere Programmiersprachen wie z.Bsp. Rust übernommen.^[4]

Literatur

• Trevor Jim, Greg Morrisett, Dan Grossman, Michael Hicks, James Cheney, Yanling Wang: Cyclone: A safe dialect of C. In: Proceedings of the General Track: 2002 USENIX Annual Technical Conference. Juni 2002, S. 275–288 (englisch, usenix.org [abgerufen am 6. März 2020]).
• Dan Grossman, Greg Morrisett, Trevor Jim, Michael Hicks, Yanling Wang, James Cheney: Region-based memory management in cyclone. In: Proceedings of the ACM SIGPLAN 2002 conference on Programming language design and implementation. Association for Computing Machinery, New York 2002, ISBN 978-1-58113-463-6, S. 282–293, doi:10.1145/512529.512563 (englisch).
• Michael W. Hicks, J. Gregory Morrisett, Dan Grossman, Trevor Jim: Region-based memory management in cyclone. In: Proceedings of the 4th international symposium on Memory management. Association for Computing Machinery, New York 2002, ISBN 978-1-58113-945-7, S. 73–84, doi:10.1145/1029873.1029883 (englisch).
• Dan Grossman: Type-safe multithreading in cyclone. In: ACM SIGPLAN Notices. Band 38, Nr. 3. Association for Computing Machinery, New York März 2003, S. 13–25, doi:10.1145/640136.604177 (englisch, washington.edu [PDF; abgerufen am 6. März 2020]).
• Dan Grossman, Michael Hicks, Trevor Jim, Greg Morrisett: Cyclone: a Type-safe Dialect of C. In: C/C++ Users Journal. Band 23, Nr. 3, Januar 2005 (englisch).
• Nikhil Swamy, Michael Hicks, Greg Morrisett, Dan Grossman, Trevor Jim: Safe manual memory management in Cyclone. In: Science of Computer Programming. Band 62, Nr. 2, 2006, ISBN 978-1-58113-945-7, S. 122–124, doi:10.1016/j.scico.2006.02.003 (englisch).

Weblinks

Wiktionary: Cyclone – Bedeutungserklärungen, Wortherkunft, Synonyme, Übersetzungen

• Cyclone Homepage