디시인사이드 갤러리

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

갤러리 본문 영역

cyclone 언어앱에서 작성

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

하단 갤러리 리스트 영역

왼쪽 컨텐츠 영역

갤러리 리스트 영역

갤러리 리스트
번호 제목 글쓴이 작성일 조회 추천
설문 영포티룩도 멋지게 소화할 것 같은 40대 스타는? 운영자 25/10/27 - -
AD 할로윈 슈퍼위크~!! 운영자 25/10/23 - -
2871375 이번 정부지원금 상위10프로는 [5] 개멍청한유라갤로그로 이동합니다. 07.13 111 0
2871374 인간이 만든 댐이 북극 위치 바꿨다 발명도둑잡기(118.235) 07.13 68 0
2871371 프갤이 개병신이니까 [2] 아스카영원히사랑해갤로그로 이동합니다. 07.13 126 0
2871370 딱국이는 어디갔을까 개멍청한유라갤로그로 이동합니다. 07.13 110 1
2871369 냥덩아? 개멍청한유라갤로그로 이동합니다. 07.13 69 0
2871365 나님 지금 생각났음.. [1] ♥로스트미디어냥덩이♥갤로그로 이동합니다. 07.13 69 0
2871363 ❤✨☀⭐⚡☘♥+나님 시작합니당♥+☘⚡⭐☀✨❤ [2] ♥로스트미디어냥덩이♥갤로그로 이동합니다. 07.13 81 0
2871361 에어컨 안키고 선풍기 중풍으로만 지내는게 더 편한듯 [4] 헬마스터갤로그로 이동합니다. 07.13 93 0
2871360 자주가는 더 벤티 알바생 나 오면 바로 아이스아메리카노 [2] ㅆㅇㅆ찡갤로그로 이동합니다. 07.13 109 0
2871359 셔야 되는데 나라상황이 개판이라서, 국민의힘 갤러리 단속해야 해서, 넥도리아(175.196) 07.13 82 0
2871358 25만원이 아니라 15만원 받을 상황이라 ㅈ같네 [4] ㅇㅇ(1.239) 07.13 111 0
2871356 우리 모두 이겨내자 [10] 개멍청한유라갤로그로 이동합니다. 07.13 118 0
2871355 이거 제 잘못인가요? [4] ㅇㅇ(14.51) 07.13 114 0
2871354 느좋냥덩? [1] ♥로스트미디어냥덩이♥갤로그로 이동합니다. 07.13 86 0
2871353 재능많은애들보면 불쌍함 좇센에서태어나서 [4] 뒷통수한방(1.213) 07.13 119 1
2871352 c와 c++의 차이점 - virtual [1] ㅇㅇ(118.235) 07.13 190 3
2871349 화살은 '이재명'이 아니라 '트럼프'로 향해야 한다 발명도둑잡기(118.235) 07.13 78 0
2871347 유럽과 일본을 버리고 [1] 아스카영원히사랑해갤로그로 이동합니다. 07.13 95 0
2871345 방통대 씨1발년아 [5] 아스카영원히사랑해갤로그로 이동합니다. 07.13 153 0
2871344 대용량으로 사둔 커피가 시큼해져서 변기에 버렸어.. [1] 프갤러(121.186) 07.13 103 0
2871343 의대보다 공대 입시치열 중국의 기술굴기 다큐 [1] 프갤러(183.101) 07.13 103 0
2871340 풀발기 자지 ♥로스트미디어냥덩이♥갤로그로 이동합니다. 07.13 87 0
2871339 클라이언트 여러개 동시 실행 [6] ㅇㅇ(110.12) 07.13 118 0
2871338 ❤✨☀⭐⚡☘♥+나님 시작합니당♥+☘⚡⭐☀✨❤ ♥로스트미디어냥덩이♥갤로그로 이동합니다. 07.13 64 0
2871337 챗지피티한테 책 추천해달라고 했는데 [1] 프갤러(119.197) 07.13 94 0
2871336 나님은 왜 천재해커일깡 ㅇㅅㅇㅋ [2] 익명의따당이갤로그로 이동합니다. 07.13 141 1
2871335 넥도리아 어디감 ㅇㅇ(118.235) 07.13 86 0
2871332 러브버그 같은 아다모쏠 해충멍퀴.. ♥로스트미디어냥덩이♥갤로그로 이동합니다. 07.13 82 0
2871330 회사에서도 맨날 연봉작다징징대는애중에 일잘하는애 못봄 [2] ㅇㅇ(211.234) 07.13 128 0
2871329 섹스 [1] ♥로스트미디어냥덩이♥갤로그로 이동합니다. 07.13 93 0
2871327 좇센은 노력이라는 말 없애야됨 문재인 이재명 윤석열같은애들도 노력해서 [2] 타이밍뒷.통수한방(1.213) 07.13 105 1
2871326 좇센에서 태어났으면서 왜 아둥바둥하는거임??금수저임?? [3] 타이밍뒷.통수한방(1.213) 07.13 111 0
2871325 섹스에 있어서 가장 중요한 건 [2] 아스카영원히사랑해갤로그로 이동합니다. 07.13 173 1
2871324 기괴한 2찢명 회식순간 ㄷㅅㄷ [1] ♥로스트미디어냥덩이♥갤로그로 이동합니다. 07.13 92 0
2871323 아.. 심진석 선수 실언.. [1] ♥로스트미디어냥덩이♥갤로그로 이동합니다. 07.13 198 0
2871322 좋은 주말이다. [9] 개멍청한유라갤로그로 이동합니다. 07.13 132 0
2871320 진지하게 중소어케다니냐 [13] 프갤러(106.101) 07.13 363 0
2871318 바이브 타기보단 정량적으로 정해놓는게 좋음 [1] ♥로스트미디어냥덩이♥갤로그로 이동합니다. 07.13 94 0
2871316 강아지 ㅇㅅㅇ [2] 헤르 미온느갤로그로 이동합니다. 07.13 80 0
2871314 태연 ㅇㅅㅇ [1] 헤르 미온느갤로그로 이동합니다. 07.13 89 0
2871312 하루 한 번 헤르미온느 찬양 [2] 헤르 미온느갤로그로 이동합니다. 07.13 90 0
2871310 ❤✨☀⭐⚡☘♥+나님 시작합니당♥+☘⚡⭐☀✨❤ [1] ♥로스트미디어냥덩이♥갤로그로 이동합니다. 07.13 84 0
2871308 자바 입문 떼려는데 자바의 정석 vs 자바의 신 [7] ㅇㅇ갤로그로 이동합니다. 07.13 167 0
2871306 격투기 할 때 한명이 아무리 챔피언이라도 아마추어 두명이 대들면 발명도둑잡기(118.235) 07.13 102 0
2871304 촘스키 "미국은 부자에게는 사회주의, 가난한 사람에게는 자본주의" 발명도둑잡기(118.235) 07.13 108 0
2871303 코딩 입문자 자바 위주로 하려는데 [2] 프갤러(49.167) 07.13 171 0
2871301 영업기밀은 열린사회의 적인가 발명도둑잡기(118.235) 07.13 153 0
2871300 부가가치를 높이기 위해 영업기밀을 숨겨서 정보비대칭을 만들며 독과점을 만 발명도둑잡기(118.235) 07.13 102 0
2871298 소니가 고장없는 제품 만들기를 목표로 하다가 고장 잘 나도 AS 수리로 [1] 발명도둑잡기(118.235) 07.13 162 0
2871297 소니가 고장없는 제품 만들기를 목표로 하다가 고장 잘 나도 AS 수리로 발명도둑잡기(118.235) 07.13 151 0
갤러리 내부 검색
제목+내용게시물 정렬 옵션

오른쪽 컨텐츠 영역

실시간 베스트

1/8

디시미디어

디시이슈

1/2