stanford-oval/wikipedia huggingface dataset:
Microkernel

Cấu trúc của hệ điều hành dựa trên nhân monolithic và microkernel tương ứng
Trong khoa học máy tính, một microkernel (thường được viết tắt là μ-kernel) là lượng phần mềm gần như tối thiểu có thể cung cấp các cơ chế cần thiết để triển khai một hệ điều hành. Các cơ chế này bao gồm quản lý không gian địa chỉ cấp thấp, quản lý luồng và giao tiếp liên tiến trình (IPC).
Nếu phần cứng cung cấp nhiều vòng hoặc chế độ CPU, microkernel có thể là phần mềm duy nhất thực thi ở mức đặc quyền nhất, thường được gọi là chế độ giám sát hoặc chế độ hạt nhân. Các chức năng của hệ điều hành truyền thống, chẳng hạn như trình điều khiển, chồng giao thức và hệ thống file, bị loại bỏ khỏi microkernel và thay vào đó được chạy trong không gian người dùng.
Về kích thước mã nguồn, microkernel thường nhỏ hơn hạt nhân monolithic. MINIX là một ví dụ với chỉ có khoảng 12,000 dòng lệnh.
Introduction

Các nhân của hệ điều hành ban đầu khá nhỏ, một phần là do bộ nhớ máy tính bị hạn chế. Khi khả năng của máy tính phát triển, số lượng thiết bị mà nhân phải kiểm soát cũng tăng lên. Trong suốt lịch sử ban đầu của Unix, hạt nhân nói chung là nhỏ, mặc dù chúng chứa nhiều triển khai trình điều khiển thiết bị và hệ thống file khác nhau. Khi không gian địa chỉ tăng từ 16 lên 32 bit, thiết kế nhân không còn bị giới hạn bởi kiến trúc phần cứng, và nhân bắt đầu phát triển lớn hơn.
Berkeley Software Distribution (BSD) của Unix bắt đầu kỷ nguyên của các hạt nhân lớn hơn. Ngoài việc vận hành một hệ thống cơ bản bao gồm CPU, đĩa và máy in, BSD đã bổ sung một hệ thống mạng TCP/IP hoàn chỉnh và một số thiết bị "ảo" cho phép các chương trình hiện có hoạt động 'vô hình' qua mạng. Sự tăng trưởng này tiếp tục trong nhiều năm, tạo ra các hạt nhân với hàng triệu dòng mã nguồn. Kết quả của sự phát triển này, hạt nhân dễ bị lỗi và ngày càng khó bảo trì.
Microkernel được thiết kế để giải quyết sự phát triển này của các hạt nhân và những khó khăn dẫn đến. Về lý thuyết, thiết kế microkernelcho phép quản lý mã dễ dàng hơn do nó được phân chia thành các dịch vụ không gian người dùng. Điều này cũng cho phép tăng cường bảo mật và ổn định do giảm lượng mã chạy trong kernel mode. Ví dụ: nếu một dịch vụ mạng gặp sự cố do tràn bộ đệm, chỉ bộ nhớ của dịch vụ mạng sẽ bị hỏng, phần còn lại của hệ thống vẫn hoạt động.
Hiệu năng

