From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from us-smtp-delivery-124.mimecast.com (us-smtp-delivery-124.mimecast.com [170.10.133.124]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by smtp.subspace.kernel.org (Postfix) with ESMTPS id E04AB1FCFFC for ; Thu, 22 Jan 2026 13:50:05 +0000 (UTC) Authentication-Results: smtp.subspace.kernel.org; arc=none smtp.client-ip=170.10.133.124 ARC-Seal:i=1; a=rsa-sha256; d=subspace.kernel.org; s=arc-20240116; t=1769089807; cv=none; b=WGx6ZyAw55dW36uYTpGadOSj4N1UCIWVfCD4RMuucH8iLJIincZ4tGN/cOPAH1ZRif7cjAZupeKuonHytSPaWnkMF55VgOsj9FCz2OKa9iLzuM+K0hb/Ds8q4jrNpRhcTyv7mScgCyXO74VvKnYFEhmMOnsGsR5kw6lspPcUQOQ= ARC-Message-Signature:i=1; a=rsa-sha256; d=subspace.kernel.org; s=arc-20240116; t=1769089807; c=relaxed/simple; bh=mViq+woi6E37Oh81LrkUqu2EdTY6IKGCSug2bX/6anU=; h=Message-ID:Subject:From:To:Cc:Date:In-Reply-To:References: Content-Type:MIME-Version; b=MNc68m6Bmy+B8l+2vIQ+rnymS1t8gQFv59aJPYRvAk6bh27qs6h8m2nBez7wRsxyHd6UvXnqn0P5BVjusbOlNdTFo58yOINjS8n6f5Q12DcbK0+XaKF+nrOAGCZzSE/49QEwoothAjTfZmTBF2arFZljtix7ZR0v6mdhc+579YY= ARC-Authentication-Results:i=1; smtp.subspace.kernel.org; dmarc=pass (p=quarantine dis=none) header.from=redhat.com; spf=pass smtp.mailfrom=redhat.com; dkim=pass (1024-bit key) header.d=redhat.com header.i=@redhat.com header.b=BJt1e42/; dkim=pass (2048-bit key) header.d=redhat.com header.i=@redhat.com header.b=SRvGoEhx; arc=none smtp.client-ip=170.10.133.124 Authentication-Results: smtp.subspace.kernel.org; dmarc=pass (p=quarantine dis=none) header.from=redhat.com Authentication-Results: smtp.subspace.kernel.org; spf=pass smtp.mailfrom=redhat.com Authentication-Results: smtp.subspace.kernel.org; dkim=pass (1024-bit key) header.d=redhat.com header.i=@redhat.com header.b="BJt1e42/"; dkim=pass (2048-bit key) header.d=redhat.com header.i=@redhat.com header.b="SRvGoEhx" DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=redhat.com; s=mimecast20190719; t=1769089804; h=from:from:reply-to:subject:subject:date:date:message-id:message-id: to:to:cc:cc:mime-version:mime-version:content-type:content-type: content-transfer-encoding:content-transfer-encoding: in-reply-to:in-reply-to:references:references:autocrypt:autocrypt; bh=mViq+woi6E37Oh81LrkUqu2EdTY6IKGCSug2bX/6anU=; b=BJt1e42/HARjQxwofAQnk5yo0IdXk11x8iEUcpcT+VL8/Huk1sfDLmzLdTRu0HEtXDl7Pi dycT+NBOdByhhh1pY6U62xzPxFqnyfW9hR0Ea7PMmwPMYvfdI3oYeTW0T6kRWVXEgLTOHI nK4W743ktlRtCVHVrdXC0W1VssSAVjQ= Received: from mail-wm1-f69.google.com (mail-wm1-f69.google.com [209.85.128.69]) by relay.mimecast.com with ESMTP with STARTTLS (version=TLSv1.3, cipher=TLS_AES_256_GCM_SHA384) id us-mta-538-dGw5UcxVPg20f2yo3WPykw-1; Thu, 22 Jan 2026 08:50:03 -0500 X-MC-Unique: dGw5UcxVPg20f2yo3WPykw-1 X-Mimecast-MFC-AGG-ID: dGw5UcxVPg20f2yo3WPykw_1769089802 Received: by mail-wm1-f69.google.com with SMTP id 5b1f17b1804b1-4779d8fd4ecso6473085e9.1 for ; Thu, 22 Jan 2026 05:50:03 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=redhat.com; s=google; t=1769089802; x=1769694602; darn=vger.kernel.org; h=mime-version:user-agent:content-transfer-encoding:autocrypt :references:in-reply-to:date:cc:to:from:subject:message-id:from:to :cc:subject:date:message-id:reply-to; bh=mViq+woi6E37Oh81LrkUqu2EdTY6IKGCSug2bX/6anU=; b=SRvGoEhxRdOWnIQ+v3Mb6ORB9NLH7qn2OANdnaC/UpVH601xFHcMTsxk5zDh1Bq5lq X+BKERCGXbx0nnZaDLjX3L64RJx0sfzej/zzOx0gVzG6DiaVrwjXMYiBFZj/zHrtHnAS ZLDzWfrYrh/QZaUHD30CBchtQlvUyCa+d/lGPklUTTr9U8B8kF0hCDTLDIHLvEAghRFO sGlz0jWXwt/64Cf8egv4B8i6Ad5i1JdcU/N8lm1dHnJrInK5ipY0SuK4j9dlnM5NddOJ UhDDCqKHFx2Q7UDx3sA3EOkXGN0rh7RLNjBwKEHpevUFW8kqXMyG4FpsCngfsz9uJib4 jTDA== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20230601; t=1769089802; x=1769694602; h=mime-version:user-agent:content-transfer-encoding:autocrypt :references:in-reply-to:date:cc:to:from:subject:message-id:x-gm-gg :x-gm-message-state:from:to:cc:subject:date:message-id:reply-to; bh=mViq+woi6E37Oh81LrkUqu2EdTY6IKGCSug2bX/6anU=; b=PN0jsqYoHTNlZDD8aMyas+C6zNKEr71lTmAqu40sY/wpFpWxlKeqpHjQv7V3g2rDGq DHMVKb9q/MApaVFrp9dlpoAwdPvZDQM6cvdwZkwvsb57FIbmpdtkM1Zo71dkw8l5GEEm 05cX5HOuFAy1ydjtBEAk5Z4wOC9qFZctikKErWgcp7JOTnjcrXaW9cEWH0wT7HK1ji0B dzScfRgvhIhFBGx9DqpFE1j8JwRf9JGo9GXvp/aoMnozVG/tqJ5Czg+bnm8xSbSCt7wc TxdmYtkN/n87lbAvD8NuRYNAdZxeH8L5OiWd5lrX4CL7CPmHvHVdGWya6jY7aYtlmGpN Y7vw== X-Forwarded-Encrypted: i=1; AJvYcCWwBKHdaXz7I7UpUC2qwkzzNr+Tsn6XmH71HpX2CHm3smLVeQBIHLUh/pAmYq1kdmXoj7tQ6wLDYEaQ5vM=@vger.kernel.org X-Gm-Message-State: AOJu0YwGqYIApipZ5cDWwRSsmPr//S/toYGX5gmm0EOD1WiCMe9SiSfV PchOnL+BF426qfraWslxp+yWOd6Cbl9+gjHdmipnd+sMdQF/F3KnrvVxakLJ6vL55NQVoYbyRlQ pyRYNeqRzh7E/MELrKon7WuP8r18vLa1p5lssp/lD2VYEkoEhSx+ub6hqIpnYvZynHA== X-Gm-Gg: AZuq6aIxOBmnj8YwT+jsN6SiHEeWhT6/skiNzgrNN8uLc6s4idjzCrEJOiRGdHUTzdx T/Ei5bNxpD6jpRlr4sLoVeruRSDp4RoNERmFos61t5pc6VVgVD9zworNkxk2V3wDVqDS9lNf+uN 7fU5jIN22xDH5iphUU97GvatO3o2rSonZgoU9l2s4ld+XsQjErweCIf5O8eZdoYNavoSZ2M5yEe C8OKsleEGGFWQEPuMsWHhbMAPyXRDPHWmvVadmSSGCQqJGXEZN+5EqzpXCeuGq1eCLc3xWXVY0T B1S+pN6ZfdSmtiPH+a+XDQKsHwk4TXGF7VZr1JhrOu+/eQW9X0HQNGcilkn6MJcQr9DojngkbMp a4u/pcOP2gM97loF0JewaMd/XmDP/nS8M++dnL/cr5puJjV/y1F4EKBfjdntVPYEmcwkwOYvwQP dr3TK/8BRO X-Received: by 2002:a05:600c:4fd0:b0:46e:2815:8568 with SMTP id 5b1f17b1804b1-4804708299dmr29790515e9.10.1769089801945; Thu, 22 Jan 2026 05:50:01 -0800 (PST) X-Received: by 2002:a05:600c:4fd0:b0:46e:2815:8568 with SMTP id 5b1f17b1804b1-4804708299dmr29790095e9.10.1769089801517; Thu, 22 Jan 2026 05:50:01 -0800 (PST) Received: from gmonaco-thinkpadt14gen3.rmtit.csb (185-132-178-103.hosted-by-worldstream.net. [185.132.178.103]) by smtp.gmail.com with ESMTPSA id 5b1f17b1804b1-480470287c3sm74977545e9.3.2026.01.22.05.50.00 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Thu, 22 Jan 2026 05:50:01 -0800 (PST) Message-ID: Subject: Re: [PATCH 18/26] rv/rvgen: add fill_tracepoint_args_skel stub to ltl2k From: Gabriele Monaco To: Wander Lairson Costa Cc: Steven Rostedt , Nam Cao , open list , "open list:RUNTIME VERIFICATION (RV)" Date: Thu, 22 Jan 2026 14:49:59 +0100 In-Reply-To: References: <20260119205601.105821-1-wander@redhat.com> <20260119205601.105821-19-wander@redhat.com> <1f168ff5ffb531570fd83e3f398380e8df053275.camel@redhat.com> Autocrypt: addr=gmonaco@redhat.com; prefer-encrypt=mutual; keydata=mDMEZuK5YxYJKwYBBAHaRw8BAQdAmJ3dM9Sz6/Hodu33Qrf8QH2bNeNbOikqYtxWFLVm0 1a0JEdhYnJpZWxlIE1vbmFjbyA8Z21vbmFjb0BrZXJuZWwub3JnPoiZBBMWCgBBFiEEysoR+AuB3R Zwp6j270psSVh4TfIFAmjKX2MCGwMFCQWjmoAFCwkIBwICIgIGFQoJCAsCBBYCAwECHgcCF4AACgk Q70psSVh4TfIQuAD+JulczTN6l7oJjyroySU55Fbjdvo52xiYYlMjPG7dCTsBAMFI7dSL5zg98I+8 cXY1J7kyNsY6/dcipqBM4RMaxXsOtCRHYWJyaWVsZSBNb25hY28gPGdtb25hY29AcmVkaGF0LmNvb T6InAQTFgoARAIbAwUJBaOagAULCQgHAgIiAgYVCgkICwIEFgIDAQIeBwIXgBYhBMrKEfgLgd0WcK eo9u9KbElYeE3yBQJoymCyAhkBAAoJEO9KbElYeE3yjX4BAJ/ETNnlHn8OjZPT77xGmal9kbT1bC1 7DfrYVISWV2Y1AP9HdAMhWNAvtCtN2S1beYjNybuK6IzWYcFfeOV+OBWRDQ== Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable User-Agent: Evolution 3.58.2 (3.58.2-1.fc43) Precedence: bulk X-Mailing-List: linux-kernel@vger.kernel.org List-Id: List-Subscribe: List-Unsubscribe: MIME-Version: 1.0 On Thu, 2026-01-22 at 10:10 -0300, Wander Lairson Costa wrote: > On Wed, Jan 21, 2026 at 02:53:03PM -0300, Wander Lairson Costa wrote: > > On Wed, Jan 21, 2026 at 02:57:02PM +0100, Gabriele Monaco wrote: > > > Mmh, this is a bit fishy though. > > > We the patch using the decorator seems fine, but highlights how this > > > method > > > isn't meant to be in Monitor if not all monitors use it.. > > > Adding a stub here is just sweeping dust under the carpet. > > >=20 > > > Here should probably keep the common part of fill_trace_h() in Monito= r > > > (e.g. > > > replacing MODEL_NAME and other common things) and create specific > > > implementations in dot2k and ltl2k for what is not common while calli= ng > > > the > > > super() counterpart for the rest. > > >=20 > > > Does it make sense to you? > >=20 > > Yes, that is exactly my idea. Since the patch series were getting too > > long and my brain too rot, I thought would be better addressing this in > > a following up patch series. But I can work in the next version if you > > are not ok with that approach. Good point, that can be a separate series so that we don't mix too many thi= ngs, but I'd also separate the initial patch introducing the @not_implemented . > I gave more thought on this matter yesterday before bed. Maybe this > isn't a issue on the design. Some methods on Monitor might just have a > harmless default behavior. I look into it more closely for next the > round. Well, I believe that if a bunch of methods from the parent class don't need= to be called and we have to create stubs just to avoid errors, those methods probably shouldn't be there in the first place. That's particularly valid for the Container class, that won't ever need to = fill tracepoints and other stuff. Why fill_tracepoint_args_skel() is not required by LTL is an implementation detail, so that stub could even stay, in case future monitors are going to = need the entire thing. Though I still find it cleaner to move that away too until there's a need f= or it shared in Monitor. What do you think? Thanks, Gabriele