là gì
Paul Schmitthenner (sinh Lauterburg, Elsass-Lothringen, Đức 15 tháng 12 năm 1884 – 11/11/1972) là một kiến trúc sư người Đức, nhà quy hoạch thành phố và Giáo sư tại Đại học Stuttgart.
Trong thời Đức Quốc xã, Schmitthenner là một trong những kiến trúc sư của Adolf Hitler. [ cần trích dẫn ]
Ông tin rằng các phương pháp và phong cách truyền thống trong kiến trúc đã tiết lộ tốt nhất nhân vật người Đức dẫn đến việc ông được bổ nhiệm làm trưởng nhóm chuyên gia về mỹ thuật ở Kampfbund. Ông tin rằng Schönheit ruht ở Ordnung (tiếng Đức: "Vẻ đẹp nằm trong thứ tự (hình học)"). Schmitthenner đã phản đối công khai với các kiến trúc sư hiện đại như Walter Gropius. Đối với anh ta, ngôi nhà của Goethe tại Weimar vẫn là mẫu hình lý tưởng của tòa nhà dân cư Đức. Tuy nhiên, mặc dù được chấp thuận chính thức, sự nhiệt tình của anh không mang lại nhiều hoa hồng lớn.
Ông phải rời khỏi ghế của mình tại trường Đại học sau chiến tranh mà không có lương hưu và làm kiến trúc sư cho đến cuối đời. Tại Stuttgart, ông đã xây dựng "Königin-Olga-Bau" cho Ngân hàng Lagdner năm 1950.
Bauestaltung. Das Deutsche Wohnhaus 1932.
|
Jean Antoine de Baïf |
|
|---|---|
 |
