mirror of
https://github.com/postgres/postgres.git
synced 2025-06-29 10:41:53 +03:00
Fix aboriginal mistake in plpython's set-returning-function support.
We must stay in the function's SPI context until done calling the iterator that returns the set result. Otherwise, any attempt to invoke SPI features in the python code called by the iterator will malfunction. Diagnosis and patch by Jan Urbanski, per bug report from Jean-Baptiste Quenot. Back-patch to 8.2; there was no support for SRFs in previous versions of plpython.
This commit is contained in:
@ -403,6 +403,14 @@ class producer:
|
|||||||
return self.icontent
|
return self.icontent
|
||||||
return producer(count, content)
|
return producer(count, content)
|
||||||
$$ LANGUAGE plpythonu;
|
$$ LANGUAGE plpythonu;
|
||||||
|
CREATE FUNCTION test_setof_spi_in_iterator() RETURNS SETOF text AS
|
||||||
|
$$
|
||||||
|
for s in ('Hello', 'Brave', 'New', 'World'):
|
||||||
|
plpy.execute('select 1')
|
||||||
|
yield s
|
||||||
|
plpy.execute('select 2')
|
||||||
|
$$
|
||||||
|
LANGUAGE plpythonu;
|
||||||
--
|
--
|
||||||
-- Test returning tuples
|
-- Test returning tuples
|
||||||
--
|
--
|
||||||
|
@ -298,6 +298,15 @@ SELECT test_setof_as_iterator(2, null);
|
|||||||
|
|
||||||
(2 rows)
|
(2 rows)
|
||||||
|
|
||||||
|
SELECT test_setof_spi_in_iterator();
|
||||||
|
test_setof_spi_in_iterator
|
||||||
|
----------------------------
|
||||||
|
Hello
|
||||||
|
Brave
|
||||||
|
New
|
||||||
|
World
|
||||||
|
(4 rows)
|
||||||
|
|
||||||
-- Test tuple returning functions
|
-- Test tuple returning functions
|
||||||
SELECT * FROM test_table_record_as('dict', null, null, false);
|
SELECT * FROM test_table_record_as('dict', null, null, false);
|
||||||
first | second
|
first | second
|
||||||
|
@ -766,7 +766,10 @@ PLy_function_handler(FunctionCallInfo fcinfo, PLyProcedure * proc)
|
|||||||
{
|
{
|
||||||
if (!proc->is_setof || proc->setof == NULL)
|
if (!proc->is_setof || proc->setof == NULL)
|
||||||
{
|
{
|
||||||
/* Simple type returning function or first time for SETOF function */
|
/*
|
||||||
|
* Simple type returning function or first time for SETOF function:
|
||||||
|
* actually execute the function.
|
||||||
|
*/
|
||||||
plargs = PLy_function_build_args(fcinfo, proc);
|
plargs = PLy_function_build_args(fcinfo, proc);
|
||||||
plrv = PLy_procedure_call(proc, "args", plargs);
|
plrv = PLy_procedure_call(proc, "args", plargs);
|
||||||
if (!proc->is_setof)
|
if (!proc->is_setof)
|
||||||
@ -781,14 +784,10 @@ PLy_function_handler(FunctionCallInfo fcinfo, PLyProcedure * proc)
|
|||||||
}
|
}
|
||||||
|
|
||||||
/*
|
/*
|
||||||
* Disconnect from SPI manager and then create the return values datum
|
* If it returns a set, call the iterator to get the next return item.
|
||||||
* (if the input function does a palloc for it this must not be
|
* We stay in the SPI context while doing this, because PyIter_Next()
|
||||||
* allocated in the SPI memory context because SPI_finish would free
|
* calls back into Python code which might contain SPI calls.
|
||||||
* it).
|
|
||||||
*/
|
*/
|
||||||
if (SPI_finish() != SPI_OK_FINISH)
|
|
||||||
elog(ERROR, "SPI_finish failed");
|
|
||||||
|
|
||||||
if (proc->is_setof)
|
if (proc->is_setof)
|
||||||
{
|
{
|
||||||
bool has_error = false;
|
bool has_error = false;
|
||||||
@ -845,11 +844,24 @@ PLy_function_handler(FunctionCallInfo fcinfo, PLyProcedure * proc)
|
|||||||
(errcode(ERRCODE_DATA_EXCEPTION),
|
(errcode(ERRCODE_DATA_EXCEPTION),
|
||||||
errmsg("error fetching next item from iterator")));
|
errmsg("error fetching next item from iterator")));
|
||||||
|
|
||||||
|
/* Disconnect from the SPI manager before returning */
|
||||||
|
if (SPI_finish() != SPI_OK_FINISH)
|
||||||
|
elog(ERROR, "SPI_finish failed");
|
||||||
|
|
||||||
fcinfo->isnull = true;
|
fcinfo->isnull = true;
|
||||||
return (Datum) NULL;
|
return (Datum) NULL;
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
|
||||||
|
/*
|
||||||
|
* Disconnect from SPI manager and then create the return values datum
|
||||||
|
* (if the input function does a palloc for it this must not be
|
||||||
|
* allocated in the SPI memory context because SPI_finish would free
|
||||||
|
* it).
|
||||||
|
*/
|
||||||
|
if (SPI_finish() != SPI_OK_FINISH)
|
||||||
|
elog(ERROR, "SPI_finish failed");
|
||||||
|
|
||||||
/*
|
/*
|
||||||
* If the function is declared to return void, the Python return value
|
* If the function is declared to return void, the Python return value
|
||||||
* must be None. For void-returning functions, we also treat a None
|
* must be None. For void-returning functions, we also treat a None
|
||||||
|
@ -444,6 +444,15 @@ class producer:
|
|||||||
return producer(count, content)
|
return producer(count, content)
|
||||||
$$ LANGUAGE plpythonu;
|
$$ LANGUAGE plpythonu;
|
||||||
|
|
||||||
|
CREATE FUNCTION test_setof_spi_in_iterator() RETURNS SETOF text AS
|
||||||
|
$$
|
||||||
|
for s in ('Hello', 'Brave', 'New', 'World'):
|
||||||
|
plpy.execute('select 1')
|
||||||
|
yield s
|
||||||
|
plpy.execute('select 2')
|
||||||
|
$$
|
||||||
|
LANGUAGE plpythonu;
|
||||||
|
|
||||||
|
|
||||||
--
|
--
|
||||||
-- Test returning tuples
|
-- Test returning tuples
|
||||||
|
@ -95,6 +95,8 @@ SELECT test_setof_as_iterator(1, 'list');
|
|||||||
SELECT test_setof_as_iterator(2, 'list');
|
SELECT test_setof_as_iterator(2, 'list');
|
||||||
SELECT test_setof_as_iterator(2, null);
|
SELECT test_setof_as_iterator(2, null);
|
||||||
|
|
||||||
|
SELECT test_setof_spi_in_iterator();
|
||||||
|
|
||||||
-- Test tuple returning functions
|
-- Test tuple returning functions
|
||||||
SELECT * FROM test_table_record_as('dict', null, null, false);
|
SELECT * FROM test_table_record_as('dict', null, null, false);
|
||||||
SELECT * FROM test_table_record_as('dict', 'one', null, false);
|
SELECT * FROM test_table_record_as('dict', 'one', null, false);
|
||||||
|
Reference in New Issue
Block a user