Чим відрізняються ф’ючерси та обіцянки Clojure?

І ф'ючерси, і обіцянки блокуються, поки вони не розрахують свої значення, то яка різниця між ними?

Відповідаючи словами Clojure, ось кілька прикладів з екранізації Шона Девліна :

(def a-promise (promise))
(deliver a-promise :fred)

(def f (future (some-sexp)))
(deref f)

Зверніть увагу, що в обіцянці ви явно передаєте значення, яке ви вибрали в подальшому обчисленні ( :fredу цьому випадку). Навпаки, майбутнє споживається там, де воно було створене. some-exprІмовірно запущений за лаштунками , і розраховується в тандемі ( в кінці кінців), але якщо він залишається невичісленним на той час вона доступна потік блокується до тих пір, поки не доступно.

відредаговано додати

Для подальшого розрізнення обіцянки від майбутнього зверніть увагу на таке:

обіцянка

1. Ви створюєте promise. Цей об’єкт обіцянки тепер можна передати будь-якому потоку.
2. Ви продовжуєте з розрахунками. Це можуть бути дуже складні розрахунки, що включають побічні ефекти, завантаження даних, введення користувачами, доступ до бази даних, інші обіцянки - що завгодно. Код буде дуже схожий на ваш основний код в будь-якій програмі.
3. Коли ви закінчите, ви зможете deliverотримати результати для цього обіцяного об'єкта.
4. Будь-який предмет, який намагається виконати derefвашу обіцянку, перш ніж ви закінчите з розрахунком, буде блокуватися, поки ви не закінчите. Після того, як ви закінчите і виконаєте deliverобіцянку, обіцянка більше не блокуватиметься.

майбутнє

1. Ви створюєте своє майбутнє. Частина вашого майбутнього - це вираз для розрахунку.
2. Майбутнє може виконуватися одночасно або не виконуватися. Йому може бути призначений потік, можливо, з пулу. Це могло просто чекати і нічого не робити. З вашої точки зору ви не можете сказати .
3. У якийсь момент у вас (або іншої нитки) derefмайбутнє. Якщо обчислення вже завершено, ви отримуєте його результати. Якщо це ще не завершено, ви блокуєте, поки воно не завершиться. (Імовірно, якщо він ще не розпочався, derefце означає, що він починає виконуватися, але це теж не гарантується.)

Хоча ви можете зробити вираз у майбутньому таким же складним, як і код, що слідує за створенням обіцянки, сумнівно, що це бажано. Це означає, що ф’ючерси дійсно більше підходять для швидких фонових розрахунків, тоді як обіцянки дійсно більше підходять для великих, складних шляхів виконання. З точки зору доступних розрахунків, обіцянки здаються трохи більш гнучкими та орієнтованими на те, що творець обіцянок виконує роботу, і ще на одну нитку, яка збирає урожай. Ф'ючерси більше орієнтовані на автоматичний запуск потоку (без потворних та схильних до помилок накладних витрат) і продовження інших справ, поки вам - вихідному потоку - не знадобляться результати.

Майбутнє і Обіцянка є механізмами передачі результату асинхронних обчислень від виробника до споживача.

У разі майбутнього обчислення визначаються в момент створення майбутнього і асинхронне виконання починається «якомога швидше». Він також "знає", як створити асинхронне обчислення.

У разі обчислення Promise час його початку та [можливий] асинхронний виклик відокремлюються від механізму доставки. Коли доступний результат обчислення , Виробник повинен зателефонувати явно, що також означає, що Виробник контролює, коли результат стане доступним. deliver

Для Promises Clojure допускає помилку в дизайні, використовуючи один і той же об'єкт (результат promiseвиклику) як для виробництва ( deliver), так і для споживання ( deref) результату обчислення . Це дві дуже різні можливості, і їх слід розглядати як такі.

Уже є відмінні відповіді, тому лише додавши резюме "як використовувати":

І те, і інше

Створення обіцянки або майбутнього негайно повертає посилання. Це посилання блокується на @ / deref, поки результат обчислення не буде наданий іншим потоком.

Майбутнє

Створюючи майбутнє, ви забезпечуєте синхронну роботу, яку потрібно виконати. Він виконується в потоці з виділеного необмеженого пулу.

Пообіцяй

Ви не наводите аргументів під час створення обіцянки. Посилання слід передати іншому потоку користувача, який буде deliverрезультатом.

У Clojure, promise, futureі delayцю обіцянку, як об'єкти. Всі вони представляють обчислення, на які клієнти можуть чекати, використовуючи deref(або @). Клієнти повторно використовують результат, так що обчислення не запускаються кілька разів.

Вони відрізняються способом виконання обчислень:

• futureрозпочне обчислення в іншому робочому потоці. derefбуде блокувати, поки результат не буде готовий.

• delayбуде виконувати обчислення ліниво, коли перший клієнт використовує deref, або force.

• promiseпропонує найбільшу гнучкість, оскільки його результат доставляється будь-яким спеціальним способом за допомогою deliver. Ви можете використовувати його , коли ні futureабо delayвідповідати вашому випадку використання.

По-перше, a Promiseє a Future. Я думаю, ви хочете знати різницю між a Promiseта a FutureTask.

A Futureявляє собою значення, яке наразі не відоме, але буде відоме в майбутньому.

A FutureTaskпредставляє результат обчислення, яке відбудеться в майбутньому (можливо, в якомусь пулі потоків). При спробі отримати доступ до результату, якщо обчислення ще не відбулося, воно блокується. В іншому випадку результат негайно повертається. Жодна інша сторона не бере участь у обчисленні результату, оскільки обчислення вказані вами заздалегідь.

A Promiseявляє собою результат, який обіцянок передасть обіцяному в майбутньому. У цьому випадку ви обіцяєте, а обіцянок - той, хто дав вам Promiseпредмет. Подібно до FutureTask, якщо ви намагаєтесь отримати доступ до результату до того, Promiseяк було виконано, він блокується, поки обіцянка не виконає Promise. Після того, як Promiseце виконано, ви отримуєте одне і те ж значення завжди і негайно. На відміну від FutureTask, тут задіяна інша сторона, яка зробила Promise. Що інша сторона відповідає за обчислення та виконання Promise.

У цьому сенсі a FutureTask- це Promiseви, яке ви зробили для себе.