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

프로그래밍 갤러리

자동 짤방 이미지

이미지가 없습니다.

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

1/3

쿠팡, 박대준 대표이사 사임.. 美 쿠팡 Inc. 해롤드 로저스 신임 대표 선임 - 관련게시물 : 쿠팡, 강남 비밀 사무실서 로비 총력https://n.news.naver.com/article/119/0003035344?sid=101- 박대준 쿠팡 대표 사임…"개인정보 유출 사태 책임 통감" 작성자 : ㅇㅇ

cyclone 언어앱에서 작성

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

조회 113 추천 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/12/08	-	-
이슈	[디시人터뷰] 솔직함을 리뷰하는 유튜버, 흑백리뷰	운영자	25/12/09	-	-
AD	루틴 ON! 운동 찐템! 지금 할인 중	운영자	25/11/27	-	-
2870941	러스트보다 쉽게 하고자 한다면 러스트만큼의 안전성을 보장할 수 없다 [1]	프갤러(218.154)	07.11	123	0
2870940	짱깨에 나라 넘어가는중 2재명 셰셰	♥냥덩이♥	07.11	100	0
2870939	rust보다 쉽고 C++ 대체용으로 나왔다는 vale 언어 [1]	발명도둑잡기(118.216)	07.11	158	0
2870936	나 맨날 일 안함 [1]	ㅇㅇ(211.235)	07.11	112	0
2870935	한껏 헤이해진 정의관	♥냥덩이♥	07.11	95	0
2870934	공부시작 들어가자 [1]	노력하는자	07.11	124	0
2870932	보수 머리밭은 아직도 꽃밭? 선의의 경쟁이라니...	프갤러(121.172)	07.11	130	0
2870931	GPT 가 쌓인게많네 [2]	피자2021	07.11	157	2
2870930	챗GPT 참스승이네 [3]	피자2021	07.11	149	0
2870929	다가닥 다가닥 ㅇㅅㅇ [3]	헤르 미온느	07.11	122	0
2870928	그놈 kde 최신판 속도 비교 [2]	발명도둑잡기(118.216)	07.11	135	0
2870927	태연 ㅇㅅㅇ	헤르 미온느	07.11	102	0
2870926	하루 한 번 헤르미온느 찬양	헤르 미온느	07.11	105	0
2870925	마이크로소프트가 축구, 야구 게임도 팔았구나	발명도둑잡기(118.216)	07.11	82	0
2870924	사무실 선정리 어캐 해야 하냐? [2]	illilj	07.11	118	0
2870922	양기 발산	발명도둑잡기(118.216)	07.11	99	0
2870920	나는조현병이야 나는내향적이야 [2]	손발이시립디다	07.11	112	0
2870916	웃흥~	♥냥덩이♥	07.11	103	0
2870914	❤✨☀⭐⚡☘♥+나님 시작합니당♥+☘⚡⭐☀✨❤	♥냥덩이♥	07.11	91	0
2870910	이재명 이 인간이 공공의료 사고 나몰라한다.	넥도리아(223.38)	07.11	134	0
2870908	나 제모함. 사타구니	넥도리아(175.196)	07.11	104	0
2870906	부산 시민 20% 우울 불안	프갤러(183.101)	07.11	118	0
2870905	프갤망했노	ㅇㅇ(222.232)	07.11	110	0
2870903	노트북 추천좀	퍄퍄_	07.11	193	0
2870901	프리랜서도 결국은 비정규직 노동자인데, 창업해야하는데	ㅆㅇㅆ(124.216)	07.11	111	0
2870896	음기 충전	발명도둑잡기(118.216)	07.11	81	0
2870895	오늘의 발명 실마리: 레트로 게임기용 gmenu2x DOS용으로 포팅 [1]	발명도둑잡기(118.216)	07.11	81	0
2870894	리눅스를 윈도우95 처럼 꾸미	발명도둑잡기(118.216)	07.10	117	0
2870893	요즘 어셈다루다가 [2]	루도그담당(211.235)	07.10	144	0
2870892	술먹으면 보지 냄새 풍기면서 앵기는년들 왤케 많냐 [2]	hrin(118.235)	07.10	156	0
2870891	네이버 오픈소스 가이드	발명도둑잡기(118.216)	07.10	135	0
2870890	직장 동료들 너무 무능하다.. [4]	ㅇㅇ(121.162)	07.10	168	0
2870889	리버싱 접기로 함 [5]	루도그담당(58.239)	07.10	176	0
2870888	오늘도 책 한권 끝냈군. 내 조테로 문서 풍성해짐 [1]	ㅆㅇㅆ(124.216)	07.10	108	0
2870887	매일매일이 한번이라도 실패하면 적자라서 힘들다	ㅆㅇㅆ(124.216)	07.10	88	0
2870886	아일릿 신보 들어본 결과	발명도둑잡기(118.216)	07.10	83	0
2870885	아스카야 프롬프트 엔지니어링 문서 추천해줌 [2]	ㅆㅇㅆ(124.216)	07.10	93	2
2870884	[IT산업] Compile 될 수 있는 AI 와 AI 의 신뢰도.. [1]	+abcd3421	07.10	113	0
2870883	디씨인싸이드 에러	발명도둑잡기(118.216)	07.10	83	0
2870882	3617번이라고한다	헬마스터	07.10	132	0
2870881	켄트백 그래도 페북 7년있었잖아.	ㅆㅇㅆ(124.216)	07.10	79	0
2870880	나님 유튜브 시청하며 ai 공부중 [9]	아스카영원히사랑해	07.10	142	0
2870879	근데 지피티 쓰면 코드 못쓰게 되는게 당연한 수순임. 이건 어쩔수가 없어 [7]	ㅆㅇㅆ(124.216)	07.10	219	1
2870878	❤✨☀⭐⚡☘♥+나님 시작합니당♥+☘⚡⭐☀✨❤ [1]	♥냥덩이♥	07.10	112	0
2870877	아 이제 지피티 없이 개발 못하겠네.. [2]	ㅇㅇ(175.197)	07.10	144	1
2870876	마갤은 취향 안맞아서 정갤에서 정신병 뽐내는게 좋아 [2]	ㅆㅇㅆ(124.216)	07.10	116	0
2870875	다 깃허브갤로 이사갔네 [2]	프갤러(106.101)	07.10	133	0
2870874	2주동안 하던 문명 한판 끝냈습니다 [4]	아스카영원히사랑해	07.10	123	1
2870873	근데 보통 Cpp17 핵심 컨셉이 스트럭쳐 바인딩이라 [2]	ㅆㅇㅆ(124.216)	07.10	123	0
2870871	근데 대부분 11기준 서술이라 11기준이면 여전히 유효하긴함 [3]	ㅆㅇㅆ(124.216)	07.10	111	0