디시인사이드 갤러리

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

갤러리 본문 영역

cyclone 언어앱에서 작성

발명도둑잡기(118.216) 2025.07.11 11:16:50
조회 98 추천 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 저녁 뭐먹지? 오늘의 메뉴 추천! 운영자 25/10/31 - -
2872139 자율주행 완성되면 운송업이랑 택시도 대체되겠군 위키세카이(211.235) 07.16 92 0
2872138 트럼프 “비욘세, 대선때 해리스 지지하고 154억 받아” 수사 예고 발명도둑잡기갤로그로 이동합니다. 07.16 75 0
2872128 정처기 실기 이제 3일 남았네 [1] ㅇㅇ(39.7) 07.16 126 0
2872125 명문대가면 [3] 배구공(119.202) 07.16 92 0
2872123 개발 배구공(119.202) 07.16 73 0
2872122 내가 생각하는 잘하는개발자 기준 [4] ㅇㅇ(106.102) 07.16 160 0
2872121 형님들 컴공 전과하려는데 [1] 프갤러(61.82) 07.16 135 0
2872118 씨벌 합격통보하고 오퍼메일 안주고 잠수타는거 2번째네 [1] ㅇㅇ(211.186) 07.16 105 0
2872116 땔깜특) OS컴퓨팅파워를 전혀 활용을 안함 [3] 네오커헠(211.235) 07.16 141 0
2872113 그냥 암 생각없이 면접보러갔는데 개빡세네 asdqwezxc갤로그로 이동합니다. 07.16 105 0
2872111 근데 윤석열이 싼 똥들은 워낙 독보적이라 남탓할 건덕지도 없던데 [1] 프갤러(218.154) 07.16 92 0
2872109 흠.. 땔깜땔감하군 네오커헠(211.235) 07.16 67 0
2872108 3년 차 게임 프로그래머인데 AI 엔지니어로 직무 전환하려고 [4] 프갤러(211.202) 07.16 217 0
2872107 윤석열 지지자는 3년 넘게 전 정권 탓을 했다 발명도둑잡기갤로그로 이동합니다. 07.16 72 0
2872106 [애니뉴스][소식] 라노벨 연합 오픈챗방 개설 프갤러(121.172) 07.16 77 0
2872105 중국의 공돌이들 발명도둑잡기갤로그로 이동합니다. 07.16 65 0
2872103 호텔경제학 ㅇㅇ(117.111) 07.16 67 0
2872102 인기 없는 애들 특징 발명도둑잡기갤로그로 이동합니다. 07.16 90 2
2872101 수술 범죄의 수법과 배경 ㅇㅇ(121.169) 07.16 58 0
2872100 웹앱개발은 이미 틀딱레거시 개발임 [2] 네오커헠(1.237) 07.16 286 0
2872098 하야마 요시키 - 시멘트 통 속의 편지 발명도둑잡기갤로그로 이동합니다. 07.16 71 0
2872096 요새 it 업계는 취업 어떠냐? 해보자갤로그로 이동합니다. 07.16 222 0
2872095 참고로 MFC개발자들이 하는일이 로봇제어임 [2] 네오커헠(211.235) 07.16 177 0
2872094 주식매매 지표들 아는거 다 때려박아서 구현을 해줘도 [2] ㅆㅇㅆ(124.216) 07.16 143 0
2872093 이번달 적자다. 하 씨발 ㅋㅋ어이가 없노 그냥 [1] ㅆㅇㅆ(124.216) 07.16 138 0
2872092 언어는 프로그램 만들기 위한 도구에 불과하다지만 [4] 프갤러(211.202) 07.16 134 0
2872091 아니 이거 스펙도 존나 변함 [2] ㅆㅇㅆ(124.216) 07.16 155 0
2872089 제한이 있다하면 제한을 뚫어볼 생각을 안해보냐 ㅆㅇㅆ(124.216) 07.16 83 0
2872088 외주 저 지랄하는거 루도그담당(118.235) 07.16 90 0
2872087 다 만들어줘놓고 자꾸 퇴짜놓을때부터 이상했음 ㅆㅇㅆ(124.216) 07.16 79 0
2872086 잘만들었노 ㅋㅋ [1] ㅇㅇ(118.235) 07.16 106 0
2872085 "피의자가 된 경찰들".. 방치된 정신건강 관리 발명도둑잡기갤로그로 이동합니다. 07.16 83 0
2872084 윈도우네이티브(MFC)의 장점은 1ms제어 반응성이지 [2] 네오커헠(1.237) 07.16 190 0
2872083 대구 최저임금 괴담은 사실일까? [1] 발명도둑잡기갤로그로 이동합니다. 07.16 101 0
2872082 캣맘들을 도망가게한 안내문 발명도둑잡기갤로그로 이동합니다. 07.16 69 0
2872081 전문가들이 통계로 예상하는 2060년 대한민국 발명도둑잡기갤로그로 이동합니다. 07.16 71 0
2872080 ㅈㄴ 이해가 안가는게, 기능 다 해주고 값들어오고 그래프 그려오는데 [1] ㅆㅇㅆ(124.216) 07.16 121 0
2872079 공포스러운 느낌을 받았다는 한국의 2부작 다큐멘터리 발명도둑잡기갤로그로 이동합니다. 07.16 71 0
2872078 구내식당 영양사와 고민남의 썸 사연 발명도둑잡기갤로그로 이동합니다. 07.16 73 0
2872077 범행 후 CCTV에 '일베 인증'…미아동 흉기난동범 사형 구형 발명도둑잡기갤로그로 이동합니다. 07.16 81 0
2872076 아 열받아 다 해줘놓고 환불해줬네 [7] ㅆㅇㅆ(124.216) 07.16 158 0
2872075 아스카 내일 도쿄 여행 갈 생각에 불타서 [1] 아스카영원히사랑해갤로그로 이동합니다. 07.16 94 0
2872074 주초에 내일까지 작업 가능하시죠라고 물어봐서 가능하죠라 했는데 프갤러(58.234) 07.16 68 0
2872073 요즘 뚱녀가 왜케 귀엽지? [6] 헬마스터갤로그로 이동합니다. 07.16 128 0
2872072 서울에 서식하는 K-힙스터의 생태와 정의 발명도둑잡기갤로그로 이동합니다. 07.16 80 0
2872071 오늘의 소설, 영화 실마리: SNS에서 좋아요 누른 것 순간이동 발명도둑잡기갤로그로 이동합니다. 07.16 72 0
2872070 오늘의 소설, 영화 실마리: 생물이 시간여행 하거나 텔레파시로 소통 발명도둑잡기갤로그로 이동합니다. 07.16 72 0
2872069 프갤 하루 차단 풀렸다 발명도둑잡기갤로그로 이동합니다. 07.16 73 0
2872067 HTTP API 풀링으로 해달랬다 웹소켓으로 해달랬다 [5] ㅆㅇㅆ(124.216) 07.16 145 0
2872066 고객사에서 it 외주 운영 인력들 줄이는 방안 강구 하라고 공문 보냄 쇼부(106.246) 07.16 96 0
갤러리 내부 검색
제목+내용게시물 정렬 옵션

오른쪽 컨텐츠 영역

실시간 베스트

1/8

디시미디어

디시이슈

1/2