Trên hầu hết các bộ xử lý chính thống, việc nhận được một dịch vụ vốn đã đắt hơn trong một hệ thống dựa trên microkernel hơn là một hệ thống monolithic. Trong hệ thống monolithic, dịch vụ có được bằng một lệnh gọi hệ thống, yêu cầu hai mode switches (thay đổi vòng của bộ xử lý hoặc chế độ CPU). Trong hệ thống dựa trên microkernel, dịch vụ nhận được bằng cách gửi một thông điệp IPC đến một server, và nhận được kết quả trong một thông điệp IPC khác từ server. Điều này yêu cầu chuyển đổi ngữ cảnh nếu các trình điều khiển được triển khai dưới dạng các quy trình hoặc một lệnh gọi hàm nếu chúng được thực hiện dưới dạng các thủ tục. Ngoài ra, việc chuyển dữ liệu thực tế đến máy chủ và quay lại có thể phát sinh thêm chi phí sao chép, trong khi trong một hệ thống monolithic, hạt nhân có thể truy cập trực tiếp vào dữ liệu trong bộ đệm của máy khách.
Do đó, hiệu suất là một vấn đề tiềm ẩn trong các hệ thống microkernel. Thật vậy, kinh nghiệm của các microkernels thế hệ đầu tiên như Mach hayChorusOS cho thấy rằng các hệ thống dựa trên chúng hoạt động rất kém. Tuy nhiên, Jochen Liedtke đã chỉ ra rằng các vấn đề về hiệu suất của Mach là kết quả của việc thiết kế và triển khai kém, cụ thể là bộ nhớ đệm quá nhiều của Mach.
Liedtke đã chứng minh với L4 microkernel của riêng mình rằng thông qua thiết kế và triển khai cẩn thận, và đặc biệt là bằng cách tuân theo nguyên tắc tối thiểu, chi phí IPC có thể giảm nhiều hơn một bậc so với Mach.Hiệu suất IPC của L4 vẫn bất bại trên nhiều loại kiến trúc.
Mặc dù những kết quả này chứng minh rằng hiệu suất kém của các hệ thống dựa trên các microkernels thế hệ thứ nhất không phải là đại diện cho các hạt nhân thế hệ thứ hai như L4, nhưng điều này không tạo ra bằng chứng rằng các hệ thống dựa trên microkernel có thể được xây dựng với hiệu suất tốt. Nó đã được chỉ ra rằng một máy chủ Linux nguyên khối được chuyển sang L4 chỉ thể hiện một vài phần trăm chi phí so với Linux gốc.
Tuy nhiên, hệ thống một máy chủ như vậy thể hiện rất ít lợi thế, nếu có, các microkernel được cho là cung cấp bằng cách cấu trúc chức năng của hệ điều hành thành các máy chủ riêng biệt.
Một số hệ thống đa máy chủ thương mại tồn tại, đặc biệt là hệ thống thời gian thực QNX và Integrity. Không có so sánh toàn diện về hiệu suất so với các hệ thống nguyên khối đã được công bố cho các hệ thống nhiều máy chủ đó. Hơn nữa, hiệu suất dường như không phải là mối quan tâm lớn đối với các hệ thống thương mại đó, thay vào đó nhấn mạnh thời gian phản hồi xử lý ngắt nhanh đáng tin cậy (QNX) và tính đơn giản vì lợi ích của sự mạnh mẽ. Một nỗ lực để xây dựng một hệ điều hành đa máy chủ hiệu suất cao là dự án IBM Sawmill Linux.
Tuy nhiên, dự án này đã không bao giờ được hoàn thành.
Trong khi đó, người ta đã chứng minh rằng trình điều khiển thiết bị cấp người dùng có thể đạt được hiệu suất của trình điều khiển trong nhân ngay cả đối với các thiết bị có thông lượng cao, ngắt quãng cao như Gigabit Ethernet.  Điều này dường như ngụ ý rằng các hệ thống đa máy chủ hiệu suất cao là có thể.
Bảo mật

