mirror of
https://github.com/launchbadge/sqlx.git
synced 2026-03-19 08:39:44 +00:00
Initial experiment with the low-level API and PREPARE + EXECUTE queries
This commit is contained in:
291
sqlx-postgres/src/connection/execute.rs
Normal file
291
sqlx-postgres/src/connection/execute.rs
Normal file
@@ -0,0 +1,291 @@
|
||||
use super::Connection;
|
||||
use futures::{io::AsyncWrite, ready, Stream};
|
||||
use sqlx_postgres_protocol::{self as proto, Encode, Parse};
|
||||
use std::{
|
||||
future::Future,
|
||||
io,
|
||||
pin::Pin,
|
||||
sync::atomic::Ordering,
|
||||
task::{Context, Poll},
|
||||
};
|
||||
|
||||
// NOTE: This is a rough draft of the implementation
|
||||
|
||||
#[inline]
|
||||
pub fn execute<'a>(connection: &'a mut Connection, query: &'a str) -> Execute<'a> {
|
||||
Execute {
|
||||
connection,
|
||||
query,
|
||||
state: ExecuteState::Parse,
|
||||
rows: 0,
|
||||
}
|
||||
}
|
||||
|
||||
pub struct Execute<'a> {
|
||||
connection: &'a mut Connection,
|
||||
query: &'a str,
|
||||
state: ExecuteState,
|
||||
rows: u64,
|
||||
}
|
||||
|
||||
#[derive(Debug)]
|
||||
enum ExecuteState {
|
||||
Parse,
|
||||
Bind,
|
||||
Execute,
|
||||
Sync,
|
||||
SendingParse,
|
||||
SendingBind,
|
||||
SendingExecute,
|
||||
SendingSync,
|
||||
Flush,
|
||||
WaitForComplete,
|
||||
}
|
||||
|
||||
impl<'a> Execute<'a> {
|
||||
#[inline]
|
||||
pub fn bind(self, value: &'a [u8]) -> Bind<'a, &'a [u8]> {
|
||||
Bind { ex: self, value }
|
||||
}
|
||||
}
|
||||
|
||||
fn poll_write_all<W: AsyncWrite + Unpin>(
|
||||
mut writer: W,
|
||||
buf: &mut Vec<u8>,
|
||||
cx: &mut Context,
|
||||
) -> Poll<io::Result<()>> {
|
||||
// Derived from https://rust-lang-nursery.github.io/futures-api-docs/0.3.0-alpha.16/src/futures_util/io/write_all.rs.html#26
|
||||
while !buf.is_empty() {
|
||||
let n = ready!(Pin::new(&mut writer).poll_write(cx, &*buf))?;
|
||||
|
||||
buf.truncate(buf.len() - n);
|
||||
|
||||
if n == 0 {
|
||||
return Poll::Ready(Err(io::ErrorKind::WriteZero.into()));
|
||||
}
|
||||
}
|
||||
|
||||
Poll::Ready(Ok(()))
|
||||
}
|
||||
|
||||
fn poll_execute<T: ToSql>(
|
||||
cx: &mut Context,
|
||||
conn: &mut Connection,
|
||||
state: &mut ExecuteState,
|
||||
query: &str,
|
||||
values: &T,
|
||||
out: &mut u64,
|
||||
) -> Poll<io::Result<u64>> {
|
||||
loop {
|
||||
*state = match state {
|
||||
ExecuteState::Parse => {
|
||||
conn.wbuf.clear();
|
||||
|
||||
let stmt = format!(
|
||||
"__sqlx#{}",
|
||||
conn.statement_index.fetch_add(1, Ordering::SeqCst)
|
||||
);
|
||||
Parse::new(&stmt, query, &[])
|
||||
.encode(&mut conn.wbuf)
|
||||
.unwrap();
|
||||
|
||||
ExecuteState::SendingParse
|
||||
}
|
||||
|
||||
ExecuteState::SendingParse => {
|
||||
ready!(poll_write_all(&mut conn.stream.inner, &mut conn.wbuf, cx))?;
|
||||
|
||||
ExecuteState::Bind
|
||||
}
|
||||
|
||||
ExecuteState::Bind => {
|
||||
conn.wbuf.clear();
|
||||
|
||||
// FIXME: Think of a better way to build up a BIND message. Think on how to
|
||||
// avoid allocation here.
|
||||
|
||||
let mut values_buf = Vec::new();
|
||||
values_buf.extend_from_slice(&values.count().to_be_bytes());
|
||||
values.to_sql(&mut values_buf);
|
||||
|
||||
// FIXME: We need to cache the statement name around
|
||||
let stmt = format!("__sqlx#{}", conn.statement_index.load(Ordering::SeqCst) - 1);
|
||||
|
||||
proto::Bind::new(&stmt, &stmt, &[], &values_buf, &[])
|
||||
.encode(&mut conn.wbuf)
|
||||
.unwrap();
|
||||
|
||||
ExecuteState::SendingBind
|
||||
}
|
||||
|
||||
ExecuteState::SendingBind => {
|
||||
ready!(poll_write_all(&mut conn.stream.inner, &mut conn.wbuf, cx))?;
|
||||
|
||||
ExecuteState::Execute
|
||||
}
|
||||
|
||||
ExecuteState::Execute => {
|
||||
conn.wbuf.clear();
|
||||
|
||||
// FIXME: We need to cache the statement name around
|
||||
let stmt = format!("__sqlx#{}", conn.statement_index.load(Ordering::SeqCst) - 1);
|
||||
|
||||
proto::Execute::new(&stmt, 0)
|
||||
.encode(&mut conn.wbuf)
|
||||
.unwrap();
|
||||
|
||||
ExecuteState::SendingExecute
|
||||
}
|
||||
|
||||
ExecuteState::SendingExecute => {
|
||||
ready!(poll_write_all(&mut conn.stream.inner, &mut conn.wbuf, cx))?;
|
||||
|
||||
ExecuteState::Sync
|
||||
}
|
||||
|
||||
ExecuteState::Sync => {
|
||||
conn.wbuf.clear();
|
||||
proto::Sync.encode(&mut conn.wbuf).unwrap();
|
||||
|
||||
ExecuteState::SendingSync
|
||||
}
|
||||
|
||||
ExecuteState::SendingSync => {
|
||||
ready!(poll_write_all(&mut conn.stream.inner, &mut conn.wbuf, cx))?;
|
||||
|
||||
ExecuteState::Flush
|
||||
}
|
||||
|
||||
ExecuteState::Flush => {
|
||||
ready!(Pin::new(&mut conn.stream.inner).poll_flush(cx))?;
|
||||
|
||||
ExecuteState::WaitForComplete
|
||||
}
|
||||
|
||||
ExecuteState::WaitForComplete => {
|
||||
while let Some(message) = ready!(Pin::new(&mut conn.stream).poll_next(cx)) {
|
||||
match message? {
|
||||
proto::Message::BindComplete | proto::Message::ParseComplete => {
|
||||
// Indicates successful completion of a phase
|
||||
}
|
||||
|
||||
proto::Message::DataRow(_) => {
|
||||
// This is EXECUTE so we are ignoring any potential results
|
||||
}
|
||||
|
||||
proto::Message::CommandComplete(body) => {
|
||||
*out = body.rows();
|
||||
}
|
||||
|
||||
proto::Message::ReadyForQuery(_) => {
|
||||
// Successful completion of the whole cycle
|
||||
return Poll::Ready(Ok(*out));
|
||||
}
|
||||
|
||||
message => {
|
||||
unimplemented!("received {:?} unimplemented message", message);
|
||||
}
|
||||
}
|
||||
}
|
||||
|
||||
// FIXME: This is technically reachable if the pg conn is dropped?
|
||||
unreachable!()
|
||||
}
|
||||
}
|
||||
}
|
||||
}
|
||||
|
||||
impl<'a> Future for Execute<'a> {
|
||||
type Output = io::Result<u64>;
|
||||
|
||||
fn poll(self: Pin<&mut Self>, cx: &mut Context) -> Poll<Self::Output> {
|
||||
let self_ = self.get_mut();
|
||||
poll_execute(
|
||||
cx,
|
||||
&mut *self_.connection,
|
||||
&mut self_.state,
|
||||
&self_.query,
|
||||
&(),
|
||||
&mut self_.rows,
|
||||
)
|
||||
}
|
||||
}
|
||||
|
||||
// TODO: This should be cleaned up and moved to core; probably needs to be generic over back-end
|
||||
// TODO: I'm using some trait recursion here.. this should probably not be exposed in core
|
||||
pub trait ToSql {
|
||||
/// Converts the value of `self` into the appropriate format, appending it to `out`.
|
||||
fn to_sql(&self, out: &mut Vec<u8>);
|
||||
|
||||
// Count the number of value parameters recursively encoded.
|
||||
fn count(&self) -> i16;
|
||||
}
|
||||
|
||||
impl<'a> ToSql for () {
|
||||
#[inline]
|
||||
fn to_sql(&self, _out: &mut Vec<u8>) {
|
||||
// Do nothing
|
||||
}
|
||||
|
||||
#[inline]
|
||||
fn count(&self) -> i16 {
|
||||
0
|
||||
}
|
||||
}
|
||||
|
||||
impl<'a> ToSql for &'a [u8] {
|
||||
#[inline]
|
||||
fn to_sql(&self, out: &mut Vec<u8>) {
|
||||
out.extend_from_slice(&(self.len() as i32).to_be_bytes());
|
||||
out.extend_from_slice(self);
|
||||
}
|
||||
|
||||
#[inline]
|
||||
fn count(&self) -> i16 {
|
||||
1
|
||||
}
|
||||
}
|
||||
|
||||
impl<'a, T: ToSql + 'a, U: ToSql + 'a> ToSql for (T, U) {
|
||||
#[inline]
|
||||
fn to_sql(&self, out: &mut Vec<u8>) {
|
||||
self.0.to_sql(out);
|
||||
self.1.to_sql(out);
|
||||
}
|
||||
|
||||
#[inline]
|
||||
fn count(&self) -> i16 {
|
||||
self.0.count() + self.1.count()
|
||||
}
|
||||
}
|
||||
|
||||
pub struct Bind<'a, T: ToSql + 'a> {
|
||||
ex: Execute<'a>,
|
||||
value: T,
|
||||
}
|
||||
|
||||
impl<'a, T: ToSql + 'a> Bind<'a, T> {
|
||||
#[inline]
|
||||
pub fn bind(self, value: &'a [u8]) -> Bind<'a, (T, &'a [u8])> {
|
||||
Bind {
|
||||
ex: self.ex,
|
||||
value: (self.value, value),
|
||||
}
|
||||
}
|
||||
}
|
||||
|
||||
impl<'a, T: Unpin + ToSql + 'a> Future for Bind<'a, T> {
|
||||
type Output = io::Result<u64>;
|
||||
|
||||
fn poll(self: Pin<&mut Self>, cx: &mut Context) -> Poll<Self::Output> {
|
||||
let self_ = self.get_mut();
|
||||
poll_execute(
|
||||
cx,
|
||||
&mut *self_.ex.connection,
|
||||
&mut self_.ex.state,
|
||||
&self_.ex.query,
|
||||
&self_.value,
|
||||
&mut self_.ex.rows,
|
||||
)
|
||||
}
|
||||
}
|
||||
@@ -1,19 +1,23 @@
|
||||
use bytes::{BufMut, BytesMut};
|
||||
use futures::{
|
||||
io::{AsyncRead, AsyncWriteExt},
|
||||
ready,
|
||||
task::{Context, Poll},
|
||||
Stream,
|
||||
};
|
||||
use runtime::net::TcpStream;
|
||||
use sqlx_core::ConnectOptions;
|
||||
use sqlx_postgres_protocol::{Encode, Message, Terminate};
|
||||
use std::{fmt::Debug, io, pin::Pin};
|
||||
use std::{fmt::Debug, io, pin::Pin, sync::atomic::AtomicU64};
|
||||
|
||||
mod establish;
|
||||
mod query;
|
||||
mod execute;
|
||||
|
||||
pub struct Connection {
|
||||
stream: Framed<TcpStream>,
|
||||
pub(super) stream: Framed<TcpStream>,
|
||||
|
||||
// HACK: This is how we currently "name" queries when executing
|
||||
statement_index: AtomicU64,
|
||||
|
||||
// Buffer used when serializing outgoing messages
|
||||
// FIXME: Use BytesMut
|
||||
@@ -34,6 +38,7 @@ impl Connection {
|
||||
stream: Framed::new(stream),
|
||||
process_id: 0,
|
||||
secret_key: 0,
|
||||
statement_index: AtomicU64::new(0),
|
||||
};
|
||||
|
||||
establish::establish(&mut conn, options).await?;
|
||||
@@ -41,8 +46,9 @@ impl Connection {
|
||||
Ok(conn)
|
||||
}
|
||||
|
||||
pub async fn execute<'a: 'b, 'b>(&'a mut self, query: &'b str) -> io::Result<()> {
|
||||
query::query(self, query).await
|
||||
#[inline]
|
||||
pub fn execute<'a>(&'a mut self, query: &'a str) -> execute::Execute<'a> {
|
||||
execute::execute(self, query)
|
||||
}
|
||||
|
||||
pub async fn close(mut self) -> io::Result<()> {
|
||||
@@ -52,19 +58,14 @@ impl Connection {
|
||||
Ok(())
|
||||
}
|
||||
|
||||
// Send client message to the server
|
||||
async fn send<T>(&mut self, message: T) -> io::Result<()>
|
||||
where
|
||||
T: Encode + Debug,
|
||||
{
|
||||
self.wbuf.clear();
|
||||
|
||||
log::trace!("send {:?}", message);
|
||||
|
||||
message.encode(&mut self.wbuf)?;
|
||||
|
||||
log::trace!("send buffer {:?}", bytes::Bytes::from(&*self.wbuf));
|
||||
|
||||
self.stream.inner.write_all(&self.wbuf).await?;
|
||||
self.stream.inner.flush().await?;
|
||||
|
||||
@@ -72,7 +73,7 @@ impl Connection {
|
||||
}
|
||||
}
|
||||
|
||||
struct Framed<S> {
|
||||
pub(super) struct Framed<S> {
|
||||
inner: S,
|
||||
readable: bool,
|
||||
eof: bool,
|
||||
@@ -106,17 +107,7 @@ where
|
||||
}
|
||||
|
||||
loop {
|
||||
log::trace!("recv buffer {:?}", self_.buffer);
|
||||
|
||||
let message = Message::decode(&mut self_.buffer)?;
|
||||
|
||||
if log::log_enabled!(log::Level::Trace) {
|
||||
if let Some(message) = &message {
|
||||
log::trace!("recv {:?}", message);
|
||||
}
|
||||
}
|
||||
|
||||
match message {
|
||||
match Message::decode(&mut self_.buffer)? {
|
||||
Some(Message::ParameterStatus(_body)) => {
|
||||
// TODO: Not sure what to do with these but ignore
|
||||
}
|
||||
@@ -141,15 +132,9 @@ where
|
||||
|
||||
let n = unsafe {
|
||||
let b = self_.buffer.bytes_mut();
|
||||
|
||||
self_.inner.initializer().initialize(b);
|
||||
|
||||
let n = match Pin::new(&mut self_.inner).poll_read(cx, b)? {
|
||||
Poll::Ready(cnt) => cnt,
|
||||
Poll::Pending => {
|
||||
return Poll::Pending;
|
||||
}
|
||||
};
|
||||
let n = ready!(Pin::new(&mut self_.inner).poll_read(cx, b))?;
|
||||
|
||||
self_.buffer.advance_mut(n);
|
||||
|
||||
|
||||
@@ -1,34 +0,0 @@
|
||||
use super::Connection;
|
||||
use futures::StreamExt;
|
||||
use sqlx_postgres_protocol::{Message, Query};
|
||||
use std::io;
|
||||
|
||||
pub async fn query<'a: 'b, 'b>(conn: &'a mut Connection, query: &'b str) -> io::Result<()> {
|
||||
conn.send(Query::new(query)).await?;
|
||||
|
||||
while let Some(message) = conn.stream.next().await {
|
||||
match message? {
|
||||
Message::RowDescription(_) => {
|
||||
// Do nothing
|
||||
}
|
||||
|
||||
Message::DataRow(_) => {
|
||||
// Do nothing (for now)
|
||||
}
|
||||
|
||||
Message::ReadyForQuery(_) => {
|
||||
break;
|
||||
}
|
||||
|
||||
Message::CommandComplete(_) => {
|
||||
// Do nothing (for now)
|
||||
}
|
||||
|
||||
message => {
|
||||
unimplemented!("received {:?} unimplemented message", message);
|
||||
}
|
||||
}
|
||||
}
|
||||
|
||||
Ok(())
|
||||
}
|
||||
Reference in New Issue
Block a user