2012-03-31

unifying tasks and protected types

adda/co/unifying tasks and protected types:
3.3:
. task type and protected var can be unified?
3.4:
. just as a type can define components,
a task type can have the same components
but featuring atomic getters and setters .
. in the spirit of Ada protected var's,
the component acesses have the highest priority
so that clients aren't having to be suspended
just to share a variable .
. the task type can have other subprograms
but they stop what their doing in order to
get these protected var accesses serviced .

No comments:

Post a Comment