퓨처와 프로미스

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

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

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

구현체 목록

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

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

• ABCL/f^[5]
• 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^[6] and the keywords await and async^[7])
• Elm (programming language) via the Task module^[8]
• Glasgow 하스켈 (I-vars and M-vars only)
• Id (I-vars and M-vars only)
• Io^[9]
• 자바 via java.util.concurrent.Future or java.util.concurrent.CompletableFuture
  • 자바 (프로그래밍 언어)
• 자바스크립트 (limited, as of ECMA스크립트 6)
• Lucid (dataflow only)
• Some Lisps
  • 클로저 (프로그래밍 언어)^[10]
  • MultiLisp
• .NET via Tasks
  • C#, since .NET Framework 4.5,^[11] via the keywords async and await^[12]
• Nim
• Oxygene
• Oz version 3^[13]
• 파이썬 concurrent.futures, since 3.2,^[14] as proposed by the PEP 3148, and Python 3.5 added async and await^[15]
• R (promises for lazy evaluation, still single threaded)
• Racket^[16]
• Raku^[17]
• Scala via scala.concurrent package
• Scheme
• 스퀵 스몰토크
• Strand
• Swift (only via third-party libraries)
• Visual Basic 11 (via the keywords Async and Await)^[12]

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

• E
• 줄

비표준 라이브러리 기반 퓨처 구현체 목록

• For 커먼 리스프:
  • Blackbird^[18]
  • Eager Future2^[19]
  • lparallel^[20]
  • PCall^[21]
• For C++:
  • Boost library^[22]
  • Dlib^[23]
  • Qt^[24]
  • Seastar^[25]
  • Folly^[26]
  • POCO C++ Libraries (Active Results)^[27]
  • HPX^[28]
• For C# and other .NET languages: The Parallel Extensions library
• For Groovy: GPars^[29]
• For 자바스크립트:
  • Cujo.js'^[30] when.js^[31] provides promises conforming to the Promises/A+^[32] 1.1 specification
  • The Dojo Toolkit supplies promises^[33] and Twisted style deferreds
  • MochiKit^[34] inspired by Twisted's Deferreds
  • jQuery's Deferred Object is based on the CommonJS Promises/A design.
  • AngularJS^[35]
  • node-promise^[36]
  • Q, by Kris Kowal, conforms to Promises/A+ 1.1^[37]
  • RSVP.js, conforms to Promises/A+ 1.1^[38]
  • YUI's^[39] promise class^[40] conforms to the Promises/A+ 1.0 specification.
  • Bluebird, by Petka Antonov^[41]
  • 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^[42]
  • ParSeq^[43] provides task-promise API ideal for asynchronous pipelining and branching, maintained by 링크드인
• For Lua:
  • The cqueues module contains a Promise API.
• For 오브젝티브-C: MAFuture,^[44][45] RXPromise,^[46] ObjC-CollapsingFutures,^[47] PromiseKit,^[48] objc-promise,^[49] OAPromise,^[50]
• For OCaml: Lazy module implements lazy explicit futures^[51]
• For 펄: Future,^[52] Promises,^[53] Reflex,^[54] and Promise::ES6^[55]
• For PHP: React/Promise^[56]
• For 파이썬:
  • Built-in implementation^[57]
  • pythonfutures^[58]
  • Twisted's Deferreds^[59]
• For R:
  • future, implements an extendable future API with lazy and eager synchronous and (multicore or distributed) asynchronous futures^[60][61]
• For Ruby:
  • Promise gem^[62]
  • libuv gem, implements promises^[63]
  • Celluloid gem, implements futures^[64]
  • future-resource^[65]
• For Rust:
  • futures-rs^[66]
• For Scala:
  • Twitter's util library^[67]
• For Swift:
  • Async framework, implements C#-style async/non-blocking await^[68]
  • FutureKit,^[69] implements a version for Apple GCD^[70]
  • FutureLib, pure Swift 2 library implementing Scala-style futures and promises with TPL-style cancellation^[71]
  • Deferred, pure Swift library inspired by OCaml's Deferred^[72]
  • BrightFutures^[73]
• For Tcl: tcl-promise^[74]

같이 보기

• 파이버 (컴퓨터 과학)
• Futex