]> git.ipfire.org Git - thirdparty/haproxy.git/log
thirdparty/haproxy.git
12 years agoMAJOR: stream-interface: restore splicing mechanism
Willy Tarreau [Thu, 23 Aug 2012 22:46:52 +0000 (00:46 +0200)] 
MAJOR: stream-interface: restore splicing mechanism

The splicing is now provided by the data-layer rcv_pipe/snd_pipe functions
which in turn are called by the stream interface's recv and send callbacks.

The presence of the rcv_pipe/snd_pipe functions is used to attest support
for splicing at the data layer. It looks like the stream-interface's
SI_FL_CAP_SPLICE flag does not make sense anymore as it's used as a proxy
for the pointers above.

It also appears that we call chk_snd() from the recv callback and then
try to call it again in update_conn(). It is very likely that this last
function will progressively slip into the recv/send callbacks in order
to avoid duplicate check code.

The code works right now with and without splicing. Only raw_sock provides
support for it and it is automatically selected when the various splice
options are set. However it looks like splice-auto doesn't enable it, which
possibly means that the streamer detection code does not work anymore, or
that it's only called at a time where it's too late to enable splicing (in
process_session).

12 years agoMAJOR: connection: split the send call into connection and stream interface
Willy Tarreau [Tue, 21 Aug 2012 16:22:06 +0000 (18:22 +0200)] 
MAJOR: connection: split the send call into connection and stream interface

Similar to what was done on the receive path, the data layer now provides
only an snd_buf() callback that is iterated over by the stream interface's
si_conn_send_loop() function.

The data layer now has no knowledge about channels nor stream interfaces.

The splice() code still need to be ported as it currently is disabled.

12 years agoREORG: stream-interface: move sock_raw_read() to si_conn_recv_cb()
Willy Tarreau [Mon, 20 Aug 2012 19:41:06 +0000 (21:41 +0200)] 
REORG: stream-interface: move sock_raw_read() to si_conn_recv_cb()

The recv function is now generic and is usable to iterate any connection-to-buf
reading function from a stream interface. So let's move it to stream-interface.

12 years agoMINOR: stream-interface: add an rcv_buf callback to sock_ops
Willy Tarreau [Mon, 20 Aug 2012 18:27:59 +0000 (20:27 +0200)] 
MINOR: stream-interface: add an rcv_buf callback to sock_ops

This one is to be used by the read I/O handlers.

12 years agoMAJOR: raw_sock: temporarily disable splicing
Willy Tarreau [Mon, 20 Aug 2012 18:21:01 +0000 (20:21 +0200)] 
MAJOR: raw_sock: temporarily disable splicing

It's too hard to convert splicing to connection+buf for now, so let's disable
it in order to make progress.

12 years agoMAJOR: raw_sock: extract raw_sock_to_buf() from raw_sock_read()
Willy Tarreau [Mon, 20 Aug 2012 15:30:32 +0000 (17:30 +0200)] 
MAJOR: raw_sock: extract raw_sock_to_buf() from raw_sock_read()

This is the start of the stream connection iterator which calls the
data-layer reader. This still looks a bit tricky but is OK. Splicing
is not handled at all at the moment.

12 years agoREORG: sock_raw: rename the files raw_sock*
Willy Tarreau [Mon, 20 Aug 2012 15:01:35 +0000 (17:01 +0200)] 
REORG: sock_raw: rename the files raw_sock*

The "raw_sock" prefix will be more convenient for naming functions as
it will be prefixed with the data layer and suffixed with the data
direction. So let's rename the files now to avoid any further confusion.

The #include directive was also removed from a number of files which do
not need it anymore.

12 years agoMINOR: connection: provide conn_{data|sock}_{read0|shutw} functions
Willy Tarreau [Mon, 20 Aug 2012 14:55:48 +0000 (16:55 +0200)] 
MINOR: connection: provide conn_{data|sock}_{read0|shutw} functions

These functions are used to report unidirectional shutdown and to disable
polling in the related direction.

12 years agoREORG/MAJOR: extract "struct buffer" from "struct channel"
Willy Tarreau [Mon, 2 Jul 2012 15:01:20 +0000 (17:01 +0200)] 
REORG/MAJOR: extract "struct buffer" from "struct channel"

At the moment, the struct is still embedded into the struct channel, but
all the functions have been updated to use struct buffer only when possible,
otherwise struct channel. Some functions would likely need to be splitted
between a buffer-layer primitive and a channel-layer function.

Later the buffer should become a pointer in the struct buffer, but doing so
requires a few changes to the buffer allocation calls.

12 years agoREORG/MAJOR: use "struct channel" instead of "struct buffer"
Willy Tarreau [Mon, 2 Jul 2012 13:11:27 +0000 (15:11 +0200)] 
REORG/MAJOR: use "struct channel" instead of "struct buffer"

This is a massive rename. We'll then split channel and buffer.

This change needs a lot of cleanups. At many locations, the parameter
or variable is still called "buf" which will become ambiguous. Also,
the "struct channel" is still defined in buffers.h.

12 years agoMEDIUM: stream-interface: provide a generic stream_sock_read0() function
Willy Tarreau [Mon, 20 Aug 2012 13:38:41 +0000 (15:38 +0200)] 
MEDIUM: stream-interface: provide a generic stream_sock_read0() function

This function is used by the data layer when a zero has been read over a
connection. At the moment it only handles sockets and nothing else. Once
the complete split is done between buffers and stream interfaces, it should
become possible to work regardless on the connection type.

12 years agoMEDIUM: stream-interface: provide a generic si_conn_send_cb callback
Willy Tarreau [Mon, 20 Aug 2012 13:09:53 +0000 (15:09 +0200)] 
MEDIUM: stream-interface: provide a generic si_conn_send_cb callback

The connection send() callback is supposed to be generic for a
stream-interface, and consists in calling the lower layer snd_buf
function. Move this function to the stream interface and remove
the sock-raw and sock-ssl clones.

12 years agoMEDIUM: stream-interface: provide a generic stream_int_chk_snd_conn() function
Willy Tarreau [Mon, 20 Aug 2012 13:01:10 +0000 (15:01 +0200)] 
MEDIUM: stream-interface: provide a generic stream_int_chk_snd_conn() function

This one can be used by both sock_raw and sock_ssl instead of each having their own.

12 years agoMEDIUM: stream-interface: add a snd_buf() callback to sock_ops
Willy Tarreau [Mon, 20 Aug 2012 12:02:10 +0000 (14:02 +0200)] 
MEDIUM: stream-interface: add a snd_buf() callback to sock_ops

This callback is used to send data from the buffer to the socket. It is
the old write_loop() call of the data layer which is used both by the
->write() callback and the ->chk_snd() function. The reason for having
it as a pointer is that it's the only remaining part which causes the
write and chk_snd() functions to be different between raw and ssl.

