Project

General

Profile

Actions

Feature #3193

closed

118: Correct use of reader-writer spinlocks

Added by Ilya Shchepetkov over 11 years ago. Updated over 9 years ago.

Status:
Closed
Priority:
Normal
Start date:
07/12/2012
Due date:
% Done:

100%

Estimated time:
Published in build:

Description

A reader-writer lock is a spinlock, except you lock it in one of two modes: a `read lock' or a `write lock'. More than one people can share a `read lock', but the write lock is exclusive: if someone has a write lock, no one can have any lock.

  • - multiple write locks are not permitted
    - multiple write unlocks are not permitted
  • - read lock is not permitted after write lock
  • - read unlock is not permitted before read lock
    - write unlock is not permitted before write lock
  • - read and write locks must be free at the end
Actions #1

Updated by Ilya Shchepetkov over 11 years ago

  • % Done changed from 0 to 40
Actions #2

Updated by Ilya Shchepetkov over 11 years ago

  • Status changed from New to Open
Actions #3

Updated by Ilya Shchepetkov over 11 years ago

  • Status changed from Open to Resolved
  • % Done changed from 40 to 100
Actions #4

Updated by Evgeny Novikov over 11 years ago

  • Status changed from Resolved to Open

Make a reference to commits and branches where this rule model is implemented and then mark it as resolved.

Actions #5

Updated by Ilya Shchepetkov over 11 years ago

  • Status changed from Open to Resolved

Fixed in commit b74928f of 118_1a branch and will be merged to master together with it.

Actions #6

Updated by Alexey Khoroshilov over 10 years ago

  • Status changed from Resolved to Open

There 3 false positives of 13 in 3.13-rc1 that can be handled by rerouter.
It makes sense to implement it.

Actions #7

Updated by Evgeny Novikov about 10 years ago

Please, update current status.

Actions #8

Updated by Ilya Shchepetkov about 10 years ago

Rerouter version of this model was implemented in rule118-tmpl branch.

The above three false positives are gone.

Actions #9

Updated by Evgeny Novikov over 9 years ago

  • Status changed from Open to Closed

There are 10 false alarms for all kernel modules, 9 is due to seq_operations.

Actions

Also available in: Atom PDF