fraiseql-core 2.3.2

Core execution engine for FraiseQL v2 - Compiled GraphQL over SQL
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108

//! Cache coherency design rules
//!
//! Detects cache-related issues:
//! - TTL inconsistencies across subgraphs
//! - Missing cache directives on expensive fields
//! - Cache coherency violations

use serde_json::Value;

use super::{CacheIssue, DesignAudit, IssueSeverity};

/// Analyze cache patterns in the schema
pub fn analyze(schema: &Value, audit: &mut DesignAudit) {
    check_ttl_consistency(schema, audit);
    check_missing_cache_directives(schema, audit);
}

/// Detect TTL inconsistencies across subgraphs
fn check_ttl_consistency(schema: &Value, audit: &mut DesignAudit) {
    if let Some(subgraphs) = schema.get("subgraphs").and_then(|v| v.as_array()) {
        let mut entity_ttls: std::collections::HashMap<String, Vec<(String, u32)>> =
            std::collections::HashMap::new();

        for subgraph in subgraphs {
            let subgraph_name =
                subgraph.get("name").and_then(|v| v.as_str()).unwrap_or("unknown").to_string();

            if let Some(entities) = subgraph.get("entities").and_then(|v| v.as_array()) {
                for entity in entities {
                    let entity_name = if let Some(name) = entity.as_str() {
                        name.to_string()
                    } else if let Some(name) = entity.get("name").and_then(|v| v.as_str()) {
                        name.to_string()
                    } else {
                        continue;
                    };

                    let ttl = u32::try_from(
                        entity.get("cache_ttl_seconds").and_then(|v| v.as_u64()).unwrap_or(0),
                    )
                    .unwrap_or(u32::MAX);

                    entity_ttls.entry(entity_name).or_default().push((subgraph_name.clone(), ttl));
                }
            }
        }

        // Check for inconsistent TTLs
        for (entity, ttls) in entity_ttls {
            let mut unique_ttls: Vec<u32> = ttls.iter().map(|(_, ttl)| *ttl).collect();
            unique_ttls.sort_unstable();
            unique_ttls.dedup();

            if unique_ttls.len() > 1 && unique_ttls.iter().any(|&ttl| ttl > 0) {
                let ttl_list = ttls
                    .iter()
                    .map(|(sg, ttl)| format!("{}: {}s", sg, ttl))
                    .collect::<Vec<_>>()
                    .join(", ");

                audit.cache_issues.push(CacheIssue {
                    severity:   IssueSeverity::Warning,
                    message:    format!("TTL inconsistency for {}: {}", entity, ttl_list),
                    suggestion: format!(
                        "Synchronize cache TTL for {} across all subgraphs to prevent stale data",
                        entity
                    ),
                    affected:   Some(entity),
                });
            }
        }
    }
}

/// Detect missing cache directives on expensive fields
fn check_missing_cache_directives(schema: &Value, audit: &mut DesignAudit) {
    if let Some(types) = schema.get("types").and_then(|v| v.as_array()) {
        for type_def in types {
            if let Some(fields) = type_def.get("fields").and_then(|v| v.as_array()) {
                for field in fields {
                    let is_expensive =
                        field.get("is_expensive").and_then(|v| v.as_bool()).unwrap_or(false);

                    let has_cache =
                        field.get("has_cache_directive").and_then(|v| v.as_bool()).unwrap_or(false);

                    if is_expensive && !has_cache {
                        let field_name =
                            field.get("name").and_then(|v| v.as_str()).unwrap_or("unknown");
                        let type_name =
                            type_def.get("name").and_then(|v| v.as_str()).unwrap_or("unknown");

                        audit.cache_issues.push(CacheIssue {
                            severity:   IssueSeverity::Info,
                            message:    format!(
                                "Expensive field {}.{} has no cache directive",
                                type_name, field_name
                            ),
                            suggestion: "Add @cache directive to reduce repeated computation"
                                .to_string(),
                            affected:   Some(format!("{}.{}", type_name, field_name)),
                        });
                    }
                }
            }
        }
    }
}