Skip to content
Projects
Groups
Snippets
Help
Loading...
Help
Support
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in / Register
Toggle navigation
C
cython
Project overview
Project overview
Details
Activity
Releases
Repository
Repository
Files
Commits
Branches
Tags
Contributors
Graph
Compare
Labels
Merge Requests
0
Merge Requests
0
Analytics
Analytics
Repository
Value Stream
Snippets
Snippets
Members
Members
Collapse sidebar
Close sidebar
Activity
Graph
Commits
Open sidebar
nexedi
cython
Commits
39b5bfaa
Commit
39b5bfaa
authored
Aug 12, 2020
by
Xavier Thompson
Browse files
Options
Browse Files
Download
Email Patches
Plain Diff
Enable lock-free contention detection in trylock mode
parent
3ab99c52
Changes
1
Hide whitespace changes
Inline
Side-by-side
Showing
1 changed file
with
45 additions
and
7 deletions
+45
-7
Cython/Utility/CyObjects.cpp
Cython/Utility/CyObjects.cpp
+45
-7
No files found.
Cython/Utility/CyObjects.cpp
View file @
39b5bfaa
...
@@ -19,9 +19,18 @@
...
@@ -19,9 +19,18 @@
#define CyObject_ATOMIC_REFCOUNT_TYPE atomic_int
#define CyObject_ATOMIC_REFCOUNT_TYPE atomic_int
#define CyObject_NO_OWNER -1
#define CyObject_NO_OWNER -1
#define CyObject_MANY_OWNERS -2
#define CyObject_MANY_OWNERS -2
#define CyObject_MAX_READERS (1 << 30)
#define CyObject_LOCK_ERROR_OTHER_WRITER (1 << 0)
#define CyObject_WRITER_OFFSET (16)
#define CyObject_LOCK_ERROR_OTHER_READER (1 << 1)
#define CyObject_FETCH_CONTENDERS_ADD_WRITER(n) n.fetch_add((1 << CyObject_WRITER_OFFSET))
#define CyObject_FETCH_CONTENDERS_SUB_WRITER(n) n.fetch_sub((1 << CyObject_WRITER_OFFSET))
#define CyObject_FETCH_CONTENDERS_ADD_READER(n) n.fetch_add(1)
#define CyObject_FETCH_CONTENDERS_SUB_READER(n) n.fetch_sub(1)
#define CyObject_WRITERS_FROM_CONTENDERS(n) (n >> CyObject_WRITER_OFFSET)
#define CyObject_READERS_FROM_CONTENDERS(n) (n & ((1 << CyObject_WRITER_OFFSET) -1))
#define CyObject_HAS_WRITER_CONTENDERS(n) (n > (1 << CyObject_WRITER_OFFSET) - 1)
#define CyObject_CONTENDING_WRITER_FLAG (1 << 0)
#define CyObject_CONTENDING_READER_FLAG (1 << 1)
#include <pthread.h>
#include <pthread.h>
...
@@ -40,6 +49,7 @@
...
@@ -40,6 +49,7 @@
pthread_cond_t
wait_writer_depart
;
pthread_cond_t
wait_writer_depart
;
atomic
<
pid_t
>
owner_id
;
atomic
<
pid_t
>
owner_id
;
atomic_int32_t
readers_nb
;
atomic_int32_t
readers_nb
;
atomic_uint32_t
contenders
;
uint32_t
write_count
;
uint32_t
write_count
;
public:
public:
RecursiveUpgradeableRWLock
()
{
RecursiveUpgradeableRWLock
()
{
...
@@ -49,6 +59,7 @@
...
@@ -49,6 +59,7 @@
this
->
owner_id
=
CyObject_NO_OWNER
;
this
->
owner_id
=
CyObject_NO_OWNER
;
this
->
readers_nb
=
0
;
this
->
readers_nb
=
0
;
this
->
write_count
=
0
;
this
->
write_count
=
0
;
this
->
contenders
=
0
;
}
}
void
wlock
();
void
wlock
();
void
rlock
();
void
rlock
();
...
@@ -310,6 +321,8 @@
...
@@ -310,6 +321,8 @@
void
RecursiveUpgradeableRWLock
::
rlock
()
{
void
RecursiveUpgradeableRWLock
::
rlock
()
{
pid_t
caller_id
=
syscall
(
SYS_gettid
);
pid_t
caller_id
=
syscall
(
SYS_gettid
);
CyObject_FETCH_CONTENDERS_ADD_READER
(
this
->
contenders
);
if
(
this
->
owner_id
==
caller_id
)
{
if
(
this
->
owner_id
==
caller_id
)
{
++
this
->
readers_nb
;
++
this
->
readers_nb
;
return
;
return
;
...
@@ -329,18 +342,26 @@ void RecursiveUpgradeableRWLock::rlock() {
...
@@ -329,18 +342,26 @@ void RecursiveUpgradeableRWLock::rlock() {
int
RecursiveUpgradeableRWLock
::
tryrlock
()
{
int
RecursiveUpgradeableRWLock
::
tryrlock
()
{
pid_t
caller_id
=
syscall
(
SYS_gettid
);
pid_t
caller_id
=
syscall
(
SYS_gettid
);
int
contenders
=
CyObject_FETCH_CONTENDERS_ADD_READER
(
this
->
contenders
);
if
(
this
->
owner_id
==
caller_id
)
{
if
(
this
->
owner_id
==
caller_id
)
{
++
this
->
readers_nb
;
++
this
->
readers_nb
;
return
0
;
return
0
;
}
}
if
(
CyObject_HAS_WRITER_CONTENDERS
(
contenders
))
{
CyObject_FETCH_CONTENDERS_SUB_READER
(
this
->
contenders
);
return
CyObject_CONTENDING_WRITER_FLAG
;
}
// we must lock here, because a trylock could fail also when another thread is currently read-locking or read-unlocking
// we must lock here, because a trylock could fail also when another thread is currently read-locking or read-unlocking
// but this means we might miss a writer arriving and leaving
// but this means we might miss a writer arriving and leaving
pthread_mutex_lock
(
&
this
->
guard
);
pthread_mutex_lock
(
&
this
->
guard
);
if
(
this
->
write_count
>
0
)
{
if
(
this
->
write_count
>
0
)
{
return
CyObject_LOCK_ERROR_OTHER_WRITER
;
pthread_mutex_unlock
(
&
this
->
guard
);
pthread_mutex_unlock
(
&
this
->
guard
);
CyObject_FETCH_CONTENDERS_SUB_READER
(
this
->
contenders
);
return
CyObject_CONTENDING_WRITER_FLAG
;
}
}
this
->
owner_id
=
this
->
readers_nb
++
?
CyObject_MANY_OWNERS
:
caller_id
;
this
->
owner_id
=
this
->
readers_nb
++
?
CyObject_MANY_OWNERS
:
caller_id
;
...
@@ -364,11 +385,15 @@ void RecursiveUpgradeableRWLock::unrlock() {
...
@@ -364,11 +385,15 @@ void RecursiveUpgradeableRWLock::unrlock() {
}
}
pthread_mutex_unlock
(
&
this
->
guard
);
pthread_mutex_unlock
(
&
this
->
guard
);
CyObject_FETCH_CONTENDERS_SUB_READER
(
this
->
contenders
);
}
}
void
RecursiveUpgradeableRWLock
::
wlock
()
{
void
RecursiveUpgradeableRWLock
::
wlock
()
{
pid_t
caller_id
=
syscall
(
SYS_gettid
);
pid_t
caller_id
=
syscall
(
SYS_gettid
);
CyObject_FETCH_CONTENDERS_ADD_WRITER
(
this
->
contenders
);
if
(
this
->
owner_id
==
caller_id
)
{
if
(
this
->
owner_id
==
caller_id
)
{
if
(
this
->
write_count
)
{
if
(
this
->
write_count
)
{
++
this
->
write_count
;
++
this
->
write_count
;
...
@@ -411,6 +436,8 @@ void RecursiveUpgradeableRWLock::wlock() {
...
@@ -411,6 +436,8 @@ void RecursiveUpgradeableRWLock::wlock() {
int
RecursiveUpgradeableRWLock
::
trywlock
()
{
int
RecursiveUpgradeableRWLock
::
trywlock
()
{
pid_t
caller_id
=
syscall
(
SYS_gettid
);
pid_t
caller_id
=
syscall
(
SYS_gettid
);
uint32_t
contenders
=
CyObject_FETCH_CONTENDERS_ADD_WRITER
(
this
->
contenders
);
if
(
this
->
owner_id
==
caller_id
)
{
if
(
this
->
owner_id
==
caller_id
)
{
if
(
this
->
write_count
)
{
if
(
this
->
write_count
)
{
++
this
->
write_count
;
++
this
->
write_count
;
...
@@ -418,25 +445,36 @@ int RecursiveUpgradeableRWLock::trywlock() {
...
@@ -418,25 +445,36 @@ int RecursiveUpgradeableRWLock::trywlock() {
}
}
}
}
if
(
CyObject_HAS_WRITER_CONTENDERS
(
contenders
)
>
0
)
{
CyObject_FETCH_CONTENDERS_SUB_WRITER
(
this
->
contenders
);
return
CyObject_CONTENDING_WRITER_FLAG
;
}
if
(
contenders
>
0
)
{
CyObject_FETCH_CONTENDERS_SUB_WRITER
(
this
->
contenders
);
return
CyObject_CONTENDING_READER_FLAG
;
}
if
(
pthread_mutex_trylock
(
&
this
->
guard
)
!=
0
)
{
if
(
pthread_mutex_trylock
(
&
this
->
guard
)
!=
0
)
{
// another thread is currently doing a lock operation on this lock, but we don't know what it is.
// another thread is currently doing a lock operation on this lock, but we don't know what it is.
// we could choose to do a blocking lock instead of a trylock here.
// we could choose to do a blocking lock instead of a trylock here.
// that way we would not detect when an unlock overlaps with this trylock,
// that way we would not detect when an unlock overlaps with this trylock,
// but also all the contending readers and / or writers could leave while we block,
// but also all the contending readers and / or writers could leave while we block,
// so we wouldn't detect those contentions either.
// so we wouldn't detect those contentions either.
return
CyObject_
LOCK_ERROR_OTHER_WRITER
|
CyObject_LOCK_ERROR_OTHER_READER
;
return
CyObject_
CONTENDING_WRITER_FLAG
|
CyObject_CONTENDING_READER_FLAG
;
}
}
if
(
this
->
owner_id
!=
caller_id
)
{
if
(
this
->
owner_id
!=
caller_id
)
{
if
(
this
->
readers_nb
>
0
)
{
if
(
this
->
readers_nb
>
0
)
{
pthread_mutex_unlock
(
&
this
->
guard
);
pthread_mutex_unlock
(
&
this
->
guard
);
return
CyObject_LOCK_ERROR_OTHER_READER
;
CyObject_FETCH_CONTENDERS_SUB_WRITER
(
this
->
contenders
);
return
CyObject_CONTENDING_READER_FLAG
;
}
}
if
(
this
->
write_count
>
0
)
{
if
(
this
->
write_count
>
0
)
{
pthread_mutex_unlock
(
&
this
->
guard
);
pthread_mutex_unlock
(
&
this
->
guard
);
return
CyObject_LOCK_ERROR_OTHER_WRITER
;
CyObject_FETCH_CONTENDERS_SUB_WRITER
(
this
->
contenders
);
return
CyObject_CONTENDING_WRITER_FLAG
;
}
}
this
->
owner_id
=
caller_id
;
this
->
owner_id
=
caller_id
;
...
...
Write
Preview
Markdown
is supported
0%
Try again
or
attach a new file
Attach a file
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment