Subject: More Thoughts on Jeda
From: Vassilios.Gerousis@Infineon.Com
Date: Tue Nov 20 2001 - 22:39:25 PST
More things to think of.
Jeda has an assert statement, it would be good to analyze. But additional
features I found interesting is the software/hardware modeling aspect.
Multi-threaded, control, priority, semaphore, and mailbox.
Although ESS is supposed to be synthesiable, many constructs are
verification-oriented. Since Get-2Chip has not been active in this
committee, we have not analyzed the semantics of many of the constructs
in the synthesis fashion. The focus so far is on verification and assertion.
1- Fork:
a- Fork-knife: Move forward without a child.
b- Fork-Spoon: Wait until one of the threads finish execution.
c- Terminate statement can be used to terminate a thread and descendant. The terminate
can also provide level of control on a nested thread.
2- Thread Execution:
- The thread execution is done in pseudo concurrent manner, that is, there's only one thread actually running at a given time. Also, the thread execution is done in non preemptive manner, that is, a thread that is running will not give up it's execution until it reaches to a code that suspends the thread itself.
- Cloned variables to allow local control inside a specific thread instance.
- Thread Pause.
- Thread join.
3- Event: Jeda defines several additional events.
4- Semaphore (not existing in System Verilog yet): Semaphore class object provides the mutex mechanism and synchronization mechanism among threads.
5- Mailbox: List variables to be sent among threads.
- Receive: FIFO type list.
- Send (data):
- Num Element.
- Timeout:
6- Region: enter, exit, etc.
------------------------------------------------------------------------------------------------------------------------------
Dr. Vassilios Gerousis Infineon Technologies
DAT CAD, MchB
Telephone: +49-89-234-21342 BalanSt. 73
Fax: +49-89-234-23650 D-81541 Munich
email: Vassilios.Gerousis@infineon.com Germany
Site Map: http://www.stadtplandienst.de/query;ORT=m;PLZ=81541;STR=Balanstr%2E;HNR=73
----------------------------------------------------------------------------------------------------------------------------------
This archive was generated by hypermail 2b28 : Tue Nov 20 2001 - 22:39:52 PST