@rvoh/dream 2.31.0 → 2.33.0

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (238) hide show
  1. package/dist/cjs/src/Dream.js +9 -5
  2. package/dist/cjs/src/cli/index.js +4 -4
  3. package/dist/cjs/src/db/errors.js +2 -0
  4. package/dist/cjs/src/db/helpers/syncDbTypesFiles.js +6 -7
  5. package/dist/cjs/src/decorators/Decorators.js +45 -5
  6. package/dist/cjs/src/decorators/field/sortable/helpers/cascadeReachesEveryRowInSortScope.js +51 -0
  7. package/dist/cjs/src/decorators/field/sortable/helpers/performSortableDestroyWork.js +5 -2
  8. package/dist/cjs/src/decorators/field/sortable/helpers/prepareSortableFieldsForDestroy.js +39 -25
  9. package/dist/cjs/src/decorators/field/sortable/helpers/sortableCascadeEdge.js +32 -0
  10. package/dist/cjs/src/dream/QueryDriver/Base.js +33 -0
  11. package/dist/cjs/src/dream/QueryDriver/Kysely.js +7 -0
  12. package/dist/cjs/src/dream/QueryDriver/Postgres.js +14 -2
  13. package/dist/cjs/src/dream/QueryDriver/helpers/pg/loadPgClient.js +29 -1
  14. package/dist/cjs/src/dream/internal/destroyAssociatedRecords.js +7 -0
  15. package/dist/cjs/src/dream/internal/destroyDream.js +25 -14
  16. package/dist/cjs/src/dream/internal/undestroyDream.js +55 -32
  17. package/dist/cjs/src/dream/internal/withConcurrentWriterRetry.js +64 -0
  18. package/dist/esm/src/Dream.js +9 -5
  19. package/dist/esm/src/cli/index.js +4 -4
  20. package/dist/esm/src/db/errors.js +2 -0
  21. package/dist/esm/src/db/helpers/syncDbTypesFiles.js +6 -7
  22. package/dist/esm/src/decorators/Decorators.js +45 -5
  23. package/dist/esm/src/decorators/field/sortable/helpers/cascadeReachesEveryRowInSortScope.js +51 -0
  24. package/dist/esm/src/decorators/field/sortable/helpers/performSortableDestroyWork.js +5 -2
  25. package/dist/esm/src/decorators/field/sortable/helpers/prepareSortableFieldsForDestroy.js +39 -25
  26. package/dist/esm/src/decorators/field/sortable/helpers/sortableCascadeEdge.js +32 -0
  27. package/dist/esm/src/dream/QueryDriver/Base.js +33 -0
  28. package/dist/esm/src/dream/QueryDriver/Kysely.js +7 -0
  29. package/dist/esm/src/dream/QueryDriver/Postgres.js +14 -2
  30. package/dist/esm/src/dream/QueryDriver/helpers/pg/loadPgClient.js +29 -1
  31. package/dist/esm/src/dream/internal/destroyAssociatedRecords.js +7 -0
  32. package/dist/esm/src/dream/internal/destroyDream.js +25 -14
  33. package/dist/esm/src/dream/internal/undestroyDream.js +55 -32
  34. package/dist/esm/src/dream/internal/withConcurrentWriterRetry.js +64 -0
  35. package/dist/types/src/Dream.d.ts +9 -5
  36. package/dist/types/src/cli/index.d.ts +7 -6
  37. package/dist/types/src/db/errors.d.ts +2 -0
  38. package/dist/types/src/decorators/Decorators.d.ts +45 -5
  39. package/dist/types/src/decorators/field/sortable/helpers/cascadeReachesEveryRowInSortScope.d.ts +39 -0
  40. package/dist/types/src/decorators/field/sortable/helpers/performSortableDestroyWork.d.ts +6 -1
  41. package/dist/types/src/decorators/field/sortable/helpers/prepareSortableFieldsForDestroy.d.ts +37 -20
  42. package/dist/types/src/decorators/field/sortable/helpers/sortableCascadeEdge.d.ts +20 -0
  43. package/dist/types/src/dream/QueryDriver/Base.d.ts +23 -0
  44. package/dist/types/src/dream/QueryDriver/Kysely.d.ts +1 -0
  45. package/dist/types/src/dream/QueryDriver/Postgres.d.ts +2 -0
  46. package/dist/types/src/dream/QueryDriver/helpers/pg/loadPgClient.d.ts +5 -0
  47. package/dist/types/src/dream/internal/destroyDream.d.ts +3 -1
  48. package/dist/types/src/dream/internal/undestroyDream.d.ts +6 -4
  49. package/dist/types/src/dream/internal/withConcurrentWriterRetry.d.ts +47 -0
  50. package/dist/types/src/dream-app/index.d.ts +11 -1
  51. package/docs/assets/hierarchy.js +1 -1
  52. package/docs/assets/search.js +1 -1
  53. package/docs/classes/db.DreamMigrationHelpers.html +11 -11
  54. package/docs/classes/db.KyselyQueryDriver.html +57 -43
  55. package/docs/classes/db.PostgresQueryDriver.html +58 -44
  56. package/docs/classes/db.QueryDriverBase.html +56 -42
  57. package/docs/classes/errors.CannotSaveMissingDream.html +2 -2
  58. package/docs/classes/errors.CheckConstraintViolation.html +3 -3
  59. package/docs/classes/errors.ColumnOverflow.html +3 -3
  60. package/docs/classes/errors.CreateOrFindByFailedToCreateAndFind.html +3 -3
  61. package/docs/classes/errors.DataIncompatibleWithDatabaseField.html +3 -3
  62. package/docs/classes/errors.DataTypeColumnTypeMismatch.html +3 -3
  63. package/docs/classes/errors.DecryptionError.html +2 -2
  64. package/docs/classes/errors.DecryptionParseError.html +2 -2
  65. package/docs/classes/errors.DecryptionRotationError.html +3 -3
  66. package/docs/classes/errors.GlobalNameNotSet.html +3 -3
  67. package/docs/classes/errors.InvalidCalendarDate.html +2 -2
  68. package/docs/classes/errors.InvalidClockTime.html +2 -2
  69. package/docs/classes/errors.InvalidClockTimeTz.html +2 -2
  70. package/docs/classes/errors.InvalidDateTime.html +2 -2
  71. package/docs/classes/errors.MissingSerializersDefinition.html +3 -3
  72. package/docs/classes/errors.NonLoadedAssociation.html +3 -3
  73. package/docs/classes/errors.NotNullViolation.html +3 -3
  74. package/docs/classes/errors.RecordNotFound.html +3 -3
  75. package/docs/classes/errors.SortableScopeDidNotStabilize.html +3 -3
  76. package/docs/classes/errors.SortableScopeLockWaitTimedOut.html +3 -3
  77. package/docs/classes/errors.ValidationError.html +3 -3
  78. package/docs/classes/index.CalendarDate.html +33 -33
  79. package/docs/classes/index.ClockTime.html +32 -32
  80. package/docs/classes/index.ClockTimeTz.html +35 -35
  81. package/docs/classes/index.DateTime.html +86 -86
  82. package/docs/classes/index.Decorators.html +62 -24
  83. package/docs/classes/index.Dream.html +133 -129
  84. package/docs/classes/index.DreamApp.html +10 -10
  85. package/docs/classes/index.DreamTransaction.html +2 -2
  86. package/docs/classes/index.Env.html +2 -2
  87. package/docs/classes/index.Query.html +65 -65
  88. package/docs/classes/system.CliFileWriter.html +4 -4
  89. package/docs/classes/system.DreamBin.html +2 -2
  90. package/docs/classes/system.DreamCLI.html +11 -11
  91. package/docs/classes/system.DreamImporter.html +2 -2
  92. package/docs/classes/system.DreamLogos.html +2 -2
  93. package/docs/classes/system.DreamSerializerBuilder.html +11 -11
  94. package/docs/classes/system.ObjectSerializerBuilder.html +8 -8
  95. package/docs/classes/system.PathHelpers.html +3 -3
  96. package/docs/classes/utils.Encrypt.html +3 -3
  97. package/docs/classes/utils.Range.html +2 -2
  98. package/docs/functions/db.closeAllDbConnections.html +1 -1
  99. package/docs/functions/db.dreamDbConnections.html +1 -1
  100. package/docs/functions/db.untypedDb.html +1 -1
  101. package/docs/functions/db.validateColumn.html +1 -1
  102. package/docs/functions/db.validateTable.html +1 -1
  103. package/docs/functions/errors.pgErrorType.html +1 -1
  104. package/docs/functions/index.DreamSerializer.html +1 -1
  105. package/docs/functions/index.ObjectSerializer.html +1 -1
  106. package/docs/functions/index.ReplicaSafe.html +1 -1
  107. package/docs/functions/index.STI.html +1 -1
  108. package/docs/functions/index.SoftDelete.html +1 -1
  109. package/docs/functions/utils.camelize.html +1 -1
  110. package/docs/functions/utils.capitalize.html +1 -1
  111. package/docs/functions/utils.cloneDeepSafe.html +1 -1
  112. package/docs/functions/utils.compact.html +1 -1
  113. package/docs/functions/utils.groupBy.html +1 -1
  114. package/docs/functions/utils.hyphenize.html +1 -1
  115. package/docs/functions/utils.intersection.html +1 -1
  116. package/docs/functions/utils.isEmpty.html +1 -1
  117. package/docs/functions/utils.normalizeUnicode.html +1 -1
  118. package/docs/functions/utils.pascalize.html +1 -1
  119. package/docs/functions/utils.percent.html +1 -1
  120. package/docs/functions/utils.range.html +1 -1
  121. package/docs/functions/utils.round.html +1 -1
  122. package/docs/functions/utils.sanitizeString.html +1 -1
  123. package/docs/functions/utils.snakeify.html +1 -1
  124. package/docs/functions/utils.sort.html +1 -1
  125. package/docs/functions/utils.sortBy.html +1 -1
  126. package/docs/functions/utils.sortObjectByKey.html +1 -1
  127. package/docs/functions/utils.sortObjectByValue.html +1 -1
  128. package/docs/functions/utils.uncapitalize.html +1 -1
  129. package/docs/functions/utils.uniq.html +1 -1
  130. package/docs/hierarchy.html +1 -1
  131. package/docs/interfaces/openapi.OpenapiDescription.html +2 -2
  132. package/docs/interfaces/openapi.OpenapiSchemaProperties.html +1 -1
  133. package/docs/interfaces/openapi.OpenapiSchemaPropertiesShorthand.html +1 -1
  134. package/docs/interfaces/openapi.OpenapiTypeFieldObject.html +1 -1
  135. package/docs/interfaces/types.BelongsToStatement.html +2 -2
  136. package/docs/interfaces/types.DecoratorContext.html +2 -2
  137. package/docs/interfaces/types.DreamAppInitOptions.html +2 -2
  138. package/docs/interfaces/types.DreamAppOpts.html +2 -2
  139. package/docs/interfaces/types.DreamDbConfig.html +13 -5
  140. package/docs/interfaces/types.DurationObject.html +2 -2
  141. package/docs/interfaces/types.EncryptOptions.html +2 -2
  142. package/docs/interfaces/types.InternalAnyTypedSerializerRendersMany.html +2 -2
  143. package/docs/interfaces/types.InternalAnyTypedSerializerRendersOne.html +2 -2
  144. package/docs/interfaces/types.SerializerRendererOpts.html +2 -2
  145. package/docs/types/openapi.CommonOpenapiSchemaObjectFields.html +1 -1
  146. package/docs/types/openapi.OpenapiAllTypes.html +1 -1
  147. package/docs/types/openapi.OpenapiFormats.html +1 -1
  148. package/docs/types/openapi.OpenapiNumberFormats.html +1 -1
  149. package/docs/types/openapi.OpenapiPrimitiveBaseTypes.html +1 -1
  150. package/docs/types/openapi.OpenapiPrimitiveTypes.html +1 -1
  151. package/docs/types/openapi.OpenapiSchemaArray.html +1 -1
  152. package/docs/types/openapi.OpenapiSchemaArrayShorthand.html +1 -1
  153. package/docs/types/openapi.OpenapiSchemaBase.html +1 -1
  154. package/docs/types/openapi.OpenapiSchemaBody.html +1 -1
  155. package/docs/types/openapi.OpenapiSchemaBodyShorthand.html +1 -1
  156. package/docs/types/openapi.OpenapiSchemaCommonFields.html +1 -1
  157. package/docs/types/openapi.OpenapiSchemaExpressionAllOf.html +2 -2
  158. package/docs/types/openapi.OpenapiSchemaExpressionAnyOf.html +2 -2
  159. package/docs/types/openapi.OpenapiSchemaExpressionOneOf.html +2 -2
  160. package/docs/types/openapi.OpenapiSchemaExpressionRef.html +2 -2
  161. package/docs/types/openapi.OpenapiSchemaExpressionRefSchemaShorthand.html +2 -2
  162. package/docs/types/openapi.OpenapiSchemaInteger.html +1 -1
  163. package/docs/types/openapi.OpenapiSchemaNull.html +2 -2
  164. package/docs/types/openapi.OpenapiSchemaNumber.html +1 -1
  165. package/docs/types/openapi.OpenapiSchemaObject.html +1 -1
  166. package/docs/types/openapi.OpenapiSchemaObjectAllOf.html +1 -1
  167. package/docs/types/openapi.OpenapiSchemaObjectAllOfShorthand.html +1 -1
  168. package/docs/types/openapi.OpenapiSchemaObjectAnyOf.html +1 -1
  169. package/docs/types/openapi.OpenapiSchemaObjectAnyOfShorthand.html +1 -1
  170. package/docs/types/openapi.OpenapiSchemaObjectBase.html +1 -1
  171. package/docs/types/openapi.OpenapiSchemaObjectBaseShorthand.html +1 -1
  172. package/docs/types/openapi.OpenapiSchemaObjectOneOf.html +1 -1
  173. package/docs/types/openapi.OpenapiSchemaObjectOneOfShorthand.html +1 -1
  174. package/docs/types/openapi.OpenapiSchemaObjectShorthand.html +1 -1
  175. package/docs/types/openapi.OpenapiSchemaPrimitiveGeneric.html +1 -1
  176. package/docs/types/openapi.OpenapiSchemaShorthandExpressionAllOf.html +2 -2
  177. package/docs/types/openapi.OpenapiSchemaShorthandExpressionAnyOf.html +2 -2
  178. package/docs/types/openapi.OpenapiSchemaShorthandExpressionOneOf.html +2 -2
  179. package/docs/types/openapi.OpenapiSchemaShorthandExpressionSerializableRef.html +2 -2
  180. package/docs/types/openapi.OpenapiSchemaShorthandExpressionSerializerRef.html +2 -2
  181. package/docs/types/openapi.OpenapiSchemaShorthandPrimitiveGeneric.html +1 -1
  182. package/docs/types/openapi.OpenapiSchemaString.html +1 -1
  183. package/docs/types/openapi.OpenapiShorthandAllTypes.html +1 -1
  184. package/docs/types/openapi.OpenapiShorthandPrimitiveBaseTypes.html +1 -1
  185. package/docs/types/openapi.OpenapiShorthandPrimitiveTypes.html +1 -1
  186. package/docs/types/openapi.OpenapiTypeField.html +1 -1
  187. package/docs/types/system.DreamAppAllowedPackageManagersEnum.html +1 -1
  188. package/docs/types/types.CalendarDateDurationUnit.html +1 -1
  189. package/docs/types/types.CalendarDateObject.html +1 -1
  190. package/docs/types/types.Camelized.html +1 -1
  191. package/docs/types/types.ClockTimeObject.html +1 -1
  192. package/docs/types/types.DbConnectionType.html +1 -1
  193. package/docs/types/types.DbTypes.html +1 -1
  194. package/docs/types/types.DreamAssociationMetadata.html +1 -1
  195. package/docs/types/types.DreamAttributes.html +1 -1
  196. package/docs/types/types.DreamClassAssociationAndStatement.html +1 -1
  197. package/docs/types/types.DreamClassColumn.html +1 -1
  198. package/docs/types/types.DreamColumn.html +1 -1
  199. package/docs/types/types.DreamColumnNames.html +1 -1
  200. package/docs/types/types.DreamLogLevel.html +1 -1
  201. package/docs/types/types.DreamLogger.html +2 -2
  202. package/docs/types/types.DreamModelSerializerType.html +1 -1
  203. package/docs/types/types.DreamOrViewModelClassSerializerKey.html +1 -1
  204. package/docs/types/types.DreamOrViewModelSerializerKey.html +1 -1
  205. package/docs/types/types.DreamParamSafeAttributes.html +1 -1
  206. package/docs/types/types.DreamParamSafeColumnNames.html +1 -1
  207. package/docs/types/types.DreamSerializable.html +1 -1
  208. package/docs/types/types.DreamSerializableArray.html +1 -1
  209. package/docs/types/types.DreamSerializerKey.html +1 -1
  210. package/docs/types/types.DreamSerializers.html +1 -1
  211. package/docs/types/types.DreamVirtualColumns.html +1 -1
  212. package/docs/types/types.DurationUnit.html +1 -1
  213. package/docs/types/types.EncryptAlgorithm.html +1 -1
  214. package/docs/types/types.HasManyStatement.html +1 -1
  215. package/docs/types/types.HasOneStatement.html +1 -1
  216. package/docs/types/types.Hyphenized.html +1 -1
  217. package/docs/types/types.Pascalized.html +1 -1
  218. package/docs/types/types.PrimaryKeyType.html +1 -1
  219. package/docs/types/types.RoundingPrecision.html +1 -1
  220. package/docs/types/types.SerializerCasing.html +1 -1
  221. package/docs/types/types.SimpleObjectSerializerType.html +1 -1
  222. package/docs/types/types.Snakeified.html +1 -1
  223. package/docs/types/types.StrictInterface.html +1 -1
  224. package/docs/types/types.UpdateableAssociationProperties.html +1 -1
  225. package/docs/types/types.UpdateableProperties.html +1 -1
  226. package/docs/types/types.ValidationType.html +1 -1
  227. package/docs/types/types.ViewModel.html +2 -2
  228. package/docs/types/types.ViewModelClass.html +1 -1
  229. package/docs/types/types.WeekdayName.html +1 -1
  230. package/docs/types/types.WhereStatementForDream.html +1 -1
  231. package/docs/types/types.WhereStatementForDreamClass.html +1 -1
  232. package/docs/variables/index.DreamConst.html +1 -1
  233. package/docs/variables/index.ops.html +1 -1
  234. package/docs/variables/openapi.openapiPrimitiveTypes.html +1 -1
  235. package/docs/variables/openapi.openapiShorthandPrimitiveTypes.html +1 -1
  236. package/docs/variables/system.DreamAppAllowedPackageManagersEnumValues.html +1 -1
  237. package/docs/variables/system.primaryKeyTypes.html +1 -1
  238. package/package.json +2 -2
