디시인사이드 갤러리

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

갤러리 본문 영역

완성된 원고: 1.3 Ada의 주요 특징

나르시갤로그로 이동합니다. 2025.09.02 03:24:48
조회 64 추천 0 댓글 0

1.3 Ada의 주요 특징

Ada는 신뢰성 및 유지보수, 인간 활동으로서의 프로그래밍, 효율성을 목표로 설계된 프로그래밍 언어입니다. 이러한 설계 철학은 언어의 여러 가지 특징에 반영되어 있습니다. 본 절에서는 Ada의 주요 특징들을 소개합니다.

신뢰성과 안전성 (reliability and safety)

소프트웨어 시스템에서 신뢰성(reliability)은 명시된 기간 동안 의도된 기능을 오류 없이 수행하는 확률을 나타내며, 안전성(safety)은 오작동이 치명적인 사고로 이어지지 않도록 하는 시스템의 속성을 의미합니다. Ada는 컴파일 시점에 수행되는 정적 검사(static check)와 실행 시점에 이루어지는 런타임 검사(runtime check)를 언어 차원에서 지원합니다.

정적 검사는 프로그램 실행 전 소스 코드를 분석하여 오류를 탐지 및 방지하는 과정입니다. Ada 컴파일러는 타입 불일치, 서브프로그램 호출 시의 매개변수 오류, 패키지의 비공개(private) 영역 접근 위반, 초기화되지 않은 변수의 사용 가능성 등 다양한 종류의 결함을 컴파일 단계에서 검출합니다.

이러한 정적 분석의 기반은 Ada의 강타입 시스템(strong type system)입니다. 이 시스템은 서로 다른 데이터 타입 간의 연산을 허용하지 않습니다. 예를 들어, Meters로 정의된 거리 타입과 Kilograms로 정의된 무게 타입 변수 간의 산술 연산은 컴파일 시점에 오류로 처리되어 데이터의 의미상 오류를 방지합니다. 이러한 정적 검증은 개발 초기 단계에서 논리적 오류를 식별하여 소프트웨어의 신뢰도를 높이는 데 기여합니다.

정적 분석만으로 탐지하기 어려운 동적 오류에 대응하기 위해, Ada는 프로그램 실행 중에 이루어지는 런타임 검사(runtime check)를 통해 예외적 상황에 대응합니다. 언어 표준에 명시된 런타임 검사는 배열 인덱스 범위 초과나 정수 오버플로와 같은 메모리 및 데이터 무결성 저해 동작, 초기화되지 않은 변수를 참조하는 프로그램 논리 오류, 그리고 종료된 태스크에 접근하려는 동시성 오류 등을 감지합니다. 런타임 검사가 실패하면, 시스템은 미정의 상태(undefined state)가 되는 대신 예외(exception)를 발생시킵니다. 개발자는 예외 처리 구문을 통해 이러한 상황에 대응할 수 있습니다.

또한, Ada는 선언적 명세를 통해 서브프로그램의 동작을 정의하는 계약 기반 프로그래밍(Programming by Contract)을 지원합니다. 개발자는 서브프로그램 실행 전에 만족해야 할 사전조건(precondition)과 실행 후에 보장해야 할 사후조건(postcondition)을 명시할 수 있습니다. 이러한 계약은 실행 중에 검증되어 프로그램의 논리적 정확성을 확인하는 데 사용됩니다.

Ada의 런타임 검사보다 더 높은 수준의 수학적 정확성이 요구될 경우 정형 검증(formal verification)을 사용할 수 있습니다. 그 예시인 SPARK는 Ada의 검증 가능한 부분집합(verifiable subset)으로서, 코드에 명시된 계약이 모든 실행 경로에서 만족됨을 정적 분석을 통해 증명합니다.

동시성 (concurrency)

Ada 프로그램의 실행은 하나 이상의 태스크(task) 실행으로 구성됩니다. 각 태스크는 독립적으로 동시에 실행되는 분리 가능한 활동(separable activity)을 나타냅니다. 태스크는 엔트리 호출(entry call)을 통해 다른 태스크와 동기적으로 통신할 수 있습니다.

여러 태스크가 공유 데이터에 접근할 때 발생하는 데이터 경쟁(data race)을 방지하기 위해, Ada는 보호된 객체(protected object)를 제공합니다. 보호된 객체는 보호된 연산(protected operation)을 통해서만 데이터 접근을 허용합니다. 보호된 연산에는 배타적인 읽기-쓰기를 위한 보호된 프로시저(protected procedure), 동시적인 읽기 전용 접근을 위한 보호된 함수(protected function), 그리고 특정 조건이 만족될 때까지 태스크를 대기시키는 보호된 엔트리(protected entry)가 있습니다.

