diff options
author | 2012-11-12 17:02:21 -0800 | |
---|---|---|
committer | 2012-11-12 17:02:21 -0800 | |
commit | b0db954c0491ce846bc49c0746ca6e1f868a1881 (patch) | |
tree | 1d239bdf2f0fe62f278faf895f662f2f5b43c3e6 /tools/perf/scripts/python/export-to-postgresql.py | |
parent | Linux 3.7-rc5 (diff) | |
parent | futex: Handle futex_pi OWNER_DIED take over correctly (diff) | |
download | linux-dev-b0db954c0491ce846bc49c0746ca6e1f868a1881.tar.xz linux-dev-b0db954c0491ce846bc49c0746ca6e1f868a1881.zip |
Merge branch 'core-urgent-for-linus' of git://git.kernel.org/pub/scm/linux/kernel/git/tip/tip
Pull futex fix from Thomas Gleixner:
"Single fix for a long standing futex race when taking over a futex
whose owner died. You can end up with two owners, which violates
quite some rules."
* 'core-urgent-for-linus' of git://git.kernel.org/pub/scm/linux/kernel/git/tip/tip:
futex: Handle futex_pi OWNER_DIED take over correctly
Diffstat (limited to 'tools/perf/scripts/python/export-to-postgresql.py')
0 files changed, 0 insertions, 0 deletions