Jeehoon Kang

Thanks for the information! I'm also interested in running Rocket Chip on Alveo U250 (or U200/U280), and I wonder if you could upstream your development to this repository. I'm nearly...

Before I can come up with any useful opinion, I think I need to learn more of Rust's module systems.. I'd like to ask a Rust question. Say a user...

- `sync::atomic` vs. `atomic`: I prefer the former, following the design of `std`. I don't see a strong reason not to follow it for the time being. - for `crossbeam-utils`:...

> This is a valid concern, but perhaps we can alleviate the problem by clearly explaining the overall structure of the project in the readme? In my opinion, it's quite...

I'd like to write a paper out of https://github.com/jeehoonkang/crossbeam-rfcs/blob/deque-proof/text/2017-07-23-relaxed-memory.md and this. Some of my colleagues in academia (including my supervisor) are also reading this proof. I don't have any benchmark...

I just fixed a few bugs, but I don't think all the bugs are squashed right now. I'll reread the proof 2-3 more times.

I think the RFC itself is now ready to be merged. I checked the proof several times, and updated it. @stjepang please have a look! Though the implementation needs some...

@stjepang Thanks! I revised the document as you mentioned. - I'm confident with this proof. But since it will be deployed in production (Firefox), it's better to peer-review this proof,...

Sorry for inactivity these days. My colleage and I are working on a different paper, so revising this proof had been postponed probably until mid July. I guess the merge...

@schets @stjepang Thanks for your valuable inputs! Because of the bad SPMC performance results, I'd like to close this PR. I "guess" [LCRQ](http://mcg.cs.tau.ac.il/projects/lcrq/) or [Yang-Mellor-Crummey queue](http://chaoran.me/assets/pdf/wfq-ppopp16.pdf) are faster than circbuf...