@@ -1874,29 +1874,43 @@ instance LogFormatting LedgerDB.TraceForkerEventWithKey where
18741874 " Forker " <> showT k <> " : " <> forHuman ev
18751875
18761876instance LogFormatting LedgerDB. TraceForkerEvent where
1877- forMachine _dtals LedgerDB. ForkerOpen = mempty
1878- forMachine _dtals LedgerDB. ForkerCloseUncommitted = mempty
1879- forMachine _dtals LedgerDB. ForkerCloseCommitted = mempty
1880- forMachine _dtals LedgerDB. ForkerReadTablesStart = mempty
1881- forMachine _dtals LedgerDB. ForkerReadTablesEnd = mempty
1882- forMachine _dtals LedgerDB. ForkerRangeReadTablesStart = mempty
1883- forMachine _dtals LedgerDB. ForkerRangeReadTablesEnd = mempty
1877+ forMachine _dtals LedgerDB. ForkerOpen =
1878+ mconcat [ " kind" .= String " ForkerOpen" ]
1879+ forMachine _dtals (LedgerDB. ForkerReadTables e) =
1880+ mconcat [ " kind" .= String " ForkerReadTables"
1881+ , " edge" .= case e of
1882+ RisingEdge -> String " RisingEdge"
1883+ FallingEdgeWith t -> toJSON t
1884+ ]
1885+ forMachine _dtals (LedgerDB. ForkerRangeReadTables e) =
1886+ mconcat [ " kind" .= String " ForkerRangeReadTables"
1887+ , " edge" .= case e of
1888+ RisingEdge -> String " RisingEdge"
1889+ FallingEdgeWith t -> toJSON t
1890+ ]
18841891 forMachine _dtals LedgerDB. ForkerReadStatistics = mempty
1885- forMachine _dtals LedgerDB. ForkerPushStart = mempty
1886- forMachine _dtals LedgerDB. ForkerPushEnd = mempty
1887- forMachine _dtals LedgerDB. DanglingForkerClosed = mempty
1892+ forMachine _dtals (LedgerDB. ForkerPush e) =
1893+ mconcat [ " kind" .= String " ForkerPush"
1894+ , " edge" .= case e of
1895+ RisingEdge -> String " RisingEdge"
1896+ FallingEdgeWith t -> toJSON t
1897+ ]
1898+ forMachine _dtals (LedgerDB. ForkerClose wc) =
1899+ mconcat [ " kind" .= String " ForkerClose"
1900+ , " wasCommitted" .= toJSON (wc == LedgerDB. ForkerWasCommitted )
1901+ ]
18881902
18891903 forHuman LedgerDB. ForkerOpen = " Opened forker"
1890- forHuman LedgerDB. ForkerCloseUncommitted = " Forker closed without committing "
1891- forHuman LedgerDB. ForkerCloseCommitted = " Forker closed after committing "
1892- forHuman LedgerDB. ForkerReadTablesStart = " Started to read tables"
1893- forHuman LedgerDB. ForkerReadTablesEnd = " Finish reading tables"
1894- forHuman LedgerDB. ForkerRangeReadTablesStart = " Started to range read tables "
1895- forHuman LedgerDB. ForkerRangeReadTablesEnd = " Finish range reading tables "
1896- forHuman LedgerDB. ForkerReadStatistics = " Gathering statistics "
1897- forHuman LedgerDB. ForkerPushStart = " Started to push "
1898- forHuman LedgerDB. ForkerPushEnd = " Pushed "
1899- forHuman LedgerDB. DanglingForkerClosed = " Closed dangling forker "
1904+ forHuman ( LedgerDB. ForkerReadTables RisingEdge ) = " Forker reading tables "
1905+ forHuman ( LedgerDB. ForkerReadTables ( FallingEdgeWith t)) = " Forker read tables, took " <> showT t
1906+ forHuman ( LedgerDB. ForkerRangeReadTables RisingEdge ) = " Forker range reading tables"
1907+ forHuman ( LedgerDB. ForkerRangeReadTables ( FallingEdgeWith t)) = " Forker range read tables, took " <> showT t
1908+ forHuman LedgerDB. ForkerReadStatistics = " Forker gathering statistics "
1909+ forHuman ( LedgerDB. ForkerPush RisingEdge ) = " Forker pushing "
1910+ forHuman ( LedgerDB. ForkerPush ( FallingEdgeWith t)) = " Forker pushed, took " <> showT t
1911+ forHuman ( LedgerDB. ForkerClose wc) = " Closed forker, " <> case wc of
1912+ LedgerDB. ForkerWasCommitted -> " was committed "
1913+ LedgerDB. ForkerWasUncommitted -> " was discarded "
19001914
19011915instance MetaTrace LedgerDB. TraceForkerEventWithKey where
19021916 namespaceFor (LedgerDB. TraceForkerEventWithKey _ ev) =
@@ -1910,48 +1924,29 @@ instance MetaTrace LedgerDB.TraceForkerEventWithKey where
19101924
19111925instance MetaTrace LedgerDB. TraceForkerEvent where
19121926 namespaceFor LedgerDB. ForkerOpen = Namespace [] [" Open" ]
1913- namespaceFor LedgerDB. ForkerCloseUncommitted = Namespace [] [" CloseUncommitted" ]
1914- namespaceFor LedgerDB. ForkerCloseCommitted = Namespace [] [" CloseCommitted" ]
1915- namespaceFor LedgerDB. ForkerReadTablesStart = Namespace [] [" StartRead" ]
1916- namespaceFor LedgerDB. ForkerReadTablesEnd = Namespace [] [" FinishRead" ]
1917- namespaceFor LedgerDB. ForkerRangeReadTablesStart = Namespace [] [" StartRangeRead" ]
1918- namespaceFor LedgerDB. ForkerRangeReadTablesEnd = Namespace [] [" FinishRangeRead" ]
1927+ namespaceFor LedgerDB. ForkerReadTables {} = Namespace [] [" Read" ]
1928+ namespaceFor LedgerDB. ForkerRangeReadTables {} = Namespace [] [" RangeRead" ]
19191929 namespaceFor LedgerDB. ForkerReadStatistics = Namespace [] [" Statistics" ]
1920- namespaceFor LedgerDB. ForkerPushStart = Namespace [] [" StartPush" ]
1921- namespaceFor LedgerDB. ForkerPushEnd = Namespace [] [" FinishPush" ]
1922- namespaceFor LedgerDB. DanglingForkerClosed = Namespace [] [" DanglingForkerClosed" ]
1930+ namespaceFor LedgerDB. ForkerPush {} = Namespace [] [" Push" ]
1931+ namespaceFor LedgerDB. ForkerClose {} = Namespace [] [" Close" ]
19231932
19241933 severityFor _ _ = Just Debug
19251934
1926- documentFor (Namespace _ (" Open" : _tl)) = Just
1927- " A forker is being opened"
1928- documentFor (Namespace _ (" CloseUncommitted" : _tl)) = Just $
1929- mconcat [ " A forker was closed without being committed."
1930- , " This is usually the case with forkers that are not opened for chain selection,"
1931- , " and for forkers on discarded forks" ]
1932- documentFor (Namespace _ (" CloseCommitted" : _tl)) = Just " A forker was committed (the LedgerDB was modified accordingly) and closed"
1933- documentFor (Namespace _ (" StartRead" : _tl)) = Just " The process for reading ledger tables started"
1934- documentFor (Namespace _ (" FinishRead" : _tl)) = Just " Values from the ledger tables were read"
1935- documentFor (Namespace _ (" StartRangeRead" : _tl)) = Just " The process for range reading ledger tables started"
1936- documentFor (Namespace _ (" FinishRangeRead" : _tl)) = Just " Values from the ledger tables were range-read"
1935+ documentFor (Namespace _ (" Open" : _tl)) = Just " A forker is being opened"
1936+ documentFor (Namespace _ (" Read" : _tl)) = Just " A forker is reading values"
1937+ documentFor (Namespace _ (" RangeRead" : _tl)) = Just " A forker is range reading values"
19371938 documentFor (Namespace _ (" Statistics" : _tl)) = Just " Statistics were gathered from the forker"
1938- documentFor (Namespace _ (" StartPush" : _tl)) = Just " A ledger state is going to be pushed to the forker"
1939- documentFor (Namespace _ (" FinishPush" : _tl)) = Just " A ledger state was pushed to the forker"
1940- documentFor (Namespace _ (" DanglingForkerClosed" : _tl)) = Just " A dangling forker was closed"
1939+ documentFor (Namespace _ (" Push" : _tl)) = Just " A forker is pushing a new ledger state"
1940+ documentFor (Namespace _ (" Close" : _tl)) = Just " A forker was closed"
19411941 documentFor _ = Nothing
19421942
19431943 allNamespaces = [
19441944 Namespace [] [" Open" ]
1945- , Namespace [] [" CloseUncommitted" ]
1946- , Namespace [] [" CloseCommitted" ]
1947- , Namespace [] [" StartRead" ]
1948- , Namespace [] [" FinishRead" ]
1949- , Namespace [] [" StartRangeRead" ]
1950- , Namespace [] [" FinishRangeRead" ]
1945+ , Namespace [] [" Read" ]
1946+ , Namespace [] [" RangeRead" ]
19511947 , Namespace [] [" Statistics" ]
1952- , Namespace [] [" StartPush" ]
1953- , Namespace [] [" FinishPush" ]
1954- , Namespace [] [" DanglingForkerClosed" ]
1948+ , Namespace [] [" Push" ]
1949+ , Namespace [] [" Close" ]
19551950 ]
19561951
19571952--------------------------------------------------------------------------------
0 commit comments