Lợi ích bảo mật của các microkernels đã được thảo luận thường xuyên. Trong bối cảnh bảo mật, nguyên tắc tối thiểu của microkernels,  một số người đã lập luận, là hệ quả trực tiếp của nguyên tắc đặc quyền ít nhất, theo đó tất cả mã chỉ nên có những đặc quyền cần thiết để cung cấp chức năng cần thiết. Tính tối thiểu đòi hỏi cơ sở tính toán đáng tin cậy (TCB) của hệ thống phải được giữ ở mức tối thiểu. Vì hạt nhân (mã thực thi ở chế độ đặc quyền của phần cứng) đã tiết lộ quyền truy cập vào bất kỳ dữ liệu nào và do đó có thể vi phạm tính toàn vẹn hoặc tính bảo mật của nó, hạt nhân luôn là một phần của TCB. Giảm thiểu nó là điều đương nhiên trong một thiết kế theo hướng bảo mật.
Do đó, các thiết kế microkernel đã được sử dụng cho các hệ thống được thiết kế cho các ứng dụng bảo mật cao, bao gồm KeyKOS, EROS và các hệ thống quân sự. Trên thực tế, các tiêu chí chung common criteria (CC) at ở mức đảm bảo cao nhất (Evaluation Assurance Level (EAL) 7)có một yêu cầu rõ ràng rằng mục tiêu đánh giá phải "đơn giản", một sự thừa nhận về khả năng thiết lập độ tin cậy thực sự đối với một hệ thống phức tạp Thật không may, một lần nữa, thuật ngữ "đơn giản" gây hiểu lầm và không được xác định rõ ràng. Ít nhất thì Department of Defense Trusted Computer System Evaluation Criteria đã đưa ra một cách chính xác hơn phần nào các lớp B3/A1:
"The TCB shall [implement] complete, conceptually simple protection mechanisms with precisely defined semantics. Significant system engineering shall be directed toward minimizing the complexity of the TCB, as well as excluding from the TCB those modules that are not protection-critical."
—Department of Defense Trusted Computer System Evaluation Criteria
Vào năm 2018, một bài báo được trình bày tại Hội nghị Hệ thống Châu Á - Thái Bình Dương tuyên bố rằng các microkernel an toàn hơn đáng kể so với các hạt nhân monolithic bằng cách điều tra tất cả các CVE quan trọng được công bố cho nhân Linux vào thời điểm đó. Nghiên cứu kết luận rằng 40% các vấn đề hoàn toàn không thể xảy ra trong một microkernel, đã được xác minh chính thức và chỉ 4% các vấn đề sẽ hoàn toàn không có vấn đề trong một hệ thống như vậy.
Thế hệ thứ ba

Các nghiên cứu gần đây hơn về các microkernels đang tập trung vào các thông số kỹ thuật chính thức của API hạt nhân và các bằng chứng chính thức về các thuộc tính bảo mật của API và tính đúng đắn của việc triển khai. Ví dụ đầu tiên về điều này là một bằng chứng toán học về các cơ chế giam giữ trong EROS, dựa trên mô hình đơn giản hóa của API EROS. Gần đây hơn (vào năm 2007) một tập hợp toàn diện các bằng chứng được kiểm tra bằng máy đã được thực hiện về các thuộc tính của mô hình bảo vệ của seL4, một phiên bản của L4.
Điều này đã dẫn đến những gì được gọi là microkernels thế hệ thứ 3,
được đặc trưng bởi một API định hướng bảo mật với quyền truy cập tài nguyên được kiểm soát bởi các khả năng, ảo hóa là mối quan tâm hàng đầu, các phương pháp mới để quản lý tài nguyên hạt nhân và mục tiêu thiết kế về tính phù hợp cho phân tích chính thức, bên cạnh mục tiêu thông thường là hiệu suất cao. Ví dụ như, Coyotos, seL4, Nova,
Redox và Fiasco.OC.
Trong trường hợp của seL4, đã đạt được xác minh chính thức hoàn chỉnh về việc triển khai, tức là một bằng chứng toán học cho thấy việc triển khai của hạt nhân nhất quán với đặc điểm kỹ thuật chính thức của nó. Điều này cung cấp một đảm bảo rằng các thuộc tính được chứng minh về API thực sự giữ cho hạt nhân thực, một mức độ đảm bảo vượt xa ngay cả CC EAL7. Tiếp theo là bằng chứng về các thuộc tính thực thi bảo mật của API và bằng chứng chứng minh rằng mã nhị phân thực thi là bản dịch chính xác của việc triển khai C, đưa trình biên dịch ra khỏi TCB. Kết hợp lại với nhau, các bằng chứng này thiết lập một bằng chứng đầu cuối về các thuộc tính bảo mật của hạt nhân.
Nanokernel

