백 오리피스 (Back Orifice, 종종 BO로 축약됨)는 원격 관리를 위하여 고안된 논의의 여지가 있는 컴퓨터 프로그램이다. 프로그램은 사용자가 원격지로부터 실행중인 마이크로소프트 윈도 운영 체제를 조절 가능하게 한다.^[1] 그 이름은 마이크로소프트 백오피스 서버 소프트웨어의 말장난이다.

백 오리피스는 클라이언트 서버 시스템 구조와 더불어 설계되었다. 작고 조심성있는 서버 프로그램이 어떤 장치에 설치되면, 그것은 또다른 컴퓨터 시스템 상에 그래픽 사용자 인터페이스를 갖춘 클라이언트 프로그램으로 복제가 된다. 그 두 구성요소는 전송 제어 프로토콜과/혹은 사용자 데이터그램 프로토콜 전송계층를 사용하는 어떤 또다른 장치와 함께 통신한다. 리트 현상을 참고하면, 이 프로그램은 일반적으로 포트번호31337상에서 실행된다.

프로그램은 1998년 8월 1일에 데프 콘 6 에서 초연했다. 그것은 미국의 해커 단체 CDC의 구성원인 서 디스틱의 두뇌의 산물이었다. 그 단체에 따르면, 그것의 목적은 마이크로소프트의 운영 체제 윈도 98에 있는 보안의 결핍을 시연하는 것이었다.

비록 백 오리피스가 원격 관리 같은 합법적인 목적을 가졌을지라도, 그것을 덜 상냥한 기업이 소송하게 만드는 다른 요소들이 있다. 그 서버 프로그램은 시스템의 사용자에 의한 피상적인 지켜봄으로부터 스스로를 숨길 수 있다. 사용자 상호작용없이 설치될 수 있음에 따라, 트로이 목마의 폭발력으로 분배될 수 있다.

이것과 다른 이유들로, 바이러스 검사 소프트웨어 산업은 즉시 악성코드로서 그 도구를 분류했으며 백 오리피스를 그들의 검역 목록에 덧붙였다. 이 사실에도 불구하고, 단순한 GUI와 쉬운 설치 때문에 스크립트 키드에 의해 널리 사용되었다.

1999년에 발표한 백 오리피스 2000와 프랑스계 캐나다인 해킹 그룹 QHA가 발표한 딥 백 오리피스가 백 오리피스를 뒤따랐다.

참고[편집]

외부 고리[편집]

• 백 오리피스 공식 사이트
• 백 오리피스 XP

스위프트(Swift)는 애플의 iOS와 OS X를 위한 프로그래밍 언어로 2014년 6월 2일 애플 세계 개발자 회의(WWDC)에서 처음 소개되었다.^[2]. 기존의 애플 운영체제용 언어인 오브젝티브-C와 함께 공존할 목적으로 만들어졌다. 오브젝티브-C와 마찬가지로 LLVM으로 빌드되고 같은 런타임을 공유한다. 클로저, 다중 리턴 타입, 네임스페이스, 제네릭스, 타입 유추 등 오브젝티브-C에는 없었던 현대 프로그래밍 언어가 갖고 있는 기능을 많이 포함시켰으며 코드 내부에서 C나 오브젝티브-C 코드를 섞어서 프로그래밍하거나 스크립트 언어처럼 실시간으로 상호작용하며 프로그래밍 할 수도 있다.^[3] 언어 설명서도 함께 배포되었다. 애플에서는 iBooks에서 Swift에 관한 책을 배포하고 있다. ^[4]

Xcode에서 사용 가능하다.

헬로 월드 프로그램[편집]

//Swift 2.0 이전
println("Hello, World!")
//Swift 2.0
print("Hello, World!")

함께 보기[편집]

• Xcode
• 오브젝티브-C
• D 언어^[1]

참고문헌[편집]

외부 링크[편집]

• 애플의 스위프트 페이지
• 스위프트 언어 애플 레퍼런스 페이지
• Online Swift Compiler

장고

최근 버전	1.8.4 / 2015년 8월 18일, 413일 경과[1]
종류	웹 애플리케이션 프레임워크
라이선스	BSD 사용 허가서
웹사이트	http://www.djangoproject.com

장고(Django, FAQ 발음으로는 "쟁고"(IPA: [ˈdʒæŋgoː])^[2])는 파이썬으로 작성된 오픈 소스 웹 애플리케이션 프레임워크로, 모델-뷰-컨트롤러 패턴을 느슨하게 적용한다. 2005년 7월에 BSD 사용 허가서로 공개되었다.