이러한 태스크 기반 모델 외에도, Ada는 멀티코어 아키텍처를 활용하기 위한 병렬 구문(parallel construct)을 지원합니다. 예를 들어, 병렬 for 루프(parallel for loop)는 반복 가능한 대상의 각 항목에 대한 동일한 작업을 여러 코어에 분배하는 기능을 제공합니다. 이러한 기능은 Ada의 적법성 규칙(legality rules)에 따라 컴파일 시점에 데이터 경쟁과 같은 오류를 방지하며, 다중 코어를 사용한 병렬 실행을 가능하게 합니다.

모듈성과 데이터 추상화

Ada는 패키지(package)를 통해 소프트웨어를 여러 논리적 단위로 구성하고 관리하는 기능을 지원합니다. 패키지는 관련된 타입, 변수, 서브프로그램 등을 하나의 그룹으로 묶는 역할을 합니다. 각 패키지는 인터페이스를 정의하는 명세(specification)와 실제 구현을 포함하는 본체(body)로 분리됩니다. 패키지 명세는 외부에서 사용 가능한 가시부(visible part) private 예약어 뒤에 오는 전용부(private part)를 포함할 수 있습니다. 이를 통해 데이터의 내부 표현을 숨기고 외부에는 필요한 연산만 노출하는 데이터 추상화가 가능합니다.

객체 지향 프로그래밍 (Object-Oriented Programming)

Ada는 패키지를 통한 데이터 추상화 기능을 기반으로, Ada 95부터 객체 지향 프로그래밍을 지원합니다. 객체 지향 프로그래밍의 주요 원칙은 캡슐화, 상속, 다형성입니다.

캡슐화란 데이터와 그 데이터에 작용하는 메서드를 함께 묶고 객체의 일부 구성 요소에 대한 직접적인 접근을 제한하기 위한 언어적 메커니즘입니다.1 Ada에서는 패키지를 사용하여 데이터와 관련 서브프로그램을 하나의 단위로 묶고, private 타입 또는 private확장을 통해 내부 구현을 외부로부터 분리할 수 있습니다.

상속(inheritance)은 하나의 객체나 클래스가 다른 객체나 클래스를 기반으로 하여, 유사한 구현을 유지하는 메커니즘입니다.2 Ada에서는 태그된 타입(tagged type)을 사용하여 기존 타입의 데이터와 기능을 상속받는 새로운 타입을 파생시키고, 타입 간의 계층 구조를 표현할 수 있습니다.

다형성(polymorphism)은 서로 다른 데이터 타입의 개체(entities)들에게 하나의 공통 인터페이스를 제공하는 것입니다.3 Ada에서는 클래스-범위(class-wide) 타입과 태그(tag)를 사용하여, 해당 타입에 맞는 실제 서브프로그램을 동적으로 결정할 수 있습니다.

함수형 프로그래밍 지원 (support for functional programming)

Ada는 순수 함수형 언어는 아니지만, Ada 2012와 2022 표준을 통해 함수형 프로그래밍 스타일의 기능들이 도입 및 확장되었습니다.

Ada는 로직을 문장(statement)이 아닌 값을 반환하는 표현식(expression) 중심으로 구성하는 것을 지원하며, 여기에는 단일 표현식으로 함수를 정의하는 표현식 함수(expression function), 조건에 따라 값을 결정하는 조건 표현식(conditional expression) 및 case 표현식, 표현식 내에서 임시 상수를 선언하는 선언식 표현(declare expression), 그리고 컨테이너의 모든 원소를 하나의 값으로 집계하는 감축 표현식(reduction expression)이 포함됩니다.

이러한 표현식 중심의 접근은 데이터 처리에도 적용됩니다. 수량자 표현식(quantified expression)은 루프 없이 컨테이너 원소의 속성을 검사하며, 일반화된 반복자(generalized iterator) 이터레이터 필터(iterator filter)는 데이터의 순회 및 필터링을 지원합니다. 또한 델타 애그리게이트(delta aggregate)는 기존 객체를 수정하지 않고 일부 값만 변경된 새로운 객체를 생성하여 불변성(immutability)을 지원합니다. 이러한 표현식 중심의 접근은 프로그램 실행 중 발생하는 상태 변화와 부작용(side effect)을 줄이는 효과가 있습니다.

효율성 (efficiency)

Ada 언어의 설계 목표 중 효율성은 컴파일러 구현 언어의 실행 효율이라는 두 가지 관점에 반영되어 있습니다.

Ada의 문법은 모호함이 적어 컴파일러의 정적 분석을 용이하게 합니다. 예를 들어, 모든 선언은 사용되기 전에 명시적으로 이루어져야 하며, 패키지의 명세부(specification) 구현부(body)가 명확히 분리됩니다. 이는 컴파일러가 복잡한 추론 없이 코드를 해석하고 모듈 단위로 컴파일할 수 있게 하여, 컴파일러 구현의 복잡성을 낮추고 자원이 제한된 환경에서도 Ada를 사용할 수 있는 기반이 됩니다.