Thuật ngữ nanokernel hoặc picokernel trước đây được gọi là:
Một nhân mà tổng lượng mã nhân, tức là mã thực thi trong chế độ đặc quyền của phần cứng, là rất nhỏ. Thuật ngữ picokernel đôi khi được sử dụng để nhấn mạnh thêm về kích thước nhỏ. Thuật ngữ nanokernel được đặt ra bởi Jonathan S. Shapiro trong bài báo Kiến trúc Nanokernel KeyKOS. Đó là một phản ứng mỉa mai đối với Mach, vốn được cho là một microkernel trong khi Shapiro coi nó là monolithic, về cơ bản là không có cấu trúc và chậm hơn so với các hệ thống mà nó tìm cách thay thế. Việc sử dụng lại và phản hồi sau đó đối với thuật ngữ, bao gồm cả picokernel coinage, cho thấy rằng điểm này phần lớn đã bị bỏ sót. Cả nanokernel và picokernel sau đó đều có cùng một ý nghĩa được biểu thị bằng thuật ngữ microkernel.
Một lớp ảo hóa bên dưới hệ điều hành, được gọi một cách chính xác hơn là một Hypervisor.
Một lớp trừu tượng phần cứng tạo thành phần cấp thấp nhất của nhân, đôi khi được sử dụng để cung cấp chức năng thời gian thực cho các hệ điều hành bình thường, như Adeos.
Cũng có ít nhất một trường hợp mà thuật ngữ nanokernel được sử dụng không phải để chỉ một hạt nhân nhỏ, mà là một hạt hỗ trợ độ phân giải xung nhịp nano giây.
Giải bóng đá nữ vô địch U19 quốc gia 2021

| Chi tiết giải đấu |
| --- | --- |
Quốc gia:  Việt Nam
Thời gian: 16 tháng 3 - 8 tháng 4 năm 2021
Số đội: 6
Vị trí chung cuộc
Vô địch: U19 nữ Than Khoáng Sản Việt Nam
Á quân: U19 nữ Hà Nội Watabe
Hạng ba: U19 nữ Thành phố Hồ Chí Minh
Thống kê giải đấu
Vua phá lưới: Vũ Thị Hoa (Hà Nội Watabe, 10 bàn)
Cầu thủ xuất sắc nhất: Trần Nhật Lan (Than Khoáng Sản Việt Nam)
← 2020 2022 → 
Giải bóng đá nữ vô địch U19 quốc gia 2021 là giải bóng đá nữ dành cho lứa tuổi U19 ở Việt Nam. Đây là mùa giải thứ 15 do VFF tổ chức. Giải diễn ra theo hai lượt (lượt đi và lượt về) để tính điểm xếp hạng từ ngày 16 tháng 3 đến ngày 8 tháng 4 năm 2021 trên Sân vận động Thanh Trì, Hà Nội.
Các đội bóng

U19 Hà Nội Watabe
U19 Thành phố Hồ Chí Minh
U19 Than Khoáng Sản Việt Nam
U19 Sơn La
U19 Phong Phú Hà Nam
Kết quả chi tiết > Vòng 1

16 tháng 3 năm 2021
| U19 nữ Thành phố Hồ Chí Minh | 1–1 | U19 nữ Hà Nội Watabe |
| --- | --- | --- |
| Nguyễn Thị Ngọc Duyên  90+3' | Chi tiết | Đặng Thanh Thảo  16' |
16 tháng 3 năm 2021
| U19 nữ Phong Phú Hà Nam | 0–0 | U19 nữ Sơn La |
| --- | --- | --- |
|  | Chi tiết |  |
Kết quả chi tiết > Vòng 2

18 tháng 3 năm 2021
| U19 Hà Nội Watabe | 0–1 | U19 nữ Phong Phú Hà Nam |
| --- | --- | --- |
|  | Chi tiết | Lưu Hoàng Vân  63' |
18 tháng 3 năm 2021
| U19 Than Khoáng Sản Việt Nam | 1–0 | U19 nữ Thành phố Hồ Chí Minh |
| --- | --- | --- |
| Trần Nhật Lan  45' | Chi tiết |  |
Kết quả chi tiết > Vòng 3

21 tháng 3 năm 2021
| U19 nữ Thành phố Hồ Chí Minh | 5–0 | U19 nữ Sơn La |
| --- | --- | --- |
| K'Thủa  13' Phan Thị Ngọc Trâm  56' Nguyễn Thị Ngọc Duyên  59', 71'  Đinh Thị Hậu  65' (ph.l.n) | Chi tiết |  |
21 tháng 3 năm 2021
| U19 nữ Hà Nội Watabe | 1–2 | U19 nữ Than Khoáng Sản Việt Nam |
| --- | --- | --- |
| Phạm Thị Linh  28' | Chi tiết | Phạm Thị Nhâm  21' Trần Nhật Lan  90' |
Kết quả chi tiết > Vòng 4