이 웹 애플리케이션 프레임워크는 집시 재즈 기타리스트인 장고 라인하르트의 이름을 따 명명되었다. ^[3]

고도의 데이터베이스 기반 웹사이트를 작성하는 데 있어서 수고를 더는 것이 장고의 주된 목표이다. 장고는 콤포넌트의 재사용성(reusability)과 플러그인화 가능성(pluggability), 빠른 개발 등을 강조하고 있다. 또한, "DRY(Don't repeat yourself: 중복배제)" 원리를 따랐다. 설정 파일 일서부터 데이터 모델에까지 파이썬 언어가 구석구석에 쓰였다.

서비스 배포[편집]

장고는 아파치 웹 서버에 mod_wsgi 또는 mod_python 모듈을 설치하여 서비스할 수 있다. 또한 장고는 FastCGI 모드로 구동할 수 있기 때문에 FastCGI를 지원하는 서버와 연동하여 서비스할 수 있다.^[4]

장고는 공식적으로 아래의 데이터베이스를 지원한다.

• PostgreSQL
• MySQL
• SQLite
• Oracle

마이크로소프트 SQL 서버는 django-mssql를 설치하여 사용할 수 있으나 마이크로소프트 운영 체제 내에서만 작동한다.

각주[편집]

바깥 고리[편집]

• 장고 프로젝트 홈페이지
• 장고 코드모음 사이트 (영어)
• 장고 한국어 사용자 구글 그룹스
• 장고 한국어 사용자 페이스북 그룹

문맥 교환(Context Switch)이란 하나의 프로세스가 CPU를 사용 중인 상태에서 다른 프로세스가 CPU를 사용하도록 하기 위해, 이전의 프로세스의 상태(문맥)를 보관하고 새로운 프로세스의 상태를 적재하는 작업을 말한다. 한 프로세스의 문맥은 그 프로세스의 프로세스 제어 블록에 기록되어 있다.

오버헤드와 처리기 구조[편집]

문맥을 교환하는 동안에는 유용한 작업을 수행할 수 없기 때문에, 문맥 교환 시간은 일종의 오버헤드라고 할 수 있다. CISC와 RISC는 각각 장단점이 있는데, 문맥교환 측면에 보면 RISC의 경우 레지스터의 용량이 CISC보다 상대적으로 크기 때문에 좀 더 큰 오버헤드가 발생한다.

바깥 고리[편집]

• 문맥 교환의 정의 - 리눅스 정보 프로젝트 (LINFO)
• 문맥 교환 - 마이크로소프트 개발자 네트워크 (MSDN)

이 글은 운영 체제에 관한 토막글입니다. 서로의 지식을 모아 알차게 문서를 완성해 갑시다.

람다 대수(λ -, lambda -)는 이론 컴퓨터과학 및 수리논리학에서 함수 정의, 함수 적용, 귀납적 함수를 추상화한 형식 체계이다. 1930년대 알론조 처치가 수학기초론을 연구하는 과정에서 람다 대수의 형식을 제안하였다. 최초의 람다 대수 체계는 논리적인 오류가 있음이 증명되었으나, 처치가 1936년에 그 속에서 계산과 관련된 부분만 따로 빼내어 후에 타입 없는 람다 대수 (untyped lambda calculus)라고 불리게 된 체계를 발표하였다. 또한 1940년에는 더 약한 형태이지만 논리적 모순이 없는 단순 타입 람다 대수 (simply typed lambda calculus)를 도입하였다.

람다 대수는 계산 이론, 언어학 등에 중요한 역할을 하며, 특히 프로그래밍 언어 이론의 발전에 크게 기여했다. 리스프와 같은 함수형 프로그래밍 언어는 람다 대수로부터 직접적인 영향을 받아 탄생했으며, 단순 타입 람다 대수는 현대 프로그래밍 언어의 타입 이론의 기초가 되었다.

수학사에서 람다 대수[편집]

람다 대수는 알론조 처치에 의해 1930년대 소개됐다. 최초의 시스템은 스테펜 클리네와 존 버클리 로서가 클리네-로저 역설을 제창하면서 1935년 논리적 결점을 보이기 위해 도입됐다. 그 후인 1936년 처치는 독립적으로 현재에는 타입 없는 람다 대수라고 불리는 계산에 관련한 부분을 출판했다. 1940년, 그는 또한 계산적으로는 떨어지지만 논리적으로 무결한 시스템을 공개했다. 이것이 단순 타입 람다 대수이다.

함수의 표현[편집]

