diff options
author | Manfred Schlaegl <manfred.schlaegl@gmx.at> | 2014-04-08 08:42:04 -0400 |
---|---|---|
committer | Greg Kroah-Hartman <gregkh@linuxfoundation.org> | 2014-04-24 18:18:02 -0400 |
commit | 6a20dbd6caa2358716136144bf524331d70b1e03 (patch) | |
tree | c42e7dbd262e07db1ae3680739d5a5c1f0204f09 | |
parent | a798c10faf62a505d24e5f6213fbaf904a39623f (diff) |
tty: Fix race condition between __tty_buffer_request_room and flush_to_ldisc
The race was introduced while development of linux-3.11 by
e8437d7ecbc50198705331449367d401ebb3181f and
e9975fdec0138f1b2a85b9624e41660abd9865d4.
Originally it was found and reproduced on linux-3.12.15 and
linux-3.12.15-rt25, by sending 500 byte blocks with 115kbaud to the
target uart in a loop with 100 milliseconds delay.
In short:
1. The consumer flush_to_ldisc is on to remove the head tty_buffer.
2. The producer adds a number of bytes, so that a new tty_buffer must
be allocated and added by __tty_buffer_request_room.
3. The consumer removes the head tty_buffer element, without handling
newly committed data.
Detailed example:
* Initial buffer:
* Head, Tail -> 0: used=250; commit=250; read=240; next=NULL
* Consumer: ''flush_to_ldisc''
* consumed 10 Byte
* buffer:
* Head, Tail -> 0: used=250; commit=250; read=250; next=NULL
{{{
count = head->commit - head->read; // count = 0
if (!count) { // enter
// INTERRUPTED BY PRODUCER ->
if (head->next == NULL)
break;
buf->head = head->next;
tty_buffer_free(port, head);
continue;
}
}}}
* Producer: tty_insert_flip_... 10 bytes + tty_flip_buffer_push
* buffer:
* Head, Tail -> 0: used=250; commit=250; read=250; next=NULL
* added 6 bytes: head-element filled to maximum.
* buffer:
* Head, Tail -> 0: used=256; commit=250; read=250; next=NULL
* added 4 bytes: __tty_buffer_request_room is called
* buffer:
* Head -> 0: used=256; commit=256; read=250; next=1
* Tail -> 1: used=4; commit=0; read=250 next=NULL
* push (tty_flip_buffer_push)
* buffer:
* Head -> 0: used=256; commit=256; read=250; next=1
* Tail -> 1: used=4; commit=4; read=250 next=NULL
* Consumer
{{{
count = head->commit - head->read;
if (!count) {
// INTERRUPTED BY PRODUCER <-
if (head->next == NULL) // -> no break
break;
buf->head = head->next;
tty_buffer_free(port, head);
// ERROR: tty_buffer head freed -> 6 bytes lost
continue;
}
}}}
This patch reintroduces a spin_lock to protect this case. Perhaps later
a lock-less solution could be found.
Signed-off-by: Manfred Schlaegl <manfred.schlaegl@gmx.at>
Cc: stable <stable@vger.kernel.org> # 3.11
Signed-off-by: Greg Kroah-Hartman <gregkh@linuxfoundation.org>
-rw-r--r-- | drivers/tty/tty_buffer.c | 16 | ||||
-rw-r--r-- | include/linux/tty.h | 1 |
2 files changed, 15 insertions, 2 deletions
diff --git a/drivers/tty/tty_buffer.c b/drivers/tty/tty_buffer.c index 8ebd9f88a6f6..f1d30f6945af 100644 --- a/drivers/tty/tty_buffer.c +++ b/drivers/tty/tty_buffer.c | |||
@@ -255,11 +255,16 @@ static int __tty_buffer_request_room(struct tty_port *port, size_t size, | |||
255 | if (change || left < size) { | 255 | if (change || left < size) { |
256 | /* This is the slow path - looking for new buffers to use */ | 256 | /* This is the slow path - looking for new buffers to use */ |
257 | if ((n = tty_buffer_alloc(port, size)) != NULL) { | 257 | if ((n = tty_buffer_alloc(port, size)) != NULL) { |
258 | unsigned long iflags; | ||
259 | |||
258 | n->flags = flags; | 260 | n->flags = flags; |
259 | buf->tail = n; | 261 | buf->tail = n; |
262 | |||
263 | spin_lock_irqsave(&buf->flush_lock, iflags); | ||
260 | b->commit = b->used; | 264 | b->commit = b->used; |
261 | smp_mb(); | ||
262 | b->next = n; | 265 | b->next = n; |
266 | spin_unlock_irqrestore(&buf->flush_lock, iflags); | ||
267 | |||
263 | } else if (change) | 268 | } else if (change) |
264 | size = 0; | 269 | size = 0; |
265 | else | 270 | else |
@@ -443,6 +448,7 @@ static void flush_to_ldisc(struct work_struct *work) | |||
443 | mutex_lock(&buf->lock); | 448 | mutex_lock(&buf->lock); |
444 | 449 | ||
445 | while (1) { | 450 | while (1) { |
451 | unsigned long flags; | ||
446 | struct tty_buffer *head = buf->head; | 452 | struct tty_buffer *head = buf->head; |
447 | int count; | 453 | int count; |
448 | 454 | ||
@@ -450,14 +456,19 @@ static void flush_to_ldisc(struct work_struct *work) | |||
450 | if (atomic_read(&buf->priority)) | 456 | if (atomic_read(&buf->priority)) |
451 | break; | 457 | break; |
452 | 458 | ||
459 | spin_lock_irqsave(&buf->flush_lock, flags); | ||
453 | count = head->commit - head->read; | 460 | count = head->commit - head->read; |
454 | if (!count) { | 461 | if (!count) { |
455 | if (head->next == NULL) | 462 | if (head->next == NULL) { |
463 | spin_unlock_irqrestore(&buf->flush_lock, flags); | ||
456 | break; | 464 | break; |
465 | } | ||
457 | buf->head = head->next; | 466 | buf->head = head->next; |
467 | spin_unlock_irqrestore(&buf->flush_lock, flags); | ||
458 | tty_buffer_free(port, head); | 468 | tty_buffer_free(port, head); |
459 | continue; | 469 | continue; |
460 | } | 470 | } |
471 | spin_unlock_irqrestore(&buf->flush_lock, flags); | ||
461 | 472 | ||
462 | count = receive_buf(tty, head, count); | 473 | count = receive_buf(tty, head, count); |
463 | if (!count) | 474 | if (!count) |
@@ -512,6 +523,7 @@ void tty_buffer_init(struct tty_port *port) | |||
512 | struct tty_bufhead *buf = &port->buf; | 523 | struct tty_bufhead *buf = &port->buf; |
513 | 524 | ||
514 | mutex_init(&buf->lock); | 525 | mutex_init(&buf->lock); |
526 | spin_lock_init(&buf->flush_lock); | ||
515 | tty_buffer_reset(&buf->sentinel, 0); | 527 | tty_buffer_reset(&buf->sentinel, 0); |
516 | buf->head = &buf->sentinel; | 528 | buf->head = &buf->sentinel; |
517 | buf->tail = &buf->sentinel; | 529 | buf->tail = &buf->sentinel; |
diff --git a/include/linux/tty.h b/include/linux/tty.h index 1c3316a47d7e..036cccd80d9f 100644 --- a/include/linux/tty.h +++ b/include/linux/tty.h | |||
@@ -61,6 +61,7 @@ struct tty_bufhead { | |||
61 | struct tty_buffer *head; /* Queue head */ | 61 | struct tty_buffer *head; /* Queue head */ |
62 | struct work_struct work; | 62 | struct work_struct work; |
63 | struct mutex lock; | 63 | struct mutex lock; |
64 | spinlock_t flush_lock; | ||
64 | atomic_t priority; | 65 | atomic_t priority; |
65 | struct tty_buffer sentinel; | 66 | struct tty_buffer sentinel; |
66 | struct llist_head free; /* Free queue head */ | 67 | struct llist_head free; /* Free queue head */ |