]> git.ipfire.org Git - thirdparty/sqlalchemy/sqlalchemy.git/commitdiff
note that horizontal sharding supports multi schema translates
authorMike Bayer <mike_mp@zzzcomputing.com>
Mon, 21 Mar 2022 21:35:26 +0000 (17:35 -0400)
committerMike Bayer <mike_mp@zzzcomputing.com>
Mon, 21 Mar 2022 21:45:51 +0000 (17:45 -0400)
the horizontal sharding API needs some work as it is
still exposing some legacy details, but in any case illustrate
how we can, for the moment, to use multiple schema translate
maps in a single session.

A lot more cleanup is needed in horizontal sharding, see #7837

Change-Id: Ia925e2226ecee9d747a8c4fc1772917f10bc505f
References: #7832
References: #7837

doc/build/core/connections.rst
examples/sharding/separate_databases.py
examples/sharding/separate_schema_translates.py [new file with mode: 0644]
examples/sharding/separate_tables.py
lib/sqlalchemy/orm/query.py

index 39ddab961c563167587cf8089d314670a711e901..2f19367d48f07d8988a79b598240822de73e8220 100644 (file)
@@ -761,15 +761,16 @@ as the schema name is passed to these methods explicitly.
 
   .. warning::
 
-    When using the ORM, the schema translate feature is only supported as
+    When using the ORM :class:`_orm.Session` without extensions, the schema
+    translate feature is only supported as
     **a single schema translate map per Session**.   It will **not work** if
     different schema translate maps are given on a per-statement basis, as
     the ORM :class:`_orm.Session` does not take current schema translate
-    values into account for individual objects.  In other words, all
-    objects loaded in a particular :class:`_orm.Session` must be based on the
-    **same** ``schema_translate_map``.
-
+    values into account for individual objects.
 
+    To use a single :class:`_orm.Session` with multiple ``schema_translate_map``
+    configurations, the :ref:`horizontal_sharding_toplevel` extension may
+    be used.  See the example at :ref:`examples_sharding`.
 
 
 .. versionadded:: 1.1
index 95f12fa722d918e91dc03db9c552b9bbb8da55b6..accbfd79b44d103fd254c24256b426e26811a007 100644 (file)
@@ -58,7 +58,7 @@ def id_generator(ctx):
     # in reality, might want to use a separate transaction for this.
     with db1.connect() as conn:
         nextid = conn.scalar(ids.select().with_for_update())
-        conn.execute(ids.update(values={ids.c.nextid: ids.c.nextid + 1}))
+        conn.execute(ids.update().values({ids.c.nextid: ids.c.nextid + 1}))
     return nextid
 
 
@@ -106,7 +106,7 @@ for db in (db1, db2, db3, db4):
 
 # establish initial "id" in db1
 with db1.begin() as conn:
-    conn.execute(ids.insert(), nextid=1)
+    conn.execute(ids.insert(), {"nextid": 1})
 
 
 # step 5. define sharding functions.
@@ -155,19 +155,19 @@ def id_chooser(query, ident):
         return ["north_america", "asia", "europe", "south_america"]
 
 
-def query_chooser(query):
-    """query chooser.
+def execute_chooser(context):
+    """statement execution chooser.
 