24 tháng 3 năm 2021
| U19 nữ Than Khoáng Sản Việt Nam | 4–1 | U19 nữ Phong Phú Hà Nam |
| --- | --- | --- |
| Trần Thị Thu Xuân  31' Trần Nhật Lan  41' Hoàng Thị Mỹ Hằng  85'  Nguyễn Thị Như Quỳnh  73' | Chi tiết | Trần Thị Thu Hường  58' |
24 tháng 3 năm 2021
| U19 nữ Sơn La | 2–9 | U19 nữ Hà Nội Watabe |
| --- | --- | --- |
| Hồ Hải Vân  18' Lò Thị Son  38' | Chi tiết | Trần Thị Thương  4' Vũ Thị Hoa  20', 21', 61', 68'  Lê Thị Kim Oanh  27' Đặng Thanh Thảo  36'  Phạm Thị Linh  51'  Trần Thị Thùy Linh  81' |
Kết quả chi tiết > Vòng 5

26 tháng 3 năm 2021
| U19 nữ Sơn La | 0–2 | U19 nữ Than Khoáng Sản Việt Nam |
| --- | --- | --- |
|  | Chi tiết | Trần Nhật Lan  14', 18' |
26 tháng 3 năm 2021
| U19 nữ Phong Phú Hà Nam | 1–2 | U19 nữ Thành phố Hồ Chí Minh |
| --- | --- | --- |
| Đào Thị Ngân  45+1' | Chi tiết | Châu Ngọc Bích  60'  Nguyễn Thị Ngọc Duyên  90+3' |
Kết quả chi tiết > Vòng 6

29 tháng 3 năm 2021
| U19 nữ Hà Nội Watabe | 4–0 | U19 nữ Thành phố Hồ Chí Minh |
| --- | --- | --- |
| Vũ Thị Hoa  4', 52'  Nguyễn Thị Tú Anh  29'  Đặng Thanh Thảo  53' | Chi tiết |  |
29 tháng 3 năm 2021
| U19 nữ Sơn La | 0–3 | U19 nữ Phong Phú Hà Nam |
| --- | --- | --- |
|  | Chi tiết | Trần Thị Lan Anh  18'  Lưu Hoàng Vân  35'  Nguyễn Thùy Linh  50' |
Kết quả chi tiết > Vòng 7

31 tháng 3 năm 2021
| U19 nữ Phong Phú Hà Nam | 0–5 | U19 nữ Hà Nội Watabe |
| --- | --- | --- |
|  | Chi tiết | Trần Thị Thương  17', 63'  Vũ Thị Hoa  39', 59'  Phạm Thị Linh 89' |
31 tháng 3 năm 2021
| U19 nữ Thành phố Hồ Chí Minh | 0–4 | U19 nữ Than Khoáng Sản Việt Nam |
| --- | --- | --- |
|  | Chi tiết | Trần Thị Thu Xuân  20'  Trần Thị Thu Phương  25'  Trần Nhật Lan  43' Nguyễn Thu Trang  84' |
Kết quả chi tiết > Vòng 8

2 tháng 4 năm 2021
| U19 nữ Sơn La | 0–1 | U19 nữ Thành phố Hồ Chí Minh |
| --- | --- | --- |
|  | Chi tiết | Phan Thị Ngọc Trâm  53' |
2 tháng 4 năm 2021
| U19 nữ Than Khoáng Sản Việt Nam | 0–2 | U19 nữ Hà Nội Watabe |
| --- | --- | --- |
|  | Chi tiết | Vũ Thị Hoa  16', 56' |
Kết quả chi tiết > Vòng 9

5 tháng 4 năm 2021
| U19 nữ Phong Phú Hà Nam | 0–3 | U19 nữ Than Khoáng Sản Việt Nam |
| --- | --- | --- |
|  | Chi tiết | Trần Thị Thu Phương  73', 81' Trần Nhật Lan  87' |
5 tháng 4 năm 2021
| U19 nữ Hà Nội Watabe | 3–0 | U19 nữ Sơn La |
| --- | --- | --- |
| Trần Thị Thương  62' Lê Thị Kim Oanh  82'  Nguyễn Thị Tú Anh  88' | Chi tiết |  |
Kết quả chi tiết > Vòng 10