@@ -71,6 +71,7 @@ import softDeleteDream from '../internal/softDeleteDream.js';
71
71
  import sqlResultToDreamInstance from '../internal/sqlResultToDreamInstance.js';
72
72
  import Query from '../Query.js';
73
73
  import QueryDriverBase from './Base.js';
74
+ import { PasswordProviderPoolClient } from './helpers/pg/loadPgClient.js';
74
75
  import checkForNeedToBeRunMigrations from './helpers/kysely/checkForNeedToBeRunMigrations.js';
75
76
  import foreignKeyTypeFromPrimaryKey from './helpers/kysely/foreignKeyTypeFromPrimaryKey.js';
76
77
  import runMigration from './helpers/kysely/runMigration.js';
@@ -103,7 +104,10 @@ export default class KyselyQueryDriver extends QueryDriverBase {
103
104
  // Spread pg passthrough first; Dream's resolved fields follow and
104
105
  // always win (per-connection database name, TLS directive).
105
106
  ...(connectionConf.pg ?? {}),
107
+ Client: typeof connectionConf.password === 'function' ? PasswordProviderPoolClient : undefined,
106
108
  user: connectionConf.user || '',
109
+ // pg accepts a callback here and resolves it for each new client when
110
+ // the server requests password authentication.
107
111
  password: connectionConf.password || '',
108
112
  database: DreamApp.getOrFail().dbName(connectionName, dbConnectionType),
109
113
  host: connectionConf.host || 'localhost',
@@ -227,6 +231,9 @@ export default class KyselyQueryDriver extends QueryDriverBase {
227
231
  static get syncDialect() {
228
232
  return 'postgres';
229
233
  }
234
+ static async codegenPassword(password) {
235
+ return typeof password === 'function' ? await password() : password;
236
+ }
230
237
  /**
231
238
  * @internal
232
239
  *
@@ -10,7 +10,7 @@ import pg from 'pg';
10
10
  import { sql } from 'kysely';
11
11
  import DreamCLI from '../../cli/index.js';
12
12
  import { isPrimitiveDataType } from '../../db/dataTypes.js';
13
- import { LOCK_NOT_AVAILABLE, pgErrorType } from '../../db/errors.js';
13
+ import { DEADLOCK_DETECTED, LOCK_NOT_AVAILABLE, pgErrorType, UNIQUE_VIOLATION } from '../../db/errors.js';
14
14
  import DreamApp from '../../dream-app/index.js';
15
15
  import SortableScopeLockWaitTimedOut from '../../errors/SortableScopeLockWaitTimedOut.js';
16
16
  import camelize from '../../helpers/camelize.js';
@@ -222,6 +222,12 @@ export default class PostgresQueryDriver extends KyselyQueryDriver {
222
222
  return kyselyQuery.forUpdate(tableAlias);
223
223
  }
224
224
  static supportsAdvisoryTransactionLocks = true;
225
+ static isUniqueConstraintViolation(error) {
226
+ return pgErrorType(error) === UNIQUE_VIOLATION;
227
+ }
228
+ static isDeadlock(error) {
229
+ return pgErrorType(error) === DEADLOCK_DETECTED;
230
+ }
225
231
  /**
226
232
  * @internal
227
233
  *
@@ -326,7 +332,13 @@ export default class PostgresQueryDriver extends KyselyQueryDriver {
326
332
  keepAlive: true,
327
333
  keepAliveInitialDelayMillis: LOCK_CONNECTION_KEEPALIVE_INITIAL_DELAY_MS,
328
334
  });
329
- await client.connect();
335
+ try {
336
+ await client.connect();
337
+ }
338
+ catch (err) {
339
+ await client.end().catch(() => undefined);
340
+ throw err;
341
+ }
330
342
  return {
331
343
  async tryAcquire(namespace, index) {
332
344
  const result = await client.query('SELECT pg_try_advisory_lock($1::int4, $2::int4) AS locked', [
@@ -8,6 +8,28 @@
8
8
  // @ts-ignore
9
9
  import pg from 'pg';
10
10
  import DreamApp from '../../../../dream-app/index.js';
11
+ export class PasswordProviderPoolClient extends pg.Client {
12
+ connect(callback) {
13
+ if (callback) {
14
+ super.connect(err => {
15
+ if (err)
16
+ this.destroyConnectionStream();
17
+ callback(err);
18
+ });
19
+ }
20
+ else {
21
+ return super.connect().catch(err => {
22
+ this.destroyConnectionStream();
23
+ throw err;
24
+ });
25
+ }
26
+ }
27
+ destroyConnectionStream() {
28
+ // pg reports a rejected password provider without closing its socket.
29
+ ;
30
+ this.connection?.stream.destroy();
31
+ }
32
+ }
11
33
  export default async function loadPgClient({ connectionName, useSystemDb, }) {
12
34
  const dreamconf = DreamApp.getOrFail();
13
35
  const creds = dreamconf.dbCredentialsFor(connectionName)?.primary;
@@ -20,6 +42,12 @@ export default async function loadPgClient({ connectionName, useSystemDb, }) {
20
42
  user: creds.user,
21
43
  password: creds.password,
22
44
  });
23
- await client.connect();
45
+ try {
46
+ await client.connect();
47
+ }
48
+ catch (err) {
49
+ await client.end().catch(() => undefined);
50
+ throw err;
51
+ }
24
52
  return client;
25
53
  }
@@ -1,3 +1,4 @@
1
+ import { markSortableCascadeEdge, } from '../../decorators/field/sortable/helpers/sortableCascadeEdge.js';
1
2
  import loadDependentDestroyTree from './loadDependentDestroyTree.js';
2
3
  /**
3
4
  * @internal
@@ -51,6 +52,7 @@ export default async function destroyAssociatedRecords(dream, txn, options) {
51
52
  // each association in the loop below would trigger its own reload.
52
53
  let dreamWithAssociations = dream;
53
54
  let alreadyLoadedTree = false;
55
+ const associationMetadataMap = dreamClass['associationMetadataMap']();
54
56
  for (const associationName of dreamClass['dependentDestroyAssociationNames']()) {
55
57
  if (!alreadyLoadedTree && !cascadeLoaded(dreamWithAssociations, associationName)) {
56
58
  dreamWithAssociations = await loadDependentDestroyTree(dreamWithAssociations, txn, {
@@ -62,8 +64,13 @@ export default async function destroyAssociatedRecords(dream, txn, options) {
62
64
  }
63
65
  const loaded = dreamWithAssociations[associationName];
64
66
  const records = Array.isArray(loaded) ? loaded : loaded ? [loaded] : [];
67
+ const association = associationMetadataMap[associationName];
65
68
  for (const record of records) {
66
69
  markCascadeLoaded(record);
70
+ // a cascaded destroy does its sortable work without the scope lock, and
71
+ // which edge reached the record decides what it compacts
72
+ if (association)
73
+ markSortableCascadeEdge(record, association);
67
74
  if (reallyDestroy) {
68
75
  await record.txn(txn).reallyDestroy(options);
69
76
  }
@@ -1,14 +1,18 @@
1
1
  import performSortableDestroyWork from '../../decorators/field/sortable/helpers/performSortableDestroyWork.js';
2
2
  import prepareSortableFieldsForDestroy, { clearSortableFieldsForDestroy, } from '../../decorators/field/sortable/helpers/prepareSortableFieldsForDestroy.js';
3
+ import { consumeSortableCascadeEdge } from '../../decorators/field/sortable/helpers/sortableCascadeEdge.js';
3
4
  import DreamApp from '../../dream-app/index.js';
4
5
  import destroyAssociatedRecords from './destroyAssociatedRecords.js';
5
6
  import runHooksFor from './runHooksFor.js';
7
+ import withConcurrentWriterRetry from './withConcurrentWriterRetry.js';
6
8
  /**
7
9
  * @internal
8
10
  *
9
11
  * Destroys the Dream and any `dependent: 'destroy'` associations
10
12
  * within a transaction. If a transaction is passed, it will be used.
11
- * Otherwise, a new transaction will be created automatically.
13
+ * Otherwise, a new transaction will be created automatically, and the
14
+ * whole destroy is run again if that transaction is undone by a concurrent
15
+ * writer (see `withConcurrentWriterRetry`).
12
16
  * If any of the nested associations fails to destroy, then this
13
17
  * record will also fail to destroy. If skipHooks is true, model hooks
14
18
  * will be bypassed.
@@ -19,7 +23,7 @@ export default async function destroyDream(dream, txn = null, options) {
19
23
  }
20
24
  else {
21
25
  const dreamClass = dream.constructor;
22
- return await dreamClass.transaction(async (txn) => await destroyDreamWithTransaction(dream, txn, options));
26
+ return await withConcurrentWriterRetry(dreamClass, async (txn) => await destroyDreamWithTransaction(dream, txn, options));
23
27
  }
24
28
  }
25
29
  /**
@@ -31,6 +35,10 @@ export default async function destroyDream(dream, txn = null, options) {
31
35
  */
32
36
  async function destroyDreamWithTransaction(dream, txn, options) {
33
37
  const { cascade, reallyDestroy, skipHooks } = options;
38
+ // The association a `dependent: 'destroy'` cascade reached this record
39
+ // through, or null on a direct destroy. Consumed first, before a hook or the
40
+ // cascade below can re-enter this function for the same instance.
41
+ const cascadeEdge = consumeSortableCascadeEdge(dream);
34
42
  if (!skipHooks)
35
43
  await runHooksFor('beforeDestroy', dream, true, null, txn);
36
44
  // `preventDeletion` is fail-closed: a veto returns before the
@@ -51,19 +59,22 @@ async function destroyDreamWithTransaction(dream, txn, options) {
51
59
  await destroyAssociatedRecords(dream, txn, options);
52
60
  }
53
61
  // Sortable preparation runs as a phase after every user beforeDestroy hook,
54
- // never as a hook among them: the destroy's whole advisory key set — every
55
- // sortable field — is acquired in one sorted pass, and the row's real
56
- // position and scope values are read in one snapshot SELECT while the row
57
- // still exists. It sits after the cascade so this destroy does not hold the
58
- // scope lock across every descendant's destroy — true of the destroy itself,
59
- // not of the transaction it runs in: under `Query#destroy({ lock: true })`
60
- // the batch's whole key set is already held, taken before any row was
61
- // claimed. A destroy that skips hooks performs no compaction, and one a
62
- // cascaded descendant's hook has vetoed will not delete, so neither needs
63
- // locks or a snapshot.
62
+ // never as a hook among them: the row's real position and scope values are
63
+ // read in one snapshot SELECT while the row still exists, under the
64
+ // destroy's whole advisory key set on a direct destroy and under no scope
65
+ // lock on a cascaded one. It sits after the cascade so a direct destroy does
66
+ // not hold its scope locks across every descendant's destroy — true of the
67
+ // destroy itself, not of the transaction it runs in: under
68
+ // `Query#destroy({ lock: true })` the batch's whole key set is already held,
69
+ // taken before any row was claimed. A destroy that skips hooks performs no
70
+ // compaction, and one a cascaded descendant's hook has vetoed will not
71
+ // delete, so neither needs locks or a snapshot.
64
72
  let rowFoundBeforeDelete = true;
73
+ let compactedSortableFields = [];
65
74
  if (!skipHooks && !dream['_preventDeletion']) {
66
- rowFoundBeforeDelete = await prepareSortableFieldsForDestroy(dream, txn);
75
+ const preparation = await prepareSortableFieldsForDestroy(dream, txn, cascadeEdge);
76
+ rowFoundBeforeDelete = preparation.rowExists;
77
+ compactedSortableFields = preparation.sortableFields;
67
78
  }
68
79
  const rowsRemoved = await maybeDestroyDream(dream, txn, reallyDestroy);
69
80
  // `preventDeletion` can still arrive after the veto check above has passed:
@@ -95,7 +106,7 @@ async function destroyDreamWithTransaction(dream, txn, options) {
95
106
  // among them, so every user afterDestroy hook observes the compacted scope
96
107
  // regardless of where it was declared — the destroy-side counterpart of
97
108
  // performSortablePositionWork running before the after-save hooks.
98
- await performSortableDestroyWork(dream, txn);
109
+ await performSortableDestroyWork(dream, txn, compactedSortableFields);
99
110
  await runHooksFor('afterDestroy', dream, true, null, txn);
100
111
  await runHooksFor('afterDestroyCommit', dream, true, null, txn);
101
112
  }
@@ -1,15 +1,21 @@
1
+ import { SOFT_DELETE_SCOPE_NAME } from '../../decorators/class/SoftDelete.js';
1
2
  import acquireStabilizedSortableScopeLocks from '../../decorators/field/sortable/helpers/acquireStabilizedSortableScopeLocks.js';
2
3
  import filterQueryToScopeValues from '../../decorators/field/sortable/helpers/filterQueryToScopeValues.js';
3
- import { snapshotScopeValue } from '../../decorators/field/sortable/helpers/sortableSnapshot.js';
4
+ import { consumeSortableCascadeEdge, markSortableCascadeEdge, } from '../../decorators/field/sortable/helpers/sortableCascadeEdge.js';
5
+ import { readSortableSnapshots, snapshotScopeValue, } from '../../decorators/field/sortable/helpers/sortableSnapshot.js';
6
+ import associationUpdateQuery from './associations/associationUpdateQuery.js';
4
7
  import runHooksFor from './runHooksFor.js';
8
+ import withConcurrentWriterRetry from './withConcurrentWriterRetry.js';
5
9
  /**
6
10
  * @internal
7
11
  *
8
- * Destroys the Dream and any `dependent: 'destroy'` associations
12
+ * Undestroys the Dream and any `dependent: 'destroy'` associations
9
13
  * within a transaction. If a transaction is passed, it will be used.
10
- * Otherwise, a new transaction will be created automatically.
11
- * If any of the nested associations fails to destroy, then this
12
- * record will also fail to destroy. If skipHooks is true, model hooks
14
+ * Otherwise, a new transaction will be created automatically, and the
15
+ * whole undestroy is run again if that transaction is undone by a
16
+ * concurrent writer (see `withConcurrentWriterRetry`).
17
+ * If any of the nested associations fails to undestroy, then this
18
+ * record will also fail to undestroy. If skipHooks is true, model hooks
13
19
  * will be bypassed.
14
20
  */
15
21
  export default async function undestroyDream(dream, txn = null, options) {
@@ -18,33 +24,35 @@ export default async function undestroyDream(dream, txn = null, options) {
18
24
  }
19
25
  else {
20
26
  const dreamClass = dream.constructor;
21
- return await dreamClass.transaction(async (txn) => await undestroyDreamWithTransaction(dream, txn, options));
27
+ return await withConcurrentWriterRetry(dreamClass, async (txn) => await undestroyDreamWithTransaction(dream, txn, options));
22
28
  }
23
29
  }
24
30
  /**
25
31
  * @internal
26
32
  *
27
- * Given a transaction, applies the destroy query,
33
+ * Given a transaction, applies the undestroy query,
28
34
  * including cascading to child associations and
29
35
  * model hooks.
30
36
  */
31
37
  async function undestroyDreamWithTransaction(dream, txn, options) {
32
38
  const { cascade, skipHooks } = options;
39
+ // Whether a `dependent: 'destroy'` cascade reached this record, which decides
40
+ // whether its restore takes the scope lock. Consumed first, before a hook or
41
+ // the cascade below can re-enter this function for the same instance.
42
+ const cascaded = consumeSortableCascadeEdge(dream) !== null;
33
43
  if (!skipHooks) {
34
44
  await runHooksFor('beforeUpdate', dream, true, null, txn);
35
45
  }
36
- // The cascade runs ahead of the restore, matching `destroyDream`: this
37
- // record's own scope lock is taken inside `doUndestroyDream`, so a cascade
38
- // seated after it would hold that lock across every descendant's undestroy,
39
- // and a parent and its children would take their advisory keys in the
40
- // opposite order to the one the destroy side takes them in. The nested select
41
- // the cascade builds bypasses the soft-delete scope on this record's own
42
- // class (`undestroyOptions`), so it reaches the children while this record is
43
- // still deleted.
46
+ // The cascade runs ahead of the restore, matching `destroyDream`: a direct
47
+ // undestroy takes this record's own scope lock inside `doUndestroyDream`, so
48
+ // a cascade seated after it would hold that lock across every descendant's
49
+ // undestroy. The nested select the cascade builds bypasses the soft-delete
50
+ // scope on this record's own class (`undestroyOptions`), so it reaches the
51
+ // children while this record is still deleted.
44
52
  if (cascade) {
45
53
  await undestroyAssociatedRecords(dream, txn, options);
46
54
  }
47
- const restoredRowCount = await doUndestroyDream(dream, txn);
55
+ const restoredRowCount = await doUndestroyDream(dream, txn, { lock: !cascaded });
48
56
  // A restore of a row that is not deleted — a second `undestroy()`, a job
49
57
  // retry, or a record that was never destroyed, which `Query#undestroy` reaches
50
58
  // routinely since it lifts the soft-delete scope and walks every match —
@@ -68,9 +76,16 @@ async function undestroyDreamWithTransaction(dream, txn, options) {
68
76
  * is computed from, and would move one past itself on every repeat — a
69
77
  * permanent gap in the scope.
70
78
  *
79
+ * @param lock - whether to take each sortable field's scope lock around the
80
+ * position computation. A direct undestroy does; a cascaded one does not,
81
+ * since a cascade would otherwise hold one lock per distinct sort scope it
82
+ * restores into until the root transaction commits. Without the lock the
83
+ * `max(position) + 1` below can race a concurrent writer of the scope onto the
84
+ * same position, which the scope's deferrable unique constraint refuses at
85
+ * COMMIT; see `withConcurrentWriterRetry`.
71
86
  * @returns the number of rows restored: 1, or 0 when the row was not deleted
72
87
  */
73
- async function doUndestroyDream(dream, txn) {
88
+ async function doUndestroyDream(dream, txn, { lock }) {
74
89
  const updateStatement = txn.kyselyTransaction.updateTable(dream.table);
75
90
  let query = updateStatement
76
91
  .where(dream['_primaryKey'], '=', dream.primaryKeyValue())
@@ -79,16 +94,16 @@ async function doUndestroyDream(dream, txn) {
79
94
  const dreamClass = dream.constructor;
80
95
  const sortableFields = (dreamClass['sortableFields'] ?? []);
81
96
  // Undestroy has no sortable hook of its own — the position is recomputed
82
- // inline, below, before `afterUpdate` ever runs — so the scope lock is taken
83
- // here, around that recomputation. Without it the `max(position) + 1`
84
- // subquery races every other writer of the scope the record is being restored
85
- // into.
97
+ // inline, below, before `afterUpdate` ever runs — so a direct undestroy takes
98
+ // the scope lock here, around that recomputation.
86
99
  //
87
100
  // The scope this record is being restored into is the one its row physically
88
101
  // carries, not the one the instance was loaded with: another writer may have
89
- // moved it between scopes while it was soft deleted, which is what the
90
- // stabilized acquisition converges on.
91
- const { snapshots } = await acquireStabilizedSortableScopeLocks(dream, txn, sortableFields);
102
+ // moved it between scopes while it was soft deleted. The stabilized
103
+ // acquisition converges on that scope; the unlocked read simply reads it.
104
+ const { snapshots } = lock
105
+ ? await acquireStabilizedSortableScopeLocks(dream, txn, sortableFields)
106
+ : await readSortableSnapshots(dream, txn, sortableFields);
92
107
  sortableFields.forEach(sortableFieldMetadata => {
93
108
  const positionColumn = sortableFieldMetadata.positionField;
94
109
  const snapshot = snapshots.get(positionColumn);
@@ -113,22 +128,30 @@ async function doUndestroyDream(dream, txn) {
113
128
  /**
114
129
  * @internal
115
130
  *
116
- * Destroys all HasOne/HasMany associations on this
117
- * dream that are marked as `dependent: 'destroy'`
131
+ * Undestroys all HasOne/HasMany associations on this dream that are marked as
132
+ * `dependent: 'destroy'`: the walk `Query#undestroy` makes, with each record
133
+ * marked as reached by this cascade before its own undestroy runs, so that its
134
+ * restore takes no scope lock.
118
135
  */
119
136
  async function undestroyAssociatedRecords(dream, txn, options) {
120
137
  const dreamClass = dream.constructor;
121
138
  for (const associationName of dreamClass['dependentDestroyAssociationNames']()) {
122
- const associationMetadata = dreamClass['associationMetadataMap']()[associationName];
123
- const associatedClass = associationMetadata?.modelCB?.();
139
+ const association = dreamClass['associationMetadataMap']()[associationName];
140
+ const associatedClass = association?.modelCB?.();
124
141
  if (Array.isArray(associatedClass)) {
125
142
  // TODO: decide how to handle polymorphic associations with dependent: destroy
126
143
  // raise?
127
144
  }
128
- else {
129
- if (associatedClass?.['softDelete']) {
130
- await dream.txn(txn).undestroyAssociation(associationName, options);
131
- }
145
+ else if (association && associatedClass?.['softDelete']) {
146
+ const query = associationUpdateQuery(dream, txn, associationName, {
147
+ joinAndStatements: {},
148
+ bypassAllDefaultScopes: options.bypassAllDefaultScopes ?? false,
149
+ defaultScopesToBypass: (options.defaultScopesToBypass ?? []),
150
+ });
151
+ await query.removeDefaultScope(SOFT_DELETE_SCOPE_NAME).findEach(async (record) => {
152
+ markSortableCascadeEdge(record, association);
153
+ await record.txn(txn).undestroy(options);
154
+ });
132
155
  }
133
156
  }
134
157
  }
@@ -0,0 +1,64 @@
1
+ import DreamApp from '../../dream-app/index.js';
2
+ /**
3
+ * How many times a destroy or undestroy that opened its own transaction runs
4
+ * before a failure caused by a concurrent writer escapes. One such failure
5
+ * needs another writer of the same rows or sort scope during the operation;
6
+ * three in a row is contention past the point of retrying.
7
+ */
8
+ export const MAX_CONCURRENT_WRITER_ATTEMPTS = 3;
9
+ /**
10
+ * @internal
11
+ *
12
+ * Runs `callback` in a transaction of the model's own, and runs it again when
13
+ * that transaction is undone by a concurrent writer: a deadlock, or a unique
14
+ * constraint refusing the COMMIT.
15
+ *
16
+ * A cascaded destroy or undestroy does its sortable position work without the
17
+ * scope lock a direct one takes (see `@deco.Sortable`), so a concurrent writer
18
+ * of the same sort scope can leave two live rows sharing a position, which the
19
+ * scope's deferrable unique constraint refuses at COMMIT — or, when both
20
+ * writers reach COMMIT together, as a deadlock between their two checks. A
21
+ * cascade holding row locks can deadlock against another writer of the same
22
+ * rows mid-statement as well. Either way the database has undone the whole
23
+ * transaction, nothing has committed and no commit hook has run, so running
24
+ * the operation again reads the rows as the other writer left them. The last
25
+ * attempt's error is the adapter's own.
26
+ *
27
+ * A unique violation raised by a statement inside the callback is not a
28
+ * collision but a write that violates a constraint outright, and is not
29
+ * retried; only a refusal of the COMMIT itself is, which is why the callback
30
+ * having resolved is part of the test.
31
+ *
32
+ * Only a transaction Dream opens is retried. Inside a caller's transaction the
33
+ * failure is the caller's, and the caller retries the whole transaction.
34
+ *
35
+ * Saves are deliberately not run through this. When a direct save and a
36
+ * cascade collide, the loser is whichever transaction waits first at COMMIT,
37
+ * and that is usually the save, which is short and reaches COMMIT while the
38
+ * cascade is still working: it fails with the adapter's deadlock error after
39
+ * `deadlock_timeout`. That bounded, occasional failure is the accepted price of
40
+ * cascades holding no scope locks, and the save path's state restore
41
+ * (`saveDream`) already makes calling `save` again correct. The collision needs
42
+ * a position write into the same sort scope inside the cascade's window that
43
+ * picks the same position, which a cascade destroying a scope's owner never
44
+ * exposes since it writes no position at all.
45
+ */
46
+ export default async function withConcurrentWriterRetry(dreamClass, callback) {
47
+ const queryDriverClass = DreamApp.getOrFail().dbConnectionQueryDriverClass(dreamClass.prototype.connectionName);
48
+ for (let attempt = 1;; attempt++) {
49
+ let callbackResolved = false;
50
+ try {
51
+ return await dreamClass.transaction(async (txn) => {
52
+ const result = await callback(txn);
53
+ callbackResolved = true;
54
+ return result;
55
+ });
56
+ }
57
+ catch (error) {
58
+ const undoneByConcurrentWriter = queryDriverClass.isDeadlock(error) ||
59
+ (callbackResolved && queryDriverClass.isUniqueConstraintViolation(error));
60
+ if (!undoneByConcurrentWriter || attempt === MAX_CONCURRENT_WRITER_ATTEMPTS)
61
+ throw error;
62
+ }
63
+ }
64
+ }
@@ -1488,16 +1488,20 @@ export default class Dream {
1488
1488
  * with no gaps, accounting for the scopes specified in the
1489
1489
  * corresponding Sortable decorator.
1490
1490
  *
1491
- * Each sort scope is renumbered in its own transaction, under the same
1492
- * advisory lock every other position-mutating path takes on that scope, from
1493
- * a read of the scope taken inside that lock — so a concurrent create or
1494
- * destroy cannot make the renumbering land on positions it never read.
1491
+ * Each sort scope is renumbered in its own transaction, under the advisory
1492
+ * lock every direct position-mutating path takes on that scope, from a read
1493
+ * of the scope taken inside that lock — so a concurrent create or direct
1494
+ * destroy cannot make the renumbering land on positions it never read. A
1495
+ * cascaded destroy or undestroy takes no scope lock (see `@deco.Sortable`),
1496
+ * so one running at the same moment can still change a scope under `resort`;
1497
+ * a later `resort` repairs whatever that leaves.
1495
1498
  *
1496
1499
  * **Do not call `resort` from inside a transaction you own.** It opens those
1497
1500
  * transactions itself, on connections of its own, so it can neither join
1498
1501
  * yours nor roll back with it: its writes commit on their own. Worse, if your
1499
1502
  * transaction already holds the scope lock for a scope being renumbered — any
1500
- * position-mutating write to that scope earlier in the transaction takes it —
1503
+ * direct position-mutating write to that scope earlier in the transaction
1504
+ * takes it; a cascaded destroy or undestroy takes none —
1501
1505
  * `resort` waits on that lock from the outside, where no deadlock detector
1502
1506
  * can see the cycle, until the wait bound expires and it throws
1503
1507
  * `SortableScopeLockWaitTimedOut`.
@@ -8,8 +8,9 @@ export type SpawnOptions = Omit<NodeSpawnOptions, 'shell'> & {
8
8
  * Argv elements passed to the child as separate arguments. Defaults to `[]`.
9
9
  * Each entry is passed literally — shell meta-characters (`$`, backticks,
10
10
  * `&&`, spaces, etc.) inside any element are not interpreted by a shell.
11
- * This is the right shape for any caller that interpolates a path or
12
- * credential.
11
+ * This is the right shape for paths and other non-secret values. Pass
12
+ * credentials through the child's environment so they do not appear in
13
+ * the process command line or a refused-spawn error.
13
14
  */
14
15
  args?: string[];
15
16
  };
@@ -103,10 +104,10 @@ export default class DreamCLI {
103
104
  * (package.json scripts, CLI argv, scaffold templates) — never from
104
105
  * runtime request input or any other untrusted external source.
105
106
  *
106
- * Argv-form is the safe choice for any caller that interpolates a
107
- * config value, path, or credential: a database password containing
108
- * `$` or backticks is passed literally to the child rather than
109
- * interpreted by a shell.
107
+ * Argv-form passes config values and paths literally to the child,
108
+ * without interpreting shell metacharacters. Credentials belong in
109
+ * the child's environment, since argv is visible in process listings
110
+ * and in the refused-spawn error.
110
111
  *
111
112
  * ## Layered defense
112
113
  *
@@ -1,4 +1,5 @@
1
1
  export declare const CHECK_VIOLATION = "CHECK_VIOLATION";
2
+ export declare const DEADLOCK_DETECTED = "DEADLOCK_DETECTED";
2
3
  export declare const FOREIGN_KEY_VIOLATION = "FOREIGN_KEY_VIOLATION";
3
4
  export declare const INTEGRITY_CONSTRAINT_VIOLATION = "INTEGRITY_CONSTRAINT_VIOLATION";
4
5
  export declare const INVALID_INPUT_SYNTAX = "INVALID_INPUT_SYNTAX";
@@ -19,6 +20,7 @@ export declare const PG_ERRORS: {
19
20
  readonly '23001': "RESTRICT_VIOLATION";
20
21
  readonly '23503': "FOREIGN_KEY_VIOLATION";
21
22
  readonly '55P03': "LOCK_NOT_AVAILABLE";
23
+ readonly '40P01': "DEADLOCK_DETECTED";
22
24
  };
23
25
  type PgErrorType = (typeof PG_ERRORS)[keyof typeof PG_ERRORS];
24
26
  export declare function pgErrorType(error: any): PgErrorType | null;
@@ -65,7 +65,10 @@ export default class Decorators<TD extends typeof Dream, T extends Dream = Insta
65
65
  /**
66
66
  * Marks an integer column as a sortable position: Dream keeps the positions of
67
67
  * every record in a sort scope contiguous, starting at 1, as records are
68
- * created, moved, destroyed and undestroyed.
68
+ * created, moved, destroyed and undestroyed. A concurrent write racing a
69
+ * cascaded destroy or undestroy, under **Cascaded destroy and undestroy**
70
+ * below, is the one thing that can leave a scope with a gap;
71
+ * `Model.resort('position')` closes it.
69
72
  *
70
73
  * ```ts
71
74
  * class Post extends ApplicationModel {
@@ -92,8 +95,9 @@ export default class Decorators<TD extends typeof Dream, T extends Dream = Insta
92
95
  * then `await post.update({ position: 1 })`.
93
96
  *
94
97
  * Sortable requires a query driver that supports advisory transaction locks —
95
- * the `PostgresQueryDriver` does — since every position write serializes the
96
- * writers of its sort scope on one. This concurrency guarantee first shipped
98
+ * the `PostgresQueryDriver` does — since a position write serializes the
99
+ * writers of its sort scope on one, apart from the cascades described below.
100
+ * This concurrency guarantee first shipped
97
101
  * in Dream 2.28.0 and begins only after every writer is running a lock-aware
98
102
  * release. During the first rolling deployment, older processes take no
99
103
  * advisory locks and can still race the upgraded processes.
@@ -101,8 +105,10 @@ export default class Decorators<TD extends typeof Dream, T extends Dream = Insta
101
105
  * All participating Dream writers of one hot scope serialize. Ordinary saves
102
106
  * and destroys with `skipHooks`, direct query writes, raw SQL, and older
103
107
  * pre-lock Dream processes bypass Sortable maintenance and do not participate
104
- * in its locking protocol. Undestroy still performs stabilized Sortable
105
- * maintenance and acquires scope locks with `skipHooks: true`; locked query
108
+ * in its locking protocol; a cascaded destroy or undestroy performs its
109
+ * maintenance but does not participate either. A direct undestroy still
110
+ * performs stabilized Sortable maintenance and acquires scope locks with
111
+ * `skipHooks: true`; locked query
106
112
  * batches likewise acquire their scope locks during preflight, before any
107
113
  * per-record callbacks, even when those callbacks skip hooks. A waiter that
108
114
  * enters the protocol holds a pooled connection until the holder finishes or
@@ -111,6 +117,40 @@ export default class Decorators<TD extends typeof Dream, T extends Dream = Insta
111
117
  * inside the lock window short, and avoid cross-region database latency for
112
118
  * hot scopes.
113
119
  *
120
+ * **Cascaded destroy and undestroy take no scope lock.** A record destroyed or
121
+ * undestroyed because its owner was — reached through a `dependent: 'destroy'`
122
+ * association, or through the undestroy that restores one — does its position
123
+ * work without the advisory lock, so a cascade holds no lock per sort scope it
124
+ * touches, however many scopes that is. Calling `destroy()` or `undestroy()`
125
+ * on a record yourself is unchanged. Where the cascade is destroying the owner
126
+ * of a sort scope — a `HasMany` whose foreign key is one of the field's scope
127
+ * columns, with no condition and not `through`, not polymorphic, whose target
128
+ * is not an STI child and declares no default scope other than
129
+ * `@deco.SoftDelete` — every row of that scope goes with it, and the cascade
130
+ * neither reads nor compacts it. Any other cascaded destroy compacts the
131
+ * scope it vacates, and every cascaded undestroy appends at the end of its
132
+ * scope, exactly as the direct operations do, only without the lock.
133
+ *
134
+ * Without the lock, a writer of the same sort scope during the cascade — a
135
+ * create, a move, a destroy, a `resort` — is not kept out, which costs one of
136
+ * two things. A gap: positions stay unique and correctly ordered, and
137
+ * `Model.resort('position')` closes it. Or two live rows sharing a position,
138
+ * which the deferrable unique constraint refuses when the later of the two
139
+ * transactions reaches COMMIT — as a unique violation, or as a deadlock when
140
+ * both reach it together — so nothing half-done commits and no commit hook
141
+ * runs. A `destroy()` or `undestroy()` whose transaction Dream opened runs the
142
+ * whole operation again on such a refusal, up to three times, before letting
143
+ * the adapter's error escape. Inside a transaction you opened, that error is
144
+ * your COMMIT failing: retry the transaction from the beginning, as for a
145
+ * deadlock. The other writer can lose the same race and fail at its own
146
+ * COMMIT instead, an ordinary `create` or `update` included, and Dream does
147
+ * not run those again: a bounded, occasional failed request in one contended
148
+ * scope is the deliberate price of cascades that hold no locks, where the
149
+ * lock count would otherwise be set by the data. A sort scope with a
150
+ * nullable column has no such backstop unless its constraint is declared
151
+ * `NULLS NOT DISTINCT`, since a plain unique constraint never sees two NULLs
152
+ * as equal.
153
+ *
114
154
  * `SortableScopeDidNotStabilize` and `SortableScopeLockWaitTimedOut` are the
115
155
  * expected Dream errors an application may choose to retry. Database deadlocks
116
156
  * remain native adapter errors (for example PostgreSQL code `40P01` or MySQL
@@ -0,0 +1,39 @@
1
+ import Dream from '../../../../Dream.js';
2
+ import { SortableFieldConfig } from '../Sortable.js';
3
+ import { SortableCascadeEdge } from './sortableCascadeEdge.js';
4
+ /**
5
+ * @internal
6
+ *
7
+ * Whether a cascade reaching this record through `edge` reaches, and so
8
+ * destroys, every live row of the sortable field's sort scope. Such a scope is
9
+ * left with no survivor, so
10
+ * the compaction a destroy performs would close a vacancy nothing can observe,
11
+ * and the cascade skips it along with the snapshot read it needs. Every clause
12
+ * fails closed: a shape not positively recognized here compacts as a direct
13
+ * destroy does, unlocked, which costs statements and never a lock.
14
+ *
15
+ * The edge is the `dependent: 'destroy'` association the cascade destroyed
16
+ * through, the only kind the caller passes, and the answer is about that edge
17
+ * alone: another dependent edge of the same owner may reach the rows this one
18
+ * does not, and this fails closed rather than look for it.
19
+ *
20
+ * 1. The edge is a `HasMany`. A `HasOne` reaches one row of a scope that may
21
+ * hold others.
22
+ * 2. The edge is not polymorphic, is not a `through` association, and carries
23
+ * no `and`, `andNot`, `andAny`, `selfAnd` or `selfAndNot`. Each of those
24
+ * reaches a subset of the rows sharing the foreign key, and the rest can
25
+ * stay live: a soft-deleted owner's row remains, so no foreign key forces
26
+ * them out, and they keep their positions in a scope the cascade did not
27
+ * empty. (A hard destroy under a database foreign key would have refused to
28
+ * leave them, and compacting there is the harmless direction to be wrong in.)
29
+ * 3. The target is not an STI child, whose rows share a sort scope with its
30
+ * siblings' rows.
31
+ * 4. The target declares no default scope other than SoftDelete, since any
32
+ * other hides rows from the cascade's own load. A soft-deleted row holds no
33
+ * position and so is in no sort scope to begin with.
34
+ * 5. The edge's foreign key is one of the field's scope columns: every row the
35
+ * cascade destroys carries the owner's key, and so does every row of any sort
36
+ * scope that includes that column. Further scope members only partition that
37
+ * same set.
38
+ */
39
+ export default function cascadeReachesEveryRowInSortScope(dream: Dream, config: SortableFieldConfig, edge: SortableCascadeEdge): boolean;