-    this also returns a list of shard ids, which can
-    just be all of them.  but here we'll search into the Query in order
-    to try to narrow down the list of shards to query.
+    this also returns a list of shard ids, which can just be all of them. but
+    here we'll search into the execution context in order to try to narrow down
+    the list of shards to SELECT.
 
     """
     ids = []
 
     # we'll grab continent names as we find them
     # and convert to shard ids
-    for column, operator, value in _get_query_comparisons(query):
+    for column, operator, value in _get_select_comparisons(context.statement):
         # "shares_lineage()" returns True if both columns refer to the same
         # statement column, adjusting for any annotations present.
         # (an annotation is an internal clone of a Column object
@@ -186,8 +186,8 @@ def query_chooser(query):
         return ids
 
 
-def _get_query_comparisons(query):
-    """Search an orm.Query object for binary expressions.
+def _get_select_comparisons(statement):
+    """Search a Select or Query object for binary expressions.
 
     Returns expressions which match a Column against one or more
     literal values as a list of tuples of the form
@@ -222,9 +222,9 @@ def _get_query_comparisons(query):
     # here we will traverse through the query's criterion, searching
     # for SQL constructs.  We will place simple column comparisons
     # into a list.
-    if query.whereclause is not None:
+    if statement.whereclause is not None:
         visitors.traverse(
-            query.whereclause,
+            statement.whereclause,
             {},
             {
                 "bindparam": visit_bindparam,
@@ -239,7 +239,7 @@ def _get_query_comparisons(query):
 Session.configure(
     shard_chooser=shard_chooser,
     id_chooser=id_chooser,
-    query_chooser=query_chooser,
+    execute_chooser=execute_chooser,
 )
 
 # save and load objects!
diff --git a/examples/sharding/separate_schema_translates.py b/examples/sharding/separate_schema_translates.py
new file mode 100644 (file)
index 0000000..c4f2b9e
--- /dev/null
@@ -0,0 +1,243 @@
+"""Illustrates sharding using a single database with multiple schemas,
+where a different "schema_translates_map" can be used for each shard.
+
+In this example we will set a "shard id" at all times.
+
+"""
+import datetime
+import os
+
+from sqlalchemy import Column
+from sqlalchemy import create_engine
+from sqlalchemy import DateTime
+from sqlalchemy import Float
+from sqlalchemy import ForeignKey
+from sqlalchemy import inspect
+from sqlalchemy import Integer
+from sqlalchemy import select
+from sqlalchemy import String
+from sqlalchemy.ext.declarative import declarative_base
+from sqlalchemy.ext.horizontal_shard import ShardedSession
+from sqlalchemy.orm import relationship
+from sqlalchemy.orm import sessionmaker
+
+
+echo = True
+engine = create_engine("sqlite://", echo=echo)
+
+
+with engine.connect() as conn:
+    # use attached databases on sqlite to get "schemas"
+    for i in range(1, 5):
+        if os.path.exists("schema_%s.db" % i):
+            os.remove("schema_%s.db" % i)
+        conn.exec_driver_sql(
+            'ATTACH DATABASE "schema_%s.db" AS schema_%s' % (i, i)
+        )
+
+db1 = engine.execution_options(schema_translate_map={None: "schema_1"})
+db2 = engine.execution_options(schema_translate_map={None: "schema_2"})
+db3 = engine.execution_options(schema_translate_map={None: "schema_3"})
+db4 = engine.execution_options(schema_translate_map={None: "schema_4"})
+
+
+# create session function.  this binds the shard ids
+# to databases within a ShardedSession and returns it.
+Session = sessionmaker(
+    class_=ShardedSession,
+    future=True,
+    shards={
+        "north_america": db1,
+        "asia": db2,
+        "europe": db3,
+        "south_america": db4,
+    },
+)
+
+
+# mappings and tables
+Base = declarative_base()
+
+
+# table setup.  we'll store a lead table of continents/cities, and a secondary
+# table storing locations. a particular row will be placed in the database
+# whose shard id corresponds to the 'continent'.  in this setup, secondary rows
+# in 'weather_reports' will be placed in the same DB as that of the parent, but
+# this can be changed if you're willing to write more complex sharding
+# functions.
+
+
+class WeatherLocation(Base):
+    __tablename__ = "weather_locations"
+
+    id = Column(Integer, primary_key=True)
+    continent = Column(String(30), nullable=False)
+    city = Column(String(50), nullable=False)
+
+    reports = relationship("Report", backref="location")
+
+    def __init__(self, continent, city):
+        self.continent = continent
+        self.city = city
+
+
+class Report(Base):
+    __tablename__ = "weather_reports"
+
+    id = Column(Integer, primary_key=True)
+    location_id = Column(
+        "location_id", Integer, ForeignKey("weather_locations.id")
+    )
+    temperature = Column("temperature", Float)
+    report_time = Column(
+        "report_time", DateTime, default=datetime.datetime.now
+    )
+
+    def __init__(self, temperature):
+        self.temperature = temperature
+
+
+# create tables
+for db in (db1, db2, db3, db4):
+    Base.metadata.create_all(db)
+
+
+# step 5. define sharding functions.
+
+# we'll use a straight mapping of a particular set of "country"
+# attributes to shard id.
+shard_lookup = {
+    "North America": "north_america",
+    "Asia": "asia",
+    "Europe": "europe",
+    "South America": "south_america",
+}
+
+
+def shard_chooser(mapper, instance, clause=None):
+    """shard chooser.
+
+    this is primarily invoked at persistence time.
+
+    looks at the given instance and returns a shard id
+    note that we need to define conditions for
+    the WeatherLocation class, as well as our secondary Report class which will
+    point back to its WeatherLocation via its 'location' attribute.
+
+    """
+    if isinstance(instance, WeatherLocation):
+        return shard_lookup[instance.continent]
+    else:
+        return shard_chooser(mapper, instance.location)
+
+
+def id_chooser(query, ident):
+    """id chooser.
+
+    given a primary key identity and a legacy :class:`_orm.Query`,
+    return which shard we should look at.
+
+    in this case, we only want to support this for lazy-loaded items;
+    any primary query should have shard id set up front.
+
+    """
+    if query.lazy_loaded_from:
+        # if we are in a lazy load, we can look at the parent object
+        # and limit our search to that same shard, assuming that's how we've
+        # set things up.
+        return [query.lazy_loaded_from.identity_token]
+    else:
+        raise NotImplementedError()
+
+
+def execute_chooser(context):
+    """statement execution chooser.
+
+    given an :class:`.ORMExecuteState` for a statement, return a list
+    of shards we should consult.
+
+    As before, we want a "shard_id" execution option to be present.
+    Otherwise, this would be a lazy load from a parent object where we
+    will look for the previous token.
+
+    """
+    if context.lazy_loaded_from:
+        return [context.lazy_loaded_from.identity_token]
+    else:
+        return [context.execution_options["shard_id"]]
+
+
+# configure shard chooser
+Session.configure(
+    shard_chooser=shard_chooser,
+    id_chooser=id_chooser,
+    execute_chooser=execute_chooser,
+)
+
+# save and load objects!
+
+tokyo = WeatherLocation("Asia", "Tokyo")
+newyork = WeatherLocation("North America", "New York")
+toronto = WeatherLocation("North America", "Toronto")
+london = WeatherLocation("Europe", "London")
+dublin = WeatherLocation("Europe", "Dublin")
+brasilia = WeatherLocation("South America", "Brasila")
+quito = WeatherLocation("South America", "Quito")
+
+tokyo.reports.append(Report(80.0))
+newyork.reports.append(Report(75))
+quito.reports.append(Report(85))
+
+with Session() as sess:
+
+    sess.add_all([tokyo, newyork, toronto, london, dublin, brasilia, quito])
+
+    sess.commit()
+
+    t = sess.get(
+        WeatherLocation,
+        tokyo.id,
+        # for session.get(), we currently need to use identity_token.
+        # the horizontal sharding API does not yet pass through the
+        # execution options
+        identity_token="asia",
+        # future version
+        # execution_options={"shard_id": "asia"}
+    )
+    assert t.city == tokyo.city
+    assert t.reports[0].temperature == 80.0
+
+    north_american_cities = sess.execute(
+        select(WeatherLocation).filter(
+            WeatherLocation.continent == "North America"
+        ),
+        execution_options={"shard_id": "north_america"},
+    ).scalars()
+
+    assert {c.city for c in north_american_cities} == {"New York", "Toronto"}
+
+    europe = sess.execute(
+        select(WeatherLocation).filter(WeatherLocation.continent == "Europe"),
+        execution_options={"shard_id": "europe"},
+    ).scalars()
+
+    assert {c.city for c in europe} == {"London", "Dublin"}
+
+    # the Report class uses a simple integer primary key.  So across two
+    # databases, a primary key will be repeated.  The "identity_token" tracks
+    # in memory that these two identical primary keys are local to different
+    # databases.
+    newyork_report = newyork.reports[0]
+    tokyo_report = tokyo.reports[0]
+
+    assert inspect(newyork_report).identity_key == (
+        Report,
+        (1,),
+        "north_america",
+    )
+    assert inspect(tokyo_report).identity_key == (Report, (1,), "asia")
+
+    # the token representing the originating shard is also available directly
+
+    assert inspect(newyork_report).identity_token == "north_america"
+    assert inspect(tokyo_report).identity_token == "asia"
index f24dde288d0f857fa9ce434fc703600739bf7bb4..4314e2233799ffeb3592bd76224423442ea6b576 100644 (file)
@@ -72,7 +72,7 @@ def id_generator(ctx):
     # in reality, might want to use a separate transaction for this.
     with engine.connect() as conn:
         nextid = conn.scalar(ids.select().with_for_update())
-        conn.execute(ids.update(values={ids.c.nextid: ids.c.nextid + 1}))
+        conn.execute(ids.update().values({ids.c.nextid: ids.c.nextid + 1}))
     return nextid
 
 
@@ -120,7 +120,7 @@ for db in (db1, db2, db3, db4):
 
 # establish initial "id" in db1
 with db1.begin() as conn:
-    conn.execute(ids.insert(), nextid=1)
+    conn.execute(ids.insert(), {"nextid": 1})
 
 
 # step 5. define sharding functions.
@@ -169,19 +169,19 @@ def id_chooser(query, ident):
         return ["north_america", "asia", "europe", "south_america"]
 
 
-def query_chooser(query):
-    """query chooser.
+def execute_chooser(context):
+    """statement execution chooser.
 
-    this also returns a list of shard ids, which can
-    just be all of them.  but here we'll search into the Query in order
-    to try to narrow down the list of shards to query.
+    this also returns a list of shard ids, which can just be all of them. but
+    here we'll search into the execution context in order to try to narrow down
+    the list of shards to SELECT.
 
     """
     ids = []
 
     # we'll grab continent names as we find them
     # and convert to shard ids