12 years agoMEDIUM: stream-interface: offer a generic chk_rcv function for connections
Willy Tarreau [Mon, 20 Aug 2012 10:38:36 +0000 (12:38 +0200)] 
MEDIUM: stream-interface: offer a generic chk_rcv function for connections

sock_raw and sock_ssl use a pretty generic chk_rcv function, so let's move
this function to the stream_interface and remove specific functions. Later
we might have a single chk_rcv function.

12 years agoMEDIUM: stream_interface: offer a generic function for connection updates
Willy Tarreau [Mon, 20 Aug 2012 10:06:26 +0000 (12:06 +0200)] 
MEDIUM: stream_interface: offer a generic function for connection updates

We need to have a generic function to be called by upper layers when buffer
flags have been updated (the si->update function). At the moment, both sock_raw
and sock_ssl had their own which basically was a copy-paste. Since these
functions are only used to update stream interface flags, it is logical to
have them handled by the stream interface code.

This allowed us to remove the stream_interface-specific update function from
sock_raw and sock_ssl which now use the generic code.

The stream_sock_update_conn callback has also been more appropriately renamed
conn_notify_si() since it's meant to be called by lower layers to notify the
SI and possibly upper layers about incoming changes.

12 years agoMINOR: fd: get rid of FD_WAIT_*
Willy Tarreau [Fri, 17 Aug 2012 21:55:05 +0000 (23:55 +0200)] 
MINOR: fd: get rid of FD_WAIT_*

These flags were used to ease a transition which has been completed,
so they're not needed anymore. Get rid of them.

12 years agoMEDIUM: checks: don't use FD_WAIT_* anymore
Willy Tarreau [Fri, 17 Aug 2012 21:53:56 +0000 (23:53 +0200)] 
MEDIUM: checks: don't use FD_WAIT_* anymore

make use of fd_poll_* instead in preparation for a later adoption by the
connection subsystem.

12 years agoMAJOR: make use of conn_{data|sock}_{poll|stop|want}* in connection handlers
Willy Tarreau [Thu, 9 Aug 2012 12:45:22 +0000 (14:45 +0200)] 
MAJOR: make use of conn_{data|sock}_{poll|stop|want}* in connection handlers

This is a second attempt at getting rid of FD_WAIT_*. Now the situation is
much better since native I/O handlers can directly manipulate the FD using
fd_{poll|want|stop}_* and the connection handlers manipulate connection-level
flags using the conn_{data|sock}_* equivalent.

Proceeding this way ensures that the connection flags always reflect the
reality even after data<->handshake switches.

12 years agoMEDIUM: connection: make use of the new polling functions
Willy Tarreau [Fri, 17 Aug 2012 15:33:53 +0000 (17:33 +0200)] 
MEDIUM: connection: make use of the new polling functions

Now the connection handler, the handshake callbacks and the I/O callbacks
make use of the connection-layer polling functions to enable or disable
polling on a file descriptor.

Some changes still need to be done to avoid using the FD_WAIT_* constants.

12 years agoMEDIUM: connection: add definitions for dual polling mechanisms
Willy Tarreau [Fri, 17 Aug 2012 09:55:04 +0000 (11:55 +0200)] 
MEDIUM: connection: add definitions for dual polling mechanisms

The conflicts we're facing with polling is that handshake handlers have
precedence over data handlers and may change the polling requirements
regardless of what is expected by the data layer. This causes issues
such as missed events.

The real need is to have three polling levels :
  - the "current" one, which is effective at any moment
  - the data one, which reflects what the data layer asks for
  - the sock one, which reflects what the socket layer asks for

Depending on whether a handshake is in progress or not, either one of the
last two will replace the current one, and the change will be propagated
to the lower layers.

At the moment, the shutdown status is not considered, and only handshakes
are used to decide which layer to chose. This will probably change.

12 years agoMEDIUM: fd: add fd_poll_{recv,send} for use when explicit polling is required
Willy Tarreau [Thu, 9 Aug 2012 10:14:03 +0000 (12:14 +0200)] 
MEDIUM: fd: add fd_poll_{recv,send} for use when explicit polling is required

The old EV_FD_SET() macro was confusing, as it would enable receipt but there
was no way to indicate that EAGAIN was received, hence the recently added
FD_WAIT_* flags. They're not enough as we're still facing a conflict between
EV_FD_* and FD_WAIT_*. So let's offer I/O functions what they need to explicitly
request polling.

12 years agoMAJOR: fd: replace all EV_FD_* macros with new fd_*_* inline calls
Willy Tarreau [Thu, 9 Aug 2012 10:11:58 +0000 (12:11 +0200)] 
MAJOR: fd: replace all EV_FD_* macros with new fd_*_* inline calls

These functions have a more explicity meaning and will offer provisions
for explicit polling.

EV_FD_ISSET() has been left for now as it is still in use in checks.

12 years agoMAJOR: stream_int: use a common stream_int_shut*() functions regardless of the data...
Willy Tarreau [Mon, 6 Aug 2012 17:31:45 +0000 (19:31 +0200)] 
MAJOR: stream_int: use a common stream_int_shut*() functions regardless of the data layer

Up to now, we had to use a shutr/shutw interface per data layer, which
basically means 3 distinct functions when we include SSL :
  - generic stream_interface
  - sock_raw
  - sock_ssl

With this change, the code located in the stream_interface manages all the
stream_interface and buffer updates, and calls the data layer hooks when
needed.

At the moment, the socket layer hook had been implicitly considered as
being a regular socket, so the si_shut*() functions call the normal
shutdown() and EV_FD_CLR() functions on the fd if a socket layer is
defined. This may change in the future. The stream_int_shut*()
functions don't call EV_FD_CLR() so that they can later be embedded
in lower layers.

Thus, the si->data->shutr() is not called anymore and si->data->shutw()
is called to close the data layer only (eg: only for SSL).

Proceeding like this is very important because it's the only way to be
able not to rely on these functions when called from the connection
handlers, and call the data layers' instead.

12 years agoMEDIUM: sock_raw: introduce a read0 callback that is different from shutr
Willy Tarreau [Mon, 6 Aug 2012 15:00:18 +0000 (17:00 +0200)] 
MEDIUM: sock_raw: introduce a read0 callback that is different from shutr

This one is supposed to be called by the lower layer upon receiving a shutr
notification, which is different from the call performed by the upper layer.
Specifically, this function will ultimately not call EV_FD_* but will just
manipulate event flags instead. The function also does not call shutw anymore
and instead performs the necessary work.

Splitting it into si-specific part and data-specific parts will not be easy.

12 years agoREORG: connection: replace si_data_close() with conn_data_close()
Willy Tarreau [Mon, 6 Aug 2012 13:06:49 +0000 (15:06 +0200)] 
REORG: connection: replace si_data_close() with conn_data_close()

This close function only applies to connection-specific parts and
the stream-interface entry may soon disappear. Move this to the
connection instead.

12 years agoMINOR: sock_raw: move calls to si_data_close upper
Willy Tarreau [Mon, 6 Aug 2012 10:23:51 +0000 (12:23 +0200)] 
MINOR: sock_raw: move calls to si_data_close upper

