Làm thế nào để viết bài kiểm tra đơn vị kiểm tra bất biến đồng thời

Question

Có những câu hỏi khác về vấn đề này, nhưng tôi đang cố gắng tìm cách tiếp cận kiểm tra đơn vị một cái gì đó như thế này:

public class Semaphore extends Lock { 
     private AtomicInteger semaphore = new AtomicInteger(0); 
     public synchronized boolean available() { 
       return semaphore.intValue() == 0; 
     } 
     public synchronized void acquire() { 
      semaphore.incrementAndGet(); 

     } 
     public synchronized void release() { 
      semaphore.decrementAndGet(); 
     } 
    } 

Đây là cơ chế dệt ở nhà khóa của tôi (chỉ vì mục đích học tập). Làm thế nào tôi sẽ kiểm tra sự an toàn thread này? Tôi biết rằng không có đảm bảo khi nói đến đơn vị kiểm tra mã đồng thời, nhưng làm thế nào tôi thậm chí sẽ đi về viết một bài kiểm tra đơn vị mà ATTEMPTS để kiểm tra các bất biến rõ ràng vốn có trong cơ chế khóa này?

Answer 1

Tôi đoán tôi sẽ trả lời câu hỏi của riêng mình vì tôi đã thực hiện một số nghiên cứu. Có một khuôn khổ tuyệt vời được gọi là MultithreadedTC. Nó cho phép bạn thiết lập các thử nghiệm như vậy:

public class SafeSemaphoreTest extends MultithreadedTestCase { 

    private SafeSemaphore semaphore; 
    AtomicInteger ai = new AtomicInteger(0); 

    @Override 
    public void initialize() { 
     semaphore = new SafeSemaphore(); 
    } 


    public void thread1() throws InterruptedException { 

     assertTick(0); 

     semaphore.acquire(); 
     waitForTick(2); 
     assertTick(2); 

     semaphore.acquire(); 
     assertEquals(semaphore.getValue(), 2); 
     assertEquals(semaphore.getValue()==3, false); 
     semaphore.release(); 
     semaphore.release(); 

    } 

    public void thread2() throws InterruptedException { 
     waitForTick(1); 
     assertTick(1); 
     assertEquals(semaphore.available(), false); 
     waitForTick(3); 
     assertTick(3); 
     assertEquals(semaphore.available(), true); 

    } 

} 

trong đó waitForTick (int) gọi khối chuỗi hiện tại cho đến khi đạt được dấu. Thậm chí có một số phát triển để làm cho điều này trở nên hiện đại hơn một chút để tích hợp JUnit tốt hơn: http://janvanbesien.blogspot.com/2009/06/modernizing-multithreadedtc-junit-4.html