-    for column, operator, value in _get_query_comparisons(query):
+    for column, operator, value in _get_select_comparisons(context.statement):
         # "shares_lineage()" returns True if both columns refer to the same
         # statement column, adjusting for any annotations present.
         # (an annotation is an internal clone of a Column object
@@ -200,8 +200,8 @@ def query_chooser(query):
         return ids
 
 
-def _get_query_comparisons(query):
-    """Search an orm.Query object for binary expressions.
+def _get_select_comparisons(statement):
+    """Search a Select or Query object for binary expressions.
 
     Returns expressions which match a Column against one or more
     literal values as a list of tuples of the form
@@ -236,9 +236,9 @@ def _get_query_comparisons(query):
     # here we will traverse through the query's criterion, searching
     # for SQL constructs.  We will place simple column comparisons
     # into a list.
-    if query.whereclause is not None:
+    if statement.whereclause is not None:
         visitors.traverse(
-            query.whereclause,
+            statement.whereclause,
             {},
             {
                 "bindparam": visit_bindparam,
@@ -253,7 +253,7 @@ def _get_query_comparisons(query):
 Session.configure(
     shard_chooser=shard_chooser,
     id_chooser=id_chooser,
-    query_chooser=query_chooser,
+    execute_chooser=execute_chooser,
 )
 
 # save and load objects!
index 7eb957acc6573d2a6bef7b7d05a6f3e53a44aa1b..23dbfc32c6d27a9ad72b82fd1cbdf36151d69d34 100644 (file)
@@ -1359,7 +1359,8 @@ class Query(
            parameter should not be used at the level of individual ORM
            statement executions, as the :class:`_orm.Session` will not track
            objects from different schema translate maps within a single
-           session.
+           session.  For multiple schema translate maps within the scope of a
+           single :class:`_orm.Session`, see :ref:`examples_sharding`.
 
 
         .. seealso::