Adding @sync

src/linting/extended_checks.jl

@@ -65,6 +65,7 @@ struct Ptr_Extension <: ExtendedRule end
 struct ArrayWithNoType_Extension <: ExtendedRule end
 struct Threads_Extension <: ExtendedRule end
 struct Generated_Extension <: ExtendedRule end
+struct Sync_Extension <: ExtendedRule end
 
 const all_extended_rule_types = Ref{Any}(InteractiveUtils.subtypes(ExtendedRule))
 
@@ -187,3 +188,8 @@ end
 
 check(::Generated_Extension, x::EXPR) = generic_check(x, "@generated hole_variable")
 
+function check(::Sync_Extension, x::EXPR)
+    msg = "`@sync` should be used with extreme caution."
+    generic_check(x, "@sync hole_variable", msg)
+    generic_check(x, "Threads.@sync hole_variable", msg)
+end

test/rai_rules_tests.jl

@@ -83,6 +83,20 @@ end
             vec = T[]
             return vec
         end
+
+        try
+            @sync begin
+                @spawn_pager_bg_task RAI_PagerCore.add_to_cache!(conf, page)
+                @span_no_threshold "eot_rootmarker_write_to_blob" write_marker_to_cloud(
+                    conf, page, rootinfo
+                )
+            end
+        catch
+            Threads.@sync begin
+                1 + 2
+            end
+            nothing
+        end
         """
         @test lint_has_error_test(source)
         @test lint_test(source,
@@ -91,10 +105,11 @@ end
             "Line 7, column 5: `@threads` should be used with extreme caution.")
         @test lint_test(source,
             "Line 14, column 1: `@generated` should be used with extreme caution.")
+        @test lint_test(source,
+            "Line 20, column 5: `@sync` should be used with extreme caution.")
+        @test lint_test(source,
+            "Line 27, column 5: `@sync` should be used with extreme caution.")
     end
-
-
-
 end
 
 @testset "forbidden functions" begin