En offentlig datastruktur krävs för att fungera korrekt i en samtidig miljö där många processer kan försöka få tillgång till den, eventuellt samtidigt. Vid genomförandet av en sådan struktur kan ingenting antas i förväg om antalet eller identiteterna för de processer som kan komma att få tillgång till den. Även om de flesta av de kända samtidiga datastrukturerna inte är offentliga, finns det få som är offentliga. Det är intressant att lägga märke till att dessa offentliga datastrukturer alla behandlar olika varianter av räknare, som är datastrukturer som stöder två operationer: ökning och läsning. I detta dokument definierar vi begreppet offentlig datastruktur, och undersöker flera typer av offentliga räknare. Då ger vi en optimal konstruktion av offentliga räknare som uppfyller en svag korrekthet villkor, och visar att det inte finns någon offentlig räknare som uppfyller ett starkare villkor. Man hoppas att detta arbete kommer att ge insikter i utformningen av andra, mer komplicerade, offentliga datastrukturer.
I REF visas två resultat för en modell där inget kan antas i förväg om antalet eller identiteterna för processerna.
Public data structures: counters as a special case
{'venue': 'Proceedings Third Israel Symposium on the Theory of Computing and Systems', 'journal': 'Proceedings Third Israel Symposium on the Theory of Computing and Systems', 'mag_field_of_study': ['Computer Science']}