Files
fish-shell/src
Mahmoud Al-Qudsi 2df16b53ff Use thread-local vectors for caching peeked events
These functions are called in the event queue hot path every time an
input event takes place. If we could guarantee a maximum length of
non-char (i.e. readline) events in the queue, we could use
`event_queue_peeker_t` with a fixed storage size of, e.g., 32 events,
but I'm not sure what a reasonable number would in fact be, so I'm just
changing these to use a thread-local vector that will re-use its
previous heap allocation in subsequent invocations rather than thrashing
the heap.
2021-02-08 15:16:20 -06:00
..
2020-07-04 14:58:02 -07:00
2020-11-15 11:19:23 +01:00
2020-11-22 14:39:48 +01:00
2019-10-13 15:50:48 -07:00
2020-11-22 14:39:48 +01:00
2021-02-05 18:14:50 -08:00
2020-08-15 16:06:54 -07:00
2020-11-22 14:39:48 +01:00
2020-11-22 14:39:48 +01:00
2020-11-22 14:39:48 +01:00
2020-11-22 14:39:48 +01:00
2020-11-22 14:39:48 +01:00
2020-09-21 20:58:34 +02:00
2020-11-22 14:39:48 +01:00
2020-06-24 20:43:56 +02:00
2021-02-07 10:59:10 -08:00
2021-01-09 17:02:11 -08:00
2020-03-14 15:07:54 -07:00
2020-12-11 18:43:04 +01:00
2021-01-17 23:08:04 +01:00
2020-06-25 00:56:49 -05:00
2020-10-06 17:25:45 +02:00
2020-03-14 15:07:54 -07:00
2020-07-08 11:00:12 -07:00
2021-02-07 10:59:10 -08:00
2021-02-07 10:59:10 -08:00
2021-02-07 21:18:51 +01:00
2020-12-06 15:39:54 +01:00
2021-02-08 07:31:33 +01:00
2019-05-05 12:09:25 +02:00
2020-11-22 14:39:48 +01:00
2020-09-21 17:44:58 +02:00
2020-11-22 14:39:48 +01:00
2021-02-07 21:18:51 +01:00
2021-02-07 21:18:51 +01:00
2021-01-09 17:02:11 -08:00
2021-01-09 17:02:11 -08:00
2021-02-07 10:59:10 -08:00
2020-09-03 11:01:27 -07:00
2020-09-03 11:01:27 -07:00
2019-10-23 19:38:44 +02:00
2020-08-08 15:32:06 -07:00
2021-01-11 20:56:15 +01:00
2021-01-11 20:53:11 +01:00
2020-12-05 13:19:07 -08:00
2020-12-22 12:38:51 -08:00
2020-12-15 18:15:59 +01:00
2020-01-15 13:16:43 -08:00
2020-11-22 14:39:48 +01:00
2019-10-13 15:50:48 -07:00
2020-12-13 17:30:26 -08:00
2020-12-13 17:30:26 -08:00
2021-01-09 17:02:11 -08:00
2020-05-01 13:30:56 -07:00
2019-11-25 13:07:15 +01:00
2020-11-15 15:20:55 +01:00
2020-01-03 01:07:49 -06:00
2020-12-14 23:23:00 +01:00
2020-12-14 22:54:53 +01:00
2020-08-24 12:12:10 -07:00
2020-05-01 13:30:56 -07:00
2020-02-14 19:06:19 +01:00