article

Free access

Solved problems, unsolved problems and non-problems in concurrency

Author:

Leslie LamportAuthors Info & Claims

ACM SIGOPS Operating Systems Review, Volume 19, Issue 4

Pages 34 - 44

https://doi.org/10.1145/858336.858339

Published: 01 October 1985 Publication History

PDF eReader

Abstract

This is an edited transcript of a talk given at last year's conference. To preserve the flavor of the talk and the questions, I have done very little editing---mostly eliminating superfluous words and phrases, correcting especially atrocious grammar, and making the obvious changes needed when replacing slides by figures. The tape recorder was not functioning for the first few minutes, so I had to recreate the beginning of the talk.

Cited By

View all

Kim HKim D(2023)A Taxonomic Hierarchy of Blockchain Consensus Algorithms: An Evolutionary Phylogeny ApproachSensors10.3390/s2305273923:5(2739)Online publication date: 2-Mar-2023
https://doi.org/10.3390/s23052739
Fu XYin YZheng C(2023)Self-stabilizing -Coloring in Sublinear (in ) Rounds via Locally-Iterative AlgorithmsComputing and Combinatorics10.1007/978-3-031-49190-0_17(232-243)Online publication date: 15-Dec-2023
https://dl.acm.org/doi/10.1007/978-3-031-49190-0_17
Lee SLee JLee J(2022)Learning Virtual Chimeras by Dynamic Motion ReassemblyACM Transactions on Graphics10.1145/3550454.355548941:6(1-13)Online publication date: 30-Nov-2022
https://dl.acm.org/doi/10.1145/3550454.3555489
Show More Cited By

Solved problems, unsolved problems and non-problems in concurrency
1. Software and its engineering
  1. Software notations and tools
    1. General programming languages
      1. Language types

Recommendations

1983 Invited address solved problems, unsolved problems and non-problems in concurrency
PODC '84: Proceedings of the third annual ACM symposium on Principles of distributed computing

This is an edited transcript of a talk given at last year's conference. To preserve the flavor of the talk and the questions, I have done very little editing—mostly eliminating superfluous words and phrases, correcting especially atrocious grammar, and ...
Selected Unsolved Problems in Coding Theory (Applied and Numerical Harmonic Analysis)
99 deduplication problems
HotStorage'16: Proceedings of the 8th USENIX Conference on Hot Topics in Storage and File Systems

Deduplication is a widely studied capacity optimization technique that replaces redundant regions of data with references. Not only is deduplication an ongoing area of academic research, numerous vendors have deduplicated storage products. Historically, ...

Comments

Information & Contributors

Information

Published In

cover image ACM SIGOPS Operating Systems Review

ACM SIGOPS Operating Systems Review Volume 19, Issue 4

October 1985

51 pages

ISSN:0163-5980

DOI:10.1145/858336

Issue’s Table of Contents

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 01 October 1985

Published in SIGOPS Volume 19, Issue 4

Check for updates

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

36
Total Citations
View Citations
816
Total Downloads

Downloads (Last 12 months)95
Downloads (Last 6 weeks)16

Reflects downloads up to 21 Jan 2025

Other Metrics

View Author Metrics

Citations

Cited By

View all

Kim HKim D(2023)A Taxonomic Hierarchy of Blockchain Consensus Algorithms: An Evolutionary Phylogeny ApproachSensors10.3390/s2305273923:5(2739)Online publication date: 2-Mar-2023
https://doi.org/10.3390/s23052739
Fu XYin YZheng C(2023)Self-stabilizing -Coloring in Sublinear (in ) Rounds via Locally-Iterative AlgorithmsComputing and Combinatorics10.1007/978-3-031-49190-0_17(232-243)Online publication date: 15-Dec-2023
https://dl.acm.org/doi/10.1007/978-3-031-49190-0_17
Lee SLee JLee J(2022)Learning Virtual Chimeras by Dynamic Motion ReassemblyACM Transactions on Graphics10.1145/3550454.355548941:6(1-13)Online publication date: 30-Nov-2022
https://dl.acm.org/doi/10.1145/3550454.3555489
Zhang LZeng CZhang QLin HCao RYang WXu LYu J(2022)Video-Driven Neural Physically-Based Facial Asset for ProductionACM Transactions on Graphics10.1145/3550454.355544541:6(1-16)Online publication date: 30-Nov-2022
https://dl.acm.org/doi/10.1145/3550454.3555445
Feldmann MScheideler CSchmid S(2020)Survey on Algorithms for Self-stabilizing Overlay NetworksACM Computing Surveys10.1145/339719053:4(1-24)Online publication date: 11-Jul-2020
https://dl.acm.org/doi/10.1145/3397190
Altisen KDevismes SDubois SPetit F(2019)Introduction to Distributed Self-Stabilizing AlgorithmsSynthesis Lectures on Distributed Computing Theory10.2200/S00908ED1V01Y201903DCT0158:1(1-165)Online publication date: 15-Apr-2019
https://doi.org/10.2200/S00908ED1V01Y201903DCT015
Leildé VRibaud VTeodorov CDhaussy P(2018)Domain-Oriented Verification ManagementModel and Data Engineering10.1007/978-3-030-00856-7_24(354-370)Online publication date: 13-Sep-2018
https://doi.org/10.1007/978-3-030-00856-7_24
Demasi RCastro PMaibaum TAguirre N(2017)Simulation relations for fault-toleranceFormal Aspects of Computing10.1007/s00165-017-0426-229:6(1013-1050)Online publication date: 1-Nov-2017
https://dl.acm.org/doi/10.1007/s00165-017-0426-2
Becchetti LClementi ANatale EPasquale FPosta GBlelloch GAgrawal K(2015)Self-Stabilizing Repeated Balls-into-BinsProceedings of the 27th ACM symposium on Parallelism in Algorithms and Architectures10.1145/2755573.2755584(332-339)Online publication date: 13-Jun-2015
https://dl.acm.org/doi/10.1145/2755573.2755584
Hartley S(2001)“Alfonse, give me a call!”ACM SIGCSE Bulletin10.1145/366413.36459033:1(229-232)Online publication date: 1-Feb-2001
https://dl.acm.org/doi/10.1145/366413.364590
Show More Cited By

View Options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Abstract

Cited By

Recommendations

1983 Invited address solved problems, unsolved problems and non-problems in concurrency

Selected Unsolved Problems in Coding Theory (Applied and Numerical Harmonic Analysis)

99 deduplication problems

Comments

Information

Published In

Publisher

Publication History

Check for updates

Qualifiers

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

View options

PDF

eReader

Login options

Full Access

Figures

Other

Share

Share this Publication link

Share on social media

Affiliations