STMX は高パフォーマンスの Common Lisp ライブラリの構成可能なトランザクション メモリ (TM)、同時実行プログラミングを簡略記述し、理解することを目指した同時制御メカニズムです。伝統的なロック ベースのプログラミングではなく 1 つの原子メモリ トランザクション プログラム: メモリ トランザクションはコミットが正常に返る場合。場合は、エラー信号、それがロールバックされます。トランザクション安全に並列に実行できる、別のスレッドでは、矛盾が生じた場合、最初から再実行または一貫下読み取りを保証できない場合は、トランザクションの結果は他のスレッドによってコミットされるまで表示されません。これは、デッドロック、失敗した場合、自動ロールバックからの自由を与えるし、粒度と同時実行の間の緊張を解決することを目指しています。