Concurrent programming
Concepts and Notations for Concurrent Programming
ACM Computing Surveys (CSUR)
Monitors: an operating system structuring concept
Communications of the ACM
IEEE Standards Intepretations: IEEE Std 1076-1987, IEEE Standard VHDL Language Reference Manual
IEEE Standards Intepretations: IEEE Std 1076-1987, IEEE Standard VHDL Language Reference Manual
SUAVE: Extending VHDL to Improve Data Modeling Support
IEEE Design & Test
2.3: Considerations on System-Level Behavioural and Structural Modeling Extensions to VHDL
IVC-VIUF '98 Proceedings of the International Verilog HDL Conference and VHDL International Users Forum
Modeling Communication with Synchronized Environments
Fundamenta Informaticae - Application of Concurrency to System Design (ACSD'06)
Modeling Communication with Synchronized Environments
Fundamenta Informaticae - Application of Concurrency to System Design (ACSD'06)
| Hi-index | 0.01 |
The VHDL standard currently allows concurrent access to variables shared between processes, but does not define any semantics for concurrency control. The IEEE 1076a Shared Variables Working Group has developed a form of monitors, called protected types, to provide mutually exclusive access to shared variables. This article identifies the problems that can arise from unprotected concurrent access to shared variables and reviews the idea of monitors, which forms the basis of the proposed language change. It describes protected types, gives some guidelines on using them for hardware modeling, and includes examples to illustrate their use.