この節は保証並列性を実装する戦略について述べる. 特定のクラスにおけるオブジェクトの使用についての 大域的な情報に依存しない, ベースライン(すなわち 最悪のケース)の実装方式に主に焦点を当てる. 全体のソースコードを大域的に検査することによる いくつかの改良は可能であるが, この論文の範囲ではない.