luke
/
yosys
mirror of https://github.com/YosysHQ/yosys.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

add file lock on liberty scl cache 

Signed-off-by: Mike Inouye <mikeinouye@google.com>
This commit is contained in:
Mike Inouye 2026-08-17 21:18:34 +00:00
parent 621d943ac8
commit 7c3becfbcd
1 changed files with 24 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

24
passes/techmap/liberty_cache.h
View File

@ -9,8 +9,25 @@ namespace abc {
} }
#endif #endif
#if !defined(_WIN32)
#include <sys/file.h>
#endif
YOSYS_NAMESPACE_BEGIN YOSYS_NAMESPACE_BEGIN
#if !defined(_WIN32)
struct ScopedFlock {
int fd;
ScopedFlock(const std::string &path) {
fd = open(path.c_str(), O_CREAT | O_RDWR, 0666);
if (fd >= 0) flock(fd, LOCK_EX);
}
~ScopedFlock() {
if (fd >= 0) { flock(fd, LOCK_UN); close(fd); }
}
};
#endif
// Controlled by the libcache pass (-scl option), enabled by default // Controlled by the libcache pass (-scl option), enabled by default
extern bool scl_cache_enabled; extern bool scl_cache_enabled;
@ -81,6 +98,13 @@ inline std::string convert_liberty_files_to_merged_scl(const std::vector<std::st
} }
if (need_convert) { if (need_convert) {
#if !defined(_WIN32)
ScopedFlock flock(merged_scl + ".lock");
if (stat(merged_scl.c_str(), &scl_stat) == 0 && scl_stat.st_mtime >= newest_mtime) {
log("ABC: using cached merged SCL: %s (%zu files)\n", merged_scl.c_str(), liberty_files.size());
return merged_scl;
}
#endif
// read_lib -X cell1 -X cell2 file1 ; read_lib -X cell1 -X cell2 -m file2 ; ... ; write_scl merged.scl // read_lib -X cell1 -X cell2 file1 ; read_lib -X cell1 -X cell2 -m file2 ; ... ; write_scl merged.scl
std::string temp_scl = merged_scl + ".tmp"; std::string temp_scl = merged_scl + ".tmp";