cyclone 언어 - 프로그래밍 갤러리

프로그래밍 갤러리

자동 짤방 이미지

이미지가 없습니다.

자동 짤방으로 사용할 이미지를 등록해 주세요.

1/3

윤석열...쪽팔리겟노 ㅋㅋㅋㅋㅋNews R바로앞에서 욕한걸 영상 틀어버리네 ㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋ 작성자 : ㅇㅇ

cyclone 언어앱에서 작성

발명도둑잡기(118.216) 2025.07.11 11:16:50

조회 112 추천 0 댓글 0

Cyclone은 C 언어의 위험한 부분을 제거하면서도 C처럼 빠르고 제어 가능한 언어를 목표로 만들어진 시스템 프로그래밍 언어입니다.

Cyclone 언어 개요

항목설명⏳ 개발 시기2001년경 ~ 2006년 (개발 종료됨) 개발 주체AT&T Labs + Cornell University 목표C의 성능과 유연성 유지 + 메모리 안전성 확보 주요 특징- C와 유사한 문법

- 정적 타입

- 안전한 포인터

- 지역 기반 메모리 관리 (region)

- null dereference, buffer overflow 방지 라이선스BSD

Cyclone의 주요 기능

✅ 1. Region-based memory management

지역(region) 단위로 메모리를 할당하고 해제

개별 객체를 free() 하지 않아도 되고, GC도 없음

메모리 누수 없이 성능도 유지

region r { int* x = rmalloc(r, sizeof(int)); ... } // r 영역이 끝날 때 자동 해제

✅ 2. Nullable / Non-nullable 포인터 구분

int*? maybe_null; // nullable int* never_null; // non-nullable, dereferencing always safe

null 접근으로 인한 오류 방지

✅ 3. Fat pointer와 Bounds checking

int arr[10]; int* ptr = &arr[0]; // 실제로는 (ptr, length) 형태로 관리

배열을 조작할 때 배열의 길이 정보 포함 → 런타임 bounds check 가능

✅ 4. Tag check로 안전한 union 대체

tagged union을 사용해 타입 오류 방지

switch 문에서 모든 경우를 강제로 다루게 함

union myunion { int i; float f; } u;

→ Cyclone에서는 이를 안전하게 tagged 형태로 변경

✅ 5. Pointer arithmetic 제한

포인터 연산을 일부 제한하거나 체크함

버퍼 오버플로우 같은 C의 위험한 버그 방지

메모리 안전을 위한 조치들 요약

위험(C 언어)Cyclone 대응Buffer overflowFat pointer + bounds checkUse-after-free지역 기반 메모리 + 정적 분석Null dereferenceNullable 포인터 명시Dangling pointerRegion 수명 분석포인터 산술 오용제약을 두거나 금지

Cyclone 개발 중단 이유

문법이 C보다 더 복잡해졌음.

Rust, D, Go 같은 다른 언어들이 비슷한 목적을 더 나은 방식으로 실현함.

커뮤니티와 생태계가 성장하지 못함.

실용성, 도입 용이성에서 부족.

현재는 연구적 가치로 언급되며, Rust의 개발자들도 Cyclone에서 많은 아이디어를 참고함.

더 알아보고 싶다면:

공식 사이트 (아카이브): http://cyclone.thelanguage.org/

논문: "Cyclone: A Safe Dialect of C", 2002, by Jim Morrisett et al.

GitHub mirror도 있음 (최근은 비활성화)

필요하면 Cyclone 코드 예시나, Rust와 기능 비교도 가능해요.

"도둑은 집을 떠나며 주인을 욕한다" - 러시아 속담
송대관-해뜰날
https://youtu.be/DUsVXmywSCk

고정닉 0

전체 댓글 0개

등록순 최신순 답글순

본문 보기

타인의 권리를 침해하거나 명예를 훼손하는 댓글은 운영원칙 및 관련 법률에 제재를 받을 수 있습니다.
Shift+Enter 키를 동시에 누르면 줄바꿈이 됩니다.

