diff options
author | Glenn Elliott <gelliott@cs.unc.edu> | 2013-11-19 14:10:33 -0500 |
---|---|---|
committer | Glenn Elliott <gelliott@cs.unc.edu> | 2013-11-19 14:10:33 -0500 |
commit | 6ec2bbce01c4d4287504d4d6b1df7c4d3870abce (patch) | |
tree | 40f9b8238f588836976bc93eaa64cb7cdca4358d /.gitignore | |
parent | 99b223a2c7185cabe274af63eec6dfcbec83c6db (diff) |
Update PGM interface with kernel
This patch updates the PGM interface with the kernel.
Producers now boost their priority when generating tokens,
not consumers while waiting for tokens.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions