network programming - Why is the CAP theorem interesting? -


is there mathematically interesting cap theorem? looking @ the proof, there seem 4 different cases 2 different statements across 2 formalisms. cap theorem holds in 3 trivial cases , not in fourth one. of use extremely roundabout proof techniques extraordinarily simple.

3.1 thm 1. if 2 machines have no communication whatsoever, cannot contain consistent data.

3.1 corollary 1.1 if 2 machines not allowed wait receive messages each other , communication line between them arbitrarily slow, inconsistent result if write 1 , query other.

4.2 thm 2. if 2 machines allowed wait-with-timeout have no connection whatsoever, still cannot contain consistent data.

... if communication line between them has guarantees worst-case transmission time, can wait timeout each time perform write , cap theorem doesn't apply.

am missing here? proof techniques used in paper seem more kind of thing find in generals-on-a-hill problem (which nontrivial) generals can set time coordinate attack , agree they're going it, can't agree agree. can't see how applies here.


Comments

Post a Comment

Popular posts from this blog

aws api gateway - SerializationException in posting new Records via Dynamodb Proxy Service in API -

i getting "__type": "com.amazon.coral.service#serializationexception" as reply in postman & in test console in api gateway trying post record directly dynamodb using api proxy services.. referring aws article - https://aws.amazon.com/blogs/compute/using-amazon-api-gateway-as-a-proxy-for-dynamodb/ here's mapping { "tablename": "tablenamegoeshere", "item": { "id" : "$context.requestid" "eventname" : "$input.path('$.eventname')", "timestamp" : $input.path('$.timestamp'), "answers": "$util.parsejson($input.path('$.answers'))" } } update: did asked ... , worked if try add array of json objects gives me above same error - here's trying now. please - couldnt find on google well #set($inputroot = $input.path('$')) { "tablename": "answer", "item": {
Read more

asp.net - Problems sending emails from forum -

i have been redesigning site has message board, has been written guy looked after site. it has few problems , written in .asp , uses .mdb files database. you can see whole thing here . feel free post if helps, test thing have set using original files , new database. the basic problem when posts message, supposed email sent them, have posted it. when replies, originator supposed message, replier has been posted. i’d have thought @ point in process there should script/file in postmessage.asp? the postmessage.asp page below. <% option explicit %> <!-- #include virtual="common/adovbs.inc" --> <html> <head> <meta http-equiv="content-type" content="text/html; charset=windows-1252"> <meta name="generator" content="microsoft frontpage 4.0"> <meta name="progid" content="frontpage.editor.document"> <title>new page 2</title> <base target="_self"
Read more