갤러리 리스트
번호	제목	글쓴이	작성일	조회	추천
설문	뛰어난 운동 신경으로 남자와 싸워도 이길 것 같은 여자 스타는?	운영자	25/11/24	-	-
AD	따뜻한 겨울나기! 방한용품 SALE	운영자	25/11/27	-	-
2872546	원래 일을 그냥 하라는거만 하냐?	프갤러(121.139)	07.18	94	0
2872544	wad	프갤러(211.119)	07.18	77	0
2872543	흠.. 언젠가 안식년에 총 정리 함 하구시품	♥냥덩이의고독♥	07.18	93	0
2872541	내일 정처기 실기인데 공부 하나도 안했는데 어캄?	illilj	07.18	104	0
2872539	미소녀 배틀?!?	♥냥덩이의고독♥	07.18	102	0
2872537	나님 끙야완?	♥냥덩이의고독♥	07.18	88	0
2872535	집공사후 남은 자재는 누구소유 인가요?.. 답변	넥도리아(220.74)	07.18	83	0
2872533	❤✨☀⭐⚡☘♥+나님 시작합니당♥+☘⚡⭐☀✨❤	♥냥덩이의고독♥	07.18	82	0
2872531	25년 1회차 정처기 기출 풀었는데 딱 60점 나옴ㄷㄷ	ㅇㅇ(39.7)	07.18	114	0
2872528	어카지 [1]	ㅇㅇ	07.18	98	0
2872525	님들 제 고민 좀 들어주셈. [6]	프갤러(221.150)	07.18	143	1
2872523	개발 환경 설정 잡아주시면 10만원 드립니다. [2]	cvs.	07.18	186	0
2872522	내집단 외집단 선호 심리차	발명도둑잡기	07.18	206	0
2872521	자국산보다 외국산을 높이 평가하는 심리	발명도둑잡기	07.18	137	0
2872520	일본의 군사적 야욕과 독도 영유권 주장을 규탄한다	발명도둑잡기	07.18	68	0
2872519	가수 예술인을 주인공으로 예술 이야기를 다룬 한국 영화	발명도둑잡기	07.18	95	0
2872518	<소리꾼>	발명도둑잡기	07.18	72	0
2872517	美철학자 버틀러 "하마스 공격은 무력 저항이자 봉기"	발명도둑잡기	07.18	82	0
2872516	"임모탄님이 날 보셨어"	발명도둑잡기	07.18	98	0
2872515	근데 러스트 안쓰면서 aws비싸네 어쩌네 하면 좀 한심함 [2]	프갤러(110.8)	07.18	148	0
2872514	도박과 증권시장의 공통점과 유사한 정도와 차이점과 차이의 정도	발명도둑잡기	07.17	90	0
2872513	도스 비트맵 글꼴 트루타입 변환	발명도둑잡기	07.17	77	0
2872512	SVN에 있는 리버트 구조는 어려울게 없는데 [9]	ㅆㅇㅆ(124.216)	07.17	136	0
2872511	si들어가는거 정보처리기사 있고없고 차이 많이 남? [10]	ㅇㅇ(39.7)	07.17	217	0
2872510	짓은 브랜치 아트를 가능하게해서 문제임 [11]	헬마스터	07.17	145	0
2872509	내가 프갤에 예전부터 웹앱 과포화될거라고 얘기하고 다녔음 [20]	CANON	07.17	221	0
2872508	아 ㅅㅂ 원룸 인터넷 안되는데 어케살아? [3]	ㅇㅇ(211.235)	07.17	114	0
2872507	깃허브 잘쓰는법 솔직히 잘모르겠다. 걍 SVN처럼 커밋 풀 푸쉬만하는중. [10]	ㅆㅇㅆ(124.216)	07.17	173	0
2872505	나님 체한듯..? 뭘 잘못멋엇낭? [1]	♥냥덩이의고독♥	07.17	115	0
2872504	나님 두려워.. [1]	♥냥덩이의고독♥	07.17	111	0
2872503	모스 탄, 한국 와서 ‘기우제’…음모론 또 꺼내며 “증거 있지만 비밀”	발명도둑잡기	07.17	96	0
2872502	인당 ''월세 50만 원씩 내며 20명이 함께 산다는'' 아파트	발명도둑잡기	07.17	90	0
2872501	독일 대마초 허용했더니 중독환자 25만명	발명도둑잡기	07.17	61	0
2872500	챗GPT 활용해 46일 만에 11kg ‘폭풍 감량’…비결은?	발명도둑잡기	07.17	98	0
2872499	“지피티야, 잔소리 좀 해줘!”···AI에게 ‘사서 욕 먹기’ 챌린지	발명도둑잡기	07.17	112	0
2872497	흠.. 이제야 슬슬 졸리군.. [5]	♥냥덩이의고독♥	07.17	139	0
2872495	술 한잔 했습니다 [1]	신태일변호사	07.17	117	0
2872493	헥사고날이니 아니니 이런거 따지는애가 젤 바보임 [1]	프갤러(121.139)	07.17	119	1
2872492	프갤 존나 병신같은점 [9]	프갤러(205.206)	07.17	901	11
2872490	보통 포트-어댑터 퍼사드 패턴을 헥사고날이라 오해하더라 [1]	ㅆㅇㅆ(124.216)	07.17	105	0
2872488	천재라서 괴롭다 [2]	프갤러(121.139)	07.17	136	2
2872486	주가가 오르는 이유는 연준이 달러를 찍어서 화폐가치가 떨어지기 때문	발명도둑잡기	07.17	124	0
2872485	저 아래 글보면서 내 생각엔 헥사고날이 아니라 포트-어댑터 DAO임 [3]	ㅆㅇㅆ(124.216)	07.17	137	0
2872483	저 아래 헥사고날 이야기보는데 헥사고날 아닌거 같은데 [3]	ㅆㅇㅆ(124.216)	07.17	153	0
2872482	나님 다음 닉넴 뭘루할깡.. 흠.. [4]	♥냥덩이의고독♥	07.17	108	0
2872480	개좆소충인데 AWS 비용 250 가까이 나오더라 [9]	프갤러(211.234)	07.17	227	0
2872479	나님 걱정되.. 냥덩이가 프갤에 안 오면 프갤이 무너질까봐.. [1]	♥냥덩이의고독♥	07.17	123	0
2872477	저새낀 병신인가. 당연히 기업이랑 개인은 시장서 다른 포지션인거지 [3]	ㅆㅇㅆ(124.216)	07.17	141	0
2872475	냥덩아 우리 동네서 숯불갈비 하냐 [2]	발명도둑잡기	07.17	102	0
2872474	ㅆㅇㅆ ㅄ 니가 돈벌수있는 이유는 [2]	프갤러(121.139)	07.17	151	4