Session Types in C++Background in compilers and embedded systems... 2Motive? 3Motive: Can it be done in C++? 4Session type 5Session type ? 6"A normal adult programmer never gives a thought about types. That is something C++, we can settle with this explanation: But that is not what “type” in “Session type” means. 28Session type ? 29Session? • Interaction of two or more entities. • It has a beginning and (usually) interactions is happening. 30Session? • Can we describe a valid sequence of interactions? • Interaction diagram Client Server int int ADD DIV int double end Branching 31Session? • Can we describe a0 码力 | 89 页 | 1.55 MB | 6 月前3
Back To Basics Lifetime Management0 码力 | 66 页 | 8.43 MB | 6 月前3
Secrets Management at
Scale with Vault & RancherSecrets Management at Scale with Vault & Rancher 24. June Robert de Bock Senior DevOps Engineer Adfinis robert.debock@adfinis.com Kapil Arora Senior Solution Engineer HashiCorp kapil@hashicorp.com Infrastructure Management (Run & Manage) GitOps Continuous Delivery Cluster Templates & Config Enforcement K8s Version Management Node Pool Management Cluster Provisioning & Lifecycle Management Platform Amazon EKS Azure AKS Google GKE Cloud Datacenter Edge Branch Dev Secret Management in Kubernetes 16 17 18 Secret Management Challenges ● Secrets sprawl ● Secrets rotation ● X.509 certificates, SSH0 码力 | 36 页 | 1.19 MB | 1 年前3
华为云 KubeCon China KubeEdge Demo SessionKubeEdge Demo Session Jun Du Huawei Cloud Cloud To Edge Low Latency • AR/VR: ms level • Industrial Control: us level High Availability • Availability: > 99.999% • Response Time: Predictable • Result: manage K8S clusters running in remote edge locations. KubeEdge A Kubernetes Native Edge Computing Management Framework. Mission: Let Cloud manages edge nodes and devices EASILY. • Built on K8S, 100% Compatible Intelligent Video Analytics KubeEdge (Cloud Part) KubeEdge (Edge Part) SWR Algorithms Management Job Management DIS Face Recognition System Face Extraction Face Recognition face picture, metadata…0 码力 | 10 页 | 836.76 KB | 1 年前3
Node Operator: Kubernetes Node Management Made SimpleNode Operator: Kubernetes Node Management Made Simple 陈俊(Joe), Ant Financial Agenda • Background and Motivation • Introduction of Operators • Node-Operator • Advanced Topic: • Upgrade Master & Node Components reliably • Canary Rollout • Master & Node Component Versions Management Motivation: Work Order Deployment Worker Order • Upgrade Nodes Versions • Upgrade Node 10.10 Complicated architecture Work order deployment system can not meet the requirements of resource management. Operator Observe Action Analyze • Observe: watch desired resource and actual resource0 码力 | 18 页 | 11.70 MB | 1 年前3
Libraries: A First Step Toward Standard C++ Dependency Management1October 3, 2023 2 Libraries: A First Step Toward Standard C++ Dependency Management Bret Brown, C++ Infrastructure Lead, Bloomberg Bill Hoffman, CTO, KitwareHello! Welcome! Bret Brown C++ Infrastructure portable as the code they contain! ● ✓ Projects should be “cattle,” not “pets”! 7Why dependency management? 8Consensus: Managing dependencies == way too hard Q: Which of these do you find frustrating names: jsonlogConfig.cmake Jsonlog-config.cmake # ... CMake gives you some dependency management tips here ... 13 Aside: Coloring and bolding added for emphasisMotivation: What would we design0 码力 | 82 页 | 4.21 MB | 6 月前3
State management - CS 591 K1: Data Stream Processing and Analytics Spring 2020Processing and Analytics Vasiliki (Vasia) Kalavri vkalavri@bu.edu Spring 2020 2/25: State Management Vasiliki Kalavri | Boston University 2020 Logic State<#Brexit, 520> <#WorldCup, 480> key of the current record so that all records with the same key access the same state State management in Apache Flink 5 Vasiliki Kalavri | Boston University 2020 Operator state Keyed state State state is stored, accessed, and maintained. State backends are responsible for: • local state management • checkpointing state to remote and persistent storage, e.g. a distributed filesystem or a database 0 码力 | 24 页 | 914.13 KB | 1 年前3
Casdoor · An Open Source UI-first Identity Access Management (IAM) / Single-Sign-On (SSO) platform supportingOv Over erview view Casdoor is a UI-first Identity Access Management (IAM) / Single-Sign-On (SSO) platform based on OAuth 2.0, OIDC, SAML, and CAS. Casdoor serves both the web UI and the login requests separate architecture, developed by Golang. It supports high concurrency, provides a web-based UI for management, and supports localization in 10+ languages. 2. Casdoor supports third-party application login and it supports extending third-party login with plugins. 3. Casdoor supports authorization management based on Casbin. It supports ACL, RBAC, ABAC, and RESTful access control models. 4. Casdoor provides0 码力 | 825 页 | 58.31 MB | 1 年前3
Apache ActiveMQ Artemis 1.2.0 User Manual
Message Grouping 31. Extra Acknowledge Modes 32. Management 33. Security 34. Resource Limits 35. The JMS Bridge 36. Client Reconnection and Session Reattachment 37. Diverting and Splitting Message Availability and Failover 42. Graceful Server Shutdown 43. Libaio Native Libraries 44. Thread management 45. Logging 46. REST Interface 47. Embedding Apache ActiveMQ Artemis 48. Spring Integration prohibited sign shows an EJB session bean talking directly to the Apache ActiveMQ Artemis server. This is not recommended as you'll most likely end up creating a new connection and session every time you want0 码力 | 244 页 | 1.46 MB | 1 年前3
Apache ActiveMQ Artemis 1.1.0 User ManualMessage Grouping 31. Extra Acknowledge Modes 32. Management 33. Security 34. Resource Limits 35. The JMS Bridge 36. Client Reconnection and Session Reattachment 37. Diverting and Splitting Message Availability and Failover 42. Graceful Server Shutdown 43. Libaio Native Libraries 44. Thread management 45. Logging 46. REST Interface 47. Embedding Apache ActiveMQ Artemis 48. Spring Integration prohibited sign shows an EJB session bean talking directly to the Apache ActiveMQ Artemis server. This is not recommended as you'll most likely end up creating a new connection and session every time you want0 码力 | 234 页 | 1.40 MB | 1 年前3
共 1000 条
- 1
- 2
- 3
- 4
- 5
- 6
- 100
相关搜索词
SessionTypesinC++BackToBasicsLifetimeManagementSecretsatScalewithVaultRancher华为KubeConChinaKubeEdgedemosession陈俊NodeOperatorLibrariesFirstStepTowardStandardDependencyStatemanagementCS591K1DataStreamProcessingandAnalyticsSpring2020CasdoorAnOpenSourceUIfirstIdentityAccessIAMSingleSignOnSSOplatformsupportingOAuth2.0OIDCSAMLCASApacheActiveMQArtemis1.2UserManual1.1













