Futures and Promises - Relations Between The Expressiveness of Different Forms of Future

Relations Between The Expressiveness of Different Forms of Future

Eager thread-specific futures can be straightforwardly implemented in terms of non-thread-specific futures, by creating a thread to calculate the value at the same time as creating the future. In this case it is desirable to return a read-only view to the client, so that only the newly created thread is able to resolve this future.

To implement implicit lazy thread-specific futures (as provided by Alice ML, for example) in terms in non-thread-specific futures, needs a mechanism to determine when the future's value is first needed (for example, the WaitNeeded construct in Oz). If all values are objects, then the ability to implement transparent forwarding objects is sufficient, since the first message sent to the forwarder indicates that the future's value is needed.

Non-thread-specific futures can be implemented in terms of thread-specific futures, assuming that the system supports message passing, by having the resolving thread send a message to the future's own thread. However, this could be argued to be unnecessary complexity: in programming languages based on threads, the most expressive approach appears to be to provide a combination of non-thread-specific futures, read-only views, and either a 'WaitNeeded' construct or support for transparent forwarding.

Read more about this topic:  Futures And Promises

Famous quotes containing the words relations between, relations, forms and/or future:

    In the mythic schema of all relations between men and women, man proposes, and woman is disposed of.
    Angela Carter (1940–1992)

    I know all those people. I have friendly, social, and criminal relations with the whole lot of them.
    Mark Twain [Samuel Langhorne Clemens] (1835–1910)

    This is the Scroll of Thoth. Herein are set down the magic words by which Isis raised Osiris from the dead. Oh! Amon-Ra—Oh! God of Gods—Death is but the doorway to new life—We live today-we shall live again—In many forms shall we return-Oh, mighty one.
    John L. Balderston (1899–1954)

    Plato—who may have understood better what forms the mind of man than do some of our contemporaries who want their children exposed only to “real” people and everyday events—knew what intellectual experience made for true humanity. He suggested that the future citizens of his ideal republic begin their literary education with the telling of myths, rather than with mere facts or so-called rational teachings.
    Bruno Bettelheim (20th century)