함수는 컴퓨터 과학과 수학의 기초를 이루는 개념이다. 람다 대수는 함수를 단순하게 표현할 수 있도록 하여 '함수의 계산'이라는 개념을 더 깊이 이해할 수 있게 돕는다.

예를 들어 항등 함수 ${\displaystyle I(x)=x}$ 는 하나의 입력 ${\displaystyle x}$를 받아 다시 ${\displaystyle x}$를 결과로 내놓는다고 하자. 한편 함수 ${\displaystyle s(x,y)=x\times x+y\times y}$ 는 입력 ${\displaystyle x}$와 ${\displaystyle y}$를 받아 두 수의 제곱의 합을 내놓는다고 하자. 이 두 예제로부터 세 가지 유용한 사실을 알 수 있다.

1. 함수가 반드시 이름을 가질 필요는 없다. 함수 ${\displaystyle s}$는 이름을 제거하고 ${\displaystyle (x,y)\mapsto x\times x+y\times y}$ 와 같은 형태로 쓸 수 있다. 또한 항등 함수 ${\displaystyle I(x)=x}$는 ${\displaystyle x\mapsto x}$ 의 형태로 쓸 수 있다.
2. 함수의 입력 변수의 이름 또한 필요 없다. ${\displaystyle x\mapsto x}$ 와 ${\displaystyle y\mapsto y}$ 는 변수의 이름은 다르지만 같은 항등 함수를 의미한다. 또한 ${\displaystyle (x,y)\mapsto x\times x+y\times y}$ 와 ${\displaystyle (u,v)\mapsto u\times u+v\times v}$ 는 같은 함수를 나타낸다.
3. 두 개 이상의 입력을 받는 함수는 하나의 입력을 받아 또다른 함수를 출력하는 함수로 다시 쓸 수 있다. 예를 들어, ${\displaystyle (x,y)\mapsto x\times x+y\times y}$ 는 ${\displaystyle x\mapsto (y\mapsto x\times x+y\times y)}$ 와 같은 형태로 다시 쓸 수 있다. 함수를 이와 같이 변환하는 것을 커링 (currying)이라고 한다. 위의 함수 ${\displaystyle s(x,y)}$는 다음과 같이 단일 입력 함수를 두 번 적용하는 것으로 이해할 수 있다.

   ${\displaystyle (x\mapsto (y\mapsto x\times x+y\times y))(5)(2)}$
   

   ${\displaystyle =(y\mapsto 5\times 5+y\times y)(2)}$
   

   ${\displaystyle =5\times 5+2\times 2}$

핵심 개념[편집]

추상화

${\displaystyle \lambda x.t}$는 단일 입력 ${\displaystyle x}$를 받아 ${\displaystyle t}$의 표현으로 치환하는 익명의 함수를 지칭한다. 예를 들어 ${\displaystyle \lambda x.x^{2}+2}$는 함수 ${\displaystyle f(x)=x^{2}+2}$의 람다 추상화이다. 람다 추상화를 통해 함수를 정의한다는 것은 함수를 정의하기만 하고 함수를 수행(호출)하지는 않는다. 람다 추상화를 통해 변수 ${\displaystyle x}$는 표현 ${\displaystyle t}$에 속박된다.

자유 변수

자유 변수(free variable)는 람다 추상화를 통해 표현에 묶이지 않은 변수를 말한다. 자유 변수의 집합은 귀납적으로 정의된다.

• ${\displaystyle x}$의 자유 변수는 ${\displaystyle x}$뿐이다.
• ${\displaystyle \lambda x.t}$의 자유변수는 ${\displaystyle x}$를 제외하고 ${\displaystyle t}$에 등장하는 변수들이다.
• 두 표현 ${\displaystyle t}$와 ${\displaystyle s}$의 결합 ${\displaystyle ts}$의 자유변수의 집합은 ${\displaystyle t}$의 자유변수의 집합과 ${\displaystyle s}$의 자유변수의 집합의 합집합이다.

예를 들어, ${\displaystyle \lambda x.x}$에는 자유 변수가 없지만, ${\displaystyle \lambda x.x+y}$에는 자유변수가 ${\displaystyle y}$ 하나이다.

축약[편집]

람다 대수식의 의미는 식이 어떻게 축약될 수 있는지에 따라 정의된다. 람다 대수식 축약에는 세 가지가 있다.

• 알파-변환(α-conversion): 속박 변수를 바꿈
• 베타-축약(β-reduction): 식의 인수에 함수를 적용
• 에타-변환(η-conversion): 외연성을 통해 축약 (겉으로 보이는 행동이 같은 함수는 동일 함수로 간주함)

