퓨처와 프로미스

컴퓨터 과학에서 퓨처(future), 프로미스(promise), 딜레이(delay), 디퍼드(deferred)는 일부 병행 프로그래밍 언어에서 프로그램 실행을 동기화하려고 쓰는 구조체다. 프록시 역할을 하는 객체로 설명되며 값의 연산이 아직 이루어지지 않은 상태이므로 결과는 미리 알 수 없다.

프로미스(promise)라는 용어는 1976년 대니얼 P. 프리드먼과 데이비드 와이즈가 제안하였으며,
피터 히버드는 eventual로 명명하였다.
일부 비슷한 개념인 퓨처(future)는 1977년 헨리 베이커와 칼 히위트의 논문에 등장하였다.

퓨처, 프로미스, 딜레이, 디퍼드라는 용어는 종종 번갈아 사용되지만 퓨처와 프로미스 사이에는 이용 면에서 일부 차이가 있다. 퓨처는 변수의 읽기 전용 플레이스홀더인 반면 프로미스는 미래의 값을 저장하는, 쓰기가 가능한 단일 할당 컨테이너이다. 퓨처는 어느 특정 프로미스가 값을 설정할지를 지정하지 않고 정의할 수 있으며 각기 다른 잠재적인 프로미스들이 주어진 퓨처의 값을 설정할 수 있지만 주어진 퓨처에 대해 오직 한 번만 수행이 가능하다. 그 밖의 경우 퓨처와 프로미스는 함께 만들어지며 서로 연결된다. 즉, 퓨처는 값이고 프로미스는 값을 설정하는 함수, 특히 비동기 함수(프로미스)의 반환값(퓨처)을 의미한다. 퓨처의 값을 설정하는 것은 바인딩(binding), 풀필링(fulfilling), 리졸빙(resolving)으로 부른다.

구현체 목록 
일부 프로그래밍 언어들은 퓨처, 프로미스, 병행 논리 변수, 데이터플로 변수, l-var을 지원하며 이는 직접 언어 지원을 통해서나 표준 라이브러리를 통해 제공된다.

프로그래밍 언어에 따른 퓨처와 프로미스 관련 개념 목록 

 ABCL/f
 Alice ML
 AmbientTalk (including first-class resolvers and read-only promises)
 C++, starting with C++11: std::future and std::promise
 μC++

 Compositional C++
 Crystal (programming language)
 Dart (with Future/Completer classes and the keywords await and async)
 Elm (programming language) via the Task module
 Glasgow 하스켈 (I-vars and M-vars only)
 Id (I-vars and M-vars only)
 Io
 자바 via  or 
 자바 (프로그래밍 언어)
 자바스크립트 (limited, as of ECMA스크립트 6)
 Lucid (dataflow only)
 Some Lisps
 클로저 (프로그래밍 언어)
 MultiLisp
 .NET via Tasks
 C#, since .NET Framework 4.5, via the keywords async and await
 Nim
 Oxygene
 Oz version 3
 파이썬 concurrent.futures, since 3.2, as proposed by the PEP 3148, and Python 3.5 added async and await
 R (promises for lazy evaluation, still single threaded)
 Racket
 Raku
 Scala via scala.concurrent package
 Scheme
 스퀵 스몰토크
 Strand
 Swift (only via third-party libraries)
 Visual Basic 11 (via the keywords Async and Await)

프로미스 파이프라이닝을 지원하는 언어:
 E
 줄

비표준 라이브러리 기반 퓨처 구현체 목록 
 For 커먼 리스프:
 Blackbird
 Eager Future2
 lparallel
 PCall
 For C++:
 Boost library
 Dlib
 Qt
 Seastar
 Folly
 POCO C++ Libraries (Active Results)
 HPX
 For C# and other .NET languages: The Parallel Extensions library
 For Groovy: GPars
 For 자바스크립트:
 Cujo.js' when.js provides promises conforming to the Promises/A+ 1.1 specification
 The Dojo Toolkit supplies promises and Twisted style deferreds
 MochiKit inspired by Twisted's Deferreds
 jQuery's Deferred Object is based on the CommonJS Promises/A design.
 AngularJS
 node-promise
 Q, by Kris Kowal, conforms to Promises/A+ 1.1
 RSVP.js, conforms to Promises/A+ 1.1
 YUI's promise class conforms to the Promises/A+ 1.0 specification.
 Bluebird, by Petka Antonov
 The Closure Library's promise package conforms to the Promises/A+ specification.
 See Promise/A+'s list for more implementations based on the Promise/A+ design.
 For 자바:
 JDeferred, provides deferred-promise API and behavior similar to JQuery.Deferred object
 ParSeq provides task-promise API ideal for asynchronous pipelining and branching, maintained by 링크드인
 For Lua:
 The cqueues  module contains a Promise API.
 For 오브젝티브-C: MAFuture, RXPromise, ObjC-CollapsingFutures, PromiseKit, objc-promise, OAPromise,
 For OCaml: Lazy module implements lazy explicit futures
 For 펄: Future, Promises, Reflex, and Promise::ES6
 For PHP: React/Promise
 For 파이썬:
 Built-in implementation
 pythonfutures
 Twisted's Deferreds
 For R:
 future, implements an extendable future API with lazy and eager synchronous and (multicore or distributed) asynchronous futures
 For Ruby:
 Promise gem
 libuv gem, implements promises
 Celluloid gem, implements futures
 future-resource
 For Rust:
 futures-rs
 For Scala:
 Twitter's util library
 For Swift:
 Async framework, implements C#-style async/non-blocking await
 FutureKit, implements a version for Apple GCD
 FutureLib, pure Swift 2 library implementing Scala-style futures and promises with TPL-style cancellation
 Deferred, pure Swift library inspired by OCaml's Deferred
 BrightFutures
 For Tcl: tcl-promise

각주

외부 링크 
Concurrency patterns presentation given at scaleconf
 Future Value and Promise Pipelining at the :en:Portland Pattern Repository
 Easy Threading with Futures in 파이썬

프로세스 간 통신