Some users of si_data_close() need to have the fd still open,
so we must move the call before fd_delete().

12 years agoMEDIUM: fd: remove the EV_FD_COND_* primitives
Willy Tarreau [Mon, 30 Jul 2012 12:29:35 +0000 (14:29 +0200)] 
MEDIUM: fd: remove the EV_FD_COND_* primitives

These primitives were initially introduced so that callers were able to
conditionally set/disable polling on a file descriptor and check in return
what the state was. It's been long since we last had an "if" on this, and
all pollers' functions were the same for cond_* and their systematic
counter parts, except that this required a check and a specific return
value that are not always necessary.

So let's simplify the FD API by removing this now unused distinction and
by making all specific functions return void.

12 years agoMAJOR: connection: call data layer handshakes from the handler
Willy Tarreau [Thu, 12 Jul 2012 13:32:13 +0000 (15:32 +0200)] 
MAJOR: connection: call data layer handshakes from the handler

Handshakes is not called anymore from the data handlers, they're only
called from the connection handler when their flag is set.

Also, this move has uncovered an issue with the stream interface notifier :
it doesn't consider the FD_WAIT_* flags possibly set by the handshake
handlers. This will result in a stuck handshake when no data is in the
output buffer. In order to cover this, for now we'll perform the EV_FD_SET
in the SSL handshake function, but this needs to be addressed separately
from the stream interface operations.

12 years agoMINOR: rearrange tcp_connect_probe() and fix wrong return codes
Willy Tarreau [Mon, 23 Jul 2012 18:05:00 +0000 (20:05 +0200)] 
MINOR: rearrange tcp_connect_probe() and fix wrong return codes

Sometimes we returned the need for polling while it was not needed. Remove
some of the spaghetti in the function.

12 years agoMAJOR: connection: add a new CO_FL_CONNECTED flag
Willy Tarreau [Mon, 23 Jul 2012 17:45:44 +0000 (19:45 +0200)] 
MAJOR: connection: add a new CO_FL_CONNECTED flag

This new flag is used to indicate that the connection was already
connected. It can be used by I/O handlers to know that a connection
has just completed. It is used by stream_sock_update_conn(), allowing
the sock_opt handlers not to manipulate the SI timeout nor the
BF_WRITE_NULL flag anymore.

12 years agoMEDIUM: stream_interface: centralize the SI_FL_ERR management
Willy Tarreau [Mon, 23 Jul 2012 17:19:51 +0000 (19:19 +0200)] 
MEDIUM: stream_interface: centralize the SI_FL_ERR management

It's better to have only stream_sock_update_conn() handle the conversion
of the CO_FL_ERROR flag to SI_FL_ERR than having it in each and every I/O
callback.

12 years agoMEDIUM: stream_interface: pass connection instead of fd in sock_ops
Willy Tarreau [Mon, 23 Jul 2012 16:53:03 +0000 (18:53 +0200)] 
MEDIUM: stream_interface: pass connection instead of fd in sock_ops

The sock_ops I/O callbacks made use of an FD till now. This has become
inappropriate and the struct connection is much more useful. It also
fixes the race condition introduced by previous change.

12 years agoMAJOR: remove the stream interface and task management code from sock_*
Willy Tarreau [Mon, 23 Jul 2012 16:24:25 +0000 (18:24 +0200)] 
MAJOR: remove the stream interface and task management code from sock_*

The socket data layer code must only focus on moving data between a
socket and a buffer. We need a special stream interface handler to
update the stream interface and the file descriptor status.

At the moment the code works but suffers from a race condition caused
by its API : the read/write callbacks still make use of the fd instead
of using the connection. And when a double shutdown is performed, a call
to ->write() after ->read() processed an error results in dereferencing
a NULL fdtab[]->owner. This is only a temporary issue which doesn't need
to be fixed now since this will automatically go away when the functions
change to use the connection instead.

12 years agoCLEANUP: remove the now unused fdtab direct I/O callbacks
Willy Tarreau [Fri, 6 Jul 2012 14:02:29 +0000 (16:02 +0200)] 
CLEANUP: remove the now unused fdtab direct I/O callbacks

They were all left to NULL since last commit so we can safely remove them
all now and remove the temporary dual polling logic in pollers.

12 years agoMAJOR: tcp: remove the specific I/O callbacks for TCP connection probes
Willy Tarreau [Mon, 23 Jul 2012 13:07:23 +0000 (15:07 +0200)] 
MAJOR: tcp: remove the specific I/O callbacks for TCP connection probes

Use a single tcp_connect_probe() instead of tcp_connect_write() and
tcp_connect_read(). We call this one only when no data layer function
have been processed, so this is a fallback to test for completion of
a connection attempt.

With this done, we don't have the need for any direct I/O callback
anymore.

The function still relies on ->write() to wake the stream interface up,
so it's not finished.

12 years agoMEDIUM: connection: extract the send_proxy callback from proto_tcp
Willy Tarreau [Fri, 6 Jul 2012 15:12:34 +0000 (17:12 +0200)] 
MEDIUM: connection: extract the send_proxy callback from proto_tcp

This handshake handler must be independant, so move it away from
proto_tcp. It has a dedicated connection flag. It is tested before
I/O handlers and automatically removes the CO_FL_WAIT_L4_CONN flag
upon success.

It also sets the BF_WRITE_NULL flag on the stream interface and
stops the SI timeout. However it does not perform the task_wakeup(),
and relies on the data handler to do so for now. The SI wakeup will
have to be moved elsewhere anyway.

12 years agoMEDIUM: connection: remove the FD_POLL_* flags only once
Willy Tarreau [Mon, 23 Jul 2012 10:14:26 +0000 (12:14 +0200)] 
MEDIUM: connection: remove the FD_POLL_* flags only once

It's inappropriate to remove FD_POLL_IN and FD_POLL_OUT in the IO callback
handlers, first because they shouldn't care about this, and second because
it will make it harder to chain multiple callers.

So let's flush these flags only once for all in the connection handler.
Right now, the HUP and ERR flags are still flushed in each IO handler to
avoid multiple calls. This will probably have to be fixed later.

12 years agoMINOR: fd: make fdtab->owner a connection and not a stream_interface anymore
Willy Tarreau [Fri, 6 Jul 2012 12:54:49 +0000 (14:54 +0200)] 
MINOR: fd: make fdtab->owner a connection and not a stream_interface anymore

It is more convenient with a connection here and will abstract stream_interface
more easily.

12 years agoMAJOR: connection: replace direct I/O callbacks with the connection callback
Willy Tarreau [Fri, 6 Jul 2012 12:29:45 +0000 (14:29 +0200)] 
MAJOR: connection: replace direct I/O callbacks with the connection callback

Almost all direct I/O callbacks have been changed to use the connection
callback instead. Only the TCP connection validation remains.

