HackerPapers

arXiv:0810.1316cs.DM

The meaning of concurrent programs

Victor Yodaiken

Early discovery. Linked by one identifiable commenter. This paper is outside the main ranking; a mention is not an endorsement.

Abstract

The semantics of assignment and mutual exclusion in concurrent and multi-core/multi-processor systems is presented with attention to low level architectural features in an attempt to make the presentation realistic. Recursive functions on event sequences are used to define state dependent functions and variables in ordinary (non-formal-method) algebra.

arXiv comments
Technical report on using recursive functions for the low level semantics of concurrent systems
Journal reference
DOI
Subjects
cs.DMDiscrete Mathematics cs.OSOperating Systems

On Hacker News

Linked by 1 identifiable commenter in 1 comment across 1 thread, from Sep 2024 to Sep 2024.

Comments linking this paper, per year.

Discussed in comments1 thread

  1. Undefined behavior in C is a reading error (2021) 1 comment

    • > I really don't like reading these dimwitted screeds. this 'dimwitted screed' is by the primary author of rtlinux, which was to my knowledge the first instance of running linux under a hypervisor, and the leader of the small team that ported linux to the powerpc in the 90s. he…

      kragenView on HNParent context

Submitted to Hacker News

Connected through shared HN threads, not inferred similarity or a recommendation.