7 tháng 4 năm 2021
| U19 nữ Than Khoáng Sản Việt Nam | 1–1 | U19 nữ Sơn La |
| --- | --- | --- |
| Hồng Như Hoa  13' | Chi tiết | Nguyễn Thị Như Quỳnh  82' (ph.l.n) |
8 tháng 4 năm 2021
| U19 nữ Thành phố Hồ Chí Minh | 0–1 | U19 nữ Phong Phú Hà Nam |
| --- | --- | --- |
|  | Chi tiết | Đào Thị Hồng Châm  45+3' |
Bảng xếp hạng

| Bảng xếp hạng sau 10 vòng đấu> Thứ tự | Bảng xếp hạng sau 10 vòng đấu> Đội | Bảng xếp hạng sau 10 vòng đấu> Trận | Bảng xếp hạng sau 10 vòng đấu> Thắng | Bảng xếp hạng sau 10 vòng đấu> Hòa | Bảng xếp hạng sau 10 vòng đấu> Thua | Bảng xếp hạng sau 10 vòng đấu> BTh–BB | Bảng xếp hạng sau 10 vòng đấu> H/S | Bảng xếp hạng sau 10 vòng đấu> Điểm | Bảng xếp hạng sau 10 vòng đấu>  | Bảng xếp hạng sau 10 vòng đấu>  | Bảng xếp hạng sau 10 vòng đấu>  | Bảng xếp hạng sau 10 vòng đấu>  |
| --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- |
| 1 | U19 nữ Than Khoáng sản Việt Nam | 8 | 6 | 1 | 1 | 17-5 | +12 | 19 |  |  |  |  |
| 2 | U19 nữ Hà Nội Watabe | 8 | 5 | 1 | 2 | 25-6 | +19 | 16 |  |  |  |  |
| 3 | U19 nữ Thành phố Hồ Chí Minh | 8 | 3 | 1 | 4 | 9-12 | -3 | 10 |  |  |  |  |
| 4 | U19 nữ Phong Phú Hà Nam | 8 | 3 | 1 | 4 | 7-14 | -7 | 10 |  |  |  |  |
| 5 | U19 nữ Sơn La | 8 | 0 | 2 | 6 | 3-24 | -21 | 2 |  |  |  |  |
Tổng kết mùa giải

Đội Vô địch: U19 nữ Than Khoáng Sản Việt Nam
Đội thứ Nhì: U19 nữ Hà Nội Watabe
Đội thứ Ba: U19 nữ Thành phố Hồ Chí Minh
Đội phong cách: U19 nữ Hà Nội Watabe
Cầu thủ ghi nhiều bàn thắng nhất giải: Vũ Thị Hoa (41, Hà Nội Watabe, 10 bàn)
Cầu thủ xuất sắc nhất giải: Trần Nhật Lan (11, Than Khoáng Sản Việt Nam)
Thủ môn xuất sắc nhất giải: Nguyễn Thị Bích Ngọc (26, Than Khoáng Sản Việt Nam)
Psapharochrus lateralis

| Psapharochrus lateralis> Phân loại khoa học |
| --- | --- |
Giới (regnum): Animalia
Ngành (phylum): Arthropoda
Lớp (class): Insecta
Bộ (ordo): Coleoptera
Phân bộ (subordo): Polyphaga
Liên họ (superfamilia): Cerambycoidea
Họ (familia): Cerambycidae
Chi (genus): Psapharochrus
Loài (species): P. lateralis
Danh pháp hai phần
Psapharochrus lateralis (Bates, 1861) 
Psapharochrus lateralis là một loài bọ cánh cứng trong họ Cerambycidae.
Chú thích

↑  Bisby, F.A.; Roskov, Y.R.; Orrell, T.M.; Nicolson, D.; Paglinawan, L.E.; Bailly, N.; Kirk, P.M.; Bourgoin, T.; Baillargeon, G.; Ouvrard, D. (2011). “Species 2000 & ITIS Catalogue of Life: 2011 Annual Checklist”. Species 2000: Reading, UK. Truy cập ngày 24 tháng 9 năm 2012.
Saraycık, Bayramiç