12 years agoMINOR: connection: add a handler for fd-based connections
Willy Tarreau [Fri, 6 Jul 2012 12:13:49 +0000 (14:13 +0200)] 
MINOR: connection: add a handler for fd-based connections

This connection handler will be used as an I/O handler for events
detected on a file descriptor. It is not used yet.

12 years agoMEDIUM: protocols: use the generic I/O callback for accept callbacks
Willy Tarreau [Fri, 6 Jul 2012 10:25:58 +0000 (12:25 +0200)] 
MEDIUM: protocols: use the generic I/O callback for accept callbacks

This one is used only on read events, and it was easy to convert to
use the new I/O callback.

12 years agoMEDIUM: checks: make use of fdtab->iocb instead of cb[]
Willy Tarreau [Fri, 6 Jul 2012 10:00:49 +0000 (12:00 +0200)] 
MEDIUM: checks: make use of fdtab->iocb instead of cb[]

Use the single I/O callback to handle the checks. This should soon be
replaced by the common connection handler.

12 years agoMEDIUM: polling: prepare to call the iocb() function when defined.
Willy Tarreau [Fri, 6 Jul 2012 09:44:28 +0000 (11:44 +0200)] 
MEDIUM: polling: prepare to call the iocb() function when defined.

We will need this to centralize I/O callbacks. Nobody sets it right
now so the code should have no impact.

12 years agoMINOR: fd: add a new I/O handler to fdtab
Willy Tarreau [Fri, 6 Jul 2012 08:53:51 +0000 (10:53 +0200)] 
MINOR: fd: add a new I/O handler to fdtab

This one will eventually replace both cb[] handlers. At the moment it
is not used yet.

12 years agoMAJOR: get rid of fdtab[].state and use connection->flags instead
Willy Tarreau [Fri, 6 Jul 2012 08:17:53 +0000 (10:17 +0200)] 
MAJOR: get rid of fdtab[].state and use connection->flags instead

fdtab[].state was only used to know whether a connection was in progress
or an error was encountered. Instead we now use connection->flags to store
a flag for both. This way, connection management will be able to update the
connection status on I/O.

12 years agoMINOR: connection: add flags to the connection struct
Willy Tarreau [Fri, 6 Jul 2012 07:52:14 +0000 (09:52 +0200)] 
MINOR: connection: add flags to the connection struct

We're doing this to take over fdtab[].state.

12 years agoREORG/MINOR: checks: put a struct connection into the server
Willy Tarreau [Fri, 6 Jul 2012 07:40:59 +0000 (09:40 +0200)] 
REORG/MINOR: checks: put a struct connection into the server

This will be used to handle the connection state once it goes away from fdtab.
There is no functional change at the moment.

12 years agoREORG/MINOR: connection: move declaration to its own include file
Willy Tarreau [Fri, 6 Jul 2012 07:47:57 +0000 (09:47 +0200)] 
REORG/MINOR: connection: move declaration to its own include file

This way we don't depend on stream_interface anymore.

12 years agoREORG/MEDIUM: fd: get rid of FD_STLISTEN
Willy Tarreau [Thu, 5 Jul 2012 21:36:42 +0000 (23:36 +0200)] 
REORG/MEDIUM: fd: get rid of FD_STLISTEN

This state was only used so that ev_sepoll did not match FD_STERROR, which
changed in previous patch. We can now safely remove this state.

12 years agoREORG/MEDIUM: fd: remove checks for FD_STERROR in ev_sepoll
Willy Tarreau [Thu, 5 Jul 2012 21:33:51 +0000 (23:33 +0200)] 
REORG/MEDIUM: fd: remove checks for FD_STERROR in ev_sepoll

This test is present only in this poller as an optimization, but this
optimization adds some complexity to remove fdtab[].state. Let's get
rid of it for now.

12 years agoREORG/MEDIUM: fd: remove FD_STCLOSE from struct fdtab
Willy Tarreau [Thu, 5 Jul 2012 21:19:22 +0000 (23:19 +0200)] 
REORG/MEDIUM: fd: remove FD_STCLOSE from struct fdtab

In an attempt to get rid of fdtab[].state, and to move the relevant
parts to the connection struct, we remove the FD_STCLOSE state which
can easily be deduced from the <owner> pointer as there is a 1:1 match.

12 years agoDOC: fix name for "option independant-streams"
Jamie Gloudon [Sat, 25 Aug 2012 04:18:33 +0000 (00:18 -0400)] 
DOC: fix name for "option independant-streams"

The correct spelling is "independent", not "independant". This patch
fixes the doc and the configuration parser to accept the correct form.
The config parser still allows the old naming for backwards compatibility.

12 years agoDOC: Typos cleanup
Jamie Gloudon [Sat, 25 Aug 2012 04:18:33 +0000 (00:18 -0400)] 
DOC: Typos cleanup

I came across a couple of typos in configuration.txt and made this patch.
Also, there is an inconsistency between using the word analys/ze in
configuration.txt as well. However, I did not provide a patch for that.

-- Jamie Gloudon

[wt: won't fix the us/uk language mistakes, they'll always exist anyway]

12 years agoMEDIUM: stats/cli: add support for "set table key" to enter values
Willy Tarreau [Wed, 6 Jun 2012 23:03:16 +0000 (01:03 +0200)] 
MEDIUM: stats/cli: add support for "set table key" to enter values

This is used to enter values for stick tables. The most likely usage
is to set gpc0 for a specific IP address in order to block traffic
for abusers without having to reload. Since all data types are
supported, other usages are possible (eg: replace a users's assigned
server).

12 years agoMINOR: stats/cli: add plans to support more stick-table actions
Willy Tarreau [Wed, 6 Jun 2012 21:37:08 +0000 (23:37 +0200)] 
MINOR: stats/cli: add plans to support more stick-table actions

Right now we only support show/clear on a table. In order to introduce
the "set" keyword we need to get rid of the "show" boolean arg. There
is no functional change up to this commit.

12 years agoBUG: stktable: tcp_src_to_stktable_key() must return NULL on invalid families
Willy Tarreau [Thu, 30 Aug 2012 20:52:28 +0000 (22:52 +0200)] 
BUG: stktable: tcp_src_to_stktable_key() must return NULL on invalid families

Source addresses of non-TCP families were not correctly handled by
tcp_src_to_stktable_key() as it forgot to return NULL and instead left
the previous value in the stick-table buffer.

This bug is 1.5-specific and was introduced by commit 4f92d320 in 1.5-dev6
so it does not need any backport.

12 years agoBUG/MINOR: to_log erased with unique-id-format
William Lallemand [Thu, 9 Aug 2012 14:41:35 +0000 (16:41 +0200)] 
BUG/MINOR: to_log erased with unique-id-format

curproxy->to_log was reset to LW_INIT when using unique-id-format,
so logs looked like option logasap

12 years agoMINOR: http: add the urlp_val ACL match
Willy Tarreau [Tue, 31 Jul 2012 05:51:48 +0000 (07:51 +0200)] 
MINOR: http: add the urlp_val ACL match

