linux.git/Documentation/RCU/Design/Requirements, branch v4.12

doc: Update requirements based on recent changes

2017-04-12T15:23:41+00:00

These changes include lighter-weight expedited grace periods, the fact
that expedited grace periods and rcu_barrier() no longer block CPU
hotplug, some HTML font fixups, noting that rcu_barrier() need not wait
for a grace period (even if callbacks are posted), the fact that SRCU
read-side critical sections can be used from offline CPUs, and the fact
that SRCU now maintains per-CPU callback lists.

Signed-off-by: Paul E. McKenney

doc: Synchronous RCU grace periods are now legal throughout boot

2017-04-12T15:23:39+00:00

This commit updates the "Early Boot" section of the RCU requirements
to describe how synchronous RCU grace periods are now legal throughout
the boot process.

Signed-off-by: Paul E. McKenney

doc: Fix RCU requirements typos

2017-01-15T05:29:10+00:00

Signed-off-by: Tetsuo Handa 
Signed-off-by: Paul E. McKenney 
Reviewed-by: Josh Triplett

documentation: Present updated RCU guarantee

2016-11-14T18:39:36+00:00

Recent memory-model work deduces the relationships of RCU read-side
critical sections and grace periods based on the relationships of
accesses within a critical section and accesses preceding and following
the grace period.  This commit therefore adds this viewpoint.

Signed-off-by: Paul E. McKenney

documentation: Record reason for rcu_head two-byte alignment

2016-08-22T16:25:33+00:00

There is an assertion in __call_rcu() that checks only the bottom
bit of the rcu_head pointer, rather than the bottom two (as might be
expected for 32-bit systems) or the bottom three (as might be expected
for 64-bit systems).  This choice might be a bit surprising in these days
of ubiquitous 32-bit and 64-bit systems.  This commit therefore records
the reason for this odd alignment check, namely that m68k guarantees
only two-byte alignment despite being a 32-bit architectures.

Signed-off-by: Paul E. McKenney

documentation: Add RCU_NONIDLE() restrictions to requirements

2016-06-14T23:00:59+00:00

Signed-off-by: Paul E. McKenney

documentation: Emphasize the call_rcu() is illegal from idle

2016-03-31T20:33:23+00:00

Although call_rcu()'s fastpath works just fine on an idle CPU,
some branches of the slowpath invoke the scheduler, which uses
RCU.  Therefore, this commit emphasizes the fact that call_rcu()
must not be invoked from an idle CPU.

Signed-off-by: Paul E. McKenney

documentation: Sharpen up the no-readers quick quiz

2016-03-31T20:33:23+00:00

Signed-off-by: Paul E. McKenney

documentation: Get rid of duplicate .htmlx file

2016-03-31T20:33:22+00:00

This commit uses colors to obscure the quick-quiz answers, thus getting
rid of the .htmlx file.  Use your mouse to select the answer in order
to see the text.  Alternatively, use your favorite scripting language
to remove all occurences of "" from the file.

Reported-by: Linus Torvalds 
Signed-off-by: Paul E. McKenney

documentation: Remove unnecessary images from requirements

2016-03-31T20:33:21+00:00

This commit removes a cutesy cartoon and also a diagram that can
just as easily be represented by text.

Reported-by: Linus Torvalds 
Signed-off-by: Paul E. McKenney