또한, Ada 언어의 구성 요소들은 저장 공간(storage)과 실행 시간(execution time)을 효율적으로 사용하도록 설계되었습니다. 예를 들어, 제네릭(generic)이나 인라인(inlined) 서브프로그램과 같은 추상화 메커니즘은 대부분 컴파일 시점에 처리되어, 저수준 코드로 작성된 것과 유사한 수준의 실행 효율을 보입니다. 더 나아가, 프로그래머는 표현 절(representation clause)을 통해 데이터 구조의 메모리 배치를 비트 단위까지 직접 제어하거나, 프라그마(pragma)를 통해 컴파일러의 최적화 방식을 지정하는 등 정밀한 자원 제어가 가능합니다.

가독성과 명확성 (readability and clarity)

Ada의 구문은 프로그램의 논리적 구조를 명시적으로 나타내도록 설계되었습니다. 코드의 구조적 명확성은 소프트웨어 유지보수성에 영향을 미치는 요소입니다.

Ada는 블록과 제어 구문의 범위를 명시적인 키워드로 한정합니다. 예를 들어, 서브프로그램이나 패키지는 begin end로, 조건문은 if end if;로, 반복문은 loop와 **end loop;로 각각의 범위를 지정합니다.

각 제어 구조가 고유한 종결 예약어를 사용하므로, 코드 블록의 범위가 구문적으로 결정됩니다. 이는 프로그램의 제어 흐름과 중첩 구조에 대한 잠재적 모호성을 제거합니다.


  1. Booch, Grady, et al. Object-Oriented Analysis and Design with Applications. 3rd ed., Addison-Wesley, 2007. 

  2. Johnson, Ralph (August 26, 1991). Designing Reusable Classes (PDF). www.cse.msu.edu

  3. Stroustrup, Bjarne (February 19, 2007). Bjarne Stroustrup's C++ Glossary. polymorphism – providing a single interface to entities of different types. 


추천 비추천

0

고정닉 0

0

댓글 영역

전체 댓글 0
본문 보기

하단 갤러리 리스트 영역

왼쪽 컨텐츠 영역

갤러리 리스트 영역