It's derived from other urlp_* matches, but there was no way to check for
an integer value and it seems like it's significantly used.

12 years agoBUG/MINOR: polling: some events were not set in various pollers
Willy Tarreau [Fri, 6 Jul 2012 09:16:01 +0000 (11:16 +0200)] 
BUG/MINOR: polling: some events were not set in various pollers

fdtab[].ev was only set in ev_sepoll. Unfortunately, some I/O handling
functions now rely on this, so depending on the polling mechanism, some
useless operations might have been performed, such as performing a useless
recv() when a HUP was reported.

This is a very old issue, the flags were only added to the fdtab and not
propagated into any poller. Then they were used in ev_sepoll which needed
them for the cache. It is unsure whether a backport to 1.4 is appropriate
or not.

12 years agoBUG/MINOR: tarpit: fix condition to return the HTTP 500 message
Willy Tarreau [Mon, 23 Jul 2012 08:55:43 +0000 (10:55 +0200)] 
BUG/MINOR: tarpit: fix condition to return the HTTP 500 message

Commit fa7e1025 (1.3.16-rc1) introduced a minor bug by comparing req->flags
with BF_READ_ERROR instead of checking for the bit. The result is that the
error message is always returned even in case of client error. This has no
real impact but this must be fixed.

It may be backported to 1.4 and 1.3.

12 years agoMINOR: IPv6 support for transparent proxy
David du Colombier [Fri, 13 Jul 2012 12:34:59 +0000 (14:34 +0200)] 
MINOR: IPv6 support for transparent proxy

Set socket option IPV6_TRANSPARENT on binding
to enable transparent proxy on IPv6.
This option is available from Linux 2.6.37.

12 years agoOPTIM: i386: make use of kernel-mode-linux when available
Willy Tarreau [Mon, 18 Jun 2012 18:01:30 +0000 (20:01 +0200)] 
OPTIM: i386: make use of kernel-mode-linux when available

If haproxy is built with support for USE_VSYSCALL_DLSYM, it's very
easy to check for KML availability. So let's enable it. Tests show
a small overall performance improvement around 1%. Other tests show
that the syscall overhead is divided by 4 on a Geode LX using this
method.

12 years agoMEDIUM: pattern: add the "base" sample fetch method
Willy Tarreau [Sun, 29 Apr 2012 13:39:40 +0000 (15:39 +0200)] 
MEDIUM: pattern: add the "base" sample fetch method

This one returns the concatenation of the first Host header entry with
the path. It can make content-switching rules easier, help with fighting
DDoS on certain URLs and improve shared caches efficiency.

12 years agoMINOR: replace acl_fetch_{path,url}* with smp_fetch_*
Willy Tarreau [Sun, 29 Apr 2012 07:28:50 +0000 (09:28 +0200)] 
MINOR: replace acl_fetch_{path,url}* with smp_fetch_*

Doing so allows us to support sticking on URL, URL's IP, URL's port and
path.

Both fetch functions should be improved to support an optional depth
allowing to stick to a server depending on just a few directory
components. This would help with portals, some prefetch-capable
caches and with outgoing connections using multiple internet links.

13 years agoDOC: specify the default value for maxconn in the context of a proxy
Vincent Bernat [Wed, 27 Jun 2012 15:18:30 +0000 (17:18 +0200)] 
DOC: specify the default value for maxconn in the context of a proxy

Default value for maxconn in the context of a proxy is 2000 and is
unrelated to any other value (like global ulimit-n or global
maxconn). Without an explicit a user may think that the default value
is either no limit or equal to the global maxconn value.

13 years agoBUG/MINOR: ACL implicit arguments must be created with unresolved flag
Willy Tarreau [Fri, 15 Jun 2012 06:02:34 +0000 (08:02 +0200)] 
BUG/MINOR: ACL implicit arguments must be created with unresolved flag

Commit 496aa0 fixed a design issue by adding an "unresolved" flag to the
ACL arguments. Unfortunately this unresolved flag was not set when building
the fake argument some ACL need when using an implicit argument pointing to
the local proxy.

Special thanks to Michael Kearey who reported the issue with a reproducer
and the commit introducing the bug.

13 years agoOPTIM: halog: improve cold-cache behaviour when loading a file
Willy Tarreau [Tue, 12 Jun 2012 07:16:56 +0000 (09:16 +0200)] 
OPTIM: halog: improve cold-cache behaviour when loading a file

Using posix_fadvise() it is possible to tell the system that we're
going to read a whole file at once. The kernel then doubles the
read-ahead size for this file. On Linux with an SSD, this has improved
cold-cache performance by around 20%. Hot-cache is not affected at all.

13 years agoOPTIM: halog: make use of memchr() on platforms which provide a fast one
Willy Tarreau [Tue, 12 Jun 2012 06:52:22 +0000 (08:52 +0200)] 
OPTIM: halog: make use of memchr() on platforms which provide a fast one

glibc-2.11 on x86_64 provides a machine-specific memchr() which is faster
than the generic C implementation by around 40%, so let's make it possible
to use it instead of the hand-coded version.

13 years agoCLEANUP: halog: make clean should also remove .o files
Willy Tarreau [Tue, 12 Jun 2012 05:59:16 +0000 (07:59 +0200)] 
CLEANUP: halog: make clean should also remove .o files

13 years agoBUG/MEDIUM: ebtree: ebmb_insert() must not call cmp_bits on full-length matches
Willy Tarreau [Sat, 9 Jun 2012 13:43:36 +0000 (15:43 +0200)] 
BUG/MEDIUM: ebtree: ebmb_insert() must not call cmp_bits on full-length matches

Otherwise we end up comparing the byte past the end, resulting
in duplicate values still being inserted into the tree even if
undesired.

This generally has low impact, though it can sometimes cause one new entry
to be added next to an existing one for stick tables, preventing the results
from being merged.

(cherry picked from commit 12e54ac493a91bb02064568f410592c2700d3933)

13 years agoMINOR: halog: use the more recent dual-mode fgets2 implementation
Willy Tarreau [Sat, 9 Jun 2012 07:44:03 +0000 (09:44 +0200)] 
MINOR: halog: use the more recent dual-mode fgets2 implementation

This version implements both 32 and 64 bit versions at once, it
avoids the need to have two separate output files. It also improves
efficiency on i386 platforms by adding a little bit of assembly where
gcc isn't efficient.

13 years agoMEDIUM: fd/si: move peeraddr from struct fdinfo to struct connection
Willy Tarreau [Fri, 8 Jun 2012 20:57:36 +0000 (22:57 +0200)] 
MEDIUM: fd/si: move peeraddr from struct fdinfo to struct connection

The destination address is purely a connection thing and not an fd thing.
It's also likely that later the address will be stored into the connection
and linked to by the SI.

struct fdinfo only keeps the pointer to the port range and the local port
for now. All of this also needs to move to the connection but before this
the release of the port range must move from fd_delete() to a new function
dedicated to the connection.

