Keisuke Ishigami, Naoki Kuroda, Daiki Kubo, Ryoo Karaki, Masahiro Yamazaki và Ryotaro Suzuki sẽ góp mặt trên sân khấu tại “kèo bóng đá tây ban nha Conference 2025”

kèo bóng đá tây ban nha Conference là hội nghị dành cho người sử dụng ngôn ngữ lập trình "kèo bóng đá tây ban nha"

・Tiêu đề bài thuyết trình
Đi sâu vào cách triển khai Bảng Thụy Sĩ!

・Loa
Công ty TNHH AJA Keisuke Ishigami

・Ngày và giờ
Chủ nhật ngày 28 tháng 9 15:30 - 15:50 | Phòng 2

・Chi tiết
Trong kèo bóng đá tây ban nha 124, việc triển khai bản đồ nội bộ đã được thay đổi để dựa trên Bảng Thụy Sĩ Trong phần này, chúng ta sẽ thảo luận chi tiết về cách triển khai mới này cùng với mã nguồn thực tế


Swiss Table là một phương pháp sử dụng xử lý song song SIMD theo nhóm Chúng ta sẽ thảo luận về cách chia giá trị băm thành H1 (57 bit trên) và H2 (7 bit dưới) và sử dụng H2 để khớp song song 8 vị trí trong khi xem mã thực tế Đặc biệt, các kỹ thuật thao tác bit thú vị trong phương pháp ctrlGroupmatchH2 rất đáng mở rộng tầm mắt
https://githubcom/golang/kèo bóng đá tây ban nha/blob/53af292aed21c3f6ea75d16e5b25f660b2c028fb/src/internal/runtime/maps/groupgo#L157-L172


Chúng ta cũng sẽ thảo luận về cách phản ánh các yêu cầu cụ thể của kèo bóng đá tây ban nha trong quá trình triển khai Đối với các bản đồ nhỏ có 8 phần tử trở xuống, tối ưu hóa bản đồ nhỏ giúp quản lý trực tiếp chúng trong một nhóm mà không cần sử dụng cấu trúc bảng,
https://githubcom/golang/kèo bóng đá tây ban nha/blob/53af292aed21c3f6ea75d16e5b25f660b2c028fb/src/internal/runtime/maps/mapgo#L267-L283


Thiết kế trì hoãn việc phân bổ khu vực cho đến khi bản đồ thực sự được sử dụng, phát hiện truy cập song song bằng cách sử dụng chuyển đổi XOR, vv
https://githubcom/golang/kèo bóng đá tây ban nha/blob/53af292aed21c3f6ea75d16e5b25f660b2c028fb/src/internal/runtime/maps/mapgo#L489-L491


Có thể thấy sự tối ưu hóa thực tế xuyên suốt Chúng tôi cũng sẽ giải thích chi tiết cách triển khai phức tạp giúp giữ các tham chiếu đến các bảng cũ nhằm tuân thủ ngữ nghĩa của đặc tả ngôn ngữ kèo bóng đá tây ban nha về ``cho phép thay đổi bản đồ ngay cả trong quá trình lặp''


Ngoài ra, chúng tôi sẽ đề cập đến chiến lược tăng trưởng gia tăng bằng Băm mở rộng Thiết kế ngăn chặn sự suy giảm hiệu suất với các bản đồ lớn bằng cách chia các bảng riêng lẻ và phát triển chúng, thay vì xây dựng lại toàn bộ bản đồ cùng một lúc Chúng ta sẽ tìm hiểu cơ chế quản lý thư mục sử dụng GlobalDepth và localDepth cũng như quá trình xử lý phức tạp khi chia bảng theo phương thức installTableSplit thực tế
https://githubcom/golang/kèo bóng đá tây ban nha/blob/53af292aed21c3f6ea75d16e5b25f660b2c028fb/src/internal/runtime/maps/mapgo#L359-L391


Qua buổi học này, tôi hy vọng sẽ mang đến cơ hội hiểu về Bảng Thụy Sĩ và tìm hiểu cách triển khai bảng này

=====================

・Tiêu đề bài thuyết trình
Cơ chế mô-đun và các biện pháp bảo mật học được từ các cuộc tấn công chuỗi cung ứng

・Loa
Văn phòng năng suất dành cho nhà phát triển Naoki Kuroda

・Ngày và giờ
27/09 (Thứ 7) 11:10 - 11:30 | Phòng1

