Jeehoon Kang

Test sys_membarrier

3

Travis CI doesn't support Linux 4.14+, so we cannot properly test `--features linux_membarrier` in Travis. They support Ubuntu 14.04, and it seems they have no plan to upgrade the Linux...

I think, in sys_read(), log_write() may be called without begin_op(), which may panic due to an assertion: https://github.com/mit-pdos/xv6-riscv/blob/riscv/kernel/log.c#L223 The function call chain I suspect is: sys_read -> fileread -> readi...

Use AtomicU64 for epochs in 32-bit architectures

7

@stjepang [said](https://github.com/crossbeam-rs/crossbeam/pull/359#issuecomment-485958500): > Just so we don't forget, in all the other places where we have atomic timestamps, we should use `AtomicU64` (I believe we can't use wide sequences like...

[WIP] Mustardwatching epoch- and pointer-based reclamation

13

Here is my note on my experiment on mixing epoch-based reclamation (EBR) and pointer-based reclamation (e.g. hazard pointers, HP). My code is here: https://github.com/jeehoonkang/crossbeam/tree/snowflake/crossbeam-epoch Currently it's neither tested nor documented,...

Introduce crossbeam-circbuf

6

I'm proposing to introduce `crossbeam-circbuf`, which implements bounded/unbounded SPSC/SPMC queues based on circular buffer. Bounded queues are implemented with fixed-sized circular buffer. Unbounded queues are implemented with dynamically growable/shrinkable circular...

Does queue_manager ignore the back pressure on s_axil_bready?

9

I'm reading Corundum's queue_manager, and I'm wondering whether it correctly considers the back pressure on s_axil_bready. The particular line I'm concerned about is [L390](https://github.com/corundum/corundum/blob/master/fpga/common/rtl/queue_manager.v#L390). According to the condition, a new...

Introduce concurrent circular buffer

11

[Rendered](https://github.com/jeehoonkang/crossbeam-rfcs/blob/circbuf/text/2018-03-14-circbuf.md) [Implementation](https://github.com/jeehoonkang/concurrent-circbuf/) A benchmark result: 

Prove the correctness of a work-stealing deque

8

[Rendered](https://github.com/jeehoonkang/crossbeam-rfcs/blob/deque-proof/text/2018-01-07-deque-proof.md) [Implementation](https://github.com/crossbeam-rs/crossbeam-deque/pull/2) This is a linearization proof of the Chase-Lev work-stealing deque. To the best of my knowledge, it is the first publicly available linearization proof (attempt) of the Chase-Lev...

Do we need crossbeam-stack?

2

Currently, the `crossbeam` crate provides the Treiber stack. In order for `crossbeam` to be backward-compatible as much as possible, when we're rebasing it on top of `crossbeam-epoch`, I think we...

Crossbeam manifesto

2

I just read @ticki's blog post that advocates hazard pointers (http://ticki.github.io/blog/fearless-concurrency-with-hazard-pointers/), and @stjepang's comment on it in reddit (https://www.reddit.com/r/rust/comments/6qz9p2/conc_an_efficient_concurrent_reclamation_system/dl20t02/). Which makes me think that maybe it would be great to...