13 years agoBUILD: add an AIX 5.2 (and later) target.
Willy Tarreau [Wed, 6 Jun 2012 14:15:03 +0000 (16:15 +0200)] 
BUILD: add an AIX 5.2 (and later) target.

It's always a real pain to build on AIX and I constantly lose my flags,
so let's store them once for all in the Makefile.

13 years agoBUG/MAJOR: cookie prefix doesn't support cookie-less servers
Willy Tarreau [Wed, 6 Jun 2012 14:07:00 +0000 (16:07 +0200)] 
BUG/MAJOR: cookie prefix doesn't support cookie-less servers

Commit 827aee91 merged in 1.5-dev5 introduced a regression causing
the srv pointer to be tested twice instead of srv then srv->cookie.
The result is that if a server has no cookie in prefix mode, haproxy
will crash when trying to modify it.

Such a config is very unlikely to happen, except maybe with a backup
server, which would cause haproxy to die with the last server in the
farm.

No backport is needed, only 1.5-dev was affected.

13 years ago[RELEASE] Released version 1.5-dev11
Willy Tarreau [Sun, 3 Jun 2012 22:43:45 +0000 (00:43 +0200)] 
[RELEASE] Released version 1.5-dev11

Released version 1.5-dev11 with the following main changes :
    - BUG/MEDIUM: option forwardfor if-none doesn't work with some configurations
    - BUG/MAJOR: trash must always be the size of a buffer
    - DOC: fix minor regex example issue and improve doc on stats
    - MINOR: stream_interface: add a pointer to the listener for TARG_TYPE_CLIENT
    - MEDIUM: protocol: add a pointer to struct sock_ops to the listener struct
    - MINOR: checks: add on-marked-up option
    - MINOR: balance uri: added 'whole' parameter to include query string in hash calculation
    - MEDIUM: stream_interface: remove the si->init
    - MINOR: buffers: add a rewind function
    - BUG/MAJOR: fix regression on content-based hashing and http-send-name-header
    - MAJOR: http: stop using msg->sol outside the parsers
    - CLEANUP: http: make it more obvious that msg->som is always null outside of chunks
    - MEDIUM: http: get rid of msg->som which is not used anymore
    - MEDIUM: http: msg->sov and msg->sol will never wrap
    - BUG/MAJOR: checks: don't call set_server_status_* when no LB algo is set
    - BUG/MINOR: stop connect timeout when connect succeeds
    - REORG: move the send-proxy code to tcp_connect_write()
    - REORG/MINOR: session: detect the TCP monitor checks at the protocol accept
    - MINOR: stream_interface: introduce a new "struct connection" type
    - REORG/MINOR: stream_interface: move si->fd to struct connection
    - REORG/MEDIUM: stream_interface: move applet->state and private to connection
    - MINOR: stream_interface: add a data channel close function
    - MEDIUM: stream_interface: call si_data_close() before releasing the si
    - MINOR: peers: use the socket layer operations from the peer instead of sock_raw
    - BUG/MINOR: checks: expire on timeout.check if smaller than timeout.connect
    - MINOR: add a new function call tracer for debugging purposes
    - BUG/MINOR: perform_http_redirect also needs to rewind the buffer
    - BUG/MAJOR: b_rew() must pass a signed offset to b_ptr()
    - BUG/MEDIUM: register peer sync handler in the proper order
    - BUG/MEDIUM: buffers: fix bi_putchr() to correctly advance the pointer
    - BUG/MINOR: fix option httplog validation with TCP frontends
    - BUG/MINOR: log: don't report logformat errors in backends
    - REORG/MINOR: use dedicated proxy flags for the cookie handling
    - BUG/MINOR: config: do not report twice the incompatibility between cookie and non-http
    - MINOR: http: add support for "httponly" and "secure" cookie attributes
    - BUG/MEDIUM: ensure that unresolved arguments are freed exactly once
    - BUG/MINOR: commit 196729ef used wrong condition resulting in freeing constants
    - MEDIUM: stats: add support for soft stop/soft start in the admin interface
    - MEDIUM: stats: add the ability to kill sessions from the admin interface
    - BUILD: add support for linux kernels >= 2.6.28

13 years agoBUILD: add support for linux kernels >= 2.6.28
Willy Tarreau [Sun, 3 Jun 2012 22:42:09 +0000 (00:42 +0200)] 
BUILD: add support for linux kernels >= 2.6.28

Since all kernels starting from 2.6.28 support both splice() and tproxy,
add such a target to simplify the build process.

13 years agoMEDIUM: stats: add the ability to kill sessions from the admin interface
Willy Tarreau [Sun, 3 Jun 2012 22:26:23 +0000 (00:26 +0200)] 
MEDIUM: stats: add the ability to kill sessions from the admin interface

It was not possible to kill remaining sessions from the admin interface,
which is annoying especially when switching to maintenance mode. Now it's
possible.

13 years agoMEDIUM: stats: add support for soft stop/soft start in the admin interface
Willy Tarreau [Sun, 3 Jun 2012 22:22:44 +0000 (00:22 +0200)] 
MEDIUM: stats: add support for soft stop/soft start in the admin interface

One important missing feature on the web interface is the ability to perform
a soft stop/soft start. This is now possible.

13 years agoMINOR: checks: add on-marked-up option
Justin Karneges [Thu, 24 May 2012 22:28:52 +0000 (15:28 -0700)] 
MINOR: checks: add on-marked-up option

This implements the feature discussed in the earlier thread of killing
connections on backup servers when a non-backup server comes back up. For
example, you can use this to route to a mysql master & slave and ensure
clients don't stay on the slave after the master goes from down->up. I've done
some minimal testing and it seems to work.

[WT: added session flag & doc, moved the killing after logging the server UP,
 and ensured that the new server is really usable]

13 years agoBUG/MINOR: commit 196729ef used wrong condition resulting in freeing constants
Willy Tarreau [Fri, 1 Jun 2012 08:58:06 +0000 (10:58 +0200)] 
BUG/MINOR: commit 196729ef used wrong condition resulting in freeing constants

Recent commit 196729ef had inverted condition to free format strings. No
backport is needed, it was never released.

13 years agoBUG/MEDIUM: ensure that unresolved arguments are freed exactly once
Willy Tarreau [Fri, 1 Jun 2012 08:38:29 +0000 (10:38 +0200)] 
BUG/MEDIUM: ensure that unresolved arguments are freed exactly once

When passing arguments to ACLs and samples, some types are stored as
strings then resolved later after config parsing is done. Upon exit,
the arguments need to be freed only if the string was not resolved
yet. At the moment we can encounter double free during deinit()
because some arguments (eg: userlists) are freed once as their own
type and once as a string.

The solution consists in adding an "unresolved" flag to the args to
say whether the value is still held in the <str> part or is final.

This could be debugged thanks to a useful bug report from Sander Klein.

