ネイティブ プロシージャの ATOMIC ブロック
適用対象: SQL Server Azure SQL Database Azure SQL Managed Instance
BEGIN ATOMIC は ANSI SQL 標準の一部です。 SQL Server は、ネイティブ コンパイル ストアド プロシージャの最上位だけでなく、ネイティブ コンパイル、スカラー ユーザー定義関数について、ATOMIC ブロックをサポートしています。 詳細については、「 インメモリ OLTP でのユーザー定義のスカラー関数」を参照してください。
各ネイティブ コンパイル ストアド プロシージャには、Transact-SQL ステートメントが正確に 1 ブロックずつ含まれています。 これが ATOMIC ブロックです。
ネイティブでない、解釈された Transact-SQL ストアド プロシージャおよびアドホック バッチでは、ATOMIC ブロックはサポートされません。
ATOMIC ブロックはトランザクション内部で (自動的に) 実行されます。 ブロック内のすべてのステートメントが成功するか、またはブロック全体がブロックの先頭で作成したセーブポイントまでロールバックされます。 また、ATOMIC ブロックのセッション設定は固定されています。 同じ ATOMIC ブロックを異なる設定のセッションで実行しても、現在のセッション設定とは関係なく動作は同じになります。
トランザクションとエラー処理
バッチによって BEGIN TRANSACTION ステートメントが実行されてトランザクションがアクティブな状態になっているため、トランザクションがセッションに存在する場合、ATOMIC ブロックの処理を開始するとトランザクションにセーブポイントが作成されます。 ブロックが例外なしで終了すると、ブロックに対して作成されたセーブポイントがコミットされますが、セッション レベルでコミットされるまでトランザクションはコミットされません。 ブロックで例外がスローされるとブロックの結果はロールバックされますが、例外によってトランザクションの失敗が決定的にならない限り、セッション レベルのトランザクションは続行されます。 たとえば、書き込みの競合によってトランザクションの失敗は決定的になりますが、型キャスト エラーの場合はそうではありません。
セッションにアクティブなトランザクションがない場合、 BEGIN ATOMIC は新しいトランザクションを開始します。 ブロックのスコープ外でスローされる例外が存在しない場合、トランザクションはブロックの末尾でコミットされます。 ブロックで例外がスローされた場合 (つまり、ブロック内で例外をキャッチして処理できなかった場合)、トランザクションはロールバックされます。 1 つの ATOMIC ブロック (1 つのネイティブ コンパイル ストアド プロシージャ) 全体に及ぶトランザクションの場合、明示的に BEGIN TRANSACTION ステートメントと、 COMMIT または ROLLBACK ステートメントを作成する必要はありません。
すべてのネイティブ コンパイル ストアド プロシージャは、エラー処理用に TRY、 CATCH、 THROW の各構造をサポートします。 RAISERROR はサポートされません。
次の例は、ATOMIC ブロックおよびネイティブ コンパイル ストアド プロシージャでのエラー処理動作を示しています。
-- sample table
CREATE TABLE dbo.t1 (
c1 int not null primary key nonclustered
)
WITH (MEMORY_OPTIMIZED=ON)
GO
-- sample proc that inserts 2 rows
CREATE PROCEDURE dbo.usp_t1 @v1 bigint not null, @v2 bigint not null
WITH NATIVE_COMPILATION, SCHEMABINDING, EXECUTE AS OWNER
AS
BEGIN ATOMIC
WITH (TRANSACTION ISOLATION LEVEL = SNAPSHOT, LANGUAGE = N'us_english', DELAYED_DURABILITY = ON)
INSERT dbo.t1 VALUES (@v1)
INSERT dbo.t1 VALUES (@v2)
END
GO
-- insert two rows
EXEC dbo.usp_t1 1, 2
GO
-- verify we have no active transaction
SELECT @@TRANCOUNT
GO
-- verify the rows 1 and 2 were committed
SELECT c1 FROM dbo.t1
GO
-- execute proc with arithmetic overflow
EXEC dbo.usp_t1 3, 4444444444444
GO
-- expected error message:
-- Msg 8115, Level 16, State 0, Procedure usp_t1
-- Arithmetic overflow error converting bigint to data type int.
-- verify we have no active transaction
SELECT @@TRANCOUNT
GO
-- verify rows 3 was not committed; usp_t1 has been rolled back
SELECT c1 FROM dbo.t1
GO
-- start a new transaction
BEGIN TRANSACTION
-- insert rows 3 and 4
EXEC dbo.usp_t1 3, 4
-- verify there is still an active transaction
SELECT @@TRANCOUNT
-- verify the rows 3 and 4 were inserted
SELECT c1 FROM dbo.t1 WITH (SNAPSHOT)
ORDER BY c1
-- catch the arithmetic overflow error
BEGIN TRY
EXEC dbo.usp_t1 5, 4444444444444
END TRY
BEGIN CATCH
PRINT N'Error occurred: ' + error_message()
END CATCH
-- verify there is still an active transaction
SELECT @@TRANCOUNT
-- verify rows 3 and 4 are still in the table, and row 5 has not been inserted
SELECT c1 FROM dbo.t1 WITH (SNAPSHOT)
ORDER BY c1
COMMIT
GO
-- verify we have no active transaction
SELECT @@TRANCOUNT
GO
-- verify rows 3 and 4 has been committed
SELECT c1 FROM dbo.t1
ORDER BY c1
GO
メモリ最適化テーブルに固有の次のエラー メッセージは、トランザクションの失敗が決定的であることを示しています。 ATOMIC ブロックのスコープ内で、10772、41301、41302、41305、41325、41332、41333、または 41839 のエラーが発生した場合、トランザクションは中止されます。
セッションの設定
ATOMIC ブロックのセッション設定は、ストアド プロシージャのコンパイル時に固定されます。 一部の設定は BEGIN ATOMIC で指定できますが、その他の設定は常に同じ値に固定されます。
BEGIN ATOMICでは以下のオプションは必須です。
必須の設定 | 説明 |
---|---|
TRANSACTION ISOLATION LEVEL | サポートされる値は SNAPSHOT、 REPEATABLEREAD、 SERIALIZABLEです。 |
LANGUAGE | 日付と時刻の形式とシステム メッセージが決まります。 sys.syslanguages (Transact-SQL) のすべての言語とエイリアスがサポートされます。 |
次の設定は省略可能です。
省略可能な設定 | 説明 |
---|---|
DATEFORMAT | SQL Server のすべての日付形式がサポートされています。 指定した場合、DATEFORMAT は LANGUAGEに関連付けられた既定の日付形式をオーバーライドします。 |
DATEFIRST | 指定した場合、DATEFIRST は LANGUAGEに関連付けられた既定をオーバーライドします。 |
DELAYED_DURABILITY | サポートされている値は、 OFF と ONです。 によるトランザクションのコミットには、完全持続性、既定値、または遅延持続性が適用されます。詳細については、「トランザクションの持続性の制御」を参照してください。 |
次の SET オプションには、すべてのネイティブ コンパイル ストアド プロシージャのすべての ATOMIC ブロックについて同じシステム既定値が設定されます。
SET オプション | ATOMIC ブロックのシステム既定値 |
---|---|
ANSI_NULLS | ON |
ANSI_PADDING | ON |
ANSI_WARNING | ON |
ARITHABORT | ON |
ARITHIGNORE | OFF |
CONCAT_NULL_YIELDS_NULL | ON |
IDENTITY_INSERT | OFF |
NOCOUNT | ON |
NUMERIC_ROUNDABORT | OFF |
QUOTED_IDENTIFIER | ON |
ROWCOUNT | 0 |
TEXTSIZE | 0 |
XACT_ABORT | OFF 処理できない例外により ATOMIC ブロックはロールバックされますが、そのエラーが致命的でない限りトランザクションは中止されません。 |