Bí danh đối với dữ liệu địa lý có thể thay đổi không được phép

Question

Tôi mới sử dụng D và tôi đang viết một máy chủ đa luồng đơn giản để thực hành. Một mô hình phổ biến để bắt đầu các chuỗi xử lý máy khách trong C là chuyển qua bộ mô tả tệp của socket mới được chấp nhận() vào pthread_create(), nhưng std.concurrency.spawn() của D sẽ không cho phép tôi truyền Socket vì nó có thể thay đổi được và có thể truy cập bằng hai luồng. Tất nhiên, tôi không thực sự muốn một ổ cắm bất biến (đó là lý do tại sao tôi không thực sự muốn đúc nó trong chủ đề chính trừ khi tôi phải) - Tôi muốn vượt qua một biến thể trong và có nó đi ra khỏi phạm vi trong chủ đề chính. Làm thế nào tôi sẽ đi về điều này? Nên (/ có thể) tôi sử dụng tid.send(s) để cho các chủ đề sử dụng các ổ cắm? Đối với một số lý do mà có vẻ rất clunky với tôi.

Mã của tôi bây giờ là:

void main() { 
    Socket listener = new TcpSocket; 
    ... 
    for (;;) { 
     Socket s = listener.accept(); 
     scope(exit) s.close(); 

     auto tid = spawn(&clientHandler, s); 
    } 
} 

void clientHandler(Socket s) { 
    ... 
} 

nào sản xuất: Lỗi: tĩnh khẳng định "biệt hiệu để dữ liệu thread-địa phương có thể thay đổi không được phép." ... khởi tạo từ đây: đẻ trứng! (Socket)

Answer 1

bạn cần phải cast socket để chia sẻ và ngược lại trong ClientHandler

auto tid = spawn(&clientHandler, cast(shared) s); 

void clientHandler(shared Socket s) { 
    Socket sock = cast(Socket)s; 
    scope(exit)sock.close(); 
} 

lý do cho điều này là tất cả các biến địa phương được ngầm sợi địa phương trừ khi xác định shared, và chỉ có tài liệu tham khảo để chia sẻ hoặc bất biến lon được chuyển làm đối số cho spawn (hoặc send) trong khi các công cụ được truyền theo giá trị (cấu trúc không có tham chiếu và nguyên thủy) là tốt

cũng nên đặt trình xử lý gần giống như việc thực hiện hiện tại của bạn. newl y spawned thread có cơ hội chạy

Answer 2

Vấn đề ở đây không phải là socket, mà là một biến cục bộ. Đó là clientHandler, có khai báo mà bạn không hiển thị, nhưng rõ ràng nó là thread-local như nó nói trong thông báo lỗi, khi cần có một cái mới cho mỗi socket được chấp nhận. Gợi ý là từ 'bí danh', trong đó đề cập đến toán tử &.