13 years agoMINOR: http: add support for "httponly" and "secure" cookie attributes
Willy Tarreau [Thu, 31 May 2012 19:02:17 +0000 (21:02 +0200)] 
MINOR: http: add support for "httponly" and "secure" cookie attributes

   httponly  This option tells haproxy to add an "HttpOnly" cookie attribute
             when a cookie is inserted. This attribute is used so that a
             user agent doesn't share the cookie with non-HTTP components.
             Please check RFC6265 for more information on this attribute.

   secure    This option tells haproxy to add a "Secure" cookie attribute when
             a cookie is inserted. This attribute is used so that a user agent
             never emits this cookie over non-secure channels, which means
             that a cookie learned with this flag will be presented only over
             SSL/TLS connections. Please check RFC6265 for more information on
             this attribute.

13 years agoBUG/MINOR: config: do not report twice the incompatibility between cookie and non...
Willy Tarreau [Thu, 31 May 2012 18:43:11 +0000 (20:43 +0200)] 
BUG/MINOR: config: do not report twice the incompatibility between cookie and non-http

This one was already taken care of in proxy_cfg_ensure_no_http(), so if a
cookie is presented in a TCP backend, we got two warnings.

This can be backported to 1.4 since it's been this way for 2 years (although not dramatic).

13 years agoREORG/MINOR: use dedicated proxy flags for the cookie handling
Willy Tarreau [Thu, 31 May 2012 18:40:20 +0000 (20:40 +0200)] 
REORG/MINOR: use dedicated proxy flags for the cookie handling

Cookies were mixed with many other options while they're not used as options.
Move them to a dedicated bitmask (ck_opts). This has released 7 flags in the
proxy options and leaves some room for new proxy flags.

13 years agoBUG/MINOR: log: don't report logformat errors in backends
Willy Tarreau [Thu, 31 May 2012 17:39:23 +0000 (19:39 +0200)] 
BUG/MINOR: log: don't report logformat errors in backends

Logs have always been ignored by backends, do not report useless warnings there.

13 years agoBUG/MINOR: fix option httplog validation with TCP frontends
Willy Tarreau [Thu, 31 May 2012 17:30:26 +0000 (19:30 +0200)] 
BUG/MINOR: fix option httplog validation with TCP frontends

Option httplog needs to be checked only once the proxy has been validated,
so that its final mode (tcp/http) can be used. Also we need to check for
httplog before checking the log format, so that we can report a warning
about this specific option and not about the format it implies.

13 years agoBUG/MEDIUM: buffers: fix bi_putchr() to correctly advance the pointer
Willy Tarreau [Thu, 31 May 2012 14:37:11 +0000 (16:37 +0200)] 
BUG/MEDIUM: buffers: fix bi_putchr() to correctly advance the pointer

bi_putchr() failed to move the buffer pointer forward. The only user
was the peer handler which was broken, it failed to sync. Thanks to
Hervé Commowick for reporting the issue.

13 years agoBUG/MEDIUM: register peer sync handler in the proper order
Willy Tarreau [Thu, 31 May 2012 12:16:59 +0000 (14:16 +0200)] 
BUG/MEDIUM: register peer sync handler in the proper order

Hervé Commowick reported a failure to resync upon restart caused by a
segfault on the old process. This is due to the data_ctx of the connection
being initialized after the stream interface.

13 years agoBUG/MAJOR: b_rew() must pass a signed offset to b_ptr()
Willy Tarreau [Thu, 31 May 2012 09:33:42 +0000 (11:33 +0200)] 
BUG/MAJOR: b_rew() must pass a signed offset to b_ptr()

Commit 13e66da introduced b_rew() but passes -adv which is an unsigned
quantity on 64-bit platforms, causing the buffer to advance in the wrong
direction.

No backport is needed.

13 years agoBUG/MINOR: perform_http_redirect also needs to rewind the buffer
Willy Tarreau [Wed, 30 May 2012 05:59:54 +0000 (07:59 +0200)] 
BUG/MINOR: perform_http_redirect also needs to rewind the buffer

Commit d1de8af362905d43bcd96e7522fcee62a93a53bf was incomplete, because
perform_http_redirect() also needs to rewind the buffer since it's called
after data are scheduled for forwarding.

No backport needed.

13 years agoBUG/MEDIUM: option forwardfor if-none doesn't work with some configurations
Cyril Bonté [Tue, 29 May 2012 21:27:41 +0000 (23:27 +0200)] 
BUG/MEDIUM: option forwardfor if-none doesn't work with some configurations

When "option forwardfor" is enabled in a frontend that uses backends,
"if-none" ignores the header name provided in the frontend.
This prevents haproxy to add the X-Forwarded-For header if the option is not
used in the backend.

This may introduce security issues for servers/applications that rely on the
header provided by haproxy.

A minimal configuration which can reproduce the bug:
defaults
mode http

listen OK
bind :9000

option forwardfor if-none
server s1 127.0.0.1:80

listen BUG-frontend
bind :9001

option forwardfor if-none

default_backend BUG-backend

backend BUG-backend
server s1 127.0.0.1:80

13 years agoMINOR: add a new function call tracer for debugging purposes
Willy Tarreau [Fri, 25 May 2012 21:53:16 +0000 (23:53 +0200)] 
MINOR: add a new function call tracer for debugging purposes

This feature relies on GCC's ability to call helpers at function entry/exit
points. We define these helpers to quickly dump the minimum info into a trace
file that can be converted to a human readable format using a script in the
contrib/trace directory. This has only been implemented in the GNU makefile
for now on as it is unsure whether it's supported on all OSes.

The feature is enabled by building with "TRACE=1". The performance impact is
huge, so this feature should only be used when debugging. To limit the loss
of performance, fprintf() has been disabled and the output is hand-crafted
and emitted using fwrite(), resulting in doubling the performance. Using the
TSC instead of gettimeofday() also doubles the performance. Around 1200 conns/s
may be achieved on a Pentium-M 1.7 GHz which leads to around 50 MB/s of traces.

The entry and exits of all functions will be dumped into a file designated
by the HAPROXY_TRACE environment variable, or by default "trace.out". If the
trace file name is empty or "/dev/null", then traces are disabled. If
opening the trace file fails, then stderr is used. If HAPROXY_TRACE_FAST is
used, then the time is taken from the global <now> variable. Last, if
HAPROXY_TRACE_TSC is used, then the machine's TSC is used instead of the
real time (almost twice as fast).

The output format is :

  <sec.usec> <level> <caller_ptr> <dir> <callee_ptr>
or :
  <tsc> <level> <caller_ptr> <dir> <callee_ptr>

where <dir> is '>' when entering a function and '<' when leaving.

The awk script in contrib/trace provides a nicer indented output :