|
| Sinh | 19 tháng 2 năm 1532 Venice |
| Đã chết | 19 tháng 9 năm 1589 (ở tuổi 57) Paris |
| Nghề nghiệp | Nhà thơ |
| Quốc tịch | Tiếng Pháp |
Jean Antoine de Baïf (19 tháng 2 năm 1532 – 19 tháng 9 năm 1589) và là thành viên của Pléiade .
Ông sinh ra ở Venice, con trai tự nhiên của học giả Lazare de Baïf, lúc đó là đại sứ Pháp tại Venice. Có lẽ, cảm ơn những người xung quanh thời thơ ấu, anh đã lớn lên đam mê với nghệ thuật và đã vượt qua tất cả các nhà lãnh đạo thời Phục hưng ở Pháp. Cha anh không tiếc công để bảo đảm sự giáo dục tốt nhất có thể cho con trai mình. Cậu bé được dạy tiếng Latin bởi Charles Estienne, và tiếng Hy Lạp bởi Ange Vergèce, học giả và nhà thư pháp người Cretan, người đã thiết kế các kiểu Hy Lạp cho Francis I.
Khi ông mười một tuổi, ông được đặt dưới sự chăm sóc của Jean Daurat nổi tiếng. Ronsard, người hơn anh tám tuổi, giờ bắt đầu chia sẻ việc học của mình. Claude Binet kể về việc Baïf trẻ tuổi, được lai tạo bằng tiếng Latin và tiếng Hy Lạp, đã làm dịu đi sự khởi đầu mệt mỏi của ngôn ngữ Hy Lạp cho Ronsard, người đã trở lại khởi xướng người bạn đồng hành của mình vào những bí ẩn của việc nói tiếng Pháp.
Baïf sở hữu một cơ sở phi thường, và khối lượng công việc của anh ta đã làm tổn hại đến danh tiếng của anh ta. Bên cạnh một số tập thơ ngắn thuộc thể loại tình cảm hay chúc mừng, ông đã dịch hoặc diễn giải nhiều tác phẩm khác nhau từ Bion of Smyrna, Moschus, Theocritus, Anacreon, Catullus và Martial. Ông cư trú tại Paris, và được hưởng sự ủng hộ tiếp tục của tòa án. Năm 1570, kết hợp với nhà soạn nhạc Joachim Thibault de Courville, với sự phù hộ của hoàng gia và sự hậu thuẫn tài chính, ông đã thành lập Académie de musique et de poésie với ý tưởng thiết lập sự kết hợp chặt chẽ hơn giữa âm nhạc và thơ ca; Ngôi nhà của ông trở nên nổi tiếng với các buổi hòa nhạc mà ông đã đưa ra, những trò giải trí mà Charles IX và Henry III thường xuyên tham dự. Các nhà soạn nhạc như Claude Le Jeune, người trở thành nhạc sĩ có ảnh hưởng nhất ở Pháp vào cuối thế kỷ 16, và Jacques Mauduit, người đã mang ý tưởng của Academie vào thế kỷ 17, đã sớm gia nhập nhóm, vẫn giữ bí mật về ý định của nó và kỹ thuật.
Baïf đã xây dựng một hệ thống để điều chỉnh sự đa dạng hóa của Pháp theo số lượng, một hệ thống được biết đến với tên gọi Vers mesurés hoặc Vers mesurés à l'antique . Trong ý tưởng chung về việc điều chỉnh sự đa dạng hóa theo số lượng, ông không phải là người tiên phong. Jacques de la Taille đã viết vào năm 1562 Maniére de faire des Vers en français comme en grec et en Latin (in năm 1573), và các nhà thơ khác đã thực hiện các thí nghiệm theo cùng một hướng; tuy nhiên, trong nỗ lực cụ thể của mình để lấy lại hiệu ứng đạo đức của Hy Lạp và Latinh cổ đại đối với người nghe, và khi áp dụng các sáng tạo siêu hình vào âm nhạc, ông đã tạo ra một thứ hoàn toàn mới.
Những đổi mới của Baïf cũng bao gồm một dòng gồm 15 âm tiết được gọi là câu Baïfin . Ông cũng thiền định cải cách trong chính tả tiếng Pháp.
Các lý thuyết của ông được minh họa trong Etrenes de poezie Franzoeze một câu thơ khác (1574). Các tác phẩm của ông đã được xuất bản thành 4 tập, có tựa đề uvres en rime (1573), bao gồm Amours, Jeux, Passetemps, et Poeme trong đó phần lớn hiện không thể đọc được, một số mảnh ân sủng vô hạn và tinh tế. Bản sonnet của ông trên Roman de la Rose được cho là chứa toàn bộ lập luận của tác phẩm nổi tiếng đó, và Colletet nói rằng đó là trên môi của mọi người.
Ông cũng đã viết một bản sonnet nổi tiếng để ca ngợi Cuộc thảm sát Ngày Thánh Bartholomew. Baïf là tác giả của hai bộ phim hài, Selunuque 1565 (xuất bản 1573), bản dịch miễn phí của Terence Eunuchus và Le Brave (1567) một sự bắt chước của Miles Gloriosus trong đó các nhân vật của Plautus bị biến thành người Pháp, hành động diễn ra tại Orleans. Baïf đã xuất bản một tập thơ Latin vào năm 1577, và năm 1576, một tập phổ biến của Mimes, enseignemens et proverbes .
chim thiên đường là thành viên của gia đình Paradisaeidae của Passeriformes. Phần lớn các loài được tìm thấy ở miền đông Indonesia, Papua New Guinea và miền đông Australia. Họ này có 42 loài trong 15 chi. [1] Các thành viên của gia đình này có lẽ được biết đến nhiều nhất với bộ lông của những con đực thuộc loài lưỡng hình tình dục (phần lớn), đặc biệt là những chiếc lông dài và phức tạp kéo dài từ mỏ, cánh, đuôi hoặc đầu. Phần lớn chúng bị giới hạn trong môi trường sống rừng nhiệt đới dày đặc. Chế độ ăn uống của tất cả các loài bị chi phối bởi trái cây và ở mức độ thấp hơn là động vật chân đốt. Chim thiên đường có nhiều hệ thống sinh sản khác nhau, từ chế độ một vợ một chồng đến đa thê kiểu lek.
Một số loài bị đe dọa do săn bắn và mất môi trường sống.
Trong nhiều năm, các loài chim thiên đường được coi là có liên quan chặt chẽ với các loài chim mỏ. Ngày nay, trong khi cả hai được coi là một phần của dòng dõi Corvida của Úc, hai người hiện được cho là chỉ có liên quan đến nhau. Họ hàng tiến hóa gần nhất của thiên đường chim là gia đình quạ và jay Corvidae, chim ruồi vua Monarchidae và thợ săn bùn Úc Struthideidae. [2]
Một nghiên cứu năm 2009 các loài để kiểm tra các mối quan hệ trong gia đình và họ hàng gần nhất ước tính rằng gia đình đã xuất hiện 24 triệu năm trước, già hơn so với ước tính trước đó. Nghiên cứu đã xác định năm gia tộc trong gia đình và đặt sự phân chia giữa các nhánh đầu tiên, trong đó có các con người đơn thuần và thiên đường quạ, và tất cả các loài chim thiên đường khác, cách đây 10 triệu năm. Các nhánh thứ hai bao gồm các parotias và chim thiên đường của vua Sachsen. Các nhánh thứ ba tạm thời chứa một số chi, bao gồm Seleucidis Drepanornis liềm, Semioptera Ptiloris , mặc dù một số trong số này là nghi vấn. Đội quân thứ tư bao gồm Epimachus liềm, Paradigalla và astrapias. Đội quân cuối cùng bao gồm Cicinnurus và Paradisaea chim thiên đường. [3]
Giới hạn chính xác của gia đình là chủ đề của sửa đổi là tốt. Ba loài satinbird (chi Cnemophilus và loboparadisea ) được coi là một phân họ của loài chim thiên đường, Cnemophilinae. Mặc dù có sự khác biệt về miệng, hình thái bàn chân và thói quen làm tổ mà họ vẫn ở trong gia đình cho đến khi một nghiên cứu năm 2000 đưa họ đến một gia đình riêng biệt gần với berrypeckers và longbills (Melanocharitidae). [4] Nghiên cứu tương tự cho thấy chim Mac- of-paradise thực sự là một thành viên của gia đình lớn người Úc. Ngoài ba loài này, một số loài và chi bí ẩn có hệ thống đã được coi là thành viên tiềm năng của gia đình này. Hai loài trong chi Melampitta cũng từ New Guinea, đã được liên kết với thiên đường chim, [5] nhưng mối quan hệ của chúng vẫn không chắc chắn, gần đây đã được liên kết với những người sống ở Úc. ] Đuôi lụa của Fiji đã được liên kết với thiên đường chim nhiều lần kể từ khi được phát hiện, nhưng không bao giờ chính thức được giao cho gia đình. Bằng chứng phân tử gần đây hiện đặt các loài với các loài thần tiên. [6]
-paradise có thể xảy ra khi các cá thể thuộc các loài khác nhau, trông giống nhau và có phạm vi chồng chéo, gây nhầm lẫn cho các loài và lai giống của chúng.
Khi Erwin Stresemann nhận ra rằng sự lai tạo giữa các loài chim thiên đường có thể là một lời giải thích tại sao rất nhiều loài được mô tả là rất hiếm, ông đã kiểm tra nhiều mẫu vật gây tranh cãi và trong những năm 1920 và 1930, đã xuất bản nhiều bài báo về ông giả thuyết. Nhiều loài được mô tả vào cuối thế kỷ 19 và đầu thế kỷ 20 hiện nay thường được coi là giống lai, mặc dù một số loài vẫn còn bị tranh chấp; tình trạng của họ không có khả năng được giải quyết chắc chắn nếu không kiểm tra di truyền mẫu vật của bảo tàng.
Chim thiên đường có liên quan chặt chẽ với các xác chết. Chim thiên đường có kích thước từ chim thiên đường vua ở mức 50 g (1,8 oz) và 15 cm (5,9 in) đến con vẹt mào cong ở 44 cm (17 in) và 430 g (15 oz) . Liềm đen đực, có đuôi dài, là loài dài nhất với 110 cm (43 in). Trong hầu hết các loài, đuôi của con đực lớn hơn và dài hơn con cái, sự khác biệt từ nhẹ đến cực đoan. Đôi cánh được làm tròn và ở một số loài biến đổi cấu trúc trên con đực để tạo ra âm thanh. Có sự khác biệt đáng kể trong gia đình liên quan đến hình dạng hóa đơn. Hóa đơn có thể dài và phân rã, như trong liềm và súng trường, hoặc nhỏ và mảnh như Astrapias. Với kích thước hóa đơn kích thước cơ thể khác nhau giữa hai giới, mặc dù các loài mà con cái có hóa đơn lớn hơn nam là phổ biến hơn, đặc biệt là ở các loài ăn côn trùng. [2]
Sự thay đổi bộ lông giữa hai giới có liên quan chặt chẽ với hệ thống chăn nuôi. Các manucodes và thiên đường quạ, là đơn tính xã hội, là đơn hình tình dục. Hai loài của Paradigalla cũng rất đa dạng. Tất cả các loài này thường có bộ lông đen với lượng ánh kim xanh lục và xanh lục khác nhau. [2] Bộ lông cái của các loài lưỡng hình thường rất khó hòa trộn với môi trường sống của chúng, không giống như màu sắc hấp dẫn tươi sáng được tìm thấy trên con đực. Những con đực nhỏ hơn của những loài này có bộ lông giống con cái, và sự trưởng thành về tình dục phải mất một thời gian dài, với bộ lông trưởng thành đầy đủ không được lấy đến bảy năm. Điều này mang đến cho những con đực nhỏ hơn sự bảo vệ khỏi những kẻ săn mồi có màu sắc dịu hơn và cũng làm giảm sự thù địch từ những con đực trưởng thành. [2]
Trung tâm của chim thiên đường đa dạng là hòn đảo lớn của New Guinea; tất cả trừ hai chi được tìm thấy ở New Guinea. Hai loại không phải là chi đơn loài Lycocorax và Semioptera cả hai đều là loài đặc hữu của Quần đảo Maluku, ở phía tây New Guinea. Trong số các loài súng trường trong chi Ptiloris hai loài là đặc hữu của các khu rừng ven biển phía đông Australia, một loài xuất hiện ở cả Australia và New Guinea, và một loài chỉ được tìm thấy ở New Guinea. Loài duy nhất khác có một loài bên ngoài New Guinea là Phonygammus một đại diện trong số đó được tìm thấy ở cực bắc của Queensland. Các loài còn lại được giới hạn ở New Guinea và một số hòn đảo xung quanh. Nhiều loài có phạm vi bị hạn chế cao, đặc biệt là một số loài có kiểu sinh cảnh bị hạn chế như rừng giữa núi (như liềm đen) hoặc đặc hữu đảo (như thiên đường của Wilson). [2]
Phần lớn các loài chim thiên đường sống trong các khu rừng nhiệt đới, bao gồm rừng mưa nhiệt đới, đầm lầy và rừng rêu, [2] gần như tất cả chúng là những người sống trên cây đơn độc. [7] Một số loài đã được ghi nhận ở rừng ngập mặn ven biển. ] Loài cực nam, loài súng trường thiên đường của Úc, sống trong các khu rừng ẩm ướt cận nhiệt đới và ôn đới. Với tư cách là một nhóm, các manucode là nhựa nhất trong các yêu cầu về môi trường sống của chúng, đặc biệt là các manucode bóng loáng sinh sống ở cả rừng và rừng savanna mở. [2] Môi trường sống giữa vùng núi là môi trường sống phổ biến nhất, với ba mươi trong số bốn mươi loài xảy ra trong dải cao 1000 10002000 m. [8]
Chế độ ăn của chim thiên đường bị chi phối bởi trái cây và động vật chân đốt, mặc dù cũng có thể lấy một lượng nhỏ mật hoa và động vật có xương sống nhỏ. Tỷ lệ của hai loại thực phẩm khác nhau tùy theo loài, với trái cây chiếm ưu thế ở một số loài và động vật chân đốt thống trị chế độ ăn ở những loài khác. Tỷ lệ của cả hai sẽ ảnh hưởng đến các khía cạnh khác trong hành vi của loài, ví dụ các loài phù du có xu hướng kiếm ăn trong tán rừng, trong khi các loài côn trùng có thể ăn thấp hơn ở tầng giữa. Frugivores mang tính xã hội nhiều hơn các loài côn trùng, chúng đơn độc và lãnh thổ hơn. [2]
Ngay cả những loài chim thiên đường chủ yếu ăn côn trùng vẫn sẽ ăn một lượng lớn trái cây; và gia đình nói chung là một người phát tán hạt giống quan trọng cho các khu rừng ở New Guinea, vì họ không tiêu hóa hạt giống. Các loài ăn trái cây sẽ tìm kiếm nhiều trái cây và trong khi chúng có thể tham gia các loài ăn trái cây khác tại một cây ăn quả, chúng sẽ không liên kết với chúng nếu không sẽ không ở lại với các loài khác. Trái cây được ăn trong khi đậu chứ không phải từ không khí, và chim thiên đường có thể sử dụng chân của chúng như công cụ để thao tác và giữ thức ăn của chúng, cho phép chúng trích xuất một số quả nang. Có một số sự khác biệt thích hợp trong việc lựa chọn trái cây theo loài và bất kỳ một loài nào sẽ chỉ tiêu thụ một số lượng hạn chế các loại trái cây so với lựa chọn lớn có sẵn. Ví dụ, cây kèn kèn và cây đàn có vỏ nhăn nheo sẽ ăn chủ yếu là quả sung, trong khi đó, loài parotia của Lawes tập trung chủ yếu vào các loại quả mọng và chim thiên đường lophorina và raggiana lớn hơn chiếm phần lớn quả nang. [2]
Hầu hết các loài đều có nghi thức giao phối phức tạp, với loài Paradisaea hệ thống giao phối -type. Những người khác, chẳng hạn như các loài Cicinnurus và Parotia có các điệu nhảy giao phối được nghi thức hóa cao. Con đực rất đa thê trong các loài lưỡng hình giới tính, nhưng đơn tính ở ít nhất một số loài đơn hình. Lai tạo là thường xuyên ở những con chim này, cho thấy các loài chim thiên đường đa thê có liên quan rất chặt chẽ mặc dù ở trong các chi khác nhau. Nhiều giống lai đã được mô tả là loài mới, và vẫn còn nghi ngờ về việc liệu một số hình thức, chẳng hạn như loài chim thiên đường có thùy của Rothschild, có hợp lệ hay không. [ cần trích dẫn ] – thiên đường xây dựng tổ của chúng từ các vật liệu mềm, như lá, dương xỉ và dây leo, thường được đặt trong một cái nĩa cây. [9] Số lượng trứng điển hình trong mỗi ly hợp khác nhau giữa các loài và không được biết đến cho mỗi loài . Đối với các loài lớn hơn, nó hầu như luôn luôn chỉ là một quả trứng, nhưng các loài nhỏ hơn có thể tạo ra các cặp 2. trứng [10] Trứng nở sau 16 tuổi22 và con non rời tổ vào khoảng từ 16 đến 30 ngày tuổi. [9]
Các xã hội của New Guinea thường sử dụng các chuỗi lông chim trong trang phục và nghi lễ của họ, và các chuỗi này được phổ biến ở châu Âu trong các thế kỷ qua như là trang sức cho nhà máy của phụ nữ. Săn bắn để phá hủy và hủy hoại môi trường sống đã làm giảm một số loài đến tình trạng nguy cấp; hủy hoại môi trường sống do nạn phá rừng hiện đang là mối đe dọa chủ yếu. [2]
Được biết đến nhiều nhất là các thành viên của chi Paradisaea bao gồm các loài, loài chim lớn hơn thiên đường, Paradisaea apoda . Loài này được mô tả từ các mẫu vật được đưa trở lại châu Âu từ các cuộc thám hiểm giao dịch vào đầu thế kỷ XVI. Những mẫu vật này đã được chuẩn bị bởi các thương nhân bản địa bằng cách loại bỏ cánh và chân của họ để chúng có thể được sử dụng làm đồ trang trí. Điều này không được các nhà thám hiểm biết đến, và khi không có thông tin, nhiều niềm tin đã nảy sinh về họ. Họ được cho là ngắn gọn là con phượng hoàng trong thần thoại. Tình trạng thường không có chân và không có cánh của da dẫn đến niềm tin rằng những con chim không bao giờ hạ cánh mà được giữ vĩnh viễn ở trên cao bởi những sợi lông của chúng. Những người châu Âu đầu tiên bắt gặp da của họ là những người du hành vòng quanh Trái đất của Magellan. Antonio Pigafetta đã viết rằng họ "Người dân nói với chúng tôi rằng những con chim đó đến từ thiên đường trên mặt đất và họ gọi chúng là bolon diuata, nghĩa là" chim của Chúa "." [11] Đây là nguồn gốc của cả hai tên " chim thiên đường "và tên cụ thể apoda – không có chân. [12] Một tài khoản thay thế của Maximilianus Transylvanus đã sử dụng thuật ngữ Mamuco Diata, một biến thể của Manucodiata, được sử dụng như một từ đồng nghĩa với loài chim- thiên đường đến thế kỷ 19.
Săn bắn chim thiên đường đã xảy ra trong một thời gian dài, có thể kể từ khi bắt đầu định cư của con người. Một điều đặc biệt là trong số những loài thường xuyên bị săn lùng nhất, con đực bắt đầu giao phối một cách cơ hội ngay cả trước khi chúng phát triển bộ lông trang trí. Đây có thể là một sự thích ứng duy trì mức dân số khi đối mặt với áp lực săn bắn, có lẽ đã tồn tại hàng trăm năm. [ cần trích dẫn ]
Nhà tự nhiên học, nhà thám hiểm và tác giả Alfred Russel Wallace đã dành sáu năm trong cái gọi là Quần đảo Malay (xuất bản năm 1869), chụp, thu thập và mô tả nhiều mẫu vật của các loài động vật và chim bao gồm cả vĩ đại, vua, mười hai dây, tuyệt vời, đỏ và Chim thiên đường sáu cánh. [13]
Săn bắn để cung cấp cho các nhà máy sản xuất thương mại đã được mở rộng vào cuối thế kỷ 19 và đầu thế kỷ 20, [14] nhưng ngày nay, các loài chim được hưởng sự bảo vệ và săn bắn hợp pháp chỉ được phép ở mức độ bền vững để đáp ứng nhu cầu nghi lễ của người dân bộ lạc địa phương. Trong trường hợp Pteridophora việc nhặt rác từ các bowerbird cũ được khuyến khích.
Pecorino là một gia đình phô mai cứng của Ý làm từ sữa cừu. Từ này bắt nguồn từ tiếng Ý pecora có nghĩa là "con cừu". [1]
Trong số sáu giống pecorino chính, tất cả đều có trạng thái Bảo vệ Xuất xứ (PDO) theo luật Liên minh Châu Âu, pecorino romano có lẽ là loại được biết đến nhiều nhất bên ngoài Ý, đặc biệt là ở Hoa Kỳ, đã trở thành một thị trường xuất khẩu quan trọng cho phô mai từ thế kỷ 19. [2] Hầu hết pecorino được sản xuất trên đảo Sardinia, mặc dù việc sản xuất của nó cũng được cho phép ở Lazio và các tỉnh Grossus và Siena của Tuscan. Các tác giả La Mã cổ đại đã viết về pho mát này và kỹ thuật sản xuất của nó. [3]
Năm loại phô mai PDO trưởng thành khác là pecorino sardo từ Sardinia, pecorino toscano, sản phẩm đã được Pliny the Elder chứng thực trong , [4] pecorino siciliano (hoặc Picurinu Sicilianu ở Sicilia) từ Sicily, Pecorino di Filiano từ Basilicata [5] và Pecorino Crotonese từ Crotone ở Calabria. [6]
Tất cả đều có nhiều kiểu tùy theo thời gian . Các loại phô mai trưởng thành hơn, được gọi là stagionato ("dày dạn" hoặc "già"), cứng hơn nhưng vẫn có kết cấu vụn và có hương vị bơ và hạt dẻ. Hai loại còn lại, semi-stagionato và fresco có kết cấu mềm hơn và vị kem và sữa nhẹ hơn.
Một biến thể từ miền Nam nước Ý là pecorino pepato (nghĩa đen là "Pecorino tiêu"), được thêm hạt tiêu đen. Ngày nay, nhiều sự bổ sung khác được thực hiện, ví dụ như quả óc chó hoặc tên lửa hoặc những mảnh nhỏ của nấm cục trắng hoặc đen. Ở Sardinia, ấu trùng của ruồi phô mai được cố tình đưa vào pecorino sardo để tạo ra một món ngon địa phương gọi là casu marzu.
Một stagionato pecorino ngon thường là kết thúc của một bữa ăn, ăn kèm với lê và quả óc chó hoặc ngâm với mật ong hạt dẻ mạnh. Pecorino cũng thường được sử dụng để hoàn thành các món mì ống và từng là lựa chọn tự nhiên cho hầu hết các khu vực Ý từ Umbria xuống Sicily, thay vì Parmigiano-Reggiano đắt tiền hơn. Ngày nay nó vẫn được ưa chuộng cho các món pasta của Rome và Lazio, ví dụ như pasta mặc với sugo all'amatriciana, Pasta Cacio e pepe và Pasta alla Gricia.
Phương tiện truyền thông liên quan đến Pecorino tại Wikimedia Commons
Trong khoa học máy tính, một thuật toán được gọi là không chặn nếu thất bại hoặc đình chỉ bất kỳ luồng nào có thể gây ra lỗi hoặc đình chỉ một luồng khác; [1] đối với một số thao tác, các thuật toán này cung cấp một giải pháp thay thế hữu ích cho thực hiện chặn truyền thống. Thuật toán không chặn là không khóa nếu có tiến trình toàn hệ thống được đảm bảo và không phải chờ đợi nếu cũng có tiến trình trên mỗi luồng được đảm bảo.
Từ "không chặn" theo truyền thống được sử dụng để mô tả các mạng viễn thông có thể định tuyến kết nối thông qua một bộ rơle "mà không phải sắp xếp lại các cuộc gọi hiện tại", xem Mạng Clos. Ngoài ra, nếu tổng đài điện thoại "không bị lỗi, nó luôn có thể thực hiện kết nối", hãy xem công tắc mở rộng tối thiểu không chặn.
Cách tiếp cận truyền thống để lập trình đa luồng là sử dụng khóa để đồng bộ hóa quyền truy cập vào tài nguyên được chia sẻ. Các nguyên hàm đồng bộ hóa như mutexes, semaphores và các phần quan trọng là tất cả các cơ chế mà một lập trình viên có thể đảm bảo rằng các phần mã nhất định không thực thi đồng thời, nếu làm như vậy sẽ làm hỏng cấu trúc bộ nhớ chia sẻ. Nếu một luồng cố gắng để có được một khóa đã được giữ bởi một luồng khác, thì luồng sẽ chặn cho đến khi khóa được tự do.
Chặn một chuỗi có thể là không mong muốn vì nhiều lý do. Một lý do rõ ràng là trong khi luồng bị chặn, nó không thể thực hiện được bất cứ điều gì: nếu luồng bị chặn đã thực hiện một nhiệm vụ ưu tiên cao hoặc thời gian thực, thì việc dừng tiến trình của nó là rất không mong muốn.
Các vấn đề khác ít rõ ràng hơn. Ví dụ, một số tương tác nhất định giữa các khóa có thể dẫn đến các điều kiện lỗi như bế tắc, livelock và đảo ngược ưu tiên. Sử dụng khóa cũng liên quan đến sự đánh đổi giữa khóa hạt thô, có thể làm giảm đáng kể cơ hội song song và khóa hạt mịn, đòi hỏi thiết kế cẩn thận hơn, tăng khóa trên cao và dễ bị lỗi hơn.
Không giống như các thuật toán chặn, các thuật toán không chặn không gặp phải những nhược điểm này, và ngoài ra, nó an toàn để sử dụng trong các trình xử lý ngắt: mặc dù có thể nối lại luồng xử lý trước, nhưng vẫn có thể thực hiện được. Ngược lại, các cấu trúc dữ liệu toàn cầu được bảo vệ bằng loại trừ lẫn nhau không thể được truy cập một cách an toàn trong trình xử lý ngắt, vì luồng được ưu tiên có thể là khóa giữ – nhưng điều này có thể được khắc phục dễ dàng bằng cách che giấu yêu cầu ngắt trong phần quan trọng [2] .
Một cấu trúc dữ liệu không khóa có thể được sử dụng để cải thiện hiệu suất. Cấu trúc dữ liệu không khóa giúp tăng lượng thời gian thực hiện song song thay vì thực hiện nối tiếp, cải thiện hiệu năng trên bộ xử lý đa lõi, bởi vì không cần phải truy cập vào cấu trúc dữ liệu dùng chung để duy trì mạch lạc. [3]
Với một vài ngoại lệ, thuật toán không chặn sử dụng các nguyên hàm đọc-sửa đổi-ghi nguyên tử mà phần cứng phải cung cấp, trong đó đáng chú ý nhất là so sánh và trao đổi (CAS). Các phần quan trọng hầu như luôn được thực hiện bằng cách sử dụng các giao diện tiêu chuẩn trên các nguyên thủy này (trong trường hợp chung, các phần quan trọng sẽ bị chặn, ngay cả khi được thực hiện với các nguyên thủy này). Cho đến gần đây, tất cả các thuật toán không chặn phải được viết "nguyên bản" với các nguyên hàm cơ bản để đạt được hiệu suất chấp nhận được. Tuy nhiên, lĩnh vực bộ nhớ giao dịch phần mềm mới nổi hứa hẹn những tóm tắt tiêu chuẩn để viết mã không chặn hiệu quả. [4] [5]
Nhiều nghiên cứu cũng đã được thực hiện trong việc cung cấp cơ bản cấu trúc dữ liệu như ngăn xếp, hàng đợi, bộ và bảng băm. Điều này cho phép các chương trình dễ dàng trao đổi dữ liệu giữa các luồng không đồng bộ.
Ngoài ra, một số cấu trúc dữ liệu không chặn đủ yếu để được thực hiện mà không có nguyên thủy nguyên tử đặc biệt. Những ngoại lệ này bao gồm:
Một số thư viện trong nội bộ sử dụng các kỹ thuật không khóa, [6][7][8] nhưng rất khó để viết mã không khóa chính xác. [9][10][11][12]
Chờ đợi tự do là sự bảo đảm không ngăn chặn mạnh mẽ nhất của tiến trình, kết hợp thông lượng toàn hệ thống được bảo đảm với tự do chết đói. Thuật toán không phải chờ nếu mọi thao tác bị ràng buộc về số bước mà thuật toán sẽ thực hiện trước khi hoạt động hoàn tất. [13] Thuộc tính này rất quan trọng đối với các hệ thống thời gian thực và luôn luôn tốt khi có chi phí hiệu năng không quá cao
Nó đã được chỉ ra vào những năm 1980 [14] rằng tất cả các thuật toán có thể được thực hiện miễn phí, và nhiều biến đổi từ mã nối tiếp, được gọi là các cấu trúc phổ quát đã được chứng minh. Tuy nhiên, hiệu suất kết quả không phù hợp với các thiết kế chặn thậm chí ngây thơ. Một số bài báo đã cải thiện hiệu suất của các công trình phổ quát, tuy nhiên, hiệu suất của chúng thấp hơn nhiều so với các thiết kế chặn.
Một số bài báo đã điều tra về khó khăn trong việc tạo ra các thuật toán chờ đợi. Ví dụ, người ta đã chỉ ra [15] rằng các nguyên tử có điều kiện có sẵn rộng rãi CAS và LL / SC, không thể cung cấp việc triển khai không có đói cho nhiều cấu trúc dữ liệu phổ biến mà không có chi phí bộ nhớ tăng theo số lượng chủ đề.
Nhưng trong thực tế, các giới hạn dưới này không tạo ra rào cản thực sự khi chi tiêu một dòng bộ đệm hoặc hạt đặt trước độc quyền (tối đa 2 KB cho ARM) của mỗi luồng trong bộ nhớ dùng chung không được coi là quá tốn kém cho các hệ thống thực tế (thông thường số lượng cửa hàng yêu cầu một cách hợp lý là một từ, nhưng các hoạt động CAS vật lý trên cùng một dòng bộ đệm sẽ va chạm và các hoạt động LL / SC trong cùng một hạt đặt trước độc quyền sẽ va chạm, do đó, số lượng cửa hàng yêu cầu về mặt vật lý [ trích dẫn cần thiết ] là lớn hơn).
Thuật toán chờ miễn phí rất hiếm cho đến năm 2011, cả trong nghiên cứu và thực tế. Tuy nhiên, vào năm 2011, Kogan và Petrank [16] đã trình bày một tòa nhà xếp hàng chờ miễn phí trên nguyên thủy CAS, thường có sẵn trên phần cứng phổ biến. Công trình của họ đã mở rộng hàng đợi không khóa của Michael và Scott, [17] một hàng đợi hiệu quả thường được sử dụng trong thực tế. Một bài báo tiếp theo của Kogan và Petrank [18] đã cung cấp một phương pháp để làm cho các thuật toán chờ đợi nhanh chóng và sử dụng phương pháp này để thực hiện hàng đợi chờ thực tế nhanh như đối tác không khóa của nó. Một bài báo tiếp theo của Timnat và Petrank [19] đã cung cấp một cơ chế tự động để tạo các cấu trúc dữ liệu không phải chờ đợi từ các khóa không khóa. Do đó, triển khai chờ miễn phí hiện có sẵn cho nhiều cấu trúc dữ liệu.
Tự do khóa cho phép các luồng riêng lẻ chết đói nhưng đảm bảo thông lượng trên toàn hệ thống. Một thuật toán không bị khóa nếu, khi các luồng chương trình được chạy trong một thời gian đủ dài, ít nhất một trong các luồng tạo ra tiến độ (đối với một số định nghĩa hợp lý của tiến độ). Tất cả các thuật toán chờ miễn phí là khóa miễn phí.
Đặc biệt, nếu một luồng bị treo, thuật toán không khóa đảm bảo rằng các luồng còn lại vẫn có thể đạt được tiến bộ. Do đó, nếu hai luồng có thể tranh nhau cho cùng một khóa mutex hoặc spinlock, thì thuật toán là chứ không phải không khóa. (Nếu chúng tôi tạm dừng một luồng giữ khóa, thì luồng thứ hai sẽ chặn.)
Một thuật toán không bị khóa nếu hoạt động thường xuyên bởi một số bộ xử lý sẽ thành công trong một số bước hữu hạn. Ví dụ, nếu bộ xử lý N đang cố gắng thực hiện một thao tác, một số quy trình N sẽ thành công trong việc hoàn thành thao tác trong một số bước hữu hạn và các bước khác có thể thất bại và thử lại thất bại. Sự khác biệt giữa chờ miễn phí và không khóa là hoạt động không chờ đợi của mỗi quy trình được đảm bảo thành công trong một số bước hữu hạn, bất kể các bộ xử lý khác.
Nói chung, thuật toán không khóa có thể chạy theo bốn giai đoạn: hoàn thành thao tác của chính mình, hỗ trợ thao tác cản trở, hủy bỏ thao tác cản trở và chờ đợi. Hoàn thành hoạt động của một người rất phức tạp bởi khả năng hỗ trợ và phá thai đồng thời, nhưng luôn luôn là con đường nhanh nhất để hoàn thành.
Quyết định về thời điểm hỗ trợ, hủy bỏ hoặc chờ đợi khi gặp phải sự cản trở là trách nhiệm của người quản lý tranh chấp . Điều này có thể rất đơn giản (hỗ trợ các hoạt động ưu tiên cao hơn, hủy bỏ các ưu tiên thấp hơn) hoặc có thể được tối ưu hóa hơn để đạt được thông lượng tốt hơn hoặc giảm độ trễ của các hoạt động ưu tiên.
Hỗ trợ đồng thời chính xác thường là phần phức tạp nhất của thuật toán không khóa và thường rất tốn kém khi thực hiện: không chỉ luồng hỗ trợ bị chậm mà nhờ vào cơ chế của bộ nhớ dùng chung, luồng được hỗ trợ sẽ được chậm quá, nếu nó vẫn chạy
Tự do cản trở là bảo đảm tiến trình không chặn tự nhiên yếu nhất. Một thuật toán không bị cản trở nếu tại bất kỳ thời điểm nào, một luồng duy nhất được thực hiện trong sự cô lập (tức là, với tất cả các luồng bị tắc nghẽn) cho một số bước bị ràng buộc sẽ hoàn thành hoạt động của nó. [13] Tất cả các thuật toán không khóa đều không có vật cản.
Yêu cầu tự do tắc nghẽn chỉ có thể hủy bỏ mọi hoạt động đã hoàn thành một phần và các thay đổi đã được khôi phục. Việc bỏ hỗ trợ đồng thời thường có thể dẫn đến các thuật toán đơn giản hơn nhiều, dễ xác nhận hơn. Ngăn chặn hệ thống liên tục khóa trực tiếp là nhiệm vụ của người quản lý ganh đua.
Một số thuật toán không có vật cản sử dụng một cặp "dấu nhất quán" trong cấu trúc dữ liệu. Các quá trình đọc cấu trúc dữ liệu trước tiên đọc một điểm đánh dấu nhất quán, sau đó đọc dữ liệu liên quan vào bộ đệm bên trong, sau đó đọc điểm đánh dấu khác và sau đó so sánh các điểm đánh dấu. Dữ liệu phù hợp nếu hai điểm đánh dấu giống hệt nhau. Các điểm đánh dấu có thể không giống nhau khi quá trình đọc bị gián đoạn bởi một quá trình khác cập nhật cấu trúc dữ liệu. Trong trường hợp như vậy, quá trình loại bỏ dữ liệu trong bộ đệm nội bộ và thử lại.
"Không chặn" đã được sử dụng như một từ đồng nghĩa với "không khóa" trong tài liệu cho đến khi giới thiệu tự do tắc nghẽn vào năm 2003. [20]
Barry Goldwater (1909 Lỗi1998) là một chính trị gia bảo thủ người Mỹ.
Goldwater cũng có thể tham khảo:
Ion arsenate là AsO 3− Xảy ra [ chỉnh sửa ]Asen xuất hiện tự nhiên trong nhiều loại khoáng sản. Những khoáng chất có thể chứa arsenat ngậm nước hoặc khan. Không giống như phốt phát, arsenate không bị mất từ một khoáng chất trong thời tiết. Ví dụ về các khoáng chất có chứa arsenate bao gồm adamite, alarsite, annabergite, erythrite và legrandite. [1] Trong trường hợp cần có hai ion arsenate để cân bằng điện tích trong một công thức, nó được gọi là diarsenate 3 (AsO 4 ) 2 .
| |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