| Saraycık |
| --- | --- |
—  Xã  —
 
SaraycıkVị trí ở Thổ Nhĩ Kỳ
Quốc gia:  Thổ Nhĩ Kỳ
Tỉnh: Çanakkale
Huyện: Bayramiç
Dân số (2011)
 • Tổng cộng: 91 người
Múi giờ: EET (UTC+2)
 • Mùa hè (DST): EEST (UTC+3)
Mã bưu chính: 17700 
Saraycık là một xã thuộc huyện Bayramiç, tỉnh Çanakkale, Thổ Nhĩ Kỳ. Dân số thời điểm năm 2011 là 91 người.
Chú thích

↑  “Cities, towns and villages in Çanakkale”. Viện thống kê Thổ Nhĩ Kỳ. Bản gốc lưu trữ ngày 15 tháng 7 năm 2012. Truy cập ngày 12 tháng 9 năm 2012.
Paramulona nephalistis

| Paramulona nephalistis> Phân loại khoa học |
| --- | --- |
Giới (regnum): Animalia
Ngành (phylum): Arthropoda
Lớp (class): Insecta
Bộ (ordo): Lepidoptera
Họ (familia): Erebidae
Chi (genus): Paramulona
Loài (species): P. nephalistis
Danh pháp hai phần
Paramulona nephalistis (Hampson, 1905) 
Danh pháp đồng nghĩa
 Cincia nephelistis Hampson, 1905 
Paramulona nephalistis là một loài bướm đêm thuộc phân họ Arctiinae, họ Erebidae.
Chú thích

↑  Bisby, F.A.; Roskov, Y.R.; Orrell, T.M.; Nicolson, D.; Paglinawan, L.E.; Bailly, N.; Kirk, P.M.; Bourgoin, T.; Baillargeon, G.; Ouvrard, D. (2011). “Species 2000 & ITIS Catalogue of Life: 2011 Annual Checklist”. Species 2000: Reading, UK. Truy cập ngày 24 tháng 9 năm 2012.
Hôn nhân cùng giới ở California

Hôn nhân cùng giới hợp pháp ở tiểu bang California của Hoa Kỳ, và lần đầu tiên trở thành như vậy vào ngày 16 tháng 6 năm 2008, khi tiểu bang bắt đầu cấp giấy phép kết hôn cho các cặp cùng giới do phán quyết của Tòa án Tối cao California trong các vụ kiện Hôn nhân, trong đó phát hiện ra rằng việc cấm các cặp cùng giới khỏi hôn nhân đã vi phạm Hiến pháp của nhà nước. Việc cấp các giấy phép đó đã bị dừng lại trong khoảng thời gian từ ngày 5 tháng 11 năm 2008 đến ngày 27 tháng 6 năm 2013 (mặc dù các cuộc hôn nhân cùng giới hiện tại vẫn tiếp tục có hiệu lực) do thông qua Dự luật 8, một sửa đổi hiến pháp của tiểu bang cấm kết hôn cùng giới. Việc cấp các cuộc hôn nhân cùng giới được khuyến nghị theo quyết định của Tòa án Tối cao Hoa Kỳ tại Hollingsworth v. Perry, trong đó khôi phục hiệu lực của một phán quyết của tòa án quận liên bang đã đảo ngược Dự luật 8 là vi hiến.
Vào ngày 4 tháng 8 năm 2010, Chánh án Tòa án Quận Hoa Kỳ Vaughn Walker tuyên bố Dự luật 8 vi phạm các điều khoản của Quy trình và Bảo vệ bình đẳng của Hiến pháp Hoa Kỳ tại Perry v. Schwarzenegger, một quyết định được Tòa án phúc thẩm thứ chín đưa ra vào ngày 7 tháng 2 năm 2012. Vụ án, được gọi là Perry v. Brown trong Vòng Chín, đã được kháng cáo lên Tòa án Tối cao Hoa Kỳ vào ngày 31 tháng 7 năm 2012. Vụ việc đã được xem xét như Hollingsworth v. Perry vào ngày 7 tháng 12 năm 2012 và một quyết định đã được ban hành vào ngày 26 tháng 6 năm 2013. Tòa án quyết định rằng các nhà tài trợ chính thức của Dự luật 8 không có tư cách pháp lý để kháng cáo quyết định của tòa án quận khi các quan chức nhà nước từ chối làm như vậy. Phán quyết của Vòng Chín đã bị bỏ trống và vụ việc đã được trả lại cho Tòa án đó với các hướng dẫn để bác bỏ kháng cáo của nhà tài trợ Dự luật 8. Vào ngày 28 tháng 6 năm 2013, việc tạm dừng có hiệu lực đã bị xóa khỏi quyết định của tòa án quận liên bang và các cuộc hôn nhân cùng giới đã có thể tiếp tục. Các cặp cùng giới bắt đầu kết hôn vào cuối ngày hôm đó.
Trước khi Dự luật 8 được thông qua, California chỉ là tiểu bang thứ hai của Hoa Kỳ (sau Massachusetts) cho phép kết hôn cùng giới. Những cuộc hôn nhân được cấp theo luật pháp của các chính phủ tiểu bang khác, nước ngoài và trong nước, đã được công nhận hợp pháp và giữ các quyền cấp nhà nước kể từ năm 2008.
Pháp luật