・Chi tiết
Vào tháng 2 năm 2025, một cuộc tấn công chuỗi cung ứng tinh vi đã được phát hiện trong hệ sinh thái ngôn ngữ kèo bóng đá tây ban nha vốn đã không bị phát hiện trong ba năm
Gói độc hại có tên githubcom/boltdb-kèo bóng đá tây ban nha/bolt đã đánh lỗi BoltDB hợp pháp (githubcom/boltdb/bolt) và lạm dụng cơ chế bộ nhớ đệm của kèo bóng đá tây ban nha Module Proxy
Kẻ tấn công đã lợi dụng đặc điểm của kèo bóng đá tây ban nha Module Proxy là khi một mô-đun được lưu vào bộ nhớ đệm, về nguyên tắc, nó có thể được sử dụng vĩnh viễn và tiếp tục phân phối các phiên bản độc hại thông qua proxy trong khi viết lại thẻ GitHub để che giấu dấu vết của chúng


Trong khi điều tra sự cố này, chúng tôi đã phát hiện ra rất nhiều điều về hoạt động bên trong của Mô-đun kèo bóng đá tây ban nha Vai trò của tệp gosum, mối quan hệ giữa Proxy mô-đun và cơ sở dữ liệu tổng kiểm tra cũng như các công cụ như kèo bóng đá tây ban nha mod verify và govulncheck


Tôi đã tận dụng cơ hội này để thực sự sử dụng những công cụ này để xác minh các phần phụ thuộc và bắt đầu tích cực sử dụng chúng trong công việc hàng ngày của mình như một biện pháp bảo mật


Vì vậy, qua trải nghiệm này, tôi mong muốn cung cấp cho các bạn những kiến thức thực tế để hiểu đúng cách thức hoạt động của kèo bóng đá tây ban nha Module và triển khai các biện pháp bảo mật phù hợp


Cụ thể, trong buổi này chúng ta sẽ thảo luận về các chủ đề sau:

1 Hoạt động nội bộ của hệ thống Mô-đun kèo bóng đá tây ban nha và các phương thức tấn công chuỗi cung ứng
- Triển khai cụ thể gói BoltDB độc hại
- Vai trò và tương tác của gomod, gosum và Proxy mô-đun
- Cách kẻ tấn công khai thác cơ chế bộ nhớ đệm

2 Cơ chế bảo mật kèo bóng đá tây ban nha Module
- Xác minh tính toàn vẹn bằng cơ sở dữ liệu tổng kiểm tra
- Cách thức hoạt động của Lựa chọn phiên bản tối thiểu (MVS) và ý nghĩa bảo mật của nó
- Rủi ro bảo mật trong hoạt động Proxy mô-đun

3 Các biện pháp bảo mật thực tế và cách sử dụng công cụ
- Cách sử dụng kèo bóng đá tây ban nha mod verify, gogulncheck hiệu quả
- CI thiết thực để ngăn chặn tác động của những sự cố như thế này

Buổi học này đặc biệt dành cho những ai muốn hiểu thêm về cách hoạt động của Mô-đun kèo bóng đá tây ban nha và dành cho các nhà phát triển muốn tăng cường các biện pháp bảo mật của kèo bóng đá tây ban nha

=====================

・Tiêu đề bài thuyết trình
Đi sâu vào thử nghiệm/synctest

・Loa
Công ty TNHH Taple Daiki Kubo

・Ngày và giờ
27/09 (Thứ 7) 13:30 - 13:50 | Phòng1

・Chi tiết
Bạn đã bao giờ sử dụng timeSleep để chờ vài giây trong khi làm bài kiểm tra và bài kiểm tra trở nên không ổn định hoặc gây khó chịu?

Gói thử nghiệm/thử nghiệm đồng bộ hóa được giới thiệu thử nghiệm trong kèo bóng đá tây ban nha 124, cho phép bạn viết các thử nghiệm xử lý song song + phụ thuộc vào thời gian như vậy một cách nhanh chóng và ổn định Ngoài ra, theo ghi chú phát hành kèo bóng đá tây ban nha 125, gói thử nghiệm/đồng bộ hóa sẽ được cung cấp dưới dạng thư viện tiêu chuẩn và có thể sẽ được các nhà phát triển sử dụng thường xuyên trong tương lai


Buổi này chủ yếu giới thiệu và giải thích những nội dung sau:
1: "Bong bóng" của synctestRun là gì?
2: Thời gian tổng hợp tiến triển như thế nào và nó hoạt động như thế nào với thời gianSleep
3: Khi nào nên sử dụng synctestRun và synctestWait
4: Cái gì bị chặn lâu dài?
5: hạn chế kiểm tra đồng bộ hóa
Ngoài ra, chúng ta sẽ tìm hiểu sâu hơn về việc kiểm soát thời gian tổng hợp và đồng bộ hóa goroutine thông qua các ví dụ cụ thể
Tôi cũng xin giới thiệu một ví dụ về việc tái tạo các bài kiểm tra không ổn định có xu hướng xảy ra trong CI, vv và điểm chuẩn các kết quả để xem mức độ ổn định của nó với synctest

