利用 Amazon S3 规模的自动化推理快速构建.pdf

1、 2025,Amazon Web Services,Inc.or its affiliates.All rights reserved.2025,Amazon Web Services,Inc.or its affiliates.All rights reserved.2025,Amazon Web Services,Inc.or its affiliates.All rights reserved.Building fast with automated reasoning at Amazon S3 scaleI N V 5 0 4 2025,Amazon Web Services,Inc.

2、or its affiliates.All rights reserved.2025,Amazon Web Services,Inc.or its affiliates.All rights reserved.Amazon S3 scaleS3 Scale Over 500 trillion objects stored 200 million requests per second on average At peaks at over 1 petabyte per second 2025,Amazon Web Services,Inc.or its affiliates.All right

3、s reserved.2025,Amazon Web Services,Inc.or its affiliates.All rights reserved.automated reasoning 2025,Amazon Web Services,Inc.or its affiliates.All rights reserved.2025,Amazon Web Services,Inc.or its affiliates.All rights reserved.Building fastSpecifying S3Checking S3 conformanceTackling the state

4、explosionEnd to end IntegrityChecking async,concurrent codeGustavo PetriHe/HimPrincipal Applied ScientistAmazon S3Rajeev JoshiHe/HimPrincipal Applied ScientistAmazon S3 2025,Amazon Web Services,Inc.or its affiliates.All rights reserved.2025,Amazon Web Services,Inc.or its affiliates.All rights reserv

5、ed.Keeping S3 Simple(Storage Service)2025,Amazon Web Services,Inc.or its affiliates.All rights reserved.What would S3 do?GetObject(Bucket=bucket,Key=key,IfMatch=etag,VersionId=3)200 OKbucketkeykeykey7 2025,Amazon Web Services,Inc.or its affiliates.All rights reserved.What would S3 do?8GetObject(Buck

6、et=bucket,Key=key,IfMatch=etag,VersionId=3)404 NoSuchBucket 2025,Amazon Web Services,Inc.or its affiliates.All rights reserved.What would S3 do?9404 NoSuchKeyGetObject(Bucket=bucket,Key=key,IfMatch=etag,VersionId=3)GetObject(Bucket=bucket,Key=key,IfMatch=etag,VersionId=3)404 NoSuchKeyGetObject(Bucke