كتاب "التزامن جافا في الممارسة"

مقتطفات. سلامة الخيط

• لا تشارك متغير الحالة في جميع سلاسل الرسائل
• جعل متغير الدولة غير قابل للتغيير ؛
• استخدم مزامنة الحالة في كل مرة تصل فيها إلى متغير الحالة.

عند تصميم فئات آمنة لمؤشر الترابط ، ستكون الحلول التقنية الجيدة الموجهة للكائنات: التغليف ، وقابلية التغيير ، والمواصفات الواضحة للثوابين هي المساعدين الخاصين بك.

2.1. ما هي سلامة الخيط؟

تعد الفئة آمنة لمؤشر الترابط إذا تصرفت بشكل صحيح أثناء الوصول من مؤشرات ترابط متعددة ، بغض النظر عن كيفية جدولة هذه الترابط أو تشذيرها من قبل بيئة العمل ، وبدون مزامنة إضافية أو تنسيق آخر من جانب رمز الاستدعاء.

تعمل الفئات الآمنة لمؤشر الترابط على تغليف أي مزامنة ضرورية بنفسها ولا تحتاج إلى مساعدة العميل.

2.1.1. مثال: servlet بدون دعم الحالة الداخلية

@ThreadSafe
public class StatelessFactorizer implements Servlet {
      public void service(ServletRequest req, ServletResponse resp) {
            BigInteger i = extractFromRequest(req);
            BigInteger[] factors = factor(i);
            encodeIntoResponse(resp, factors);
      }
}

الكائنات التي لا تدعم الحالة الداخلية تكون دائمًا في أمان.

2.2. الذرية

@NotThreadSafe
public class UnsafeCountingFactorizer implements Servlet {
      private long count = 0;

      public long getCount() { return count; }

      public void service(ServletRequest req, ServletResponse resp) {
            BigInteger i = extractFromRequest(req);
            BigInteger[] factors = factor(i);
            ++count;
            encodeIntoResponse(resp, factors);
      }
}

2.2.1. شروط السباق

2.2.2. مثال: شروط السباق في التهيئة البطيئة

@NotThreadSafe
public class LazyInitRace {
      private ExpensiveObject instance = null;

      public ExpensiveObject getInstance() {
            if (instance == null)
                instance = new ExpensiveObject();
            return instance;
      }
}

2.2.3. الإجراءات المركبة

تكون العمليات A و B ذرية إذا ، من وجهة نظر عملية تنفيذ الخيط A ، تم تنفيذ العملية B بالكامل بواسطة خيط آخر أو حتى لم يتم تنفيذها جزئيًا.

@ThreadSafe
public class CountingFactorizer implements Servlet {
      private final AtomicLong count = new AtomicLong(0);

      public long getCount() { return count.get(); }

      public void service(ServletRequest req, ServletResponse resp) {
            BigInteger i = extractFromRequest(req);
            BigInteger[] factors = factor(i);
            count.incrementAndGet();
            encodeIntoResponse(resp, factors);
      }
}

استخدم ، حيثما كان ذلك مناسبًا ، كائنات خيطية آمنة موجودة ، مثل AtomicLong ، للتحكم في حالة فصلك. من الممكن الحفاظ على الحالات المحتملة للكائنات الآمنة ذات الصلة بالخيط وانتقالها إلى حالات أخرى والتحقق من سلامة الخيط من متغيرات الحالة العشوائية.