Subject: Re: [vhdl-200x] RE: Posix Threads
From: Evan Lavelle (email@example.com)
Date: Thu Jun 12 2003 - 04:43:44 PDT
Jonas Nilsson wrote:
> Peter Ashenden wrote:
>>I'd just like to reinforce the view that VHDL already has threads - they're
>>called processes. The issue is that they're statically created and there is
>>no form of abstraction (ie, no declaration and instantiation). An proposal
>>to add dynamic thread should build on the existing concurrency model in the
>>language so as to main conceptual consistency. Hence the approach we took
>>in SUAVE - see www.ashenden.com.au/suave.html.
> I second Peter's opinion.
> The thing we need is a simple and clean way to dynamically create and destroy
> processes. Not a completely new process/thread/whatchumacallit paradigm.
I've had a quick look at the tutorial and I like the dynamic process
stuff in SUAVE, but how much use is this to the verification people? It
does seem very hardware-centric. Some comments/questions:
1 Can you pass in variables, or only signals?
2 How about concurrent procedures as well? This would save typing in the
process and the wait bits, and would presumably generalise the call
interface. It's also a much more "software" point of view.
3 What about synchronisation? Are protected types the only option?
4 Can you actually do a fork/join? Does the terminate statement do the join?
This archive was generated by hypermail 2b28 : Thu Jun 12 2003 - 04:44:27 PDT