=====================

・Tiêu đề bài thuyết trình
Đạt được quá trình xử lý mô phỏng mà không cần tạo mã! Tìm hiểu siêu lập trình với ovechkin-dm/mockio

・Loa
Ryo Karaki, Công ty TNHH QualiArts

・Ngày và giờ
Chủ nhật ngày 28 tháng 9 17:30 - 17:50 | Phòng1

・Chi tiết
Trong phiên này, chúng ta sẽ thảo luận về kỹ thuật siêu lập trình trong ngôn ngữ kèo bóng đá tây ban nha, sử dụng thư viện có tên ovechkin-dm/mockio[1] để thực hiện xử lý mô phỏng trong thời gian chạy mà không cần tạo mã


Thư viện mô phỏng là công cụ mạnh mẽ để kiểm thử đơn vị
Tạm thời thay thế hành vi của các mô-đun phụ thuộc, giúp kiểm tra logic mục tiêu dễ dàng hơn
Nhiều thư viện mô phỏng kèo bóng đá tây ban nha hiện có, chẳng hạn như uber-kèo bóng đá tây ban nha/mock[2] và matryer/moq[3], được thiết kế dựa trên tiền đề của mã được tạo trước
Mặt khác, mockio, sẽ được đề cập trong phiên này, sử dụng một phương pháp cải tiến để đạt được quá trình xử lý mô phỏng an toàn về loại mà không yêu cầu tạo bất kỳ mã nào, như minh họa trong code1


Ovechkin-dm/kèo bóng đá tây ban nha-dyno[4] hỗ trợ cốt lõi của mockio
kèo bóng đá tây ban nha-dyno cung cấp hàm Động tự động tạo cấu trúc điền vào loại giao diện mà bạn truyền vào
Hơn nữa, có thể truyền một hàm proxy (xem Máy tínhHandler trong mã 2) để kích hoạt một quy trình tùy ý khi gọi một phương thức của cấu trúc được tạo và đây là chìa khóa để xử lý mô phỏng


Trong phiên này, chúng ta sẽ tìm hiểu sâu về cách kèo bóng đá tây ban nha-dyno tự động tạo ra cấu trúc đáp ứng thông tin loại của giao diện và cách tự do xác định nội dung của các phương thức
Một kỹ thuật để đạt được siêu lập trình an toàn loại mà không cần tạo mã, kèm theo giải thích chi tiết về cách triển khai nội bộ bằng cách sử dụng các khái quát chung, phản ánh, không an toàn và lắp ráp


Tôi cũng muốn đề cập đến giá trị của mockio như một thư viện mô phỏng
Chúng tôi so sánh và đánh giá các lợi ích cũng như thách thức về chức năng và hiệu suất của phương pháp mô phỏng không liên quan đến việc tạo mã với các thư viện mô phỏng hiện có


Tôi hy vọng buổi học này sẽ là thông tin hữu ích cho những ai muốn hiểu sâu hơn về thời gian chạy của kèo bóng đá tây ban nha hoặc quan tâm đến việc phát triển thư viện mô phỏng


code1: Kiểm thử đơn vị bằng mockio


```
// maingo
gói chính


gõ giao diện Máy tính
Thêm(a, b int) int
}


func Sum(máy tính, nums int) int
kết quả var int
cho _, num := dãy số
kết quả = máy tínhAdd(kết quả, num)
}
kết quả trả về
}




// main_testgo
gói chính


nhập (
"thử nghiệm"
"githubcom/stretchr/testify/assert"
"githubcom/ovechkin-dm/mockio/v2/mock"
)


func Test_Sum(t *testingT)
ctrl := mockNewMockController(t)


// LƯU Ý: Đạt được chế độ mô phỏng mà không cần tạo mã
mockCalculator := mockMock[Máy tính](ctrl)
mockWhen(mockCalculatorAdd(0, 1))ThenReturn(1)
mockWhen(mockCalculatorAdd(1, 2))ThenReturn(3)


kết quả := Sum(mockCalculator, 1, 2)
assertEqual(t, 3, result)


mockVerify(mockCalculator, mockTimes(1))Add(0, 1)
mockVerify(mockCalculator, mockTimes(1))Add(1, 2)
}
```