6f74989e6f8 ->->->   run_poll_loop > signal_process_queue [src/haproxy.c:1097:0x804bd69] > [include/proto/signal.h:32:0x8049cd0]
6f74989eb00          run_poll_loop < signal_process_queue [src/haproxy.c:1097:0x804bd69] < [include/proto/signal.h:32:0x8049cd0]
6f74989ef44 ->->->   run_poll_loop > wake_expired_tasks [src/haproxy.c:1100:0x804bd72] > [src/task.c:123:0x8055060]
6f74989f3a6 ->->->->   wake_expired_tasks > eb32_lookup_ge [src/task.c:128:0x8055091] > [ebtree/eb32tree.c:138:0x80a8c70]
6f74989f7e9            wake_expired_tasks < eb32_lookup_ge [src/task.c:128:0x8055091] < [ebtree/eb32tree.c:138:0x80a8c70]
6f74989fc0d ->->->->   wake_expired_tasks > eb32_first [src/task.c:134:0x80550d5] > [ebtree/eb32tree.h:55:0x8054ad0]
6f7498a003d ->->->->->   eb32_first > eb_first [ebtree/eb32tree.h:56:0x8054af1] > [ebtree/ebtree.h:520:0x8054a10]
6f7498a0436 ->->->->->->   eb_first > eb_walk_down [ebtree/ebtree.h:521:0x8054a33] > [ebtree/ebtree.h:442:0x80549a0]
6f7498a0843 ->->->->->->->   eb_walk_down > eb_gettag [ebtree/ebtree.h:445:0x80549d6] > [ebtree/ebtree.h:418:0x80548e0]
6f7498a0c2b                  eb_walk_down < eb_gettag [ebtree/ebtree.h:445:0x80549d6] < [ebtree/ebtree.h:418:0x80548e0]
6f7498a1042 ->->->->->->->   eb_walk_down > eb_untag [ebtree/ebtree.h:447:0x80549e2] > [ebtree/ebtree.h:412:0x80548a0]
6f7498a1498                  eb_walk_down < eb_untag [ebtree/ebtree.h:447:0x80549e2] < [ebtree/ebtree.h:412:0x80548a0]
6f7498a18c6 ->->->->->->->   eb_walk_down > eb_root_to_node [ebtree/ebtree.h:448:0x80549e7] > [ebtree/ebtree.h:432:0x8054960]
6f7498a1cd4                  eb_walk_down < eb_root_to_node [ebtree/ebtree.h:448:0x80549e7] < [ebtree/ebtree.h:432:0x8054960]
6f7498a20c4                eb_first < eb_walk_down [ebtree/ebtree.h:521:0x8054a33] < [ebtree/ebtree.h:442:0x80549a0]
6f7498a24b4              eb32_first < eb_first [ebtree/eb32tree.h:56:0x8054af1] < [ebtree/ebtree.h:520:0x8054a10]
6f7498a289c            wake_expired_tasks < eb32_first [src/task.c:134:0x80550d5] < [ebtree/eb32tree.h:55:0x8054ad0]
6f7498a2c8c          run_poll_loop < wake_expired_tasks [src/haproxy.c:1100:0x804bd72] < [src/task.c:123:0x8055060]
6f7498a3095 ->->->   run_poll_loop > process_runnable_tasks [src/haproxy.c:1103:0x804bd7a] > [src/task.c:190:0x8055150]

A nice improvement would possibly consist in trying to get the function's
arguments in the stack and to dump a few more infor for some well-known
functions (eg: the session's status for process_session).

13 years agoBUG/MINOR: checks: expire on timeout.check if smaller than timeout.connect
Willy Tarreau [Fri, 25 May 2012 05:41:38 +0000 (07:41 +0200)] 
BUG/MINOR: checks: expire on timeout.check if smaller than timeout.connect

It happens that haproxy doesn't displace the task in the wait queue when
validating a connection, so if the check timeout is set to a smaller value
than timeout.connect, it will not strike before timeout.connect.

The bug is present at least in 1.4.15..1.4.21, so the fix must be backported.

13 years agoMINOR: balance uri: added 'whole' parameter to include query string in hash calculation
Oskar Stolc [Sat, 19 May 2012 09:19:54 +0000 (10:19 +0100)] 
MINOR: balance uri: added 'whole' parameter to include query string in hash calculation

This patch brings a new "whole" parameter to "balance uri" which makes
the hash work over the whole uri, not just the part before the query
string. Len and depth parameter are still honnored.

The reason for this new feature is explained below.

I have 3 backend servers, each accepting different form of HTTP queries:

http://backend1.server.tld/service1.php?q=...
http://backend1.server.tld/service2.php?q=...

http://backend2.server.tld/index.php?query=...&subquery=...

http://backend3.server.tld/image/49b8c0d9ff

Each backend server returns a different response based on either:
- the URI path (the left part of the URI before the question mark)
- the query string (the right part of the URI after the question mark)
- or the combination of both

I wanted to set up a common caching cluster (using 6 Squid servers, each
configured as reverse proxy for those 3 backends) and have HAProxy balance
the queries among the Squid servers based on URL. I also wanted to achieve
hight cache hit ration on each Squid server and send the same queries to
the same Squid servers. Initially I was considering using the 'balance uri'
algorithm, but that would not work as in case of backend2 all queries would
go to only one Squid server. The 'balance url_param' would not work either
as it would send the backend3 queries to only one Squid server.

So I thought the simplest solution would be to use 'balance uri', but to
calculate the hash based on the whole URI (URI path + query string),
instead of just the URI path.

13 years agoMEDIUM: protocol: add a pointer to struct sock_ops to the listener struct
Emeric Brun [Fri, 18 May 2012 16:30:29 +0000 (18:30 +0200)] 
MEDIUM: protocol: add a pointer to struct sock_ops to the listener struct

The listener struct is now aware of the socket layer to use upon accept().
At the moment, only sock_raw is supported so this patch should not change
anything.

13 years agoMINOR: stream_interface: add a pointer to the listener for TARG_TYPE_CLIENT
Emeric Brun [Fri, 18 May 2012 14:32:13 +0000 (16:32 +0200)] 
MINOR: stream_interface: add a pointer to the listener for TARG_TYPE_CLIENT

When the target is a client, it will be convenient to have a pointer to the
original listener so that we can retrieve some configuration information at
the stream interface level.

13 years agoMINOR: peers: use the socket layer operations from the peer instead of sock_raw
Willy Tarreau [Mon, 21 May 2012 20:18:17 +0000 (22:18 +0200)] 
MINOR: peers: use the socket layer operations from the peer instead of sock_raw

At the moment, all the peers are initialized to use sock_raw as the socket
layer, so use this info in peers_session_create() instead of the hard-coded
sock_raw.

13 years agoMEDIUM: stream_interface: call si_data_close() before releasing the si
Willy Tarreau [Mon, 21 May 2012 16:05:40 +0000 (18:05 +0200)] 
MEDIUM: stream_interface: call si_data_close() before releasing the si

This will ensure that the data layer releases anything previously allocated.

13 years agoMINOR: stream_interface: add a data channel close function
Willy Tarreau [Mon, 21 May 2012 15:28:50 +0000 (17:28 +0200)] 
MINOR: stream_interface: add a data channel close function

This function will be called later when splitting the shutdown in two
steps. It will be needed by SSL and for remote socket operations to
release unused contexts.