Thần học Princeton là một truyền thống của thần học bảo thủ, Kitô giáo, Cải cách và Trưởng lão tại Chủng viện Thần học Princeton kéo dài từ khi thành lập tổ chức đó vào năm 1812 cho đến những năm 1920 trong đó, do ảnh hưởng ngày càng tăng của chủ nghĩa tự do thần học tại trường, các nhà thần học Princeton cuối cùng đã rời đi để thành lập Chủng viện Thần học Westminster. Tên gọi này có sự tham khảo đặc biệt đến một số nhà thần học nhất định, từ Archibald Alexander đến B.B. Warfield, và sự pha trộn giảng dạy đặc biệt của họ, cùng với chính thống giáo Calvinist Old School Presbyterian tìm cách thể hiện một Tin Lành ấm áp và một học bổng tiêu chuẩn cao. W. Andrew Hoffecker lập luận rằng họ cố gắng "duy trì sự cân bằng giữa các yếu tố trí tuệ và tình cảm trong đức tin Kitô giáo." [1]
Bằng cách mở rộng, các nhà thần học Princeton bao gồm những người tiền nhiệm của Chủng viện Thần học Princeton đã chuẩn bị nền tảng của truyền thống thần học đó, và những người kế vị đã cố gắng và thất bại, để bảo vệ chủng viện chống lại sự xâm nhập của một chương trình để phù hợp hơn với trường đại học theo "Truyền giáo rộng rãi", được áp đặt bởi Giáo hội Trưởng lão ở Hoa Kỳ của nước Mỹ.
Lịch sử [ chỉnh sửa ]
William Tennent, Sr. của Log College, Gilbert Tennent và William Tennent, Jr. của Đại học New Jersey và Jonathan Edwards của Đại học Princeton được coi là tiền thân của các nhà thần học Princeton. Archibald Alexander, Charles Hodge, A. A. Hodge và B. B. Warfield là những nhân vật chính thúc đẩy Thần học Princeton. Tạp chí hàng quý Kinh thánh tái bản sau đổi tên thành Tạp chí Princeton là một ấn phẩm quan trọng thúc đẩy trường này. Albert Baldwin Dod, Lyman Hotchkiss Atwater, [2] và John Breckinridge [3] là những người đóng góp thường xuyên của tạp chí này. Geerhardus Vos, J. Gresham Machen, Cornelius Van Til, Oswald T. Allis, Robert Dick Wilson và John Murray là những người kế thừa đáng chú ý của các nhà thần học Princeton.
Trong số này, chỉ Machen và Wilson đại diện cho truyền thống Trưởng lão của Mỹ chịu ảnh hưởng trực tiếp của Thần học Princeton. Vos và Van Til là người Hà Lan cải cách. Murray là một người Scot, nhưng là một sinh viên dưới Machen tại Princeton, người sau đó đã theo anh đến Chủng viện Thần học Westminster. Murray và Van Til đều là những mục sư trong Giáo hội Trưởng lão Chính thống, do Machen thành lập.
Thần học [ chỉnh sửa ]
Mark Noll, một nhà sử học của Giáo hội Tin lành, xem "mô típ lớn" của Thần học Princeton là
Tận tâm với Kinh thánh, quan tâm đến kinh nghiệm tôn giáo, nhạy cảm với kinh nghiệm của Mỹ và việc làm đầy đủ các lời thú tội của Trưởng lão, các nhà hệ thống cải cách vào thế kỷ thứ mười bảy, và triết học về Ý thức chung của Scotland. [2]
chuẩn mực là phổ biến trong thế kỷ 19, và không phải là một đặc điểm của các nhà thần học Princeton. Tuy nhiên, Princeton được phân biệt bởi sự nghiêm khắc trong học tập mà nó đã tiếp cận với Kinh thánh. Alexander và những người kế vị của ông đã tìm cách bảo vệ các học thuyết mà họ tìm thấy trong Kinh Thánh trước những tuyên bố của đối thủ từ các học giả uyên bác. Charles Hodge coi sự trung thành với Kinh thánh là sự bảo vệ tốt nhất chống lại sự chỉ trích cao hơn cũng như sự tập trung kinh nghiệm quá mức của Friedrich Schleiermacher.
Các nhà thần học Princeton đã thấy mình trong dòng Tin lành Cải cách kéo dài từ thời John Calvin. Giáo điều của Francis Turretin, một học giả cải cách của thế kỷ 17, là sách giáo khoa chính của thần học tại Princeton. Trong một thế giới ngày càng coi trọng cái mới hơn cái cũ, những nhà thần học này ưa thích các hệ thống thần học của thế kỷ 16 và 17. Các lời thú tội được cải cách khác nhau được xem là tiếng nói hài hòa của một truyền thống thần học thông thường, đơn giản chỉ là một sự chắt lọc trong giáo huấn của Kinh Thánh.
Shergar, Marwell, Royal Heroine, Shareef Dancer, Shahrastani, Shadeed, Green Desert, Kribensis, Zilzal, Ezzoud, Gay Gallanta, Opera House, Singspiel, Pilsudski, Petrushka, Kalanisi, Daliapour, Golan, Russian Rhy nhịp, Kris Kin, North , Lực lượng lao động, Ước tính, Ulysses
Sir Michael Ronald Stoute (sinh ngày 22 tháng 10 năm 1945, tại Barbados) là một huấn luyện viên ngựa thuần chủng người Anh trong cuộc đua phẳng. Stoute, có cha là Cảnh sát trưởng của Barbados, rời đảo năm 1964 khi 19 tuổi để trở thành trợ lý huấn luyện viên Pat Rohan và bắt đầu huấn luyện ngựa một mình vào năm 1972. Chiến thắng đầu tiên của anh khi là một huấn luyện viên đến vào ngày 28 tháng 4 Năm 1972 khi Sandal, một con ngựa thuộc sở hữu của cha Stoute, đã giành chiến thắng tại Trường đua Newmarket ở Anh. [1] Kể từ đó, anh tiếp tục chiến thắng các cuộc đua trên toàn cầu, bao gồm cả chiến thắng tại Dubai World Cup, Breeders Cup, Nhật Bản Cup và chiếc bình Hồng Kông. [2]
Ông được phong tước hiệp sĩ năm 1998 cho các dịch vụ du lịch ở Barbados. [1] Ông là huấn luyện viên duy nhất trong thế kỷ 20 giành được giải Cổ điển Anh trong năm mùa liên tiếp [3] và đã trở thành Quán quân Huấn luyện viên mười lần (1981, 1986, 1989, 1994, 1997, 2000, 2003, 2005, 2006 và 2009). [1][4] Ông là huấn luyện viên cho Kribensis, là con ngựa duy nhất giành được Triple Crown of Hurdling, đang làm vì vậy trong mùa đua 1989/90. Stoute cũng huấn luyện Shergar, được cho là con ngựa nổi tiếng nhất của anh ta, người đã giành được Epsom Derby năm 1981 và sau đó bị đánh cắp, có lẽ là do IRA. [5]
Năm 2009, ba con ngựa được huấn luyện bởi Stoute Muff Conduit, Tartan Bearer và Ask kỳ công khi bộ ba thực hiện một cuộc quét sạch các dấu vị trí tại King George VI và Queen Elizabeth Stakes. Tổng cộng, những con ngựa đã mang về 1.787.000 đô la trong số 2.008.945 đô la tiền thưởng ở kỵ binh giàu nhất nước Anh. [6] Những chiến thắng đó đã giúp ông lấy lại danh hiệu Huấn luyện viên vô địch năm 2009, giành được tổng cộng 3,372,287 đô la tiền thưởng. Con ngựa của Nữ hoàng Ước tính chiến thắng Cúp vàng tại Royal Ascot.
Stoute hiện đang huấn luyện ngựa tại Chuồng ngựa Freidiaon và tại Beech Hurst Stables, cả trên Đường Bury ở Newmarket. [1]
Chakesey Park Stakes – (3) – Marwell (1980), Gay Gallanta (1994) , Regal Rose (2000)
Cúp Commonwealth – (1) – Eqtidaar (2018)
Cup đăng quang – (5) – Saddlers 'Hall (1992), Opera House (1993), Singspiel (1997), Daliapour (2000), Hỏi (2009)
Coronati trên Stakes – (4) – Sonic Lady (1986), Milligram (1987), Exclusive (1998), Russian Rhy tiết (2003)
Derby – (5) – Shergar (1981), Shahrastani ( 1986), Kris Kin (2003), North Light (2004), Lực lượng lao động (2010)
Dewhurst Stakes – (1) – Ajdal (1986)
Stakes Eclipse – (6) – Opera House (1993), Ezzoud (1994), Pilsudski (1997), Medicean (2001), Notnowcato (2007), Ulysses (2017)
Falmouth Stakes – (5) – Royal Heroine (1983), Sonic Lady (1986 & 1987), Lovers Knob (1998), Integral (2014)
Fillies 'Mile – (2) – Untold (1985), Red Bloom (2003)
Diamond Jubilee Stakes – (1) – Dafayna (1985)
Haydock Sprint Cup – (2) – Sa mạc xanh (1986), Ajdal (1987)
Cổ phần quốc tế – (6) – Shardari (1986), Ezzoud (1993 & 1994), Singspiel (1997), Notnowcato (2006), Ulysses (2017)
Cup tháng 7 – (3) – Marwell (1 981), Sa mạc xanh (1986), Ajdal (1987)
Vua George VI và Nữ hoàng Elizabeth Stakes – (6) – Shergar (1981), Nhà hát lớn (1993), Golan (2002), Conduit (2009 ), Harbinger (2010), Lời của nhà thơ (2018)
Stakes Prince of Wales – (3) – Hard F tư tưởng (1981), Stagecraft (1991), Poet's Word (2018)
Queen Anne Stakes – (3) – Kalanisi (2000), Medicean (2001), No Excuse N eeded (2002)
Queen Elizabeth II Stakes – (3) – Shadeed (1985), Milligram (1987), Zilzal (1989)
Racing Post Trophy – (1) – Dilshaan (2000 )
St. Stakes Palace James – (1) – Shaadi (1989)
St. Cổ phần Leger – (1) – Conduit (2008)
Sun Chariot Stakes – (4) – Triple First (1977), Kartajana (1990), Peeress (2005), Integral (2014) [19659028] Sussex Stakes – (3) – Sonic Lady (1986), Zilzal (1989), Among Men (1998)
Matron Stakes – (2) – Điều khoản có lợi (2003), Echelon (2007)
Cổ phần khá Polly – (1) – Dẫn đầu đầy triển vọng (2008)
Tattersalls Gold Cup – (2) – Nhà hát Opera ( 1992), Notnowcato (2007)
Các Tiểu vương quốc Ả Rập Thống nhất
Hoa Kỳ
Tài liệu tham khảo [ chỉnh sửa ]
^ a b [19659090] c d Sir Michael Stoute: Hồ sơ NTRA Lưu trữ ngày 11 tháng 10 năm 2007 tại Wayback Machine, ntra.com, truy cập ngày 20 tháng 2 năm 2010
^ Sir Michael Stoute: Profile, epsom-derby.net, truy cập ngày 20 tháng 2 năm 2010
^ Bài viết trên trang web của BBC về Sir Michael Stoute
^ Danh sách Biên niên sử thể thao của Huấn luyện viên vô địch Anh
^ [19659096] Sự thật về vụ bắt cóc chủng tộc Shergar, telegraph.co.uk, ngày 27 tháng 1 năm 2008, truy cập ngày 20 tháng 2 năm 2010 Tháng 7 năm 2009, truy cập ngày 6 tháng 8 năm 2009.
^ Sir Michael Stoute: Go Racing Profile Lưu trữ ngày 8 tháng 6 năm 2011 tại Wayback Machine, british Táceraces.com, truy cập ngày 20 tháng 2 năm 2010
Bloodshot là một siêu anh hùng truyện tranh hư cấu xuất hiện trong các cuốn sách được xuất bản bởi nhà xuất bản Mỹ Valiant Comics. Nhân vật được tạo ra bởi Kevin VanHook, Don Perlin và Bob Layton.
Lịch sử xuất bản [ chỉnh sửa ]
Bloodshot được tạo ra vào năm 1992 bởi Kevin VanHook, Don Perlin và Bob Layton [1] (với tên được đề xuất bởi David Chlystek) ] trong một làn sóng phổ biến cho Vũ trụ Valiant và trở thành hit ngay lập tức với độc giả, với vấn đề đầu tiên xếp thứ 4 trong Top 100 Nhà phân phối truyện tranh kim cương vào tháng 11 năm 1992. [3] Là một trong những nhân vật Valiant nổi tiếng nhất, Bloodshot đã tiếp tục thành công, bán được hàng triệu bản cho đến khi Valiant được Acclaim Entertainment mua lại với giá 65 triệu đô la. Truyện tranh đã được dịch sang một số ngôn ngữ bao gồm tiếng Pháp, tiếng Đức, tiếng Ý, tiếng Tây Ban Nha, tiếng Na Uy, tiếng Philipin và tiếng Trung, tiếng Thổ Nhĩ Kỳ, trong số những ngôn ngữ khác. Năm 1996, Bloodshot và phần lớn các nhân vật Valiant Universe khác đã được khởi động lại dưới biểu ngữ của Acclaim Comics. Sự ra mắt lại cho thấy tiêu đề di chuyển theo một hướng mới có thể dễ dàng thích nghi hơn với các trò chơi video. Valiant Entertainment là chủ sở hữu hiện tại của Danh mục nhân vật Valiant.
Một tập mới của Bloodshot đã được phát hành vào tháng 7 năm 2012, được viết bởi Duane Swierczynski, sau khi khởi động lại Valiant Comics. Một tập mới của Bloodshot đã được phát hành vào ngày 9 tháng 9 năm 2015, có tiêu đề Bloodshot: Reborn .
Tóm tắt cốt truyện [ chỉnh sửa ]
Bloodshot là một cựu quân nhân với sức mạnh tái sinh và biến hình siêu thực có thể thông qua nanites tiêm vào máu. Sau khi bị xóa trí nhớ nhiều lần, Bloodshot ra ngoài để khám phá ra anh ta thực sự là ai và báo thù những người đã làm điều này với anh ta. [4] Dòng máu của Bloodshot chứa hàng tỷ máy tính nano, cho phép anh ta chữa lành vết thương nhanh chóng, giao diện với công nghệ, và hình dạng thay đổi khối lượng của mình.
Chương trình của Project Rising Spirit để tạo ra người lính cuối cùng kéo dài hàng thập kỷ và đạt được khối lượng quan trọng trong chiều sâu của Thế chiến II. Mặc dù các sản phẩm ban đầu của chương trình được tăng cường mạnh mẽ và các binh sĩ có khả năng chi tiêu cao chỉ phù hợp cho các tình huống đơn giản nhất, những đối tượng ban đầu này có thể hoàn thành các nhiệm vụ cường độ cao bất kể trở ngại nào. Trong nhiều thập kỷ, những kết quả này đảm bảo rằng chương trình "Bloodshot" luôn được dành cho sự phát triển trong tương lai và tiếp tục tạo ra một bước tiến mới.
Trong suốt những năm 1970, thập niên 80 và thập niên 90, P.R.S. xác định lại công nghệ nano sẽ cung cấp năng lượng cho Bloodshot và phát triển một hệ thống trí tuệ nhân tạo mới cho phép anh ta được triển khai trong một loạt các nhiệm vụ phản gián và gián điệp ngoài chiến trường. Trong khi Bloodshot tự nhận thức ở một mức độ nào đó, thì con người lai máy vẫn được coi là gây ra mức độ thiệt hại tài sản thế chấp cao không thể chấp nhận được. Năm 2007, một P.R.S. nhà khoa học, Tiến sĩ Emmanuel Kuretich, đã phát hiện ra ý định của chủ nhân của mình để chuyển hướng chương trình Bloodshot sang một khu vực mới: nhắm mục tiêu và bắt giữ những đứa trẻ cực kỳ hiếm, được cung cấp năng lượng psion gọi là "psiots". Hoảng sợ, Kuretich bỏ trốn P.R.S. cho Harbinger Foundation của Toyo Harada, nơi anh bí mật bắt đầu thực hiện kế hoạch hoàn tác P.R.S.
Vài năm sau, khi đang thực hiện nhiệm vụ thường xuyên ở Afghanistan, Bloodshot bị Kuretich bắt giữ, người đã trích xuất các hồ sơ về các nhiệm vụ của Bloodshot với mục đích phơi bày Project Rising Spirit ra thế giới. Tuy nhiên, quá trình này mở ra tất cả những ký ức sai lầm của Bloodshot, thứ đã được sử dụng để thúc đẩy anh ta trong các khu vực chiến tranh trên toàn thế giới, cùng một lúc.
P.R.S., Lo sợ rằng Bloodshot cuối cùng đã trở nên bất hảo, quyết định kiềm chế anh ta. Bloodshot thoát khỏi sự bắt giữ với sự trợ giúp của một tài xế xe cứu thương tên Kara Murphy trước khi cuối cùng trở về P.R.S. để khám phá sự thật đằng sau danh tính của mình. Bị lật đổ bởi Kuretich, Bloodshot gây bão cho P.R.S. cơ sở ở Nevada, nhưng chỉ tìm thấy cơ sở dưới tầng hầm được gọi là Vườn ươm. Được xây dựng để nuôi những đứa trẻ psiot được trao quyền bắt giữ bởi Bloodshot, giải phóng những tù nhân của Vườn ươm là mục tiêu thực sự của Kuretich và Harada. Bloodshot bị buộc phải chiến đấu với tên cai ngục tàn bạo của Vườn ươm Gamma và cyborg đã lỗi thời của P.R.S. Bloodshot giải thoát những đứa trẻ bị giam cầm, bao gồm cả thế hệ Zero, một hành động vô tình gây ra một phản ứng dây chuyền về các sự kiện sẽ lên đến đỉnh điểm trong Cuộc chiến Harbinger ở Dải Las Vegas.
Đối đầu với Toyo Harada sau hậu quả của P.R.S. đột phá, khả năng tự do của Bloodshot bị ghi đè bởi "Giao thức Harada", một phần của P.R.S. lập trình buộc anh ta phải chấm dứt Harada. Một trận chiến tàn khốc xảy ra, khiến Harada bị thương nặng, và Bloodshot với số lượng nanite cạn kiệt.
Trong những khoảnh khắc kết thúc cuộc chiến Harbinger, Bloodshot lại rơi vào nanh vuốt của Harada và dành vài tuần làm tù nhân của Quỹ Harbinger. Trong thời gian này, Harada đưa Bloodshot vào những thí nghiệm tàn khốc và đau đớn khi anh cố gắng giải quyết bí mật đằng sau những nanite cực kỳ hiếm trong dòng máu của Bloodshot.
Tuy nhiên, Project Rising Spirit nhanh chóng tiến hành một cuộc giải cứu do H.A.R.D. Quân đoàn. Sau khi gây bão tại cơ sở El Segundo của Harada, họ đã trích xuất thành công Bloodshot, người ngay sau đó chấp nhận một vị trí trên H.A.R.D. Đội hình quân đoàn. Bloodshot được thưởng bằng một bản sao cứng của P.R.S. tập tin về danh tính thực sự của mình.
Bloodshot được triển khai trên toàn cầu trong các nhiệm vụ khác nhau cùng với H.A.R.D. Quân đoàn, bao gồm cả nhiệm vụ để lấy lại một P.R.S. đối tượng thử nghiệm có tên mã Prodigal và vệ sĩ được cho là "bất tử" của anh ta.
Tập một và Tập hai của Bloodshot giữ các yếu tố cốt truyện giống nhau với các cài đặt và cốt truyện khác nhau.
Tập một [ chỉnh sửa ]
Angelo Mortalli đã trở thành cỗ máy giết chóc cuối cùng. Ký ức của anh đã bị xóa và máu anh đã được truyền vào những chiếc máy tính siêu nhỏ gọi là nanites. Những nanites này cho phép anh ta chữa lành vết thương nhanh chóng, thống trị các thiết bị điện tử và kiểm soát hoàn toàn mọi khía cạnh của cơ thể để tối đa hóa khả năng thể chất của anh ta. Một Frankenstein thời hiện đại, anh ta tiến hành chiến tranh một người, đánh bại đám đông, cảnh sát và những người tạo ra chính phủ bí mật của anh ta, trong cuộc đấu tranh để tìm ra anh ta là ai và anh ta đã trở thành ai.
Nhân vật [ chỉnh sửa ]
Angelo Mortalli, a.k.a. Bloodshot
Mortalli là một kẻ giết người tàn nhẫn leo lên hàng ngũ đám đông khi gia đình tội phạm của anh ta phản bội anh ta và khiến anh ta đóng khung vì tội giết người. Anh ta đi vào bảo vệ nhân chứng liên bang nhưng bị một trong những thành viên FBI bảo vệ anh ta phản bội. Sau đó anh ta bị bắt cóc và trở thành một phần của một quy trình thử nghiệm được gọi là "Dự án tinh thần trỗi dậy". Cơ thể anh ta được tiêm các máy tính siêu nhỏ gọi là nanites. Các nanites nhanh chóng đi làm, xây dựng lại bộ não của anh ta và sau đó là phần còn lại của cơ thể anh ta, bất ngờ hồi sinh Angelo nhưng lại xóa trí nhớ của anh ta trong quá trình này. Các nanites bây giờ kiểm soát hoàn toàn cơ thể Angelo Angelo (điều khiển lưu lượng máu, mức adrenaline, v.v.) mang lại cho anh ta phản xạ và sức mạnh tăng cường, tăng cường thính giác; khả năng chữa lành nhanh chóng và kiểm soát các thiết bị điện tử. Tức giận, bạo lực và không chắc chắn về những gì anh ta đã trở thành, anh ta trốn thoát. Lấy tên Bloodshot, anh bắt đầu quá trình chắp nối lại với nhau.
Don Gino Canelli
Ông trùm mafia Angelo Mortalli và cha bạn gái của ông là Gino, một người đàn ông tàn nhẫn, sẽ làm bất cứ điều gì để bảo vệ gia đình mình. Anh ấy đối xử với Angelo như một đứa con trai. Khi biết rằng Angelo đã lừa dối con gái mình, anh ta ra lệnh cho Angelo lập ra vụ giết chết đối thủ mà không cần suy nghĩ thứ hai.
Hideyoshi Iwatsu
Iwatsu là một nhà khoa học Nhật Bản già và nguy hiểm, người đã tạo ra thủ tục Bloodshot. Anh ta cực kỳ vô đạo đức, sử dụng những người tình nguyện bất đắc dĩ, người dùng cho các thí nghiệm của anh ấy, hầu hết trong số họ đều chết.
Tanaka
Tanaka là người phụ tá và cánh tay phải của Hideyoshi Iwatsu. Được Hideyoshi tin tưởng hơn chính con trai mình, Tanaka là một kẻ thao túng xuất sắc. Tuy nhiên, sự kiêu ngạo của anh ta làm anh ta mù quáng và dẫn đến những sai lầm ngu ngốc từ phía anh ta.
Tập hai [ chỉnh sửa ]
Angelo Mortalli đã bị chống lại ý chí của mình đối với một thí nghiệm khoa học đã đưa anh ta vào cỗ máy giết chóc cuối cùng, một cỗ máy hủy diệt có tên là Bloodshot. Nhưng, trong quá trình đó, ký ức của anh đã bị mất. Người tạo ra anh ta có nghĩa là sử dụng anh ta như một vũ khí, một sát thủ không thể ngăn cản. Nhưng anh ta thoát ra và trốn thoát. Trong phần tái hiện này, nhà văn Len Kaminski đã xây dựng công nghệ nano của BloodShot. Họ hóa ra giống như chúng sinh coi anh ta là Thiên Chúa của họ và kích động anh ta tự gây ra trạng thái giống như trance bằng cách sử dụng hỗn hợp các chất để giao tiếp trực tiếp với anh ta. Các hợp tác xã chết người của cơ quan chính phủ siêu bí mật đã tài trợ cho sự sáng tạo của anh ta săn lùng anh ta. Theo dấu vết của những hồi ức rời rạc, Bloodshot chiến đấu với một trận chiến chống lại họ, đám đông và cảnh sát.
Nhân vật [ chỉnh sửa ]
Bloodshot
Thành công đầu tiên và duy nhất của Project Lazarus, Bloodshot là một phép màu của công nghệ, vượt xa sự mong đợi của người sáng tạo. Những cỗ máy hiển vi được gọi là nanites được tiêm vào máu của anh ta sẽ tối đa hóa thể chất của anh ta, chữa lành vết thương của anh ta, mở rộng các giác quan và mang lại cho anh ta khả năng giao tiếp với bất kỳ thiết bị điện tử nào. Ở kiếp trước của anh ta là Angelo Mortalli, anh ta học được rằng anh ta là một ngôi sao đang lên trong một gia đình tội phạm ở New York nhưng đường mòn không kết thúc ở đó. Anh ta là một người khác trước khi anh ta là Mortalli. Raymond Garrison là ai?
Simon Oreck
Giám đốc của Cơ quan hoạt động trong nước (DOA), một bộ phận hoạt động bí mật của chính phủ Hoa Kỳ. Một người giao dịch thông tin, công việc kinh doanh của anh ta là kiến thức và anh ta có tai mắt trong mọi chi nhánh của chính phủ – tất cả đều được anh ta cung cấp cho anh ta liên tục bởi bức tường máy tính và màn hình lấp đầy văn phòng của anh ta. Mặc dù thường thích bộ phận của mình ở lại hậu trường, Oreck đề nghị cam kết các nguồn lực của DOA để giúp FBI trích xuất thông tin về gia đình tội phạm Cianelli từ bộ não của tên cướp đã chết gần đây, ông Bruno Mortalli. Nhưng như mọi khi, Oreck đang che giấu động cơ thực sự của mình.
Bác sĩ Frederick J. Stroheim
Con trai của nhà khoa học Đức Quốc xã Klaus Stroheim, người Mạnh Mạnh của Dachau, người Frederick thừa hưởng cha ông thiên tài và sự vô nhân đạo hoàn toàn của ông. Dự án Lazarus là đứa con tinh thần của anh.
Gina DeCarlo
Trong quá trình loại bỏ tất cả các bằng chứng cho thấy rằng Angelo Mortalli từng tồn tại, D.O.A. các nhà điều hành đã hết tất cả các tài liệu, san bằng nhà của anh ta, và thậm chí có các cuốn sách điện thoại được in lại mà không có tên của anh ta. Anh ta cũng phát hiện ra rằng họ lạnh lùng giết Gina, tình yêu của đời anh, để bịt miệng cô. Như thể anh ấy đã không ghét họ đủ rồi.
Cưa xích
Được biết đến là Bộ phận Hoàn cảnh Đặc biệt, tên mã: The Chainsaw là một nhóm lính đánh thuê được đào tạo chuyên sâu làm việc cho Cơ quan Hoạt động trong nước (DOA). Sử dụng công nghệ chiến đấu nhóm tiên tiến có tên Chainlink, các thành viên của The Chainsaw được cung cấp các công cụ liên lạc và dữ liệu tức thời cho phép chiến thuật và chiến lược chiến đấu hoàn hảo. Mỗi thành viên chuyên về một lĩnh vực chiến tranh bí mật và sử dụng công nghệ DOA mới nhất.
Michael Pileggi
Một người đàn ông được tạo ra trong gia đình tội phạm Cianelli, Michael Pileggi là một trong số ít người biết sự thật đằng sau cái chết của Angelo Mortalli. Don Cianelli đã ra lệnh cho Pileggi làm giả một đám tang cho Mortalli để ngăn con gái Don, và bạn gái của Mortalli, Gina khỏi nghi ngờ. Khi nghe tin ai đó đã đặt câu hỏi về Mortalli và giết người của mình để trả lời, anh ta trở nên hoang tưởng và chui vào biệt thự được bảo vệ nghiêm ngặt của mình.
Tập ba [ chỉnh sửa ]
Có 25 vấn đề trong tập này, bao gồm # 0. [5] Một bản phát hành năm 2012 của Valiant Publishing: Bloodshot là một người đàn ông đang tìm kiếm danh tính của mình . Anh ta là một vũ khí, một thứ được chế tạo cho sự hủy diệt của quân đội. Sử dụng những ký ức sai lầm, chính phủ đã thúc đẩy anh ta làm mọi việc trong khi tin rằng bản thân anh ta đang bảo vệ một gia đình tưởng tượng. Nhưng không còn nữa. Khi vũ khí thức tỉnh, nó gặp trục trặc do đó bắt đầu một cuộc chiến tranh giành quyền kiểm soát tâm trí Bloodshot. Để lại dấu vết hủy diệt, anh ta tách khỏi căn cứ quân sự mà anh ta đang bị giam giữ. Một người đàn ông được đánh dấu với làn da xám và một vết đỏ trên ngực, Bloodshot chọn không tin ai khi anh ta chiến đấu để tìm ra anh ta từng là ai, và anh ta đã trở thành ai. Sê-ri được viết bởi Duane Swierczynski. [6] Sê-ri gắn liền với sự kiện Chiến tranh Harbinger với các vấn đề từ 10 đến 13. Bắt đầu từ số 14, sê-ri được đổi tên thành Bloodshot và Hard Corps, với nhân vật là thành viên của đội Hard Corps. Loạt phim đã kết hợp với Archer And Armstrong trong một câu chuyện có tựa đề "Nhiệm vụ: Không thể cải thiện".
Mối liên hệ giữa Bloodshot và các nhân vật Valiant khác [ chỉnh sửa ]
Nói chung, các nhân vật được Valiant xuất bản có một vũ trụ / liên tục được chia sẻ. Các nhân vật xuất hiện hoặc được tham chiếu trong sách của nhau. Ví dụ, có một mối liên hệ rất rõ ràng giữa Rai và Bloodshot. Dòng máu chạy bằng silicon, dựa trên silicon của Bloodshot chảy trong huyết quản của Takao Konishi (Rai cuối cùng). Nó cho anh ta một số ký ức của Bloodshot và tất cả sức mạnh của Bloodshot. Toàn bộ dòng chiến binh được biết đến với cái tên Rai được bà ngoại tạo ra trong hình ảnh Bloodshot để tôn vinh chủ nghĩa anh hùng của ông.
Lễ tân [ chỉnh sửa ]
Bloodshot là một trong những nhân vật Valiant bán chạy nhất với tổng doanh số bằng tất cả các ngôn ngữ tiếp cận bảy triệu truyện tranh. Ngay trước khi ra mắt loạt Bloodshot, nhân vật tiêu đề đã xuất hiện hai lần giới thiệu trong các tựa game nổi tiếng Rai và Chiến binh vĩnh cửu . Dựa trên những lần xuất hiện này, có một cơ sở về nhu cầu cho nhân vật trở lại và dự đoán cao cho vấn đề hàng đầu. Bloodshot # 1 (tháng 2 năm 1993) là một truyện tranh được mong đợi nhiều đã trở thành một vấn đề bán chạy nhất và đã bán được khoảng một triệu bản. [7] Bộ truyện gốc được viết bởi Kevin VanHook và được Don vẽ Perlin. Vấn đề ra mắt bao gồm bìa truyện tranh "Chromium" đầu tiên. [8]
Bloodshot # 1 (tháng 7 năm 2012) được trao tặng "Truyện tranh hay nhất" bởi Diamond Comic Nhà phân phối ( Nhà phân phối hàng đầu của ngành truyện tranh Mỹ) và "Đổi mới tốt nhất" cho bìa crôm của nó. [ cần trích dẫn ] Bloodshot được vinh danh là một trong mười bộ truyện tranh hay nhất năm 2012 bởi Nerdage. [9]
Trong các phương tiện truyền thông khác [ chỉnh sửa ]
Phim [ chỉnh sửa ]
Vào tháng 3 năm 2012, Columbia đã thông báo rằng mua bản quyền phim cho Bloodshot khác nhau của Valiant Comics. Một bộ phim bắt đầu phát triển với Neal H. Moritz và Jason Kothari và Dinesh Shamdasani được thuê để làm nhà sản xuất, trong khi Jeff Wadlow được thuê để viết kịch bản. Dự án được cho là hợp tác giữa Phim gốc và Valiant Entertainment. [10] Đến tháng 4 năm 2015, Valiant, Sony Pictures và Original Film đã công bố một thỏa thuận gồm năm hình ảnh để đưa các siêu anh hùng của Valiant lên màn ảnh rộng, lần đầu tiên hai bộ phim là Bloodshot hai phần tiếp theo sẽ là Harbinger và bộ cuối cùng là sự giao thoa của cả hai truyện tranh, có tựa đề Harbinger Wars . Moritz, Tony Jaffe của Original Film sẽ sản xuất bộ phim cùng với Dinesh Shamdasani của Valiant, từ một kịch bản của Wadlow và Eric Heisserer. [11] David Leitch và Chad Stahelski đã được thuê để chỉ đạo bộ phim. , Sony báo cáo rằng hãng phim lần đầu tiên phát triển bộ phim vào Harbinger trong khi Bloodshot sẽ được phát triển sau đó, trong khi vào tháng 3 năm 2017, Dave Wilson đã được xác nhận là đạo diễn cho bộ phim. [19659076] Vào ngày 25 tháng 7 năm 2017, Hạn chót đã báo cáo rằng Jared Leto đang đàm phán để đóng vai nhân vật phản diện, Angelo Mortalli, trong phim. [14] Vào ngày 9 tháng 1 năm 2018, Vin Diesel đang đàm phán với miêu tả nhân vật trong một bộ phim độc tấu. [15]
Sê-ri web [ chỉnh sửa ]
Trò chơi video [ chỉnh sửa ]
Bloodshot 0 Phiên bản bạch kim [ chỉnh sửa ]
Được coi là hiếm nhất và được tìm kiếm sau khi truyện tranh được xuất bản bởi Truyện tranh Valiant là phiên bản lỗi bạch kim của Bloodshot # 0. Có tin đồn rằng có ít hơn 25 bản sao lỗi bạch kim tồn tại, mặc dù người ta cho rằng có tới 300 bản dựa trên các cuộc phỏng vấn với các nhân viên tham gia vào quá trình sản xuất. [ cần trích dẫn ] [19659087] Các phiên bản đã thu thập [ chỉnh sửa ]
Sê-ri năm 1993 đã bắt đầu được thu thập trong các bản cứng dưới biểu ngữ Valiant Masters:
Các bậc thầy dũng cảm: Bloodshot Vol. 1: Blood of the Machine (sưu tầm Bloodshot (1993) # 1-8)
Loạt khởi chạy lại năm 2012 đã được tập hợp thành nhiều tập:
Bloodshot Vol. 1: Thiết lập thế giới bốc cháy (sưu tầm Bloodshot (2012) # 1-4)
Bloodshot Vol. 2: Sự trỗi dậy và sụp đổ (sưu tầm Bloodshot (2012) # 5-9)
Bloodshot Vol. 3: Cuộc chiến Harbinger (sưu tầm Bloodshot (2012) # 10-13)
Bloodshot Vol. 4: H.A.R.D. Quân đoàn (sưu tập Bloodshot (2012) # 0 và Bloodshot và H.A.R.D. Corps (2013) # 14-17)
Bloodshot Vol. 5: Nhận một số và những câu chuyện khác (sưu tầm Bloodshot và H.A.R.D. Corps # 18-19 & # 22-23)
Bloodshot Vol. 6: The Glitch and Other Tales (sưu tầm Quân đoàn Bloodshot và HARD # 24-25, Cắt máu của đạo diễn # 1)
Ngoài ra, loạt phim khởi chạy lại năm 2012 đã được thu thập vào các bản cứng của Deluxe Edition:
Bloodshot: Deluxe Edition Vol. 2 (sưu tập Quân đoàn Bloodshot và HARD # 14-23, Bloodshot # 24-25, Bloodshot và HARD Corps # 0, : HARD Corps # 0, Archer & Armstrong # 18-19)
Một loạt Bloodshot mới đã được tung ra vào năm 2015 có tiêu đề Bloodshot Reborn ".
^ Mark Ginocchio ( 2014-06-07). "10 mánh lới quảng cáo truyện tranh hay nhất từ những năm 1990". truyện tranh.com.
^ Matt Giá (2013-04-01). "Mười bộ truyện tranh hay nhất năm 2012". Newsok.com . Truy xuất 2013-06-06 .
^ Cickyham, Todd (ngày 1 tháng 3 năm 2012). "Columbia Túi quyền đối với Bloodshot, nhân vật truyện tranh dũng cảm". TheWrap . Truy cập ngày 26 tháng 7, 2017 .
^ a b McMillan, Graeme (ngày 21 tháng 4 năm 2015). " ' Bloodshot,' 'Harbinger' Comics để được điều trị phim từ Sony, Valiant Entertainment (Độc quyền)". Phóng viên Hollywood . Truy cập ngày 26 tháng 7, 2017 .
^ Gonzalez, Umberto (ngày 26 tháng 9 năm 2016). "Sony chuyển lên kế hoạch cho 'Harbinger' là bộ phim đầu tiên trong Vũ trụ điện ảnh Valiant Comics (Độc quyền)". TheWrap . Truy cập ngày 26 tháng 7, 2017 .
^ Johnston, Rich (ngày 5 tháng 3 năm 2017). "Dave Wilson là đạo diễn của bộ phim Bloodshot cho Sony và Valiant Entertainment (CẬP NHẬT – Ví dụ về công việc trước đây)". Chảy máu mát . Truy cập ngày 26 tháng 7, 2017 .
^ Busch, Anita (ngày 25 tháng 7 năm 2017). "Jared Leto trong các cuộc nói chuyện về 'Bloodshot' tại Sony". Hạn chót Hollywood . Truy cập ngày 26 tháng 7, 2017 .
^ Gonzalez, Umberto (ngày 9 tháng 1 năm 2018). "Vin Diesel nói chuyện với ngôi sao trong bộ phim 'Bloodshot' của Sony". The Wrap .
Cần cẩu Finnieston với một người lính đang rút khỏi mũi
Cần cẩu Finnieston hoặc Cẩu Stobcross là một cần trục đúc hẫng khổng lồ ở trung tâm thành phố Glasgow, Scotland. Nó không còn hoạt động, nhưng được giữ lại như một biểu tượng của di sản kỹ thuật của thành phố. Cần cẩu được sử dụng để tải hàng hóa, đặc biệt là đầu máy hơi nước, lên các tàu được xuất khẩu trên khắp thế giới.
Đây là một trong bốn cần cẩu như vậy trên sông Clyde, chiếc thứ năm đã bị phá hủy vào năm 2007 và là một trong mười một cần cẩu đúc hẫng khổng lồ còn lại trên toàn thế giới. Cần cẩu có thể được nhìn thấy trong nền của các chương trình phát sóng tin tức từ BBC Pacific Quay.
Lịch sử [ chỉnh sửa ]
Cần cẩu vào tháng 9 năm 1957
Tháng 8 năm 1877 với vai trò là một bến tàu rộng 61 mẫu Anh (25 ha) để xuất khẩu hàng hóa từ trung tâm thành phố Glasgow. [1] đã bị phá hủy để nhường chỗ cho một cây cầu được đề xuất bắc qua Finnieston Quay và Mavisbank Quay chưa từng được chế tạo. [2][3][4] Cần cẩu hiện tại, được xây dựng để thay thế, là cần trục đúc hẫng khổng lồ cuối cùng được chế tạo trên Clyde. [5]
Nó được ủy quyền vào tháng 6 năm 1928 bởi Clyde Navigation Trust, nhà điều hành cảng và bến tàu ở Glasgow, hoàn thành vào năm 1931 và bắt đầu hoạt động vào năm 1932. [6] Tòa tháp được xây dựng bởi Cowans, Sheldon & Company of Carlisle và cantilever by Cleveland Bridge & Enginee Công ty nhẫn, dưới sự giám sát của Daniel Fife, kỹ sư cơ khí của Clyde Navigation Trust. [7][8] Hợp đồng chế tạo cần cẩu đã không được chuyển đến Sir William Arrol & Co. của các cần cẩu khác dọc theo Clyde, bao gồm cả Titan Clydebank, mặc dù Arrol đã tham gia vào việc thiết kế nền móng. [9]
Tổng chi phí cho cần trục và móng là GB £ 69.000 85% trong số đó đã được Trust tin tưởng. [4] Nó được gọi đúng là "Cần cẩu Stobcross" hoặc "Clyde Navigation Trustees # 7", nhưng sự gần gũi của nó với Finnieston Quay để thay thế cho cẩu Finnieston trước đây, đã dẫn đến việc nó được biết đến phổ biến với tên gọi là Finnieston Crane. [10][11]
Tác phẩm nghệ thuật công cộng [ chỉnh sửa ]
Cần cẩu Finnieston năm 1987 cầm trên đầu chiếc ống hút George Wyllie
Vào mùa hè năm 1987, một đại diện kích thước đầy đủ Đầu máy lica được làm từ rơm của nhà điêu khắc địa phương George Wyllie đã bị lôi ra khỏi Công trình Hyde Park cũ ở Springburn và bị treo trên cần cẩu, sau đó kéo trở lại Springburn và đốt cháy để lộ khung kim loại bên dưới. [12] [13]
Sau cái chết của Wyllie vào tháng 5 năm 2012, một dấu hỏi khổng lồ đã bị treo trên cần cẩu trong một sự thừa nhận về tác phẩm của ông. [14] Năm 2013, micro được gắn vào cần cẩu bởi nghệ sĩ người Mỹ Bill Fontana, để ghi lại các âm thanh được tạo ra bởi cấu trúc. [15]
Mục đích [ chỉnh sửa ]
Được kết nối với một mũi nhọn của Đường sắt Stobcross, mục đích chính của cần cẩu là nâng máy móc hạng nặng, chẳng hạn như xe tăng và đầu máy hơi nước, lên tàu để xuất khẩu. Con ire. [17] Cần cẩu (tính đến năm 1988) không hoạt động, nhưng được giữ lại như một biểu tượng của di sản kỹ thuật của thành phố. [8][18]
Cần cẩu Finnieston là một cần cẩu đúc hẫng khổng lồ, cao 175 feet ( Cao 53 m) với cần trục đúc hẫng 152 feet (46 m). [5] Nó có sức nâng 175 tấn, và có thể thực hiện một vòng quay đầy đủ trong ba phút rưỡi. [5][19] Nó có thể bay lên bằng một Cầu thang thép hoặc thang máy điện, ví dụ duy nhất của thang máy nhân sự như vậy ở Anh. [8]
Các bến cảng được phục vụ bởi cần cẩu đã bị đóng cửa vào năm 1969, và từ đó đã được lấp đầy và tái phát triển. [1][4] North Rotunda (một phần của Đường hầm cảng Clyde không còn tồn tại) nằm ở phía đông của cần cẩu, và Trung tâm Hội nghị và Triển lãm Scotland và Thính phòng Clyde cho các wes t. [20] [21]
Đây là một trong bốn cần cẩu như vậy trên Clyde, sau khi chiếc Titan Titan bị phá hủy vào năm 2007, và là một trong số duy nhất mười một cantile khổng lồ. cần cẩu còn lại trên toàn thế giới. [22][23] Cần cẩu có thể được nhìn thấy trong bối cảnh của Báo cáo Scotland phát sóng từ BBC Pacific Quay [23][24] và cả trong bối cảnh của . [25]
Tài liệu tham khảo [ chỉnh sửa ]
^ a b "Glasgow, Stobcross, Queen". CANMORE . Truy cập 30 tháng 3 2014 .
^ "Đạo luật về thủ tục pháp lý tư nhân (Scotland), 1899. Tập đoàn Glasgow". Công báo Edinburgh . 19 tháng 11 năm 1926 . Truy cập 26 tháng 4 2014 .
^ "Khoa học Mỹ: Bổ sung". 47 . Munn và Công ty. 1899.
^ a b c Harrison 2008, tr. 94
^ a b c "Cần cẩu Finnieston". Bờ sông Clyde. Lưu trữ từ bản gốc vào ngày 26 tháng 4 năm 2014 . Truy cập 30 tháng 3 2014 .
^ Riddell 1979, tr. 261
^ "Dọc theo Clyde hùng mạnh". Tạp chí Scotland . Truy cập 27 tháng 3 2014 .
^ a b ] d "Stobcross Quay, Stobcross Crane, còn được gọi là Cần cẩu Finnieston". Lịch sử Scotland . Truy cập 23 tháng 4 2014 .
^ Williamson, Riches & Higgs 1990, tr. 292
^ Crawford 2013, tr. 196
^ Keay & Keay 2000, tr. 461
^ "Đầu máy rơm, của George Wyllie, 1987". Đại học Strathclyde . Truy cập 26 tháng 3 2014 .
^ "Cơn lốc đầu máy rơm". georgewyllie.com. Lưu trữ từ bản gốc vào ngày 7 tháng 4 năm 2014 . Truy cập 4 tháng 4 2014 .
^ Fulton, Rachael (12 tháng 10 năm 2012). "Dấu hỏi cẩu khổng lồ Finnieston kỷ niệm 'scul? Ptor của Scotland ' ". Tin tức STV . Truy cập 30 tháng 3 2014 .
^ Ferguson, Brian (14 tháng 3 năm 2013). "Finnieston Crane trở thành nhạc cụ". Người Scotland . Truy cập 30 tháng 3 2014 .
^ "Titan Crane, Clydebank". kỹ thuật-timelines.com . Truy cập ngày 22 tháng 3 2014 . ". gbarr.info . Truy cập 23 tháng 4 2014 .
^ "Báo cáo phòng thu Scotland có diện mạo mới". Tin tức BBC. 27 tháng 1 năm 2014 . Truy cập 23 tháng 4 2014 .
^ "Fixer Emmanuel tạo chương trình TV riêng". glasgowcitymission.com . Truy cập 2 tháng 12 2014 . Trên Glasgow và Edinburgh . Nhà xuất bản Đại học Harvard. ISBN YAM674070592.
Tài xế, Felix; Gilbert, David (2003). Các thành phố hoàng gia: Phong cảnh, hiển thị và bản sắc . Nhà xuất bản Đại học Manchester. ISBN YAM719064975.
Harrison, Ian (2008). Nước Anh từ trên cao . Sách Anova. ISBN Muff862058347.
Keay, John; Keay, Julia (2000). Bách khoa toàn thư Collins của Scotland . HarperCollin. SĐT 9800007103539.
Williamson, Elizabeth; Giàu có, Anne; Higgs, Malcolm (1990). Glasgow . Nhà xuất bản Đại học Yale. SỐ TIẾNG VIỆT101010694.
Riddell, John F. (1979). Điều hướng Clyde: Lịch sử phát triển và đào sâu của dòng sông Clyde . Donald. ISBN YAM859760454.
Mã hóa được chứng thực ( AE ) và mã hóa được xác thực với dữ liệu liên quan ( AEAD ) là các hình thức mã hóa đồng thời đảm bảo tính bảo mật và tính xác thực của dữ liệu. Các thuộc tính này được cung cấp dưới một giao diện lập trình đơn, dễ sử dụng.
Nhu cầu về AE xuất hiện từ quan sát rằng việc kết hợp an toàn riêng biệt và các chế độ hoạt động mã hóa khối có thể dễ bị lỗi và khó khăn. [1][2] Điều này được xác nhận bởi một số về các cuộc tấn công thực tế được đưa vào các giao thức và ứng dụng sản xuất do triển khai không chính xác hoặc thiếu xác thực (bao gồm cả SSL / TLS). [3]
Khoảng năm 2000, một số nỗ lực đã phát triển xung quanh khái niệm này. Đặc biệt, sự quan tâm mạnh mẽ đối với các chế độ này đã được khơi dậy bởi việc xuất bản các chế độ IACBC và IAPM của Charanjit Jutla [4] vào năm 2000. Sáu chế độ mã hóa được xác thực khác nhau (cụ thể là OCB 2.0, Key Wrap, CCM, EAX, Encrypt-then-MAC (EtM ) và GCM) đã được tiêu chuẩn hóa trong ISO / IEC 19772: 2009. [5] Đã được phát triển thêm để đáp ứng với chào mời của NIST. [6] Các chức năng xốp có thể được sử dụng trong chế độ song công để cung cấp mã hóa xác thực. [7]
Một giao diện lập trình điển hình để thực hiện chế độ AE sẽ cung cấp các chức năng sau:
Mã hóa
Đầu vào: plaintext khóa và tùy chọn một tiêu đề trong bản rõ sẽ không được mã hóa, nhưng sẽ được bảo vệ bởi tính xác thực.
Đầu ra: mật mã và thẻ xác thực (mã xác thực tin nhắn).
Giải mã
Đầu vào: cexttext khóa thẻ xác thực và tùy chọn một tiêu đề . hoặc lỗi nếu thẻ xác thực không khớp với phần mã hóa được cung cấp hoặc .
Phần đầu được dự định để cung cấp bảo vệ tính xác thực và toàn vẹn cho siêu dữ liệu mạng hoặc lưu trữ mà việc bảo mật là không cần thiết, nhưng tính xác thực là mong muốn.
Ngoài việc bảo vệ tính toàn vẹn và bảo mật của thông điệp, mã hóa được xác thực có thể cung cấp bảo mật chống lại cuộc tấn công bản mã được chọn. Trong các cuộc tấn công này, một kẻ thù cố gắng giành lợi thế trước hệ thống mật mã (ví dụ: thông tin về khóa giải mã bí mật) bằng cách gửi mật mã được chọn cẩn thận cho một số "tiên tri giải mã" và phân tích kết quả được giải mã. Các lược đồ mã hóa được xác thực có thể nhận ra các bản mã được xây dựng không đúng và từ chối giải mã chúng. Điều này đến lượt nó ngăn chặn kẻ tấn công yêu cầu giải mã bất kỳ bản mã nào trừ khi anh ta tạo ra nó một cách chính xác bằng thuật toán mã hóa, điều này có nghĩa là anh ta đã biết bản rõ. Được thực hiện một cách chính xác, điều này loại bỏ tính hữu dụng của nhà tiên tri giải mã, bằng cách ngăn chặn kẻ tấn công có được thông tin hữu ích mà anh ta chưa sở hữu.
Nhiều chế độ mã hóa xác thực chuyên dụng đã được phát triển để sử dụng với mật mã khối đối xứng. Tuy nhiên, mã hóa được xác thực có thể được xây dựng một cách khái quát bằng cách kết hợp sơ đồ mã hóa và mã xác thực tin nhắn (MAC), với điều kiện:
Bellare và Namprempre (2000) đã phân tích ba thành phần của các nguyên thủy này và chứng minh rằng mã hóa tin nhắn và sau đó áp dụng MAC vào bản mã (phương pháp Encrypt-then-MAC) ngụ ý bảo mật chống lại cuộc tấn công mã hóa được chọn thích nghi, với điều kiện là cả hai chức năng đáp ứng các thuộc tính cần thiết. Katz và Yung đã điều tra khái niệm dưới cái tên "mã hóa không thể tha thứ" và chứng minh rằng nó ngụ ý bảo mật chống lại các cuộc tấn công mật mã đã chọn. [9]
Mã hóa được xác thực với dữ liệu liên quan (AEAD) [ chỉnh sửa ]
AEAD là một biến thể của AE trong đó dữ liệu được mã hóa cần cả xác thực và toàn vẹn thay vì chỉ toàn vẹn. AEAD liên kết dữ liệu liên quan (AD) với bản mã và bối cảnh nơi nó sẽ xuất hiện, do đó các nỗ lực "cắt và dán" một bản mã hợp lệ vào một ngữ cảnh khác được phát hiện và từ chối.
Ví dụ, nó được yêu cầu bởi các gói mạng. Tiêu đề cần tính toàn vẹn, nhưng phải được nhìn thấy; tải trọng, thay vào đó, cần sự toàn vẹn và cũng bảo mật. Cả hai đều cần tính xác thực.
Phương pháp tiếp cận mã hóa đã được xác thực [ chỉnh sửa ]
Encrypt-then-MAC (EtM) [ chỉnh sửa ] Bản rõ đầu tiên được mã hóa, sau đó MAC được tạo ra dựa trên bản mã kết quả. Bản mã và MAC của nó được gửi cùng nhau. Được sử dụng trong, ví dụ, IPsec. [10] Phương pháp tiêu chuẩn theo ISO / IEC 19772: 2009. [5] Đây là phương pháp duy nhất có thể đạt được định nghĩa bảo mật cao nhất trong AE, nhưng chỉ có thể đạt được khi MAC được sử dụng là "không thể tha thứ". [11] Vào tháng 11 năm 2014, tiện ích mở rộng TLS và DTLS cho EtM đã được xuất bản dưới dạng RFC 7366. Các loại mật mã EtM khác nhau cũng tồn tại cho SSHv2 (ví dụ [email protected]).
Encrypt-and-MAC (E & M) [ chỉnh sửa ]
MAC được sản xuất dựa trên bản rõ và bản rõ được mã hóa mà không cần MAC. MAC của bản rõ và bản mã được gửi cùng nhau. Được sử dụng trong, ví dụ: SSH. [12] Mặc dù cách tiếp cận E & M chưa được chứng minh là không thể tha thứ cho chính nó, [11] có thể áp dụng một số sửa đổi nhỏ cho SSH để làm cho nó không thể bị tha thứ mặc dù cách tiếp cận. [ cần trích dẫn ]
MAC-then-Encrypt (MtE) [ chỉnh sửa ]
Một MAC được sản xuất dựa trên bản rõ, sau đó bản rõ và MAC được mã hóa cùng nhau để tạo ra bản mã dựa trên cả hai. Bản mã (chứa MAC được mã hóa) được gửi. Được sử dụng trong, ví dụ, SSL / TLS. [13] Mặc dù cách tiếp cận MtE chưa được chứng minh là không thể tha thứ cho chính nó, [11] việc triển khai SSL / TLS đã được chứng minh là không thể tha thứ được bởi Krawc: 05, người đã chứng minh rằng SSL / TLS trên thực tế được bảo mật vì mã hóa được sử dụng cùng với cơ chế MtE. [14] [ đáng ngờ – thảo luận ] Mặc dù bảo mật lý thuyết, phân tích sâu hơn về SSL / TLS được mô hình hóa bảo vệ như MAC-then-pad-then-mã hóa, tức là bản rõ trước tiên được đệm theo kích thước khối của chức năng mã hóa. Lỗi đệm thường dẫn đến các lỗi có thể phát hiện được ở phía người nhận, từ đó dẫn đến các cuộc tấn công sấm sét, chẳng hạn như Lucky Thirteen.
Xem thêm [ chỉnh sửa ]
Tài liệu tham khảo [ chỉnh sửa ]
^ "mọi người đã làm khá kém khi họ cố gắng để kết hợp một sơ đồ mã hóa truyền thống (chỉ bảo mật) và mã xác thực tin nhắn (MAC) "trong: M. Bellare; P. Rogaway; D. Wagner. "Chế độ mã hóa được chứng thực thông thường" (PDF) . NIST . Truy xuất ngày 12 tháng 3, 2013 .
^ "rất dễ dàng vô tình kết hợp các sơ đồ mã hóa an toàn với MAC an toàn và vẫn nhận được các sơ đồ mã hóa được chứng thực không an toàn" trong: T. Kohno; J. Viega & D. Whites. "Chế độ mã hóa xác thực CWC (dữ liệu liên kết)" (PDF) . NIST . Truy xuất ngày 12 tháng 3, 2013 .
^ "Thất bại của mật mã khóa bí mật" (PDF) . Daniel J. Bernstein . Truy cập ngày 12 tháng 3, 2013 .
^ Jutl, Charanjit S. (2000-08-01). "Các chế độ mã hóa với tính toàn vẹn tin nhắn gần như miễn phí". Lưu trữ ePrint mật mã: Báo cáo 2000/039 . IACR . Truy xuất 2013-03-16 .
^ a b "Công nghệ thông tin – Kỹ thuật bảo mật – Mã hóa xác thực". 19772: 2009 . ISO / IEC . Truy xuất ngày 12 tháng 3, 2013 .
^ "Phát triển chế độ mã hóa". NIST . Truy cập 17 tháng 4, 2013 .
^ Đội Keccak. "Nhân đôi miếng bọt biển" (PDF) .
^ Katz, J.; Yung, M. B. Schneier, chủ biên. "Mã hóa và các chế độ hoạt động an toàn không thể mã hóa được chọn lọc". Mã hóa phần mềm nhanh (FSE): Kỷ yếu 2000; . Bài giảng trong khoa học máy tính. Springer-Verlag. 1978 : 284 Từ299.
^ "CAESAR: Cạnh tranh cho mã hóa xác thực: Bảo mật, khả năng áp dụng và mạnh mẽ" . Truy xuất ngày 12 tháng 3, 2013 .
^ "Thuật toán bảo mật và toàn vẹn riêng biệt". RFC 4303 . Lực lượng đặc nhiệm kỹ thuật Internet (IETF) . Đã truy xuất 2018-09-12 .
^ a b "Mã hóa xác thực: Mối quan hệ giữa các khái niệm và phân tích mô hình thành phần chung". M. Bellare và C. Namprempre . Truy xuất ngày 13 tháng 4, 2013 .
^ "Tính toàn vẹn dữ liệu". RFC 4253 . Lực lượng đặc nhiệm kỹ thuật Internet (IETF) . Truy xuất 2018-09-12 .
^ "Bảo vệ tải trọng hồ sơ". RFC 5246 . Lực lượng đặc nhiệm kỹ thuật Internet (IETF) . Truy xuất 2018-09-12 .
^ "Thứ tự mã hóa và xác thực để bảo vệ thông tin liên lạc (Hoặc: SSL bảo mật như thế nào?)" (PDF) H. Krawchot . Truy cập ngày 13 tháng 4, 2013 .
General
Bellare, M.; Namprempre, C. trong Khoa học máy tính, Springer-Verlag, 1976 : 531, doi: 10.1007 / 3-540-44448-3_41, ISBN 978-3-540-41404-9
Sir Cowasji Jehangir Readymoney CSI (1812 Thay1878), là một nhà lãnh đạo cộng đồng Parsi, nhà từ thiện. [1]
Cowasji Jehangir Readymoney xuất thân từ một gia đình Parsi giàu có. Ông nội của ông và hai người chú lớn đã chuyển đến từ đầu thế kỷ 18 từ Navsari, gần Surat, đến Bombay và đã trở thành người tiên phong trong việc buôn bán thuốc phiện béo bở với Trung Quốc. Hai anh em kiếm được sobriquet "Readymoney", sau này họ được nhận làm họ. Chỉ có Hirji Jewanji Readymoney còn lại vấn đề, hai cô con gái, người lớn tuổi kết hôn với một Banaji, và một Dady Sett trẻ hơn, cả hai gia đình lừng lẫy này đều ở bên phải. Con trai của người trước, Jehangir Hirji, kết hôn với Mir Bạch, con gái của người sau, và được chỉ định là người thừa kế của ông nội và hai cháu gái của ông. Hai người con trai của họ là Cowasji Jehangir. [2]
Sự nghiệp kinh doanh [ chỉnh sửa ]
Giáo dục chính thức duy nhất của Cowasji Jehangir Readymoney được giữ tại tại một trong những pháo đài của Bombay. Vào năm 15 tuổi, Readymoney đã gia nhập công ty Duncan, Gibb & Co. với tư cách là "người giữ đồ thần", hay nhân viên kho.
Năm 1837 Readymoney được thăng chức bổ nhiệm có trách nhiệm và sinh lợi của "nhà môi giới bảo lãnh" cho hai công ty hàng đầu châu Âu ở Bombay. Đến năm 1846, anh ta đã có thể bắt đầu giao dịch trên tài khoản của chính mình. Năm 1866, Readymoney được bổ nhiệm làm ủy viên thuế thu nhập, ban lãnh đạo khéo léo của ông chịu trách nhiệm phần lớn cho việc thuế này, sau đó mới đến Bombay và không phổ biến, đã bị đánh thuế với thành công tài chính bất ngờ. [2]
Dịch vụ công cộng và hoạt động từ thiện [ chỉnh sửa ]
Readymoney được bổ nhiệm làm Công lý Hòa bình cho thị trấn và đảo Bombay và là thành viên của Hội đồng Bảo thủ. [2] Ông được đầu tư như một Người đồng hành của Huân chương cao quý nhất của Ngôi sao của Ấn Độ (CSI) năm 1871; và vào năm 1872, ông đã được thành lập một Cử nhân Hiệp sĩ của Vương quốc Anh [2] để ghi nhận những đóng góp của ông cho Viện Ấn Độ ở London và các hoạt động từ thiện khác ở Bombay với số tiền khoảng 200.000 bảng Anh. Readymoney xây dựng trường cao đẳng, bệnh viện, nhà thương điên; thành lập một nơi ẩn náu cho những người "đáng kính trọng", những người thấy mình nghèo khổ hoặc không có bạn bè ở Bombay; dựng một số đài phun nước uống có giá trị nghệ thuật; đã quyên góp cho các phái bộ Công giáo và Trưởng lão ở Ấn Độ. Readymoney cũng đã tài trợ cho việc xây dựng vào năm 1869 của Đài phun nước uống Readymoney ở Công viên Regent, London, được mở bởi Công chúa Teck, như một dấu ấn của lòng biết ơn từ cộng đồng Parsi đối với sự bảo vệ mà chính quyền Anh ở Ấn Độ đã dành cho họ. [3]
Readymoney có mối liên hệ đặc biệt với Đại học Bombay và ông đã tài trợ cho việc xây dựng một số tòa nhà đáng chú ý ở đó, bao gồm Hội trường đối lưu được thiết kế bởi Sir George Gilbert Scott. [4][5] Readymoney cũng là thành viên của Khoa Kỹ thuật Xây dựng của Đại học và Thượng viện. Một bức tượng của Readymoney, của Thomas Woolner, đứng trong khuôn viên trường. Ngoài ra còn có một tác phẩm điêu khắc phù điêu nhỏ của anh ta tại Đại học Edinburgh nhưng không rõ kết nối của Readymoney với cơ sở đó.
Trong suốt cuộc đời của mình, Readymoney được biết đến với cái tên Peabody of Bombay . Lý do cho văn bia này chưa được biết, nhưng có thể là liên quan đến Peabody Trust của London, vì Jehangir sở hữu một số bất động sản nhà ở lớn và được cho là đã đồng hóa với George Peabody.
Sau một thời gian dài bị bệnh, Readymoney qua đời vào năm 1878. Cháu trai và con trai nuôi và người thừa kế của ông, Jehangir Cowasji Jehangir Readymoney, đã được tạo ra một Hiệp sĩ Hiệp sĩ (vào năm 1895) và một Nam tước (năm 1908). ] [ chỉnh sửa ]
Cirilo Guainora là một corregimiento ở quận Cémaco, Comarca Emberá, Panama với dân số 8.703 vào năm 2010 [1] Nó được tạo ra bởi Luật 22 ngày 8 tháng 11 năm 1983. [1] Dân số tính đến năm 1990 là 1.428; dân số của nó tính đến năm 2000 là 2.015. [1]
Cupressus bakeri được phân loại lại là Hesperocyparis bakeri [2][4][5] với các tên phổ biến Baker cypress cây bách là một loài cây bách quý hiếm, đặc hữu của một khu vực nhỏ ở phía bắc California và cực tây nam Oregon, ở miền tây Hoa Kỳ.
Phân phối [ chỉnh sửa ]
Cây mọc ở một khu vực nhỏ phía bắc California trong các hạt Siskiyou, Modoc, Shasta, Plumas và Tehama; và rất cục bộ ở phía tây nam Oregon ở các quận Josephine và Jackson. [6]
Nó thường được tìm thấy trong các quần thể nhỏ, rải rác, không phải trong các khu rừng lớn, ở độ cao 900 đùa2.000 mét (3.000 so6.600 ft). Điều này bao gồm các địa phương ở Cao nguyên Modoc, phía nam Dãy núi Cascade, Dãy núi Klamath và phía bắc Sierra Nevada. chảy. Khả năng chịu đựng của các trang này cho phép nó tránh được sự cạnh tranh từ những cây phát triển nhanh hơn nhiều. Nó được tìm thấy trong môi trường sống của rừng thông chaparral và Yellow. [5]
Cupressus bakeri thân và vỏ của một cây con
Mô tả [ chỉnh sửa ]
– Hesperocyparis bakeri là một cây thường xanh có vương miện hình nón, cao tới 10 mét25 mét (33 ví82 ft) (đặc biệt là 39 mét − 130 feet) và đường kính thân cây lên tới 50 cm (20 inch) (đặc biệt đến 1 mét. 40 inch).
Các tán lá mọc ở dạng thưa thớt, rất thơm, thường là dạng xịt, thay đổi từ màu xanh xám xỉn đến màu xanh lục nhạt. Các lá có kích thước giống như, dài 2 bóng5 mm và được tạo ra trên các chồi tròn (không dẹt). [8]
Các hạt hình nón có hình dạng óng ả, được bao phủ bởi các tuyến nhựa, 10 Mũi dài 25 mm, có vảy 6 hoặc 8 (hiếm khi 4 hoặc 10), lúc đầu có màu xanh lục đến nâu, trưởng thành màu xám hoặc xám nâu khoảng 20 Lần 24 tháng sau khi thụ phấn. Các nón đực có chiều dài 3 mm5 mm và giải phóng phấn hoa vào tháng 2 của tháng ba. [9]
Các nón thường bị đóng trong vài năm, chỉ mở ra sau khi cây bố mẹ bị giết , do đó cho phép các hạt giống xâm chiếm mặt đất trống tiếp xúc với ngọn lửa tự nhiên.
Bảo tồn [ chỉnh sửa ]
Chính sách dập lửa trong những thập kỷ qua đã hạn chế nghiêm trọng việc sinh sản của loài phụ thuộc lửa này. Nó được liệt kê dưới dạng một loài dễ bị tổn thương trong Danh sách đỏ của IUCN. [10]
Tiểu sử của một người sống cần trích dẫn thêm để xác minh . Xin hãy giúp đỡ bằng cách thêm các nguồn đáng tin cậy. Tài liệu gây tranh cãi về những người sống không có nguồn gốc hoặc có nguồn gốc kém phải được xóa ngay lập tức đặc biệt là nếu có khả năng bôi nhọ hoặc gây hại. Tìm nguồn: "Deborah Kaplan" – tin tức ] báo · sách · học giả · JSTOR ( tháng 8 năm 2018 ) (Tìm hiểu cách thức và thời điểm loại bỏ điều này thông điệp mẫu)
Chủ đề của bài viết này có thể không đáp ứng hướng dẫn đáng chú ý của Wikipedia cho tiểu sử . Vui lòng giúp thiết lập sự đáng chú ý bằng cách trích dẫn các nguồn thứ cấp đáng tin cậy độc lập với chủ đề và cung cấp phạm vi bảo hiểm đáng kể của nó ngoài một đề cập tầm thường. Nếu đáng chú ý không thể được thiết lập, bài viết có khả năng được hợp nhất, chuyển hướng hoặc xóa. Tìm nguồn: "Deborah Kaplan" – news · báo · · học giả · JSTOR ( tháng 8 năm 2018 ) (Tìm hiểu cách thức và thời điểm xóa tin nhắn mẫu này)
danh sách tài liệu tham khảo, đọc liên quan hoặc liên kết bên ngoài, nhưng nguồn của nó vẫn chưa rõ ràng vì nó thiếu trích dẫn nội tuyến . Xin hãy giúp cải thiện bài viết này bằng cách giới thiệu các trích dẫn chính xác hơn. ( Tháng 3 năm 2013 ) (Tìm hiểu cách thức và thời điểm xóa thông báo mẫu này)
Deborah Kaplan (sinh tháng 11 11, 1970) là một nhà biên kịch và đạo diễn phim người Mỹ.
Lớn lên ở Abington, Pennsylvania, Deborah Kaplan đã gặp đối tác sáng tạo của mình Harry Elfont trong khi cả hai đều theo học tại Trường Nghệ thuật Tisch của Đại học New York (NYU). Kể từ đó, họ đã cùng nhau viết một số bộ phim và đạo diễn hai bộ phim: Không thể chờ đợi khó khăn và Josie và Pussycats .
Kaplan kết hôn với nam diễn viên Breckin Meyer (người có những vai nhỏ trong cả hai bộ phim mà cô làm đạo diễn) vào ngày 14 tháng 10 năm 2001. Họ có với nhau hai cô con gái. Cuộc chia ly của các cặp vợ chồng dẫn đến ly hôn đã được công bố vào năm 2012. [1]
Phim ảnh (với Harry Elfont) [ chỉnh sửa ]
A Very Brady Sequel (với James Berg và Stan Zimmerman) (1996)
Không thể chờ đợi khó khăn (1998) (cũng là đồng giám đốc)
Đá lửa ở Viva Rock Vegas (với Jim Cash và Jack Epps Jr.) (2000) [19659018] Josie và Pussycats (2001) (cũng là đồng đạo diễn)
Giáng sinh còn sống (với Jeffrey Ventimilia và Joshua Sternin) (2004)
Được tạo nên từ danh dự (với Adam Sztykiel) (2008)
Năm nhuận (2010)
Tài liệu tham khảo [ chỉnh sửa ]
^ Breckin Meyer và vợ chia tay
] [ chỉnh sửa ]
Deborah Kaplan trên IMDb
v
t
e
Harry Elfont và Deborah Kaplan
Films
Không thể chờ đợi khó khăn (19 98)
Josie và Pussycats (2001)
Chỉ được viết
Một phần rất Brady (1996)
Flintstones ở Viva Rock Vegas (2000) ] Sống sót Giáng sinh (2004)
Made of Honor (2008)
Leap Year (2010)
Phim truyền hình
Mary + Jane (2016) [2016)[2016)19659018] Liza theo yêu cầu (2018)
Kiểm soát quyền lực
BNE: XX1488109
BNF: cb141098724 (dữ liệu] 0000 0001 1645 4419
LCCN: n2001120580
MusicBrainz: 251aa201-c493-4221-be58-8a019f9cbc8f
: 54354080
Bài viết này về một nhà biên kịch là một sơ khai. Bạn có thể giúp Wikipedia bằng cách mở rộng nó.
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.
Động lực [ chỉnh sửa ]
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]
[ chỉnh sửa ]
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:
Bộ đệm vòng một trình đọc một lần đọc FIFO, với kích thước chia đều cho một trong các loại số nguyên không dấu có sẵn, có thể được thực hiện một cách vô điều kiện chỉ bằng cách sử dụng hàng rào bộ nhớ
Cập nhật đọc-sao chép với một nhà văn duy nhất và bất kỳ số lượng độc giả. (Các độc giả không phải chờ đợi; nhà văn thường không có khóa, cho đến khi cần lấy lại bộ nhớ).
Đọc-sao chép-cập nhật với nhiều nhà văn và bất kỳ số lượng độc giả nào. (Các độc giả không phải chờ đợi; nhiều người viết thường tuần tự hóa với một khóa và không bị cản trở).
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 [ chỉnh sửa ]
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 [ chỉnh sửa ]
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ở [ chỉnh sửa ]
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]
^ Göetz, Brian; Peierls, Tim; Bloch, Joshua; Bowbeer, Joseph; Holmes, David; Lea, Doug (2006). Đồng thời Java trong thực tế . Thượng Yên River, NJ: Addison-Wesley. tr. 41. ISBN YAM321349606.
^ Butler W. Lampson; David D. Redell (tháng 2 năm 1980). "Kinh nghiệm với quy trình và màn hình ở Mesa". Truyền thông của ACM . 23 (2): 105 Tiết 117. CiteSeerX 10.1.1.142.5765 . doi: 10.1145 / 358818.358824.
^ Guillaume Marçais và Carl Kingsford. "Một cách tiếp cận nhanh, không khóa để đếm song song hiệu quả sự xuất hiện của k-mers". Tin sinh học (2011) 27 (6): 764-770. doi: 10.1093 / tin sinh học / btr011 "Bộ đếm sứa mer".
^ Harris, Tim; Fraser, Keir (26 tháng 11 năm 2003). "Hỗ trợ ngôn ngữ cho các giao dịch nhẹ" (PDF) . Thông báo ACM SIGPLAN . 38 (11): 388. doi: 10.1145 / 949343.949340.
^ Harris, Tim; Marlow, S.; Peyton-Jones, S.; Herlihy, M. (15 tháng 61717, 2005). "Giao dịch bộ nhớ tổng hợp". Thủ tục tố tụng của Hội nghị chuyên đề ACM SIGPLAN năm 2005 về các nguyên tắc và thực hành lập trình song song, PPoPP '05: Chicago, Illinois . New York, NY: Báo chí ACM. trang 48 đỉnh60. ISBN 1-59593-080-9.
^ libcds – Thư viện C ++ của các thùng chứa không khóa và lược đồ phục hồi bộ nhớ an toàn
^ liblfds – Một thư viện cấu trúc dữ liệu không khóa, được viết bằng C
^ Bộ đồng thời – Thư viện AC để thiết kế và triển khai hệ thống không chặn
^ Herb Sutter. "Mã không khóa: Một cảm giác an toàn sai lầm".
^ Herb Sutter. "Viết mã không khóa: Một hàng đợi được sửa chữa".
^ Herb Sutter. "Viết một hàng đợi đồng thời tổng quát".
^ Herb Sutter. "Rắc rối với ổ khóa".
^ a b Anthony Williams. "An toàn: tắt: Làm thế nào để không tự bắn vào chân mình bằng nguyên tử C ++". 2015. tr. 20.
^ Herlihy, Maurice P. (1988). Kết quả không thể thực hiện và phổ quát cho đồng bộ hóa chờ đợi . Proc. Symp ACM hàng năm lần thứ 7. về nguyên tắc tính toán phân tán. trang 276 vang290. doi: 10.1145 / 62546.62593. Sđt 0-89791-277-2.
^ Phù, Đức tin; Hendler, Daniel; Chết tiệt, Niết bàn (2004). Về điểm yếu cố hữu của các nguyên thủy đồng bộ hóa có điều kiện . Proc. Nguyên tắc ACM Symp.on hàng năm lần thứ 23 của Điện toán phân tán (PODC). trang 80 bóng87. doi: 10.1145 / 1011767.1011780. Sđd 1-58113-802-4.
^ Kogan, Alex; Petrank, Erez (2011). Hàng đợi chờ miễn phí với nhiều enqueuers và dequeuers . Proc. Symp ACIG SIGPLAN lần thứ 16. về nguyên tắc và thực hành lập trình song song (PPOPP). trang 223 vang234. doi: 10.1145 / 1941553.1941585. Sê-ri 980-1-4503-0119-0.
^ Michael, Maged; Scott, Michael (1996). Các thuật toán xếp hàng đồng thời đơn giản, nhanh chóng và thực tế không chặn và chặn . Proc. Triệu chứng ACM hàng năm lần thứ 15. về Nguyên tắc tính toán phân tán (PODC). trang 267 bóng275. doi: 10.1145 / 248052.248106. Sđt 0-89791-800-2.
^ Kogan, Alex; Petrank, Erez (2012). Phương pháp tạo cấu trúc dữ liệu chờ nhanh . Proc. Biểu tượng ACM SIGPLAN lần thứ 17. về nguyên tắc và thực hành lập trình song song (PPOPP). tr 141 141150. doi: 10.1145 / 2145816.2145835. Sê-ri 980-1-4503-1160-1.
^ Timnat, Shahar; Petrank, Erez (2014). Một mô phỏng chờ miễn phí thực tế cho các cấu trúc dữ liệu không khóa . Proc. Biểu tượng ACM SIGPLAN lần thứ 17. về nguyên tắc và thực hành lập trình song song (PPOPP). trang 357 doi: 10.1145 / 2692916.2555261. Sê-ri 980-1-4503-2656-8.
^ Herlihy, M.; Luchangco, V.; Moir, M. (2003). Đồng bộ hóa miễn phí tắc nghẽn: Hàng đợi hai đầu làm ví dụ (PDF) . Hội nghị quốc tế lần thứ 23 về hệ thống máy tính phân tán. tr. 522.