code2: Lập trình meta với kèo bóng đá tây ban nha-dyno
```
gói chính


nhập (
"fmt"
"phản ánh"


"githubcom/ovechkin-dm/kèo bóng đá tây ban nha-dyno/pkg/dyno"
)


gõ giao diện Máy tính
Thêm(a, b int) int
Sub(a, b int) int
}


// LƯU Ý: Xác định hành vi của các phương thức của cấu trúc được tạo trong thời gian chạy dưới dạng proxy
func Máy tínhHandler(m ReflectMethod, giá trị []reflectValue) []reflectValue
fmtPrintln("Phương thức được gọi:", mName)
đổi mName
trường hợp "Thêm":
trả về []reflectValuereflectValueOf(int(values[0]Int() + value[1]Int()))
trường hợp "Sub":
trả về []reflectValuereflectValueOf(int(values[0]Int() - value[1]Int()))
}
trả về con số 0
}


func main()
// LƯU Ý: Tạo cấu trúc thỏa mãn loại Máy tính khi chạy
dynamicCalculator, _ := dynoDynamic[Calculator](CalculatorHandler)


addResult := DynamicCalculatorAdd(2, 1) // Đầu ra: Phương thức được gọi: Add
fmtPrintln(addResult) // Kết quả: 3


subResult := DynamicCalculatorSub(2, 1) // Đầu ra: Phương thức được gọi: Sub
fmtPrintln(subResult) // Kết quả: 1
}
````


[1]: https://githubcom/ovechkin-dm/mockio
[2]: https://githubcom/uber-kèo bóng đá tây ban nha/mock
[3]: https://githubcom/matryer/moq
[4]: https://githubcom/ovechkin-dm/kèo bóng đá tây ban nha-dyno

=====================

・Tiêu đề bài thuyết trình
Cải thiện bước triển khai giữa các vi dịch vụ bằng cách mở rộng gopls

・Loa
Công ty TNHH WinTicket Masahiro Yamazaki

・Ngày và giờ
Chủ nhật ngày 28 tháng 9 18:30 - 18:50 | Phòng1

・Chi tiết
WINTICKET đang phát triển các vi dịch vụ sử dụng gRPC trong môi trường monorepo Trong quá trình phát triển tính năng, đôi khi chúng tôi sửa đổi cách triển khai nhiều vi dịch vụ, nhưng khi chúng tôi cố gắng kiểm tra việc triển khai RPC được gọi từ một dịch vụ nhất định bằng cách sử dụng bước nhảy định nghĩa, thì thực tế chúng tôi đã chuyển sang định nghĩa giao diện được tạo tự động và đã xảy ra sự cố khiến chúng tôi không thể chuyển thẳng sang phần triển khai mục tiêu Do đó, tôi phải tự tìm kiếm cách triển khai mỗi lần, đó là một trải nghiệm phát triển tồi tệ Do đó, chúng tôi đã mở rộng gopls, Máy chủ ngôn ngữ kèo bóng đá tây ban nha và triển khai chức năng nhảy định nghĩa mới cho phép bạn chuyển sang triển khai RPC thay vì giao diện RPC Điều này cải thiện đáng kể trải nghiệm phát triển Trong phần này, chúng ta sẽ nói về những cách cụ thể để mở rộng gopls và cách sử dụng tiện ích mở rộng VS Code thực sự được sử dụng trong WINTICKET

=====================

・Tiêu đề bài thuyết trình
Tại sao generic của kèo bóng đá tây ban nha lại ở dạng này? - Featherweight kèo bóng đá tây ban nha tiết lộ cốt lõi của thiết kế

・Loa
Công ty TNHH QualiArts Ryotaro Suzuki

・Ngày và giờ
Chủ nhật ngày 28 tháng 9 16:00 - 16:20 | Phòng1

・Chi tiết
Generics đã được giới thiệu trong kèo bóng đá tây ban nha 118 Trong phần này, chúng tôi sẽ giải thích nền tảng của đặc tả, đặc biệt là các lựa chọn thiết kế chẳng hạn như "tại sao giao diện được sử dụng cho các ràng buộc kiểu" và "tại sao đơn hình hóa được chọn để biên dịch"
Trong phần này, dựa trên bài viết Featherweight kèo bóng đá tây ban nha, chúng ta sẽ tìm hiểu sâu hơn về cơ chế chung của cờ vây và thảo luận về các điểm sau


- Cách sử dụng giao diện làm ràng buộc loại (so sánh với đề xuất hợp đồng)
- Cách đơn hình hoạt động và lợi ích về hiệu suất của nó
- Giải thích về "bộ thu hiệp biến" không thể thực hiện được với các thông số kỹ thuật hiện tại và "vấn đề về công thức" mà nó giải quyết được


Bằng cách nghe phần này, bạn sẽ hiểu sâu hơn về lý do tại sao các khái quát chung của kèo bóng đá tây ban nha lại như vậy và bạn sẽ có thể viết mã tự tin hơn đồng thời nhận thức được sự cân bằng