베타-축약을 통해 같은 식으로 변환되면 베타-동치(β-equivalent)라 부른다. 다른 축약도 마찬가지로 각각 알파-동치(α-equivalent), 에타-동치(η-equivalent)로 정의된다. 축약할 수 있는 식(reducible expression)을 줄여서 redex라고 부른다.

알파-변환[편집]

알파-리네이밍(alpha-renaming)이라고 불리기도 하는 알파-변환은 속박 변수의 이름이 바뀌는 것을 허용한다. 예를 들어, ${\displaystyle \lambda x.x}$가 ${\displaystyle \lambda y.y}$로 바뀌어도 알파-동치이다. 알파-변환은 일반적으로 동치임을 확인하기 위해 사용된다. 정확한 알파-변환의 규칙은 완전히 사소하지 않다. 첫 번째로 추상화로 알파-변환을 수행할 때, 한 변수는 같은 추상화에 속한 경우만 새롭게 이름 붙일 수 있다. 예를 들어, ${\displaystyle \lambda x.\lambda x.x}$의 알파-변환은 ${\displaystyle \lambda y.\lambda x.x}$가 될 수 있으나, ${\displaystyle \lambda y.\lambda x.y}$은 될 수 없다. 두 번째로 다른 추상화에 의해 변수가 캡쳐되어 있을 경우 알파-변환을 할 수 없다. 예를 들어, ${\displaystyle \lambda x.\lambda y.x}$은 ${\displaystyle \lambda y.\lambda y.y}$로 알파-변환될 수 없다. 정적인 스코프를 가지는 프로그래밍 언어에서, 알파-변환은 이름 없는 변수의 이름을 해당 변수를 포함하는 스코프에서 결정하는 이름 분석(name resolution)을 통해 변수의 이름을 결정할 수 있다.

치환[편집]

${\displaystyle E[V:=R]}$ 형태로 쓰여지는 치환은 변수 ${\displaystyle V}$를 식 ${\displaystyle R}$과 함께 ${\displaystyle E}$에 대입하는 과정이다. 치환은 다음과 같은 성질을 가진다. x와 y는 변수, M과 N은 λ 형태의 식이다.

x[x := N] ≡ N

y[x := N] ≡ y (만약 x ≠ y 일 경우,)

(M₁ M₂)[x := N] ≡ (M₁[x := N]) (M₂[x := N])

(λx.M)[x := N] ≡ λx.M

(λy.M)[x := N] ≡ λy.(M[x := N]) (만약 x ≠ y 이고, y ∉ FV(N) 일 경우,)

람다 추상화에 치환하기 위해서는 알파-변환이 필요하다. 예를 들어, ${\displaystyle \lambda x.y[y:=x]}$를 치환했을 경우 ${\displaystyle \lambda x.x}$는 정확하지 않다. ${\displaystyle \lambda z.x}$로 치환되어야 알파-동치를 이룰 수 있다.

타입 없는 람다 대수[편집]

타입 없는 람다 대수는 이와 같은 고찰을 바탕으로 함수를 다음과 같은 형식으로 다시 표현한다.

${\displaystyle \lambda }$ 변수 ${\displaystyle .}$ 수식

위에서 살펴본 항등함수 ${\displaystyle I}$는 람다 대수로 표현하면 ${\displaystyle \lambda x.x}$ 가 된다.

함수를 실제로 계산하는 것은 베타 축약이라는 과정을 통해 이루어진다. 베타 축약은 다음과 같은 규칙을 갖는다.

${\displaystyle (\lambda V.E)E'}$: 수식 ${\displaystyle E}$에서 모든 변수 ${\displaystyle V}$를 수식 ${\displaystyle E'}$으로 치환한다.

예를 들어 입력값 ${\displaystyle n}$에 대해 수식 ${\displaystyle E=n\times 2}$를 리턴하는 함수 ${\displaystyle (\lambda n.n\times 2)}$가 있다고 하자. 이 함수에 입력 ${\displaystyle E'=7}$을 적용하는 과정은 ${\displaystyle (\lambda n.n\times 2)7\rightarrow 7\times 2}$와 같이 수식 내의 모든 ${\displaystyle n}$을 7로 치환한 것으로 표현할 수 있다. 이와 같이 치환 등을 통해 수식을 축약하는 것은 베타 축약의 한 예이다.

같이 보기[편집]

• 처치-로서 정리

참고 문헌[편집]

• Church, Alonzo; Rosser, J. Barkley (May 1936), “Some properties of conversion”, 《Transactions of the American Mathematical Society》 39 (3): 472–482, JSTOR 1989762.