Xem thêm: Luật hôn nhân cùng giới ở Hoa Kỳ
Pháp luật > AB 607

Từ khi ban hành luật năm 1971 để thay thế đại từ giới tính bằng đại từ trung lập về giới tính, cho đến năm 1977, Bộ luật Dân sự California § 4100 đã định nghĩa hôn nhân là "quan hệ cá nhân phát sinh từ hợp đồng dân sự, theo đó sự đồng ý của các bên có khả năng thực hiện hợp đồng đó là cần thiết. " Định nghĩa này được giải thích thống nhất là chỉ bao gồm các đối tác khác giới, nhưng, vì lo ngại rằng ngôn ngữ không rõ ràng,  Dự luật số 607 , được ủy quyền bởi Ủy viên hội đồng Bruce Nestande, đã được đề xuất và sau đó được chuyển cho "cấm người cùng giới tính khi bước vào hôn nhân hợp pháp."
Sợ rằng Bộ luật Dân sự sẽ cho phép kết hôn giữa các bên cùng giới đã phát sinh do một cặp vợ chồng ở Quận Cam đã tìm kiếm giấy phép kết hôn đăng thông qua  Dự luật tình dục người lớn đồng ý  trong đó bãi bỏ tội phạm đồng tính luyến ái ở California (có hiệu lực năm 1976). Trong khi luật năm 1971 đưa ra các tài liệu tham khảo về giới tính trung lập về giới tính, Hiệp hội Thư ký Quận Cam đã gửi một cuộc gọi tới Chủ tịch Quốc hội lúc đó Bruce Nestande để làm rõ luật này khi liên quan đến các cặp cùng giới. Đạo luật đã sửa đổi Bộ luật Dân sự để định nghĩa hôn nhân là "mối quan hệ cá nhân phát sinh từ hợp đồng dân sự giữa nam và nữ, theo đó sự đồng ý của các bên có khả năng thực hiện hợp đồng đó là cần thiết".
Những người phản đối dự luật bao gồm Nghị sĩ Willie Brown (người là tác giả của việc bãi bỏ luật pháp về luật pháp của California năm 1975) và Thượng nghị sĩ Milton Marks. Dự luật đã thông qua 23-5 tại Thượng viện tiểu bang và 68-2 trong Hội đồng. Nó được ký vào ngày 17 tháng 8 năm 1977 bởi Thống đốc Jerry Brown. Từ năm 1994, ngôn ngữ này được tìm thấy trong § 300 của Bộ luật Gia đình, năm 2015 đã bị bãi bỏ.
Pháp luật > AB 167

AB 167, được ủy quyền bởi Ủy viên hội đồng John Burton, đã xóa các yêu cầu về giới tính được ban hành vào năm 1977. Nó đã không thu được đủ phiếu bầu cho các đoạn văn và chết trong Hội đồng.