A wait-free algorithm for optimistic programming: HOPE realized

This publication has 13 references indexed in Scilit:

• Coping with conflicts in an optimistically replicated file system
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Performance benefits of optimistic programming: a measure of HOPE
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Optimistic incremental specialization
  Published by Association for Computing Machinery (ACM) ,1995
• Maisie: a language for the design of efficient discrete-event simulations
  IEEE Transactions on Software Engineering, 1994
• Increasing concurrency through optimism
  Published by Association for Computing Machinery (ACM) ,1994
• Optimistic parallelization of communicating sequential processes
  Published by Association for Computing Machinery (ACM) ,1991
• Recovery in distributed systems using optimistic message logging and checkpointing
  Journal of Algorithms, 1990
• Virtual time
  ACM Transactions on Programming Languages and Systems, 1985
• On optimistic methods for concurrency control
  ACM Transactions on Database Systems, 1981
• A truth maintenance system
  Artificial Intelligence, 1979