갤러리 리스트
번호 제목 글쓴이 작성일 조회 추천
설문 순간의 말실수로 이미지 타격이 큰 것 같은 스타는? 운영자 25/09/01 - -
AD 가전디지털, 신학기 페스타! 운영자 25/08/29 - -
공지 프로그래밍 갤러리 이용 안내 [96] 운영자 20.09.28 46873 65
2886672 와 요즘 군대 진짜 좋아졌네 ㅇㅇㅇㅇ(125.7) 23:06 3 0
2886671 여 "내란당 해산 불가피"…야, '압수수색 반발' 무기한 농성 발명도둑잡기(39.7) 23:03 2 0
2886670 형님들 도와주세요 mfc 파일 실행할줄을 모르겠습니다. 암것도모름진짜(61.82) 22:38 7 0
2886669 2025 입시 입결 수직 급상승 로켓 떡상 탑 명문대O 프갤러(59.17) 22:30 11 1
2886666 번화가 모텔을 보니 슬퍼지는구나 발명도둑잡기(211.246) 22:02 20 0
2886665 긴급) 기프티콘 뿌린당❤ 선착순 ♥냥덩이♥갤로그로 이동합니다. 21:56 13 0
2886664 눈팅중인 인프런 개발자 봐라 [2] 노력갤로그로 이동합니다. 21:56 32 0
2886663 나님 끙야즁❤+ ♥냥덩이♥갤로그로 이동합니다. 21:46 15 0
2886662 공겹 준비하려고 자료구조 공부하려는데 ㅇㅇ(118.222) 21:43 15 0
2886659 스타크래프트 [1] 배구공(119.202) 21:22 21 0
2886658 165는 인간을 만날 생각 하면 안댐 ㅇㅅㅇ?? [1] ㅇㅇ(223.39) 21:16 16 0
2886657 서울과 부산 풍경 [2] ㅇㅇ(175.197) 21:06 31 0
2886656 루비점마는 에스트로겐 나올 때라서 그런가 왜 유동으로 저지랄이고 ㅆㅇㅆ(124.216) 21:02 29 0
2886655 가난한데 영화가 너무 좋다... 공부해야 하는데... ㅇㅇ(223.39) 21:01 17 0
2886654 위험하노, 위험하노 ㅇㅈㄹ 하지말고 [2] 프갤러(121.139) 20:58 35 1
2886653 애초에 있는 집 자식들이 학점에도 유리한게 ㅆㅇㅆ(124.216) 20:53 29 0
2886652 이번달 진짜 위험하노 ㅆㅇㅆ(124.216) 20:42 38 0
2886651 관악학생생활관 ㅇㅇ(117.111) 20:40 17 0
2886649 밥먹었어? 배구공(119.202) 20:28 13 0
2886648 내가 주로 사용하는 개발 도구 까발려 주겠다. 잘 배워둬라. [3] 프갤러(59.16) 20:24 36 0
2886647 실베에 뭐 서울대 불합격했지만 MIT 합격 이거보고 느끼는데 [15] ㅆㅇㅆ(124.216) 20:16 63 0
2886646 C++ 을 해야 하는 이유를 명확히 알려준다. [2] 프갤러(59.16) 20:00 58 0
2886644 근데 맨날 느끼는데 GPT 나오고나서도 [2] ㅆㅇㅆ(124.216) 19:51 37 0
2886643 야근하는 사람들 공통점. [1] 프갤러(59.16) 19:49 36 0
2886642 어느갤을 가보든 뭘 꺼꾸로 알고 있는 애들이 말이 많더라 [2] ㅇㅇ갤로그로 이동합니다. 19:42 36 0
2886641 혐오는 ❤을 이길 수 없당 ! ♥냥덩이♥갤로그로 이동합니다. 19:20 19 0
2886639 작은 회사에 들어가고 싶다. [13] 프갤러(58.230) 19:05 90 0
2886638 리엑트는 어느정도 할 줄 알아야함? [1] 프갤러(118.216) 19:05 41 0
2886634 요즘 한국인들 단체로 무적 콤플렉스 걸린듯? [1] ㅇㅇㅇ(175.211) 18:53 40 0
2886633 나는 ai가 말안들으면 욕하면서 일시키는데 싸이코패스임? [2] 꼬치의달인갤로그로 이동합니다. 18:48 50 0
2886632 쏘카 결과 원래 늦게 나오나? 프갤러(223.38) 18:46 27 0
2886631 요즘 막코더 형님 왜 안보이시냐 ㅆㅇㅆ(124.216) 18:39 20 0
2886630 칼뷰림이 왜 금지글? [1] 헬마스터갤로그로 이동합니다. 18:30 32 0
2886627 일본에서 10년간 일하면 본 충격적인 것들 [1] 프로외노자갤로그로 이동합니다. 18:26 36 0
2886626 나노바나나갤만듬 ㅇㅇ갤로그로 이동합니다. 18:21 31 0
2886625 프로그래밍 제일 병신같은게 있는 도구 안쓰는거 자랑스럽게 여기는거 [2] ㅆㅇㅆ(124.216) 18:19 51 0
2886624 애널의달성 2///2.5 ♥냥덩이♥갤로그로 이동합니다. 18:08 28 0
2886622 물론 나는 빨갱이 지향. 시장경제 자체가 병신같아. [3] 프갤러(218.154) 17:50 44 0
2886621 자본주의도 민족성에 영향을 받지 프갤러(218.154) 17:47 27 0
2886620 강남역 왔는데 요기요 배달 로보트 다니고 21세기네 발명도둑잡기(39.7) 17:40 23 0
2886619 지피티 서버 터졌네 [1] 루도그담당(210.104) 17:38 35 0
2886618 가장 아름다운 얼굴 모모링❤+ ♥지나가던냥덩이♥갤로그로 이동합니다. 17:37 31 0
2886617 업계가 ㅈ만하니까 프갤러(121.139) 17:37 41 1
2886614 나 ui와 로직을 분리하오, 나 객체짬뽕이오 지랄하다가 [3] 헬마스터갤로그로 이동합니다. 17:16 50 0
2886612 자가수정 예외처리 이런건 없나..? 나르시갤로그로 이동합니다. 17:04 19 0
2886606 AI 생성작이 저작권이 없구나 발명도둑잡기(112.169) 15:24 27 0
2886605 퇴근 후에도 울리는 "카톡~ 카톡~"…"'읽씹'도 '권리" 발명도둑잡기(112.169) 15:21 28 0
2886603 아스카 휴가 중에 또 전화 7통 받다 [13] 아스카영원히사랑해갤로그로 이동합니다. 14:56 133 0
2886602 국산 업스테이지 솔라 AI 성능이 세계 최고라는데 발명도둑잡기(112.169) 14:20 27 0
뉴스 '첫, 사랑을 위하여' 최윤지 뇌종양 수술 확정, 모녀의 봄날 다시 찾아올까 디시트렌드 14:00
갤러리 내부 검색
제목+내용게시물 정렬 옵션

오른쪽 컨텐츠 영역

실시간 베스트

1/8

뉴스

디시미디어

디시이슈

1/2