디시인사이드 갤러리

갤러리 이슈박스, 최근방문 갤러리

갤러리 본문 영역

cyclone 언어앱에서 작성

발명도둑잡기(118.216) 2025.07.11 11:16:50
조회 99 추천 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

0

댓글 영역

전체 댓글 0
본문 보기

하단 갤러리 리스트 영역

왼쪽 컨텐츠 영역

갤러리 리스트 영역

갤러리 리스트
번호 제목 글쓴이 작성일 조회 추천
설문 이성 보는 눈 없어서 걱정되는 스타는? 운영자 25/11/10 - -
AD 겨울가전 SALE! 쿨한 겨울 HOT세일 운영자 25/11/12 - -
2873112 책상 이쁘게 꾸미시는분? 질문왕(121.171) 07.20 65 0
2873111 흠.. 컨디션을 위해 휴식 ♥삣삐냥덩♥갤로그로 이동합니다. 07.20 82 0
2873110 [기획] 대한민국 최초의 랩은 무엇일까? (1993년까지) 발명도둑잡기갤로그로 이동합니다. 07.20 63 0
2873109 슈퍼 히어로 '엑스맨'에 이슬람 극단주의 암호 발견 발명도둑잡기갤로그로 이동합니다. 07.20 83 0
2873108 이동욱, 소설가 꿈꾼 3대 건달 집안 장손된다 (착한 사나이) 발명도둑잡기갤로그로 이동합니다. 07.20 91 0
2873107 해커, 공작원들 기본 마인드는 다음과 비슷하다 발명도둑잡기갤로그로 이동합니다. 07.20 76 0
2873106 냥덩이 옆집, 아래집에서 템페스트 공격해서 발명도둑잡기갤로그로 이동합니다. 07.20 91 0
2873103 조사병단에 처음 입대할당시의 마음을 기억해봐 딱닝(58.225) 07.20 97 0
2873102 찢명버그를 파리지옥에 줘봤더니 충격적 결과가? ♥삣삐냥덩♥갤로그로 이동합니다. 07.20 74 0
2873101 흠 초심과 신념을 잃은자들이 많이보이는군, 통암기클론원숭이(211.235) 07.20 77 0
2873099 그림체 넘 귀여웅 ㅜ ㅅ ㅜ ❤+ ♥삣삐냥덩♥갤로그로 이동합니다. 07.20 64 0
2873096 29살 개발자 이직하려는데 조언좀 [3] ㅇㅇ(118.235) 07.20 359 0
2873095 헤헤헷 딱찡(211.235) 07.20 61 0
2873093 냥덩이를 보고 어찌 이런 생각을 할수있는걸깡? ♥삣삐냥덩♥갤로그로 이동합니다. 07.20 66 0
2873092 늙어서 오늘도 피곤하구나 ㅆㅇㅆ(124.216) 07.20 82 0
2873091 <볼리바리안 혁명> 베네수엘라 차베스 대통령의 21세기 사회주의 혁명 발명도둑잡기갤로그로 이동합니다. 07.20 66 0
2873090 기계식 키보드가 전자파 도청에 더 안전하다고 한다 발명도둑잡기갤로그로 이동합니다. 07.20 79 0
2873089 실시간베스트 성우 글 보니 생각나는 것 발명도둑잡기갤로그로 이동합니다. 07.20 72 0
2873087 유데미 한국어번역 개 병신같이해놓고 자막이라고 처넣어놨네 ㅇㅇ(219.248) 07.20 89 0
2873085 내일 일요일인게 행복하다 ㅇㅅㅇ 가연아갤로그로 이동합니다. 07.20 93 0
2873084 ❤✨☀⭐⚡☘♥+나님 시작합니당♥+☘⚡⭐☀✨❤ ♥삣삐냥덩♥갤로그로 이동합니다. 07.20 61 0
2873080 팬타그래프가 기계식보다 개인적으로 좋은데 문제는... [1] ㅇㅇ(121.186) 07.20 112 0
2873078 C# 배우는 형아 있어? [12] 대아루단갤로그로 이동합니다. 07.20 278 0
2873076 로봇 프로그래밍할 때 티치 펜던트 아직도 씀? 프갤러(125.140) 07.20 83 0
2873074 지리 박사 발명도둑잡기갤로그로 이동합니다. 07.20 75 0
2873069 누가 나님 냥덩이 만진거야? ♥삣삐냥덩♥갤로그로 이동합니다. 07.20 72 0
2873067 6.3 부정선거론 의미없다. [1] 넥도리아(223.38) 07.20 84 0
2873065 냥덩을 보면 [1] 프갤러(185.220) 07.20 118 4
2873063 백엔드 공부 로드맵 질문 [1] 프갤러(222.112) 07.20 177 0
2873059 평화는 올까 넥도리아(223.38) 07.20 83 0
2873057 나님 문명 발전을 위해 생체실험즁 ♥삣삐냥덩♥갤로그로 이동합니다. 07.20 78 0
2873055 와.. 일정 미쳤넹.. ♥삣삐냥덩♥갤로그로 이동합니다. 07.20 78 0
2873054 민생지원금 사용처 제한을 좀 더 햇어야 한다고 생각함 야옹아저씨갤로그로 이동합니다. 07.20 101 0
2873052 개발자가 뉴스에서 이슈가 되려면 계급이 어느정도부터 그렇냐 프갤러(110.174) 07.20 85 0
2873050 일본 그라비아에서 똥꼬 노출은 허용이잖아 야옹아저씨갤로그로 이동합니다. 07.20 112 0
2873048 인공지능 때문에 코딩 다 망했다면서 왜 자꾸 코딩 얘길 하래 ㅋ [1] ㅇㅇ갤로그로 이동합니다. 07.20 152 0
2873045 마일리지보다 청구할인 카드가 더 좋은거 아니에요? 질문왕(121.171) 07.20 65 0
2873041 뀨❤+ ♥삣삐냥덩♥갤로그로 이동합니다. 07.20 82 0
2873040 원래 nl계 빨갱이들이 노무현 존나 싫어했는데 같은꼴 날 운명 ♥삣삐냥덩♥갤로그로 이동합니다. 07.20 81 0
2873039 근본없는 2찢명 ㅋㅅㅋ 노무현 꼴 날듯 ♥삣삐냥덩♥갤로그로 이동합니다. 07.20 80 0
2873038 역시 2찢명은 그냥 바지사장 이었네 ♥삣삐냥덩♥갤로그로 이동합니다. 07.20 60 0
2873037 epicgames에서 문명6 무료 배포 중 발명도둑잡기갤로그로 이동합니다. 07.20 74 0
2873036 윤석열 대통령이 전쟁 막았던거네.. ♥삣삐냥덩♥갤로그로 이동합니다. 07.20 110 0
2873034 나님은 사람을 좋아하지 않음 ♥삣삐냥덩♥갤로그로 이동합니다. 07.20 76 0
2873032 원종이의 앱 ㅇㅅㅇ 따당(106.101) 07.20 185 2
2873031 게임개발자하고 싶은데 [4] 프갤러(106.101) 07.20 197 0
2873028 나무삼보 ♥삣삐냥덩♥갤로그로 이동합니다. 07.20 70 0
2873027 ❤✨☀⭐⚡☘♥+나님 시작합니당♥+☘⚡⭐☀✨❤ ♥삣삐냥덩♥갤로그로 이동합니다. 07.20 68 0
2873025 고양이 ㅇㅅㅇ 헤르 미온느갤로그로 이동합니다. 07.20 95 0
2873024 태연 ㅇㅅㅇ 헤르 미온느갤로그로 이동합니다. 07.20 75 0
갤러리 내부 검색
제목+내용게시물 정렬 옵션

오른쪽 컨텐츠 영역

실시간 베스트

1/8

디시미디어

디시이슈

1/2