Everything about Regular semantics
Regular semantics is a computer hardware consistency model. It describes a type of guarantee provided by a processor register that is shared by several processor cores in a parallel machine or in a network of computers working together. Regular semantics are defined for a variable with a single writer but multiple readers. These semantics are stronger than safe semantics but weaker than atomic semantics: they guarantee that there is a total order to the write operations consistent with real-time and that read operations return either the value of the last write completed before the read begins, or that of one of the writes which are concurrent with the read. Wikipedia →
🧭 Start here: a 6-step reading path
- Read the overview: Regular semanticsA 5-minute orientation
- Skim a recent paper: Multi-modal regular expression synthesis method based on large language models and semanticsInfluential work since 2022
- Pick up a classic book: Data and Text Processing for Health and Life SciencesThe most-reprinted book on the subject
- Read the landmark paper: The regular-language semantics of second-order idealized ALGOLCited 50 times
- Go sideways: Atomic semanticsA closely related topic
- Go sideways: Shared registerA closely related topic
📖 Definitions
No dictionary entry for this exact phrase.
🗂️ The subject at a glance
🏆 Landmark papers (most cited)
The regular-language semantics of second-order idealized ALGOL
Regular path queries under approximate semantics
On the semantics of regular expression parsing in the wild
Regular-Language Semantics for a Call-by-Value Programming Language
A Coq Mechanization of JavaScript Regular Expression Semantics
Querying streams using regular expressions: some semantics, decidability, and efficiency issues
Completeness Results in Neighbourhood Semantics for Multi-Modal Monotonic and Regular Logics
Regular Expression Matching and Operational Semantics
🆕 Influential since 2022
📚 Books worth reading
Data and Text Processing for Health and Life SciencesFrancisco M Couto · 2019
Ranked by number of editions on Open Library, a rough measure of how lasting a book is.
🔗 Related topics
- Atomic semantics Atomic semantics is a type of guarantee provided by a data register shared by several processors in a parallel machine or in a network of computers working…
- Shared register In distributed computing, shared-memory systems and message-passing systems are two widely studied methods of interprocess communication. In shared-memory…
- Safe semantics Safe semantics is a computer hardware consistency model. It describes one type of guarantee that a data register provides when it is shared by several…
- Linearizability In concurrent programming, an operation (or set of operations) is linearizable if it consists of an ordered list of invocation and response events, that…
- Database transaction schedule In the fields of databases and transaction processing (transaction management), a schedule (or history) of a system is an abstract model to describe the…
- Data dependency A data dependency in computer science is a situation in which a program statement (instruction) refers to the data of a preceding statement. In compiler…
- Shared snapshot objects In distributed computing, a shared snapshot object is a type of data structure, which is shared between several threads or processes. For many tasks, it…
- Register renaming In computer architecture, register renaming is a technique that abstracts logical registers from physical registers. Every logical register has a set of…